ラッセルのパラドックス
ラッセルのパラドックス
自分自身を要素として持たない集合全体の集合\(R=\left\{ A;A\notin A\right\} \)は存在しない。
自分自身を要素として持たない集合全体の集合\(R=\left\{ A;A\notin A\right\} \)は存在しない。
\(R\in R\)と仮定すると、\(R\)の定義より\(R\notin R\)となり矛盾。
また、\(R\notin R\)と仮定すると、\(R\)の定義より\(R\in R\)となり矛盾。
故に集合\(R\)は存在しない。
また、\(R\notin R\)と仮定すると、\(R\)の定義より\(R\in R\)となり矛盾。
故に集合\(R\)は存在しない。
ページ情報
| タイトル | ラッセルのパラドックス |
| URL | https://www.nomuramath.com/luoi3e13/ |
| 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}
\]