Википедия

Субаддитивный функционал

Сублинейной функцией в математике называется функция над действительным векторным пространством (более обще вместо поля действительных чисел можно рассматривать произвольное упорядоченное поле), для которой выполняются следующие условия:

  для всех и всех x ∈ V (положительная однородность),
  для всех xy ∈ V (субаддитивность).

Эквивалентные определения

Эквивалентно в определении условие субадитивности можно заменить условием выпуклости, согласно которому для функции должно выполняться неравенство:

image  для всех xy ∈ V и image.

Действительно, если функция является положительно однородной и выпуклой, то:

image

Из сублинейности и положительной однородности тоже, очевидно, следует выпуклость. Учитывая это альтернативное определение, такой тип функций иногда называют однородно-выпуклыми. Другое распространенное название — функционал Банаха, несмотря на появление такого типа функционалов в утверждении теоремы Хана — Банаха.

Другое альтернативное определение: функция image является сублинейной тогда и только тогда, когда выполняется условие:

image  для всех xy ∈ V и всех image.

Примеры

  • Каждая линейная функция является, очевидно, сублинейной. Сублинейной будет также и функция image, если image — линейная.
  • Длина вектора в image-мерном евклидовом пространстве является сублинейной функцией. Здесь условие субаддитивности означает, что длина суммы двух векторов не превышает сумму их длин (неравенство треугольника), а положительная однородность непосредственно следует из определения длины вектора в image
  • Пусть M — пространство ограниченных последовательностей image

Функционал:

image

является сублинейным.

Свойства

  • image Данное утверждение получается подстановкой x = 0 в уравнение положительной однородности.
  • Ненулевая сублинейная функция может быть неотрицательной, но если image, тогда данная функция всюду равна нулю. Это следует из неравенства:
image

согласно которому если f(x) является отрицательным числом то f(-x) должно быть положительным.

  • Для любого image выполняется неравенство:
image

При image это следует из определения положительной однородности, при image — из первого свойства, если же image, то из неравенства в предыдущем свойстве получаем:

image

или:

image

См. также

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

Википедия, чтение, книга, библиотека, поиск, нажмите, истории, книги, статьи, 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

NiNa.Az

NiNa.Az - Абсолютно бесплатная система, которая делится для вас информацией и контентом 24 часа в сутки.
Взгляните
Закрыто