終域が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ボタン |
剰余演算同士の和・差
\[
\mod\left(x,a,b\right)+\mod\left(y,a,b\right)=\mod\left(x+y,a,b\right)+a\mzp_{0,1}\left(b\sgn\left(a\right),b\sgn\left(a\right)+\left|a\right|;\sgn\left(a\right)\left(\mod\left(x,a,b\right)+\mod\left(y,a,b\right)\right)\right)
\]
差積の定義と性質
\[
\Delta\left(x_{1},\cdots,x_{n}\right):=\prod_{1\leq i<j\leq n}\left(x_{i}-x_{j}\right)
\]
数列の極限
ルートの中に2乗を含む積分
\[
\int f\left(\sqrt{a^{2}-x^{2}}\right)dx=a\int f\left(a\cos t\right)\cos tdt\cnd{x=a\sin t}
\]