Характеристическая функция (выпуклый анализ)

В области математики, известной как выпуклый анализ , характеристическая функция множества — это выпуклая функция , которая указывает на принадлежность (или непринадлежность) данного элемента к этому множеству. Она похожа на обычную индикаторную функцию , и между ними можно свободно выполнять преобразования, но характеристическая функция, как определено ниже, лучше подходит для методов выпуклого анализа.

Определение

Пусть будет множеством , и пусть будет подмножеством множества . Характеристической функцией множества является функция X {\displaystyle X} A {\displaystyle A} X {\displaystyle X} A {\displaystyle A}

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

принимающие значения в расширенной действительной числовой оси, определяемой

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

Связь с индикаторной функцией

Обозначим обычную индикаторную функцию: 1 A : X R {\displaystyle \mathbf {1} _{A}:X\to \mathbb {R} }

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

Если принять соглашения, которые

  • для любого , и , кроме ; a R { + } {\displaystyle a\in \mathbb {R} \cup \{+\infty \}} a + ( + ) = + {\displaystyle a+(+\infty )=+\infty } a ( + ) = + {\displaystyle a(+\infty )=+\infty } 0 ( + ) = 0 {\displaystyle 0(+\infty )=0}
  • 1 0 = + {\displaystyle {\frac {1}{0}}=+\infty } ; и
  • 1 + = 0 {\displaystyle {\frac {1}{+\infty }}=0} ;

тогда индикаторная и характеристическая функции связаны уравнениями

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

и

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

Субградиент

Субградиент для множества — это касательный конус этого множества в . χ A ( x ) {\displaystyle \chi _{A}(x)} A {\displaystyle A} x {\displaystyle x}

Библиография

Retrieved from "https://en.wikipedia.org/w/index.php?title=Characteristic_function_(convex_analysis)&oldid=1036916454"