無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合を\(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項変換とオイラー数
\[
a_{n}=\sum_{k=0}^{\left\lfloor \frac{n}{2}\right\rfloor }C\left(n,2k\right)b_{n-2k}
\]
\[
b_{n}=\sum_{k=0}^{\left\lfloor \frac{n}{2}\right\rfloor }C\left(n,2k\right)E_{2k}a_{n-2k}
\]
(*)オイラー多項式の微分・積分
\[
E_{n}^{\left(k\right)}\left(x\right)=P\left(n,k\right)E_{n-k}\left(x\right)
\]
不完全ガンマ関数とガンマ関数との関係
\[
\gamma\left(a,x\right)+\Gamma\left(a,x\right)=\Gamma\left(a\right)
\]