無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合を\(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ボタン |
平均時速
行きと帰りの時速がそれぞれわかっているときの平均時速はどうなるでしょうか?
内部の最大性と閉包の最小性
\[
O\subseteq A\Leftrightarrow O\subseteq A^{i}
\]
偶数ゼータ・奇数ゼータ・ゼータの総和
\[
\sum_{k=2}^{\infty}\left(\zeta\left(k\right)-1\right)=1
\]
交換子・反交換子と指数関数の定義
\[
\left[\hat{A},\hat{B}\right]=\hat{A}\hat{B}-\hat{B}\hat{A}
\]