Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Funktsionalnyy_analiz_2011.pdf
Скачиваний:
331
Добавлен:
05.06.2015
Размер:
1.45 Mб
Скачать

Аналогично λA = λ A. Нетрудно проверить, что все аксиомы

линейного пространства будут выполнены, причем роль нулевого элемента в Z(X,Y) играет оператор 0. Ясно, что A=0 лишь в случае A=0. Этот

последний факт вместе с предыдущим показывает, что множество Z(X,Y) является нормированным пространством, если за норму элемента A Z(X,Y) принять норму оператора A:

A= sup | Ax | .

||x||=1

Частный случай у нас уже рассматривался, когда Y = C (или R ); тогда Z(X,Y) являлось пространством ограниченных функционалов, называлось сопряженным пространством и обозначалось Χ. Было доказано, что Χвсегда полно. Это утверждение является частным случаем следующей теоремы.

Теорема 4.9. Если Y полно, то Z(X,Y) полно.

Доказательство. Проводится аналогично рассуждению в теореме 4.7. Рассмотрим подробнее Z(X).

Утверждение 4.2. Если A, B Z(X), то AB Z(X) и

AB

 

 

A

 

B

 

 

 

(4.5)

 

 

 

 

 

(это означает, что Z(X) – нормированная алгебра) .

Доказательство. ( AB)x = A(Bx) ABx ABx, следовательно,

AB Z(X) и AB AB .

Замечание 4.12. Если Х полное, то по теореме 4.9 Z(X) тоже полное. В этом случае Z(X) является банаховой алгеброй

Замечание 4.13. Неравенство (4.5) нельзя, вообще говоря, заменить равенством даже в случае конечномерных пространств, так как произведение двух ненулевых матриц может быть нулевой матрицей. Можно показать, что если в комплексной нормированной алгебре Z(X) = AB = AB при любых А и

В, то Z(X) изометрически изоморфно полю комплексных чисел.

Упражнения

1) Определение нормы в Z(X,Y) зависит, очевидно от норм в X и Y. Показать, что при замене норм в X и Y эквивалентными нормами новая норма в Z(X,Y) будет эквивалентна старой.

2) Доказать «принцип (Банаха) открытости отображения»: если А линейный непрерывный оператор, отображающий банахово пространство Х

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

1.α(xy) = (αx)y = xy)

2.(xy)z = x(yz)

3.(x+y)z = xz+yz

4.x(y+z) = xy + xz

5.xyx y для любых элементов x,y,z X любых чисел α. ЕслиХ – полное нормированное

пространство, то нормированная алгебра называется тогда банаховой алгеброй.

66

на все банахово пространство Y, то образ каждого открытого множества в Х является открытым множеством в Y.

67

График оператора. Замкнутые операторы. Признаки ограниченности оператора.

Определение 4.16. Прямой суммой Х+Y двух банаховых пространств Х и Y называется совокупность пар z=(x,y), где x X, y Y, в которой операции сложения, умножения на число и норма определяются следующим образом:

α z ={αx, αy} при z={x,y};

z1+z2 = {x1+x2 ,y1+y2} при z1={x1,y1}, z 2 ={x2,y2} ;

z = x + y при z={x,y}.

Нетрудно проверить, что все аксиомы нормированного пространства выполнены, и что пространство Х+Y – банахово. Таким образом, определение любой суммы можно распространить на любое конечное число пространства.

Замечание 4.14. Норму можно ввести по-другому, например:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

=

 

 

 

 

 

x

 

 

 

2 +

 

 

 

y

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

Y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 4.17. Пусть А – линейный оператор из банахова

пространства Х в банахово пространство Y с областью определения DА.

Графиком GA оператора А называется совокупность пар

{x, AX}, где X DА.

График есть подмножество пространства Х+Y. Заметим, что определение

хорошо согласуется с обычным понятием графика функции.

Определение 4.18. Оператор А называется замкнутым, если его график

замкнут в Х+ Y.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замкнутость графика означает, что если xn DА и

{ xn, Axn} {x,y},

то x DА и y=Ах.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Так как

 

 

 

z

 

 

 

=

 

 

 

x

 

 

 

+

 

 

 

y

 

 

 

, то это условие эквивалентно

условию:

 

 

 

 

 

 

 

 

 

 

 

 

Если xтx и Axтy, то x ВА и Ax = y.

 

Теорема 4.10.Если А замкнут и А-1 существует, то А-1 замкнут.

Доказательство. GA ={x, Ax},

x DА ;

 

 

 

GA-1 = {y, A-1 y}, y RA или

GA-1 = {Ax,x}, x DА, и очевидно, что замкнутость GA эквивалентна

замкнутости GA-1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 4.11.Если А ограничен и DА, то А замкнут.

Доказательство. Имеем xn x

и Axn y. Так как DА, то х DА

В силу непрерывности А имеем Axn Ax. Поэтому y=Ax.

Теорема 4.12. Если А ограничен, DАи А-1 существует, то А-1 замкнут.

Доказательство. Так как А ограничен и всюду определен, то он замкнут, следовательно, ввиду теоремы 4.10, оператор А-1 замкнут.

Пример замкнутого неограниченного оператора.

68

Пусть X = Y = l2 , x = {ξn }1, Аx = {λnξn }1, где λn 0, λn 0. Оператор А ограничен. Действительно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ax

 

2 = | λn

|2 | ξn |2 sup | λn |2 | ξn | = (sup | λn |)2

 

 

 

x

 

 

 

2

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

n

n=1

n

 

 

 

 

 

 

 

 

то есть

 

 

Ax

 

sup | λn |

 

 

 

x

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обратный оператор существует, так как λn 0; и поэтому Ах = 0 лишь при x = 0. Покажем, что А-1

неограничен.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть en =(0, 0, …, 0, 1, 0, …), 1 стоит на n-ом месте.

Тогда A1e

 

=

1

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

n

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A1en

 

 

=

 

 

, отсюда

 

A1en

 

→ ∞,

 

en

 

=1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

| λn |

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 4.13. Пусть А – замкнутый оператор из банахова пространства Х в банахово пространства Y. Пусть существует множество Х

(не обязательно являющееся подпространством Х ), такое что XDА,

 

Х' = X

и

 

 

 

Ax

 

 

 

C

 

 

 

x

 

 

 

 

 

для x X. Тогда А ограничен, DА=Х,

 

A

 

 

 

 

 

2С.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Возьмем любой элемент х0 Х. Докажем, что

существует х1 Xтакой, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

x

 

и

 

 

 

x x

0

 

 

 

 

 

 

x

0

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(4.5)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

0

 

 

 

 

 

1

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть х=(1 – ε) x0 , где 0 < ε < 1. Так как Хплотно, существует х1 Хтакой,

что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1 x

 

ε

 

x0

 

.

Тогда

 

 

 

 

 

 

 

 

 

x1

 

 

 

 

 

x1 x

 

 

 

+

 

 

 

x

 

 

 

ε

 

 

 

x0

 

 

 

+

 

1ε

 

 

 

 

 

x0

 

 

 

=

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

кроме того, x0 x1x0 x+x′− x1εx0 +εx0 = 2εx0 .

Отсюда видно, что (4.5) получается при ε = 14 .

Применим то же рассуждение к х0 – х1: существует х2 Х’ такой, что

x x x

 

 

1

 

 

 

x x

 

 

 

1

 

 

 

 

x

 

 

 

и

 

 

 

x

 

 

 

 

 

 

x x

 

 

 

1

 

 

x

 

 

 

.

0

1

2

 

 

2

 

 

 

0

1

 

 

 

 

22

 

 

 

 

0

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

0

1

 

 

 

 

2

 

 

0

 

 

 

 

Проводя последовательно это рассуждение, на n-ом шаге получим, что

существует такой xn X , что x0-(x1 + x2 +…+ xn )21n x0

отсюда x0 = lim Sn , где Sn= x1+x2+…+xn.

Составим ряд

Ax1+Ax2+….

Он сходится абсолютно, так как Axn Cxn C2nx10 .

Обозначим его сумму через у, тогда

ASn=Ax1+Ax2+…+Axn y при n

Отсюда в силу замкнутости оператора Аx0 DA , т.е.

иxn 2n11 x0 ;

.

DА. Кроме того,

Ax0 Ax1 +... + Axn +... Cx0 (1+ 12 +... 21n +...) = 2Cx0 .

69

Теорема доказана.

Приведем без доказательства еще одно свойство замкнутого оператора в банаховом пространстве.

Теорема 4.14. (Банаха о замкнутом графике).

Пусть А – замкнутый оператор из банахова пространства Х в банахово пространство Y. Если А определен на всем Х, то А ограничен.

Теорема 4.15. (Банаха об обратном операторе). Если А – замкнутый оператор из банахова пространства Х в банахово пространство Y, отображающий Х на Y взаимно однозначно, то оператор А-1 существует всюду, определен и ограничен.

Доказательство. В силу взаимной однозначности А оператор А-1 существует. Он замкнут (теорема 4.10) и определен на всем Y, следовательно, по теореме 4.14, ограничен.

Теорема доказана.

Следствие. Пусть на некотором линейном пространстве Х заданы две

нормы

 

 

x

 

и

 

x

 

 

 

1,

по

отношению к каждой из которых Х – банахово

 

 

 

 

 

 

пространство. Пусть

 

x

 

 

x

 

 

 

1 для всех x Х. Тогда существует такое С>0, что

 

 

 

 

 

 

x

 

1 C

 

x

 

 

 

для всех x Х.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Обозначим через X - пространство Х с нормой x, а через Х1 – пространство Х с нормой x 1. Определим оператор А из Х1 в Х : Ах = x; равенство xx1 означает, что А ограничен и A1. Очевидно, что

А замкнут (т.к. ограничен и DA= X) и отображает Х1 на Х взаимно однозначно. По предыдущей теореме А-1 существует и ограничен, то есть

x1 = A1x1 Cx.

Теорема доказана.

Теорема 4.16. (Банаха об ограниченности предела последовательности ограниченных операторов). Пусть Аn последовательность всюду определенных ограниченных операторов банахова пространства Х в Y. Если

Аn x сходится для каждого х Х, то есть, для каждого х Х существует lim An x

n→∞

, то последовательность норм An ограничена.

Доказательство. Нужно доказать, что An С , или что An xС при x1 для некоторого С>0. Нам достаточно показать, что существует шар, в котором последовательность An xограничена. (Действительно, пусть при

x

 

(x0 ,r)

 

An x

 

 

 

С1. Возьмем у такой, что

 

 

 

y

 

 

 

1 и положим z=x0+ry, тогда

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z x0

 

 

= r

 

y

 

 

 

r .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

70

Следовательно z S(x0 ,r) . По предположению тогда An zС1. Но y = 1r (z x0 ) . Таким образом, An y1r ( An z + An x0 ) Cr1 + Anrx0 2Cr 1 . Следовательно, последовательность An xограничена в единичном шаре).

Предположим теперь противное. Возьмем какой-нибудь шар S . По предположению, последовательность на нем неограниченна, то есть

существуют такие х1

 

и n1, что

 

 

 

An1 x1

 

 

 

> 1. Так как оператор An

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

непрерывен, то существует такой шар S1 , с центром в х1 и радиусом r1<1, что

An1 x > 1 при х S1 , и S1 S .

Возьмем ту часть последовательности, которая следует за n1. Она снова не ограничена ни на каком шаре, в том числе и на S1. Значит,

существуют такие х2

 

 

и n2>n1,

что

 

 

 

An2 x2

 

 

 

> 2.

Так как оператор A n2

S1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

непрерывен, то существует шар

 

 

с центром в х2

и радиусом r2< 1

такой,

S2

что

 

 

 

 

 

 

 

 

> 2 при х

 

 

и

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

2

 

 

An2 x

 

S2

 

S2

S1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Продолжая

 

этот

 

процесс,

 

 

получим

 

последовательность

 

шаров

 

 

 

 

 

 

 

 

... c

радиусами

r

< 1

 

и

последовательность номеров n

< n <…,

 

S

S

 

S

 

1

 

 

 

 

2

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

k

 

k

 

 

 

 

 

 

 

 

 

 

 

1

 

2

такие что

 

 

Ank xk

 

> k

при х

 

. Как мы знаем,

существует точка х0 такая, что

 

 

 

Sk

х0

 

; в ней

 

 

Ank x0

 

 

> k

для k = 1,2,3…, то есть последовательность An k х0

Sk

 

 

 

 

расходится, а по условию Аn x0 сходится; полученное противоречие доказывает теорему.

Следствие 1. Из теоремы следует, что An xC x для всех x Х . В пределе при n →∞ получаем, что AxCx, то есть, что оператор А, определенный равенством

Ах= lim Anx

n→∞

ограничен.

Следствие 2. В случае когда Y – пространство действительных или комплексных чисел, мы получаем следующее утверждение: если последовательность функционалов {fn(x)} сходится для каждой х Х, то последовательность их норм ограничена.

Пусть А – оператор из банахова пространства Х в банахово пространство Y, и пусть функционал f Y'. Пусть DА.

Рассмотрим выражение вида f (AX). При фиксированном f это функционал f от x. Может случиться, что f не ограничен. На совокупности

тех f, для которых f ограничен, определим оператор A, полагая

71

 

 

( A f )(x)=f (Ax).

 

 

 

 

 

(4.6)

 

 

 

 

 

 

 

 

Введем обозначение f (x)=(f,x). Тогда равенство (4.6) перепишется

следующим образом:

 

 

 

 

 

 

 

 

 

( A f,x)=(f,Ax)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Оператор A

называется сопряженным

к оператору

А. Итак,

оператором A , сопряженным к А называется оператор из Y

в X

, такой, что:

 

 

 

 

 

 

1. DА’ состоит из тех и только тех f Y ,

для которых

 

f (x)=f(Ax)

ограничен

 

 

 

 

 

 

 

 

2.( Af,x)=(f,Ax) для f DА’

Пусть А ограничен. Тогда для любого f Y

f ( Ax) f Ax f Ax

Следовательно,

f (x)=f(Ax) как

функционал от х ограничен, т.е. f DА’ и

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

A

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Это означает, что

A определен на всем Y

 

, и ограничен

A A .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Упражнение. Доказать, что

A = A . Можно доказать (предоставляем это

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

читателю), что:

1.(αA)′ =αA,

2.( A + B)′ = A′+ B,

3.( AB)′ = BA.

Упражнения.

1)Показать, что аддитивный замкнутый оператор А из Х в Y, заданный на пространстве DА, необходимо однороден.

2)Доказать, что линейный ограниченный на DА оператор А замкнут тогда и только тогда, когда замкнута его область определения DА. Доказать, что линейный замкнутый оператор А из банахова пространства Х в

банахово пространство Y ограничен на DА тогда и только тогда, когда DА замкнуто. Следовательно, класс линейных всюду определенных замкнутых операторов совпадает с классом линейных всюду определенных ограниченных операторов.

72

3)Доказать, что оператор дифференцирования Ax(t) = x(t) в Х=Y=С(а,b) с

DА – множеством всех x(t) X, для которых x(t) X –является замкнутым неограниченным оператором.

4)Пусть А1 и А2 – замкнутые линейные операторы, действующие из банахова Х в банахово Y, причем DA1 DA2 . Доказать, что существует

постоянная С>0 такая, что при любом x D

 

 

A x

 

2

C(

 

 

 

A x

 

 

 

2

+

 

 

 

x

 

 

 

2 ) .

 

 

 

 

 

 

 

 

 

 

 

 

A1

 

2

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5)Пусть А – аддитивный (возможно, неоднородный) произвольный

оператор, у которого DА – подпространство. Доказать, что у А существует обратный оператор тогда и только тогда, когда из Ах=0 следует х=0

6)Пусть А – произвольный (возможно, неограниченный) линейный

оператор из DА Х в RA Y. Доказать, что у него существует обратный оператор А-1 ограниченный на DA1 = RA , тогда и только тогда, когда существует такая постоянная m>0, что при любом х DА имеет место mx Ax. Точная верхняя грань таких m равна обратной величине нормы оператора А-1 на DА-1.

7)Если А и обратный к нему линейны и ограничены, а область определения DА замкнута, то и RA замкнута.

8)Если А – линейный всюду определенный ограниченный оператор, то

A = (A )

ограниченное

преобразование

X

 

в Y

 

. Оно является

′′

А и A = A .

В

′′

 

′′

 

продолжением оператора

 

частности, если Х

 

 

 

 

′′

 

 

 

 

 

 

 

 

рефлексивное пространство, то A′′ = A.

9)Доказать, что каждое ограниченное множество E Z(X,Y) является равномерно равностепенно непрерывным множеством операторов из Х в Y в том смысле, что для любого ε>0 существует такое δε>0, что при

любом А Е и любых х и у, у которых x y < δε имеет место неравенство Ax Ay < ε.

10)Пусть Х и Y – банаховы пространства и Е Z(X,Y) — некоторое

семейство операторов: E={Aα}. Доказать , что следующие три условия эквивалентны:

1.sup( Aα )= γ < ;

α

2. При каждом фиксированном х Х

sup

 

 

 

Aα x

 

 

 

= γ x < ;

 

 

 

 

3. При фиксированных х Х и f Y’

α

 

 

 

 

 

 

 

 

sup | f ( Aα x) |= γx, f < .

 

α

73

Слабая сходимость функционалов.

Определение 4.17.

Пусть

Х

банахово

пространство.

Последовательность функционалов fn X

называется слабо сходящейся, если

числовая последовательность {fn(x)} сходится при любом х Х.

 

В силу следствия из теоремы Банаха функционал f(x), определенный равенством

f(x)= nlim→∞ fn(x),

также ограничен, то есть f(x) X .

Теорема 4.17. Последовательность функционалов fn(x) X слабо сходится тогда и только тогда, когда выполняются следующие два условия:

1.Последовательность fn их норм ограничена.

2.Существует множество Х1, плотное в Х, на котором fn(x) сходится.

Доказательство.

Необходимость очевидна, так как сразу следует из теоремы Банаха об ограниченности (в качестве Х1 можно взять все Х).

Достаточность. Пусть заданы произвольный элемент х Х и произвольное ε > 0. Зададимся числом ε1> 0, которое будет выбрано позднее.

Так как Х1 плотно в Х,

то существует х1 Х1, такой, что

 

x x1

 

< ε . Пусть

 

 

 

fn

 

 

 

C для всех n. Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

fn (x) fm (x)

 

 

 

 

 

 

fn (x) fn (x1)

 

 

 

+

 

 

fn (x1) fm (x1)

 

 

 

+

 

 

fm (x) fm (x1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2Сε1 +

 

fn (x1) fm (x1)

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Но,

согласно

 

критерию

Коши, при достаточно

большом

N

и

n, m >N,

 

fn (x1) fm (x1)

 

 

 

< ε1. Поэтому, при достаточно

большом

N

и

n, m >N

 

 

 

fn (x) fm (x) < ε1(2C+1). Выбирая ε1 =ε/(1+2C), получим, что fn (x) fm (x) < ε

при n, m>N . Тем самым доказана достаточность.

Определение 4.18. Пусть Х — банахово пространство, а X – сопряженное пространство. Множество { f } функционалов f X называется слабо предкомпактным, если из всякой последовательности можно выделить слабо сходящуюся последовательность.

имеется в виду следствие 2 к ней.

74

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]