参考资料
参考资料
Moonshot回答
在希尔伯特空间中，标准正交基（Orthonormal Basis）是一个基，其元素不仅两两正交，而且每个元素的范数（或长度）都为1。这意味着对于希尔伯特空间 (H) 中的标准正交基 ({e_i})，任意两个不同的基向量 (e_i) 和 (e_j) 满足内积 (\langle e_i, e_j \rangle = 0)（正交性），并且对于任意基向量 (e_i)，有 (\langle e_i, e_i \rangle = 1)（单位范数）。标准正交基具有这样的性质：空间中的任意向量都可以表示为这些基向量的线性组合，并且这种表示是唯一的。
要确定一个希尔伯特空间中是否存在标准正交基，可以采用以下方法：
-
Gram-Schmidt过程：这是一种在有限维内积空间中，从一组线性无关向量构造标准正交基的方法。通过该过程，可以将一组基向量转换为标准正交基。
-
利用Zorn引理：在无限维空间中，可以利用Zorn引理证明标准正交基的存在性。Zorn引理是一个选择公理的等价命题，用于证明在给定的部分有序集中，如果每个链（即全序子集）都有一个上界，则该集合中至少存在一个极大元素。通过Zorn引理，可以证明在希尔伯特空间中，标准正交基的存在。
-
谱理论：在某些情况下，可以利用线性算子的谱理论来确定标准正交基。例如，紧自伴算子的谱定理表明，这样的算子可以在一组标准正交基下对角化。
-
正交分解：在希尔伯特空间中，任意向量都可以分解为与给定正交系正交的分量和落在该正交系张成的闭子空间中的分量。通过这种分解，可以逐步构建出标准正交基。
以上方法和概念在维基百科、百度百科以及知乎的相关文章中有所讨论和解释。例如，维基百科中提到，无论在有限维还是无限维空间中，正交基的概念都是很重要的，并且在无限维希尔伯特空间中，正交基不再是哈默尔基，即不是每个元素都可以写成有限个基中元素的线性组合。这表明在无限维空间中，正交基应该被更严格地定义。而通过Zorn引理，可以证明在希尔伯特空间中，标准正交基的存在性。来源