指示関数とは
指示関数 (英:indicator function) とは、普遍集合 U とその部分集合 A に対して、集合 {0,1} へ A に属するかどうかで 0 または 1 に像を写す実関数のこと。
χA(x)={10x∈Ax∈Ac
指示関数の性質
空集合の指示関数:
χ∅(x)=0(x∈U)
普遍集合の指示関数:
χU(x)=1(x∈U)
指示関数の演算
合併集合の指示関数:
χA∪B=χA+χB−χA∩B(A,B⊆U)
直和集合の指示関数:
χA⊔B=χA+χB(A,B⊆U)
差集合の指示関数:
χA∖B=χA−χA∩B(A,B⊆U)
対称差の指示関数:
χA△B=χA∖B+χB∖A(A,B⊆U)
補集合の指示関数:
χAc=χU∖A(A⊆U)
関連記事
参考文献
松坂 和夫
岩波書店
売り上げランキング: 35,151