無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合を\(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ボタン |
第3種・第4種チェビシェフ多項式の定義
\[
V_{n}(x)=\frac{\cos\left(\left(n+\frac{1}{2}\right)\cos^{\bullet}x\right)}{\cos\left(\frac{1}{2}\cos^{\bullet}x\right)}
\]
『リーマン・ゼータ関数とディレクレ・イータ関数の導関数の特殊値』を更新しました。
偶関数・奇関数の和・積
\[
\text{奇関数}+\text{奇関数}=\text{奇関数}
\]
while文の基本