終域が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ボタン |
完備距離空間の像は完備部分集合とは限らない
完備距離空間の像は完備部分集合とは限らない
2元1次不定方程式の性質
\[
ax+by=c\text{が整数解を持つ}\Leftrightarrow c\text{は}\gcd(a,b)\text{の倍数}
\]
2項係数の飛び飛びの総和
\[
\sum_{k=-\infty}^{\infty}C\left(mn,mk+l\right)=\frac{1}{m}\sum_{j=0}^{m-1}\left(1+\omega_{m}^{j}\right)^{mn}\left(\omega_{m}^{j}\right)^{-l}
\]
数列の極限