カントール集合の定義
カントール集合の定義
閉区間\(\left[0,1\right]\)の実数を3進展開したときにどの桁にも1が含まれないような表示があるもの全体からなる集合をカントール集合という。
または、閉区間\(\left[0,1\right]\)の線分を3等分して真ん中の区間を開区間として取り除くという操作を線分に対して再帰的に繰り返して作られる集合である。
例えば\(0.1_{3}\)は\(0.0222\cdots_{3}\)と1を含まないような表示ができるのでカントール集合に含まれる。
また、\(0.2_{3}\)は\(0.1222\cdots_{3}\)と1を含む表示ができるが、\(0.2_{3}\)は1を含まない表示であるのでカントール集合に含まれる。
ページ情報
タイトル | カントール集合の定義 |
URL | https://www.nomuramath.com/gkxl04ux/ |
SNSボタン |
単射により誘導された距離空間
\[
d_{f}\left(a,b\right)=d\left(f\left(a\right),f\left(b\right)\right)
\]
オイラーの4平方恒等式
\[
\left(a_{0}^{\;2}+a_{1}^{\;2}+a_{2}^{\;2}+a_{3}^{\;2}\right)\left(b_{0}^{\;2}+b_{1}^{\;2}+b_{2}^{\;2}+b_{3}^{\;2}\right)=\left(a_{0}b_{0}-a_{1}b_{1}-a_{2}b_{2}-a_{3}b_{3}\right)^{2}+\left(a_{0}b_{1}+a_{1}b_{0}+a_{2}b_{3}-a_{3}b_{2}\right)^{2}+\left(a_{0}b_{2}-a_{1}b_{3}+a_{2}b_{0}+a_{3}b_{1}\right)^{2}+\left(a_{0}b_{3}+a_{1}b_{2}-a_{2}b_{1}+a_{3}b_{0}\right)^{2}
\]
ガンマ関数の相反公式
\[
\Gamma(z)\Gamma(1-z)=\pi\sin^{-1}(\pi z)
\]
対数の指数
\[
a^{\log_{b}c}=c^{\log_{b}a}
\]