対角集合の定義
対角集合の定義
集合\(X\)が与えられているとする。直積集合\(X\times X\)の部分集合\(\Delta_{X}=\left\{ \left(x,y\right)\in X\times X;x=y\right\} =\left\{ \left(x,x\right)\in X\times X\right\} \subseteq X^{2}\)を\(X\times X\)の対角集合または対角線集合という。
集合\(X\)が与えられているとする。直積集合\(X\times X\)の部分集合\(\Delta_{X}=\left\{ \left(x,y\right)\in X\times X;x=y\right\} =\left\{ \left(x,x\right)\in X\times X\right\} \subseteq X^{2}\)を\(X\times X\)の対角集合または対角線集合という。
\(X=\left\{ a,b\right\} \)とすると\(\Delta_{X}=\left\{ \left(a,a\right),\left(b,b\right)\right\} \)となる。
ページ情報
| タイトル | 対角集合の定義 |
| URL | https://www.nomuramath.com/stzx0gqp/ |
| SNSボタン |
0ベクトルとの内積
\[
\left\langle \boldsymbol{0},\boldsymbol{x}\right\rangle =\left\langle \boldsymbol{x},\boldsymbol{0}\right\rangle =0
\]
パーセバルの等式
\[
\sum_{k=1}^{\infty}\left|\left\langle \boldsymbol{x},\boldsymbol{e}_{k}\right\rangle \right|^{2}=\left\Vert \boldsymbol{x}\right\Vert ^{2}
\]
ベッセルの不等式
\[
\sum_{k=1}^{\infty}\left|\left\langle \boldsymbol{x},\boldsymbol{a}_{k}\right\rangle \right|^{2}\leq\left\Vert \boldsymbol{x}\right\Vert ^{2}
\]
(*)完全正規直交系と同値な条件
\[
\forall\boldsymbol{x}\in H,\boldsymbol{x}=\sum_{k}\left\langle \boldsymbol{x},\boldsymbol{e}_{k}\right\rangle \boldsymbol{e}_{k}
\]