無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合を\(A\)とする。
このとき選択公理より\(a_{n}\)を\(a_{n}\in A\setminus\bigcup_{k=1}^{n-1}\left\{ a_{k}\right\} \)と選ぶと、\(\left\{ a_{1},a_{2},\cdots\right\} =\left\{ a_{n}\right\} _{n\in\mathbb{N}}\subseteq A\)は可算無限部分集合となる。
故に題意は成り立つ。
このとき選択公理より\(a_{n}\)を\(a_{n}\in A\setminus\bigcup_{k=1}^{n-1}\left\{ a_{k}\right\} \)と選ぶと、\(\left\{ a_{1},a_{2},\cdots\right\} =\left\{ a_{n}\right\} _{n\in\mathbb{N}}\subseteq A\)は可算無限部分集合となる。
故に題意は成り立つ。
ページ情報
| タイトル | 無限集合は可算無限部分集合をもつ |
| URL | https://www.nomuramath.com/pyftcwbu/ |
| SNSボタン |
行列式と行・列の入れ替え
\[
\det\left(\boldsymbol{a}_{\tau\left(1\right)},\boldsymbol{a}_{\tau\left(2\right)},\cdots,\boldsymbol{a}_{\tau\left(n\right)}\right)=\sgn\left(\tau\right)\det\left(\boldsymbol{a}_{1},\boldsymbol{a}_{2},\cdots,\boldsymbol{a}_{n}\right)
\]
不変部分空間の定義と性質
\[
f\left(W\right)\subseteq W
\]
ベクトル空間の和・直和・和集合・積集合・直積の定義と基本性質
\[
V_{1}+V_{2}=\left\{ \boldsymbol{v}_{1}+\boldsymbol{v}_{2};\boldsymbol{v}_{1}\in V,\boldsymbol{v}_{2}\in V\right\}
\]
内積の連続性
\[
\lim_{k\rightarrow\infty}\left\langle \boldsymbol{x}_{k},\boldsymbol{y}_{k}\right\rangle =\left\langle \boldsymbol{x},\boldsymbol{y}\right\rangle
\]