示性函数 (凸分析)

假设 ${\displaystyle A}$  为集合 ${\displaystyle X}$  的子集。 ${\displaystyle A}$  的 “示性函数”

${\displaystyle \chi _{A}:X\to \mathbb {R} \cup \{+\infty \}}$ 

在扩展实数线上的值定义为

${\displaystyle \chi _{A}(x):={\begin{cases}0,&x\in A;\\+\infty ,&x\not \in A.\end{cases}}}$ 

令 ${\displaystyle \mathbf {1} _{A}:X\to \mathbb {R} }$  为一般指示函数：

${\displaystyle \mathbf {1} _{A}(x):={\begin{cases}1,&x\in A;\\0,&x\not \in A.\end{cases}}}$ 

若采用如下约定

• 对于任意${\displaystyle a\in \mathbb {R} \cup \{+\infty \}}$ ， ${\displaystyle a+(+\infty )=+\infty }$  以及 ${\displaystyle a(+\infty )=+\infty }$ ；
• ${\displaystyle {\frac {1}{0}}=+\infty }$ ；且
• ${\displaystyle {\frac {1}{+\infty }}=0}$ ；

那么，指示函数与示性函数满足如下关系

${\displaystyle \mathbf {1} _{A}(x)={\frac {1}{1+\chi _{A}(x)}}}$ 

同时，

${\displaystyle \chi _{A}(x)=(+\infty )\left(1-\mathbf {1} _{A}(x)\right).}$ 

• Rockafellar, R. T. Convex Analysis. Princeton, NJ: Princeton University Press. 1997 [1970]. ISBN 978-0-691-01586-6.