無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合を\(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ボタン |
上極限集合と下極限集合の定義
\[
\limsup_{n\rightarrow\infty}A_{n}=\bigcap_{n=1}^{\infty}\bigcup_{k=n}^{\infty}A_{k}
\]
集合列と非交和
\[
\bigcup_{k\in\left\{ 1,2,\cdots,n\right\} }A_{k}=\bigsqcup_{k\in\left\{ 1,2,\cdots,n\right\} }\left(A_{k}\setminus\bigcup_{j=1}^{k-1}A_{j}\right)
\]
集合列と和集合・積集合
\[
\bigcap_{1\leq j<k\leq n}\left(A_{j}\cup A_{k}\right)=\bigcup_{1\leq j\leq n}\bigcap_{1\leq k\leq n,k\ne j}A_{k}
\]
単調増加列・単調減少列同士の積集合と和集合
\[
A_{k}\nearrow_{k\in\mathbb{N}},B_{k}\nearrow_{k\in\mathbb{N}}\Rightarrow\bigcup_{k=1}^{\infty}\left(A_{k}\cap B_{k}\right)=\bigcup_{k=1}^{\infty}A_{k}\cap\bigcup_{k=1}^{\infty}B_{k}
\]