無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合を\(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ボタン |
べき乗を含む0から∞までの定積分
\[
\Arg\left(\alpha\right)\ne\pi,0<b\Rightarrow\int_{0}^{\infty}f\left(x,\alpha x^{b}\right)dx=\frac{1}{\alpha^{\frac{1}{b}}b}\lim_{R\rightarrow\infty}\int_{0}^{Re^{i\Arg\left(\alpha\right)}}f\left(\frac{t^{\frac{1}{b}}}{\alpha^{\frac{1}{b}}},t\right)t^{\frac{1}{b}-1}dt
\]
床関数の総和の2乗の定積分
\[
\int_{0}^{1}\left(\sum_{k=1}^{\infty}\frac{\left\lfloor 2^{k}x\right\rfloor }{3^{k}}\right)^{2}dx=?
\]
ポアソン和公式
\[
\sum_{n=-\infty}^{\infty}f\left(n\right)=\sum_{\xi=-\infty}^{\infty}\hat{f}\left(\xi\right)
\]
スターリング数とベルヌーイ数の関係
\[
\frac{\left(-1\right)^{m}}{m!}\sum_{k=0}^{m}\left(-1\right)^{k}S_{1}\left(m+1,k+1\right)B_{k}=\frac{1}{m+1}
\]