Сублінійною функцією в математиці називається функція
над дійсним векторним простором V (більш загально замість поля дійсних чисел можна розглядати довільне впорядковане поле), для якої виконуються такі умови:
для всіх
і всіх x ∈ V (додатна однорідність),
для всіх x, y ∈ V (субадитивність).
Еквівалентні визначення
Еквівалентно у визначенні умову субадитивності можна замінити умовою опуклості, згідно з якою для функції має виконуватися нерівність:
для всіх x, y ∈ V і
.
Справді, якщо функція є додатно однорідною і опуклою то:
![{\displaystyle f(x+y)=2f\left({\frac {x+y}{2}}\right)\leqslant 2\left(f\left({\frac {x+y}{2}}\right)+f\left({\frac {x+y}{2}}\right)\right)=f(x)+f(y).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8b5ae9605b26675bf7fb9ce1ce5d4d78d95b074)
З сублінійності і додатної однорідності теж, очевидно, випливає опуклість. Зважаючи на це альтернативне визначення такий тип функцій іноді називають однорідно-опуклими. Інша поширена назва функціонал Банаха, зважаючи на появу такого типу функціоналів у твердженні теореми Гана — Банаха.
Інше альтернативне визначення: функція
є сублінійною тоді і лише тоді коли виконується умова:
для всіх x, y ∈ V і всіх
.
Приклади
- Кожна лінійна функція є, очевидно, сублінійною. Сублінійною буде також і функція
, якщо
— лінійна.
- Довжина вектора в n-вимірному евклідовому просторі є сублінійною функцією. Тут умова субадитивності означає, що довжина суми двох векторів не перевищує суми їх довжин (нерівність трикутника), а додатна однорідність безпосередньо випливає з визначення довжини вектора в
![{\displaystyle \mathbb {R} ^{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76ef548febfc9981762740107858be9e3a5576c3)
3. Нехай M — простір обмежених послідовностей
Функціонал:
![{\displaystyle f(x)=\sup _{i}|x_{i}|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c27d622de11ff12ff9b33cf54d1095ef8f58dd1)
є сублінійним.
Властивості
Дане твердження одержується підстановкою x = 0 в рівняння додатної однорідності.
- Ненульова сублінійна функція може бути невід'ємною, але якщо
тоді дана функція всюди рівна нулю. Це випливає з нерівності:
![{\displaystyle 0=f(x+(-x))\leqslant f(x)+f(-x),\,\forall x\in V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37b1fb3bae18e53b27e86b4fcd6843247ccb73c8)
згідно з якою, якщо f(x) є від'ємним числом, то f(-x) має бути додатним.
- Для будь-якого
виконується нерівність:
![{\displaystyle f(\gamma x)\geqslant \gamma f\left(x\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/151ccd290b0d8eaad866dcb06c6bb18355b73aa0)
При
це випливає з означення додатної однорідності, при
- з першої властивості, якщо ж
, то з нерівності у попередній властивості отримуємо:
![{\displaystyle 0\leqslant f(\gamma x)+f(|\gamma |x)=f(\gamma x)+|\gamma |f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33803dd0d9ff9a4bdf20884c2aab2c5cc76640af)
або:
![{\displaystyle f(\gamma x)\geqslant -|\gamma |f(x)=\gamma f(x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28cd6d7da068d36b14d512da5fb4750bd2f918df)
Див. також
Література