無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合を\(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ボタン |
オイラー多項式の性質
\[
E_{n}\left(1-x\right)=\left(-1\right)^{n}E_{n}\left(x\right)
\]
距離空間での各点連続と一様連続の定義
\[
\forall x_{1}\in X,\forall\epsilon>0,\exists\delta>0,\forall x_{2}\in X;d_{X}\left(x_{1},x_{2}\right)<\delta\rightarrow d_{Y}\left(f\left(x_{1}\right),f\left(x_{2}\right)\right)<\epsilon
\]
ガンマ関数の対数とリーマン・ゼータ関数
\[
\log\Gamma\left(x+1\right)=-\gamma x+\sum_{k=2}^{\infty}\frac{(-1)^{k}\zeta\left(k\right)}{k}x^{k}
\]
チェビシェフ多項式の級数表示
\[
T_{n}(x)=\sum_{k=0}^{\left\lfloor \frac{n}{2}\right\rfloor }\left(C(n,2k)\left(-1\right)^{k}\left(1-x^{2}\right)^{k}x^{n-2k}\right)
\]