正規直交基底での内積
正規直交基底での内積
内積空間\(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ボタン |
直交するならば1次独立
直交・直交直和・直交補空間・直交基底・正規直交基底の定義
\[
W^{\bot}=\left\{ \boldsymbol{x}\in V;\forall\boldsymbol{y}\in W,\left\langle \boldsymbol{x},\boldsymbol{y}\right\rangle =0\right\}
\]
標準エルミート内積と標準内積
\[
\left\langle \boldsymbol{x},\boldsymbol{y}\right\rangle =\sum_{k=1}^{n}x_{k}\overline{y_{k}}
\]
0ベクトルとの内積
\[
\left\langle \boldsymbol{0},\boldsymbol{x}\right\rangle =\left\langle \boldsymbol{x},\boldsymbol{0}\right\rangle =0
\]

