無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合を\(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種スターリング数の一般解
\[
S_{2}\left(n,k\right)=\frac{1}{k!}\sum_{j=0}^{k}\left(-1\right)^{k-j}C\left(k,j\right)j^{n}
\]
カントールの対関数の漸化式
\[
\pi\left(m,n\right)+1=\begin{cases}
\pi\left(m-1,n+1\right) & m\ne0\\
\pi\left(n+1,0\right) & m=0
\end{cases}
\]
フーリエ変換の定義とフーリエ逆変換
\[
\mathcal{F}_{x}\left[f\left(x\right)\right]\left(\xi\right)=\int_{-\infty}^{\infty}f\left(x\right)e^{-2\pi i\xi x}dx
\]
スターリング数と上昇・下降階乗
\[
Q\left(x,n\right)=\sum_{k=0}^{n}\left(-1\right)^{n+k}S_{1}\left(n,k\right)x^{k}
\]