Сублінійна функція
Сублінійною функцією в математиці називається функція над дійсним векторним простором V (більш загально замість поля дійсних чисел можна розглядати довільне впорядковане поле), для якої виконуються такі умови:
- для всіх і всіх x ∈ V (додатна однорідність),
- для всіх x, y ∈ V (субадитивність).
Еквівалентні визначення
Еквівалентно у визначенні умову субадитивності можна замінити умовою опуклості, згідно з якою для функції має виконуватися нерівність:
- для всіх x, y ∈ V і .
Справді, якщо функція є додатно однорідною і опуклою то:
З сублінійності і додатної однорідності теж, очевидно, випливає опуклість. Зважаючи на це альтернативне визначення такий тип функцій іноді називають однорідно-опуклими. Інша поширена назва функціонал Банаха, зважаючи на появу такого типу функціоналів у твердженні теореми Гана — Банаха.
Інше альтернативне визначення: функція є сублінійною тоді і лише тоді коли виконується умова:
- для всіх x, y ∈ V і всіх .
Приклади
- Кожна лінійна функція є, очевидно, сублінійною. Сублінійною буде також і функція , якщо — лінійна.
- Довжина вектора в n-вимірному евклідовому просторі є сублінійною функцією. Тут умова субадитивності означає, що довжина суми двох векторів не перевищує суми їх довжин (нерівність трикутника), а додатна однорідність безпосередньо випливає з визначення довжини вектора в
3. Нехай M — простір обмежених послідовностей Функціонал:
є сублінійним.
Властивості
- Дане твердження одержується підстановкою x = 0 в рівняння додатної однорідності.
- Ненульова сублінійна функція може бути невід'ємною, але якщо тоді дана функція всюди рівна нулю. Це випливає з нерівності:
згідно з якою, якщо f(x) є від'ємним числом, то f(-x) має бути додатним.
- Для будь-якого виконується нерівність:
При це випливає з означення додатної однорідності, при - з першої властивості, якщо ж , то з нерівності у попередній властивості отримуємо:
або:
Див. також
Література
- Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — 4-е изд. — Москва : Наука, 1976. — 544 с. — ISBN 5-9221-0266-4.(рос.)