使用者:Råy kuø/沙盒

此頁面介紹的是集合的0-1指示函數。關於其他指示特徵的函數，請見「示性函數」。

在集合論中，指示函數是定義在某集合X上的函數，表示其中有哪些元素屬於某一子集A。指示函數有時候也稱為示性函數或特徵函數。

集X的子集A的指示函數是函數$1_{A}:X\to \lbrace 0,1\rbrace$，定義為

$1_{A}(x)={\begin{cases}1\\0\end{cases}}\quad$	若 $x\in A$
	若 $x\notin A$

A的指示函數也記作$\chi _{A}(x)\,$或$I_{A}(x)\,$。

簡單性質

把X的子集A對應到它的指示函數的映射是雙射，值域是所有函數$f:X\to \{0,1\}$的集合。

如果A和B是X的兩個子集，那麼

$1_{A\cap B}=\min\{1_{A},1_{B}\}=1_{A}1_{B}\,$，

以及

$1_{A\cup B}=\max\{{1_{A},1_{B}}\}=1_{A}+1_{B}-1_{A}1_{B}\,$。

更一般地，設A₁, ..., A_n是X的子集。對任意$x\in X$，可知

$\prod _{k\in I}(1-1_{A_{k}}(x))=1$當且僅當x不屬於任何A_k。

故有

$\prod _{k\in I}(1-1_{A_{k}})=1_{X-\bigcup _{k}A_{k}}=1-1_{\bigcup _{k}A_{k}}$。

展開左式

$1_{\bigcup _{k}A_{k}}$	$=1-\sum _{F\subseteq \{1,2,\ldots ,n\}}(-1)^{|F|}\;1_{\bigcap _{F}A_{k}}$
	$=\sum _{\varnothing \neq F\subseteq \{1,2,\ldots ,n\}}(-1)^{|F|+1}\;1_{\bigcap _{F}A_{k}}$，

其中|F|是F的勢。這是容斥原理的一個形式。

如上一例子所示，指示函數是組合數學一個有用記法。這記法也用在其他地方，例如在概率論：若X是概率空間，有概率測度P，A是可測集，那麼1_A就是隨機變量，其期望值等於A的概率。

$E(1_{A})=\int _{X}1_{A}(x)\,dP=\int _{A}dP=P(A)$。

這等式用於馬爾可夫不等式的一個簡單證明裡。

平均、變異數以及共變異數

給定一個機率空間 $\textstyle (\Omega ,{\mathcal {F}},\operatorname {P} )$ ，其中$A\in {\mathcal {F}},$指示函數可以被定義成以下形式：

$\mathbf {1} _{A}\colon \Omega \rightarrow \mathbb {R} :=$ ${\begin{aligned}\mathbf {1} _{A}=1\ {\text{if}}\ \omega \in A,\\{\text{otherwise}}\ \mathbf {1} _{A}=0\end{aligned}}$

平均

$\operatorname {E} (\mathbf {1} _{A}(\omega ))=\operatorname {P} (A)$

變異數

$\operatorname {Var} (\mathbf {1} _{A}(\omega ))=\operatorname {P} (A)(1-\operatorname {P} (A))$

共變異數

$\operatorname {Cov} (\mathbf {1} _{A}(\omega ),\mathbf {1} _{B}(\omega ))=\operatorname {P} (A\cap B)-\operatorname {P} (A)\operatorname {P} (B)$

指示函數的微分

以下我們討論一個特別的指示函數，黑維塞函數： $$H(x):=\mathbf {1} _{x>0}$$

The distributional derivative of the Heaviside step function is equal to the Dirac delta function, i.e. $${\frac {dH(x)}{dx}}=\delta (x)$$ and similarly the distributional derivative of $$G(x):=\mathbf {1} _{x<0}$$ is $${\frac {dG(x)}{dx}}=-\delta (x)$$

Thus the derivative of the Heaviside step function can be seen as the inward normal derivative at the boundary of the domain given by the positive half-line. In higher dimensions, the derivative naturally generalises to the inward normal derivative, while the Heaviside step function naturally generalises to the indicator function of some domain D. The surface of D will be denoted by S. Proceeding, it can be derived that the inward normal derivative of the indicator gives rise to a 'surface delta function', which can be indicated by $\delta _{S}(\mathbf {x} )$: $$\delta _{S}(\mathbf {x} )=-\mathbf {n} _{x}\cdot \nabla _{x}\mathbf {1} _{\mathbf {x} \in D}$$ where n is the outward normal of the surface S. This 'surface delta function' has the following property: $$-\int _{\mathbb {R} ^{n}}f(\mathbf {x} )\,\mathbf {n} _{x}\cdot \nabla _{x}\mathbf {1} _{\mathbf {x} \in D}\;d^{n}\mathbf {x} =\oint _{S}\,f(\mathbf {\beta } )\;d^{n-1}\mathbf {\beta } .$$

By setting the function f equal to one, it follows that the inward normal derivative of the indicator integrates to the numerical value of the surface area S.