Сублінійною функцією в математиці називається функція над дійсним векторним простором V (більш загально замість поля дійсних чисел можна розглядати довільне впорядковане поле), для якої виконуються такі умови:
- для всіх і всіх x ∈ V (додатна однорідність),
- для всіх x, y ∈ V ().
Еквівалентні визначення
Еквівалентно у визначенні умову субадитивності можна замінити умовою опуклості, згідно з якою для функції має виконуватися нерівність:
- для всіх x, y ∈ V і .
Справді, якщо функція є додатно однорідною і опуклою то:
З сублінійності і додатної однорідності теж, очевидно, випливає опуклість. Зважаючи на це альтернативне визначення такий тип функцій іноді називають однорідно-опуклими. Інша поширена назва функціонал Банаха, зважаючи на появу такого типу функціоналів у твердженні теореми Гана — Банаха.
Інше альтернативне визначення: функція є сублінійною тоді і лише тоді коли виконується умова:
- для всіх x, y ∈ V і всіх .
Приклади
- Кожна лінійна функція є, очевидно, сублінійною. Сублінійною буде також і функція , якщо — лінійна.
- Довжина вектора в n-вимірному евклідовому просторі є сублінійною функцією. Тут умова субадитивності означає, що довжина суми двох векторів не перевищує суми їх довжин (нерівність трикутника), а додатна однорідність безпосередньо випливає з визначення довжини вектора в
3. Нехай M — простір обмежених послідовностей Функціонал:
є сублінійним.
Властивості
- Дане твердження одержується підстановкою x = 0 в рівняння додатної однорідності.
- Ненульова сублінійна функція може бути невід'ємною, але якщо тоді дана функція всюди рівна нулю. Це випливає з нерівності:
згідно з якою, якщо f(x) є від'ємним числом, то f(-x) має бути додатним.
- Для будь-якого виконується нерівність:
При це випливає з означення додатної однорідності, при - з першої властивості, якщо ж , то з нерівності у попередній властивості отримуємо:
або:
Див. також
Література
- Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — 4-е изд. — Москва : Наука, 1976. — 544 с. — .(рос.)
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Sublinijnoyu funkciyeyu v matematici nazivayetsya funkciya f V R displaystyle f V rightarrow mathbb R nad dijsnim vektornim prostorom V bilsh zagalno zamist polya dijsnih chisel mozhna rozglyadati dovilne vporyadkovane pole dlya yakoyi vikonuyutsya taki umovi f g x g f x displaystyle f gamma x gamma f left x right dlya vsih g R displaystyle gamma in mathbb R i vsih x V dodatna odnoridnist f x y f x f y displaystyle f x y leqslant f x f y dlya vsih x y V Ekvivalentni viznachennyaEkvivalentno u viznachenni umovu subaditivnosti mozhna zaminiti umovoyu opuklosti zgidno z yakoyu dlya funkciyi maye vikonuvatisya nerivnist f g x 1 g y g f x 1 g f y displaystyle f gamma x 1 gamma y leqslant gamma f x 1 gamma f y dlya vsih x y V i 0 g 1 displaystyle 0 leqslant gamma leqslant 1 Spravdi yaksho funkciya ye dodatno odnoridnoyu i opukloyu to f x y 2 f x y 2 2 f x y 2 f x y 2 f x f y 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 Z sublinijnosti i dodatnoyi odnoridnosti tezh ochevidno viplivaye opuklist Zvazhayuchi na ce alternativne viznachennya takij tip funkcij inodi nazivayut odnoridno opuklimi Insha poshirena nazva funkcional Banaha zvazhayuchi na poyavu takogo tipu funkcionaliv u tverdzhenni teoremi Gana Banaha Inshe alternativne viznachennya funkciya f V R displaystyle f V rightarrow mathbb R ye sublinijnoyu todi i lishe todi koli vikonuyetsya umova f g x d y g f x 1 g f y displaystyle f gamma x delta y leqslant gamma f x 1 gamma f y dlya vsih x y V i vsih 0 lt g d displaystyle 0 lt gamma delta PrikladiKozhna linijna funkciya ye ochevidno sublinijnoyu Sublinijnoyu bude takozh i funkciya p x f x displaystyle p x f x yaksho f x displaystyle f x linijna Dovzhina vektora v n vimirnomu evklidovomu prostori ye sublinijnoyu funkciyeyu Tut umova subaditivnosti oznachaye sho dovzhina sumi dvoh vektoriv ne perevishuye sumi yih dovzhin nerivnist trikutnika a dodatna odnoridnist bezposeredno viplivaye z viznachennya dovzhini vektora v R n displaystyle mathbb R n 3 Nehaj M prostir obmezhenih poslidovnostej x x 1 x 2 x i displaystyle x x 1 x 2 ldots x i ldots Funkcional f x sup i x i displaystyle f x sup i x i ye sublinijnim Vlastivostif 0 0 displaystyle f 0 0 Dane tverdzhennya oderzhuyetsya pidstanovkoyu x 0 v rivnyannya dodatnoyi odnoridnosti Nenulova sublinijna funkciya mozhe buti nevid yemnoyu ale yaksho f x 0 x V displaystyle f x leqslant 0 forall x in V todi dana funkciya vsyudi rivna nulyu Ce viplivaye z nerivnosti 0 f x x f x f x x V displaystyle 0 f x x leqslant f x f x forall x in V zgidno z yakoyu yaksho f x ye vid yemnim chislom to f x maye buti dodatnim Dlya bud yakogo g displaystyle gamma vikonuyetsya nerivnist f g x g f x displaystyle f gamma x geqslant gamma f left x right Pri g gt 0 displaystyle gamma gt 0 ce viplivaye z oznachennya dodatnoyi odnoridnosti pri g 0 displaystyle gamma 0 z pershoyi vlastivosti yaksho zh g lt 0 displaystyle gamma lt 0 to z nerivnosti u poperednij vlastivosti otrimuyemo 0 f g x f g x f g x g f x displaystyle 0 leqslant f gamma x f gamma x f gamma x gamma f x abo f g x g f x g f x displaystyle f gamma x geqslant gamma f x gamma f x Div takozhTeorema Gana BanahaLiteraturaKolmogorov A N Fomin S V Elementy teorii funkcij i funkcionalnogo analiza 4 e izd Moskva Nauka 1976 544 s ISBN 5 9221 0266 4 ros