無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合は可算無限部分集合をもつ。
ただし選択公理を認めるとする。
無限集合を\(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ボタン |
エルミートと交換子・反交換子
\[
A=A^{*}\land B=B^{*}\rightarrow\left[A,B\right]^{*}=-\left[A,B\right]
\]
傍心円の半径
\[
r_{a}=\frac{S}{s-a}
\]
3角関数・指数関数の直交性
\[
\frac{1}{2\pi}\int_{-\pi}^{\pi}e^{imx}e^{inx}dx=\delta_{m,n}
\]
直交曲線座標でのナブラ演算子・回転・発散・ラプラシアン
\[
\boldsymbol{\nabla}\cdot\boldsymbol{A}=\frac{1}{h}\sum_{i}\frac{\partial}{\partial q_{i}}\frac{A_{i}h}{h_{i}}
\]