|
搬运Wikipedia:
If $B$ is an orthogonal basis of $H$, then every element $x ∈ H$ may be written as
$B$ 是 $H$ 上的一个正交基,那么$H$中的每个元素 $x$ 都可以表示成:
\[x=\sum _{{b\in B}}{\langle x,b\rangle \over \lVert b\rVert ^{2}}b\]
When $B$ is orthonormal, this simplifies to
当 $B$ 是标准正交基时,就是:
\[ x=\sum _{{b\in B}}\langle x,b\rangle b\]
and the square of the norm of $x$ can be given by
$x$ 的模长表示为:
\[\|x\|^{2}=\sum _{{b\in B}}|\langle x,b\rangle |^{2}.\]
Even if $B$ is uncountable, only countably many terms in this sum will be non-zero, and the expression is therefore well-defined. This sum is also called the Fourier expansion of $x$, and the formula is usually known as Parseval's identity.
即使 $B$ 是不可数的,上面和式里的非零项也只会有可数多个,所以这个表达式仍然是有效的。上式被称作 $x$ 的傅立叶展开,详见傅里叶级数。
If $B$ is an orthonormal basis of $H$, then $H$ is isomorphic to $ℓ^2 ( B )$ in the following sense: there exists a bijective linear map $Φ : H → ℓ^2 ( B )$ such that
若 $B$ 是 $H$ 上的一个标准正交基,那么 $H$ 同构于序列空间 $ℓ^2(B)$。因为存在以下 $H \to ℓ^2(B)$ 的双射 $\Phi$,使得对于所有 $H$ 中的 $x$ 和 $y$ 有:
\[ ⟨ Φ ( x ) , Φ ( y ) ⟩ = ⟨ x , y ⟩\] |
|