定義関数の定義と性質

定義関数の定義
集合\(X\)とその部分集合\(A\subseteq X\)が与えられたとき、\(X\)の元\(x\in X\)が\(A\)に属する場合は1を、属さない場合は0を返す2値関数\(1_{A}\left(x\right)\)を定義関数という。
すなわち
\[ 1_{A}:X\rightarrow\left\{ 0,1\right\} ,x\mapsto\begin{cases} 1 & x\in A\\ 0 & x\notin A \end{cases} \] である。

定義関数の性質

(1)補集合

\[ 1_{A^{c}}=1-1_{A} \]

(2)積集合

\[ 1_{A\cap B}=1_{A}1_{B} \]

(3)和集合

\[ 1_{A\cup B}=1_{A}+1_{B}-1_{A}1_{B} \]

(4)差集合

\[ 1_{A\setminus B}=1_{A}\left(1-1_{B}\right) \]

(5)対称差集合

\[ 1_{A\triangle B}=\left|1_{A}-1_{B}\right| \]

定義関数\(1_{A}\)は集合\(A\)を定義するという意味で部分集合\(A\)の定義関数ともいう。
定義関数は指示関数、特性関数ともいいます。

集合\(\left\{ a,b,c\right\} \)とその部分集合\(\left\{ a,b\right\} \)があるとき、\(1_{\left\{ a,b\right\} }\left(a\right)=1,1_{\left\{ a,b\right\} }\left(b\right)=1,1_{\left\{ a,b\right\} }\left(c\right)=0\)となる。

(1)

\begin{align*} 1_{A^{c}} & =\begin{cases} 1 & x\in A^{c}\\ 0 & x\notin A^{c} \end{cases}\\ & =\begin{cases} 1 & x\notin A\\ 0 & x\in A \end{cases}\\ & =1-\begin{cases} 0 & x\notin A\\ 1 & x\in A \end{cases}\\ & =1-1_{A} \end{align*}

(2)

\begin{align*} 1_{A\cap B}\left(x\right) & =\begin{cases} 1 & x\in A\cap B\\ 0 & x\notin A\cap B \end{cases}\\ & =1_{A}\left(x\right)1_{B}\left(x\right) \end{align*} より、\(1_{A\cap B}=1_{A}1_{B}\)が成り立つ。

(3)

\begin{align*} 1_{A\cup B} & =1_{\left(A^{c}\cap B^{c}\right)^{c}}\\ & =1-1_{A^{c}\cap B^{c}}\\ & =1-\left(1_{A^{c}}1_{B^{c}}\right)\\ & =1-\left(1-1_{A}\right)\left(1-1_{B}\right)\\ & =1-\left(1-1_{A}-1_{B}+1_{A}1_{B}\right)\\ & =1_{A}+1_{B}-1_{A}1_{B} \end{align*}

(4)

\begin{align*} 1_{A\setminus B} & =1_{A\cap B^{c}}\\ & =1_{A}1_{B^{c}}\\ & =1_{A}\left(1-1_{B}\right) \end{align*}

(5)

\begin{align*} 1_{A\triangle B}\left(x\right) & =\begin{cases} 1 & x\in A\land x\notin B\\ 1 & x\notin A\land x\in B\\ 0 & x\in A\land x\in B\\ 0 & x\notin A\land x\notin B \end{cases}\\ & =\left|1_{A}\left(x\right)-1_{B}\left(x\right)\right| \end{align*} より、\(1_{A\triangle B}=\left|1_{A}-1_{B}\right|\)が成り立つ。

ページ情報

タイトル	定義関数の定義と性質
URL	https://www.nomuramath.com/c4ldaxj1/
SNSボタン

直積集合の射影の定義と性質

\[ \pi_{J}:X_{I}\rightarrow X_{J},\left(x_{i}\right)_{i\in I}\mapsto\left(x_{j}\right)_{j\in J} \]

写像の制限と拡張の定義

\[ f|_{A}=f\circ i_{A} \]

写像の直和・直積の定義

\[ \left(f_{1}\oplus f_{2}\right)\left(x\right)=\begin{cases} f_{1}\left(x\right) & x\in X_{1}\setminus X_{2}\\ f_{2}\left(x\right) & x\in X_{2}\setminus X_{1}\\ f_{1}\mid_{X_{1}\cap X_{2}}\left(x\right)=f_{2}\mid_{X_{1}\cap X_{2}}\left(x\right) & x\in X_{1}\cap X_{2} \end{cases} \]

写像・対応のグラフの定義

\[ G\left(f\right)=\left\{ \left(x,f\left(x\right)\right)\in X\times Y;x\in X\right\} \]