無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合を\(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ボタン |
分母に双曲線関数で分子に3角関数の定積分
\[
\int_{-\infty}^{\infty}\frac{\cos x}{\cosh x}dx=?
\]
ベルヌーイ多項式の指数型母関数
\[
\sum_{k=0}^{\infty}B_{k}\left(x\right)\frac{t^{k}}{k!}=\frac{te^{xt}}{e^{t}-1}
\]
ヘヴィサイド関数と符号
\[
H_{c}\left(x\right)f\left(\pm x\right)=H_{c}\left(x\right)f\left(\pm\left|x\right|\right)
\]
『3角関数と双曲線関数の加法定理』を更新しました。