パーセバルの等式
パーセバルの等式
ヒルベルト空間\(H\)があり、正規直交基底\(\left\{ e_{k}\right\} _{k=1}^{\infty}\subseteq H\)があるとき、任意の\(\boldsymbol{x}\in H\)に対し、
\[ \sum_{k=1}^{\infty}\left|\left\langle \boldsymbol{x},\boldsymbol{e}_{k}\right\rangle \right|^{2}=\left\Vert \boldsymbol{x}\right\Vert ^{2} \] が成り立つ。
ヒルベルト空間\(H\)があり、正規直交基底\(\left\{ e_{k}\right\} _{k=1}^{\infty}\subseteq H\)があるとき、任意の\(\boldsymbol{x}\in H\)に対し、
\[ \sum_{k=1}^{\infty}\left|\left\langle \boldsymbol{x},\boldsymbol{e}_{k}\right\rangle \right|^{2}=\left\Vert \boldsymbol{x}\right\Vert ^{2} \] が成り立つ。
(0)
\begin{align*} \left\Vert \boldsymbol{x}\right\Vert ^{2} & =\left\langle \boldsymbol{x},\boldsymbol{x}\right\rangle \\ & =\left\langle \boldsymbol{x},\sum_{k=1}^{\infty}x_{k}\boldsymbol{e}_{k}\right\rangle \\ & =\sum_{k=1}^{\infty}\overline{x_{k}}\left\langle \boldsymbol{x},\boldsymbol{e}_{k}\right\rangle \\ & =\sum_{k=1}^{\infty}\sum_{j=1}^{\infty}\overline{x_{j}}\delta_{k,j}\left\langle \boldsymbol{x},\boldsymbol{e}_{k}\right\rangle \\ & =\sum_{k=1}^{\infty}\sum_{j=1}^{\infty}\overline{x_{j}\delta_{k,j}}\left\langle \boldsymbol{x},\boldsymbol{e}_{k}\right\rangle \\ & =\sum_{k=1}^{\infty}\sum_{j=1}^{\infty}\overline{x_{j}\left\langle \boldsymbol{e}_{j},\boldsymbol{e}_{k}\right\rangle }\left\langle \boldsymbol{x},\boldsymbol{e}_{k}\right\rangle \\ & =\sum_{k=1}^{\infty}\overline{\left\langle \sum_{j=1}^{\infty}x_{j}\boldsymbol{e}_{j},\boldsymbol{e}_{j}\right\rangle }\left\langle \boldsymbol{x},\boldsymbol{e}_{k}\right\rangle \\ & =\sum_{k=1}^{\infty}\overline{\left\langle \boldsymbol{x},\boldsymbol{e}_{j}\right\rangle }\left\langle \boldsymbol{x},\boldsymbol{e}_{k}\right\rangle \\ & =\sum_{k=1}^{n}\left|\left\langle \boldsymbol{x},\boldsymbol{e}_{k}\right\rangle \right|^{2} \end{align*}(0)-2
\begin{align*} \left\Vert \boldsymbol{x}\right\Vert ^{2} & =\left\langle \sum_{k=1}^{\infty}x_{k}\boldsymbol{e}_{k},\sum_{j=1}^{\infty}x_{j}\boldsymbol{e}_{j}\right\rangle \\ & =\sum_{k=1}^{\infty}\sum_{j=1}^{\infty}x_{k}x_{j}\left\langle \boldsymbol{e}_{k},\boldsymbol{e}_{j}\right\rangle \\ & =\sum_{k=1}^{n}\sum_{j=1}^{n}x_{k}x_{j}\delta_{k,j}\\ & =\sum_{k=1}^{n}x_{k}x_{k}\\ & =\sum_{k=1}^{n}\left|x_{k}\right|^{2}\\ & =\sum_{k=1}^{n}\left|\sum_{j=1}^{n}x_{j}\delta_{j,k}\right|^{2}\\ & =\sum_{k=1}^{n}\left|\sum_{j=1}^{n}x_{j}\left\langle \boldsymbol{e}_{j},\boldsymbol{e}_{k}\right\rangle \right|^{2}\\ & =\sum_{k=1}^{n}\left|\left\langle \sum_{j=1}^{n}x_{j}\boldsymbol{e}_{j},\boldsymbol{e}_{k}\right\rangle \right|^{2}\\ & =\sum_{k=1}^{n}\left|\left\langle \boldsymbol{x},\boldsymbol{e}_{k}\right\rangle \right|^{2} \end{align*}
ページ情報
| タイトル | パーセバルの等式 |
| URL | https://www.nomuramath.com/scde1kf9/ |
| SNSボタン |
直交直和分解定理
\[
W=X_{1}\oplus X_{2}
\]
ヒルベルト空間の凸射影定理と直交射影定理
\[
H=A\oplus A^{\perp}
\]
直交補空間の性質
\[
\left(X+Y\right)^{\perp}=X^{\perp}\cap Y^{\perp}
\]
内積の連続性
\[
\lim_{k\rightarrow\infty}\left\langle \boldsymbol{x}_{k},\boldsymbol{y}_{k}\right\rangle =\left\langle \boldsymbol{x},\boldsymbol{y}\right\rangle
\]