Субаддитивный функционал
Сублинейной функцией в математике называется функция над действительным векторным пространством (более обще вместо поля действительных чисел можно рассматривать произвольное упорядоченное поле), для которой выполняются следующие условия:
- для всех и всех x ∈ V (положительная однородность),
- для всех x, y ∈ V (субаддитивность).
Эквивалентные определения
Эквивалентно в определении условие субадитивности можно заменить условием выпуклости, согласно которому для функции должно выполняться неравенство:
для всех x, y ∈ V и
.
Действительно, если функция является положительно однородной и выпуклой, то:
Из сублинейности и положительной однородности тоже, очевидно, следует выпуклость. Учитывая это альтернативное определение, такой тип функций иногда называют однородно-выпуклыми. Другое распространенное название — функционал Банаха, несмотря на появление такого типа функционалов в утверждении теоремы Хана — Банаха.
Другое альтернативное определение: функция является сублинейной тогда и только тогда, когда выполняется условие:
для всех x, y ∈ V и всех
.
Примеры
- Каждая линейная функция является, очевидно, сублинейной. Сублинейной будет также и функция
, если
— линейная.
- Длина вектора в
-мерном евклидовом пространстве является сублинейной функцией. Здесь условие субаддитивности означает, что длина суммы двух векторов не превышает сумму их длин (неравенство треугольника), а положительная однородность непосредственно следует из определения длины вектора в
- Пусть M — пространство ограниченных последовательностей
Функционал:
является сублинейным.
Свойства
Данное утверждение получается подстановкой x = 0 в уравнение положительной однородности.
- Ненулевая сублинейная функция может быть неотрицательной, но если
, тогда данная функция всюду равна нулю. Это следует из неравенства:
согласно которому если f(x) является отрицательным числом то f(-x) должно быть положительным.
- Для любого
выполняется неравенство:
При это следует из определения положительной однородности, при
— из первого свойства, если же
, то из неравенства в предыдущем свойстве получаем:
или:
См. также
- Теорема Хана — Банаха
Для улучшения этой статьи по математике желательно: |
Википедия, чтение, книга, библиотека, поиск, нажмите, истории, книги, статьи, wikipedia, учить, информация, история, скачать, скачать бесплатно, mp3, видео, mp4, 3gp, jpg, jpeg, gif, png, картинка, музыка, песня, фильм, игра, игры, мобильный, телефон, Android, iOS, apple, мобильный телефон, Samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Сеть, компьютер, Информация о Субаддитивный функционал, Что такое Субаддитивный функционал? Что означает Субаддитивный функционал?
Sublinejnoj funkciej v matematike nazyvaetsya funkciya f V R displaystyle f V rightarrow mathbb R nad dejstvitelnym vektornym prostranstvom V displaystyle V bolee obshe vmesto polya dejstvitelnyh chisel mozhno rassmatrivat proizvolnoe uporyadochennoe pole dlya kotoroj vypolnyayutsya sleduyushie usloviya f gx gf x displaystyle f gamma x gamma f left x right dlya vseh g R displaystyle gamma in mathbb R i vseh x V polozhitelnaya odnorodnost f x y f x f y displaystyle f x y leqslant f x f y dlya vseh x y V subadditivnost Ekvivalentnye opredeleniyaEkvivalentno v opredelenii uslovie subaditivnosti mozhno zamenit usloviem vypuklosti soglasno kotoromu dlya funkcii dolzhno vypolnyatsya neravenstvo f gx 1 g y gf x 1 g f y displaystyle f gamma x 1 gamma y leqslant gamma f x 1 gamma f y dlya vseh x y V i 0 g 1 displaystyle 0 leqslant gamma leqslant 1 Dejstvitelno esli funkciya yavlyaetsya polozhitelno odnorodnoj i vypukloj to f x y 2f x y2 2 12f x 12f y f x f y displaystyle f x y 2f left frac x y 2 right leqslant 2 left frac 1 2 f x frac 1 2 f y right f x f y Iz sublinejnosti i polozhitelnoj odnorodnosti tozhe ochevidno sleduet vypuklost Uchityvaya eto alternativnoe opredelenie takoj tip funkcij inogda nazyvayut odnorodno vypuklymi Drugoe rasprostranennoe nazvanie funkcional Banaha nesmotrya na poyavlenie takogo tipa funkcionalov v utverzhdenii teoremy Hana Banaha Drugoe alternativnoe opredelenie funkciya f V R displaystyle f V rightarrow mathbb R yavlyaetsya sublinejnoj togda i tolko togda kogda vypolnyaetsya uslovie f gx dy gf x 1 g f y displaystyle f gamma x delta y leqslant gamma f x 1 gamma f y dlya vseh x y V i vseh 0 lt g d displaystyle 0 lt gamma delta PrimeryKazhdaya linejnaya funkciya yavlyaetsya ochevidno sublinejnoj Sublinejnoj budet takzhe i funkciya p x f x displaystyle p x f x esli f x displaystyle f x linejnaya Dlina vektora v n displaystyle n mernom evklidovom prostranstve yavlyaetsya sublinejnoj funkciej Zdes uslovie subadditivnosti oznachaet chto dlina summy dvuh vektorov ne prevyshaet summu ih dlin neravenstvo treugolnika a polozhitelnaya odnorodnost neposredstvenno sleduet iz opredeleniya dliny vektora v Rn displaystyle mathbb R n Pust M prostranstvo ogranichennyh posledovatelnostej x x1 x2 xi displaystyle x x 1 x 2 ldots x i ldots Funkcional f x supi xi displaystyle f x sup i x i yavlyaetsya sublinejnym Svojstvaf 0 0 displaystyle f 0 0 Dannoe utverzhdenie poluchaetsya podstanovkoj x 0 v uravnenie polozhitelnoj odnorodnosti Nenulevaya sublinejnaya funkciya mozhet byt neotricatelnoj no esli f x 0 x V displaystyle f x leqslant 0 forall x in V togda dannaya funkciya vsyudu ravna nulyu Eto sleduet iz neravenstva 0 f x x f x f x x V displaystyle 0 f x x leqslant f x f x forall x in V soglasno kotoromu esli f x yavlyaetsya otricatelnym chislom to f x dolzhno byt polozhitelnym Dlya lyubogo g displaystyle gamma vypolnyaetsya neravenstvo f gx gf x displaystyle f gamma x geqslant gamma f left x right Pri g gt 0 displaystyle gamma gt 0 eto sleduet iz opredeleniya polozhitelnoj odnorodnosti pri g 0 displaystyle gamma 0 iz pervogo svojstva esli zhe g lt 0 displaystyle gamma lt 0 to iz neravenstva v predydushem svojstve poluchaem 0 f gx f g x f gx g f x displaystyle 0 leqslant f gamma x f gamma x f gamma x gamma f x ili f gx g f x gf x displaystyle f gamma x geqslant gamma f x gamma f x Sm takzheTeorema Hana BanahaDlya uluchsheniya etoj stati po matematike zhelatelno Najti i oformit v vide snosok ssylki na nezavisimye avtoritetnye istochniki podtverzhdayushie napisannoe Dobavit illyustracii Pozhalujsta posle ispravleniya problemy isklyuchite eyo iz spiska parametrov Posle ustraneniya vseh nedostatkov etot shablon mozhet byt udalyon lyubym uchastnikom
