Сублінійна функція

Сублінійною функцією в математиці називається функція $f:V\to ℝ$ над дійсним векторним простором V (більш загально замість поля дійсних чисел можна розглядати довільне впорядковане поле), для якої виконуються такі умови:

$f(\gamma x)=\gamma f\left(x\right)$  для всіх $\gamma \in {ℝ}_{+}$ і всіх x ∈ V (додатна однорідність),

$f(x+y)⩽f(x)+f(y)$  для всіх x, y ∈ V (субадитивність).

Еквівалентні визначення

Еквівалентно у визначенні умову субадитивності можна замінити умовою опуклості, згідно з якою для функції має виконуватися нерівність:

$f(\gamma x+(1-\gamma )y)⩽\gamma f(x)+(1-\gamma )f(y)$  для всіх x, y ∈ V і $0⩽\gamma ⩽1$.

Справді, якщо функція є додатно однорідною і опуклою то:

$f(x+y)=2f\left(\frac{x+y}{2}\right)⩽2(f\left(\frac{x+y}{2}\right)+f\left(\frac{x+y}{2}\right))=f(x)+f(y).$

З сублінійності і додатної однорідності теж, очевидно, випливає опуклість. Зважаючи на це альтернативне визначення такий тип функцій іноді називають однорідно-опуклими. Інша поширена назва функціонал Банаха, зважаючи на появу такого типу функціоналів у твердженні теореми Гана — Банаха.

Інше альтернативне визначення: функція $f:V\to ℝ$ є сублінійною тоді і лише тоді коли виконується умова:

$f(\gamma x+\delta y)⩽\gamma f(x)+(1-\gamma )f(y)$  для всіх x, y ∈ V і всіх $0<\gamma ,\delta$.

Приклади

• Кожна лінійна функція є, очевидно, сублінійною. Сублінійною буде також і функція $p(x)=|f(x)|$, якщо $f(x)$ — лінійна.
• Довжина вектора в n-вимірному евклідовому просторі є сублінійною функцією. Тут умова субадитивності означає, що довжина суми двох векторів не перевищує суми їх довжин (нерівність трикутника), а додатна однорідність безпосередньо випливає з визначення довжини вектора в ${ℝ}^n.$

3. Нехай M — простір обмежених послідовностей $x=(x_1,x_2,\dots ,x_i,\dots ).$ Функціонал:

$f(x)=\underset{i}{\sup }|x_i|$

є сублінійним.

Властивості

• $f(0)=0.$ Дане твердження одержується підстановкою x = 0 в рівняння додатної однорідності.
• Ненульова сублінійна функція може бути невід'ємною, але якщо $f(x)⩽0,\mathrm{\forall }x\in V$ тоді дана функція всюди рівна нулю. Це випливає з нерівності:

$0=f(x+(-x))⩽f(x)+f(-x),\mathrm{\forall }x\in V$

згідно з якою, якщо f(x) є від'ємним числом, то f(-x) має бути додатним.

• Для будь-якого $\gamma$ виконується нерівність:

$f(\gamma x)⩾\gamma f\left(x\right)$

При $\gamma >0$ це випливає з означення додатної однорідності, при $\gamma =0$ - з першої властивості, якщо ж $\gamma <0$, то з нерівності у попередній властивості отримуємо:

$0⩽f(\gamma x)+f(|\gamma |x)=f(\gamma x)+|\gamma |f(x)$

або:

$f(\gamma x)⩾-|\gamma |f(x)=\gamma f(x).$

Див. також

• Теорема Гана — Банаха

Література

• Шаблон:Колмогоров.Фомин