正規直交基底での内積
正規直交基底での内積
内積空間\(V\)があり、\(\left\{ \boldsymbol{a}_{k}\right\} _{k\in\left\{ 1,2,\cdots n\right\} }\subseteq V\)を正規直交基底とする。
このとき、\(\boldsymbol{x},\boldsymbol{y}\in V\)が\(\boldsymbol{x}=\sum_{k=1}^{n}x_{k}\boldsymbol{a}_{k},\boldsymbol{y}=\sum_{k=1}^{n}y_{k}\boldsymbol{a}_{k}\)とすると、
\[ \left\langle \boldsymbol{x},\boldsymbol{y}\right\rangle =\sum_{k=1}^{n}x_{k}\overline{y_{k}} \] となる。
内積空間\(V\)があり、\(\left\{ \boldsymbol{a}_{k}\right\} _{k\in\left\{ 1,2,\cdots n\right\} }\subseteq V\)を正規直交基底とする。
このとき、\(\boldsymbol{x},\boldsymbol{y}\in V\)が\(\boldsymbol{x}=\sum_{k=1}^{n}x_{k}\boldsymbol{a}_{k},\boldsymbol{y}=\sum_{k=1}^{n}y_{k}\boldsymbol{a}_{k}\)とすると、
\[ \left\langle \boldsymbol{x},\boldsymbol{y}\right\rangle =\sum_{k=1}^{n}x_{k}\overline{y_{k}} \] となる。
正規直交基底なので、\(\left\langle \boldsymbol{a}_{k},\boldsymbol{a}_{j}\right\rangle =\delta_{k,j}\)となり、
\begin{align*} \left\langle \boldsymbol{x},\boldsymbol{y}\right\rangle & =\left\langle \sum_{k=1}^{n}x_{k}\boldsymbol{a}_{k},\sum_{j=1}^{n}y_{j}\boldsymbol{a}_{j}\right\rangle \\ & =\sum_{k=1}^{n}\sum_{j=1}^{n}x_{k}\overline{y_{j}}\left\langle \boldsymbol{a}_{k},\boldsymbol{a}_{j}\right\rangle \\ & =\sum_{k=1}^{n}\sum_{j=1}^{n}x_{k}\overline{y_{j}}\delta_{k,j}\\ & =\sum_{k=1}^{n}x_{k}y_{k} \end{align*} となるので与式は成り立つ。
\begin{align*} \left\langle \boldsymbol{x},\boldsymbol{y}\right\rangle & =\left\langle \sum_{k=1}^{n}x_{k}\boldsymbol{a}_{k},\sum_{j=1}^{n}y_{j}\boldsymbol{a}_{j}\right\rangle \\ & =\sum_{k=1}^{n}\sum_{j=1}^{n}x_{k}\overline{y_{j}}\left\langle \boldsymbol{a}_{k},\boldsymbol{a}_{j}\right\rangle \\ & =\sum_{k=1}^{n}\sum_{j=1}^{n}x_{k}\overline{y_{j}}\delta_{k,j}\\ & =\sum_{k=1}^{n}x_{k}y_{k} \end{align*} となるので与式は成り立つ。
ページ情報
| タイトル | 正規直交基底での内積 |
| URL | https://www.nomuramath.com/tg2fvbdd/ |
| SNSボタン |
ヒルベルト空間の凸射影定理と直交射影定理
\[
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
\]
ユニタリ変換の定義と性質
\[
\left\langle f\left(\boldsymbol{x}\right),f\left(\boldsymbol{y}\right)\right\rangle =\left\langle \boldsymbol{x},\boldsymbol{y}\right\rangle
\]

