無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合を\(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ボタン |
階乗と階乗の逆数の母関数
\[
\frac{x^{a}}{a!}=e^{x}\left(\frac{\Gamma\left(a+1,x\right)}{\Gamma\left(a+1\right)}-\frac{\Gamma\left(a,x\right)}{\Gamma\left(a\right)}\right)
\]
絶対収束するならば順序変更可能
\[
\sum_{k=1}^{\infty}\left|\alpha_{k}\right|<\infty\Rightarrow\sum_{k=1}^{\infty}\alpha_{k}=\sum_{k=1}^{\infty}\alpha_{\sigma\left(k\right)}
\]
階乗冪(上昇階乗・下降階乗)の定義
\[
P(x,y)=\frac{x!}{(x-y)!}
\]
逆三角関数と逆双曲線関数の冪乗積分漸化式
\[
\int\sin^{\bullet,n}xdx=x\sin^{\bullet,n}x+n\sqrt{1-x^{2}}\sin^{\bullet,n-1}x-n(n-1)\int\sin^{\bullet,n-2}xdx
\]