無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合を\(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ボタン |
2枚のコインの裏表問題
2枚のコインを投げて少なくとも1枚が表のとき両方が表の確率は？
整除関係の基本的な値
\[
\forall a\in\mathbb{Z},\pm1\mid a
\]
余弦積分の極限
\[
\lim_{x\rightarrow\pm0}\left\{ \Ci\left(\alpha x\right)-\Ci\left(x\right)\right\} =\begin{cases}
\Log\alpha & x\rightarrow+0\\
\Log\left(-\alpha\right)-\pi i & x\rightarrow-0
\end{cases}
\]
稠密・可分空間の定義