無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合を\(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ボタン |
(*)平方剰余の相互法則と補充法則
\[
QR(p,q)QR(q,p)=\left(-1\right)^{\frac{p-1}{2}\frac{q-1}{2}}
\]
(*)スターリング数の漸化式
\[
S_{1}\left(n,k\right)=S_{1}\left(n-1,k-1\right)-\left(n-1\right)S_{1}\left(n-1,k\right)
\]
距離空間でのε-近傍・開集合・閉集合・開集合全体の集合・開集合族の定義
\[
U_{\epsilon}\left(a\right)=\left\{ x\in X;d\left(x,a\right)<\epsilon\right\}
\]
4角形が円に外接するときの対辺の和
\[
\left|\overrightarrow{AB}\right|+\left|\overrightarrow{CD}\right|=\left|\overrightarrow{BC}\right|+\left|\overrightarrow{DA}\right|
\]