Материал: Функциональный анализ

ипространство измеримых ограниченных функций (при р

снормой

\\f\\L = v ra i sup|f(e‘0) | . °о О<0<2я

Каждая функция f(£) из пространства Я? (1 ^ / ? ^ оо) имеет почти везде на единичной окружности предельные гранич­

Lp. Таким образом, пространство Нр изометрично отображается на замкнутое подпространство в Lp, которое также обозначается через Яр. Это подпространство состоит из всех функций из Lp, для которых равны нулю комплексные коэффициенты Фурье с отрицательными индексами, т. е.

дополнение изометрично сопряженному к фактор-пространству:

Нр — (Lp'fHS)'.

Сложнее обстоит дело с пространством Я1. Замыкание ли­ нейной оболочки функций eind по равномерной норме дает под­ пространство Л0 пространства С всех непрерывных на единич­ ной окружности функций, состоящее из граничных значений регулярных в Д и непрерывных в D функций, аннулирующихся в нуле. Каждый функционал из С', ортогональный к подпро­ странству Ло (задающийся, вообще говоря, мерой на окружно­ сти), определяется функцией из Я 1 (мера абсолютно непрерыв­

тор-пространству С/Л0.

странства Я1 и Я°° в пространствах Li и L«> соответственно не имеют замкнутых дополнений.

Свойства пространства Я 1 резко отличны от свойств про­ странства Li. Единичный шар в Я1 имеет крайние точки. Более того, каждый элемент единичного шара принадлежит отрезку, соединяющему две крайние точки, а каждый элемент единичной сферы является серединой отрезка, соединяющего две крайние точки.

Крайние точки допускают следующее описание. Для любой функции f е Я1 такой, что f(0) =5^ 0, функция ln |f(ei0)| инте­ грируема по Лебегу и

2я

■^ J ln |f(e » )|d 0 > ln |/(O )|.

о

Крайними точками единичного шара в Я1 будут те и только те функции f е Я1 с || / ||я, = 1, для которых предыдущее неравен-

ство переходит в равенство. Такие функции называются внеш­ ними, для них имеется аналитическое представление. Замыкание множества крайних точек состоит из всех функций единичной сферы, не имеющих нулей внутри круга D.

Еще одно специфическое свойство пространства Я1: если по­ следовательность функций fn(S)e Я 1 сходится к функции f( £)e е Я 1 равномерно на каждом компактном в D множестве и lim\\fn Ня, ==ИЛ1я»> т0 fn-+f в норме, пространства Н\.

В пространстве Я00 все крайние точки единичного шара сов­ падают с функциями, для которых |/(£) | ^ 1 и

2я

J In [1 — |f (б*®) |] dQ= — оо.

о

Множество непрерывных в D функций, удовлетворяющих этим же условиям, совпадает с множеством крайних точек еди­ ничного шара в пространстве A(D).

Пространство A(D) не изоморфно никакому пространству, сопряженному к банахову.

Сопряженное пространство к Яр, в силу общих теорем гл. I, §4, п. 5, изометрично фактор-пространству L?/Яо. Если 1</?<оо,

где g0 е Нр\ Для пространств Я1 и Я°° таких простых пред­ ставлений нет.

Ли т е р а т у р а : [19], [110].

§3. Банаховы пространства измеримых функций

1.Пространство измеримых функций. Пусть £2— некоторое множество, на а-алгебре подмножеств которого определена по­ ложительная мера. Примерами таких множеств будут отрезок [0, 1], ось (—оо, оо), или, более общо, замкнутое множество ко­ нечномерного пространства с обычной лебеговой мерой, нату­

ральный ряд чисел N = { 1, 2, 3, ...} с мерой, значение которой на каждом подмножестве Nicz N равно числу элементов Яь

Через S(£2) обозначается совокупность всех измеримых функ­ ций x(s) на £2. При этом функции, отличающиеся друг от друга на множестве меры нуль, отождествляются и, строго говоря, элементами пространства являются классы таких функций. Со­

р (х, у) = inf arctg (т + mx-y (т)).

т >0

Относительно этой метрики S(£2) является полным линей­ ным метрическим пространством. Сходимость в этом простран- - стве эквивалентна сходимости по мере: последовательность {*n(s)} сходится по мере к *o(s), если

при каждом т > 0. Если мера £2 конечна, то эквивалентная то­ пология в пространстве S(£2) порождается метрикой

В дальнейшем рассматриваются различные банаховы про­ странства, вложенные в S(£2). При этом свойства норм этих пространств связаны со структурой полуупорядоченности про­ странства.

т. е. она либо конечна, либо Q есть объединение счетного числа* измеримых множеств конечной меры. В случае, когда Q = N, рассматриваемые функциональные пространства переходят в

определяется дополнительная Af-функция. Дополнительной к М*(и) является сама М(и).

Говорят, что Af-функция М(и) удовлетворяет Дг-условию, если

Игл М(2и) < оо,

U->oo М (и)

иД2-условию в нуле, если

шМ(2м) < оо.

и->О М (и)