終域が2つの写像全体の集合
終域が2つの写像全体の集合
集合\(X\)に対し、\(X\)から\(\left\{ 0,1\right\} \)への写像全体の集合を\(\left\{ 0,1\right\} ^{X}\)で表す。
このとき任意の集合\(X\)に対して\(\left|2^{X}\right|=\left|\left\{ 0,1\right\} ^{X}\right|\)となる。
集合\(X\)に対し、\(X\)から\(\left\{ 0,1\right\} \)への写像全体の集合を\(\left\{ 0,1\right\} ^{X}\)で表す。
このとき任意の集合\(X\)に対して\(\left|2^{X}\right|=\left|\left\{ 0,1\right\} ^{X}\right|\)となる。
任意の\(A\in2^{X}\)に対し写像を指示関数
\[ 1_{A}:X\rightarrow\left\{ 0,1\right\} ,x\mapsto\begin{cases} 1 & x\in A\\ 0 & x\notin A \end{cases} \] で定める。
このとき写像
\[ f:2^{X}\rightarrow\left\{ 0,1\right\} ^{X},A\mapsto1_{A} \] は全単射になるので、\(\left|2^{X}\right|=\left|\left\{ 0,1\right\} ^{X}\right|\)となる。
\[ 1_{A}:X\rightarrow\left\{ 0,1\right\} ,x\mapsto\begin{cases} 1 & x\in A\\ 0 & x\notin A \end{cases} \] で定める。
このとき写像
\[ f:2^{X}\rightarrow\left\{ 0,1\right\} ^{X},A\mapsto1_{A} \] は全単射になるので、\(\left|2^{X}\right|=\left|\left\{ 0,1\right\} ^{X}\right|\)となる。
ページ情報
| タイトル | 終域が2つの写像全体の集合 |
| URL | https://www.nomuramath.com/q1zfp3zc/ |
| SNSボタン |
1-1+1-1+…と続く総和
\[
\sum_{k=1}^{n}\left(-1\right)^{k+1}=\frac{1}{2}+\frac{\left(-1\right)^{n+1}}{2}
\]
チェビシェフ多項式の直交性
\[
\int_{-1}^{1}T_{m}(x)T_{n}(x)\frac{dx}{\sqrt{1-x^{2}}}=\frac{\pi}{2}\left(\delta_{mn}+\delta_{0m}\delta_{0n}\right)
\]
4次方程式標準形の解き方
\[
y=\frac{\mp_{1}\sqrt{2u-p}\pm_{2}\sqrt{-p-2u-\frac{4q}{2\sqrt{2u-p}}}}{2}
\]
『分離公理(距離・正規・正則・T2・T1・T0・その他)同士の関係』を更新しました。