泛函分析第9章习题与答案.docVIP

第九章 内积空间和希尔伯特空间 例题选讲 例1． 是可分的充分必要条件存在一个可数的完全规范正交系 证明：若是可分的，设是的一个可数稠密子集。不妨设是线性无关的。 用方法，存在可数的完全规范正交系，使 = 。这样。因此是完全的。 反之，若是的一个完全规范正交系，则在中稠密。是中的可数稠密子集，因此 是可分的。证毕 例2．求证：是空间上的投影算子的充分必要条件是：且 证明：设是中相对应与闭线性子空间的投影算子。对任意，存在，，使，。对于，，其中，。因此，即，因此 设，，。其中，。这样。这就证明了。 反之，若满足，。令，则是中的线性子空间。还是闭的。事实上，若，，则。故，因此是闭的线性子