Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Функциональный(конспекты и вопросы в конце)

.pdf
Скачиваний:
15
Добавлен:
13.03.2015
Размер:
565.42 Кб
Скачать

5.2. ОПЕРАТОРЫ В НОРМИРОВАННЫХ ПРОСТРАНСТВАХ

71

ãäå n N параметр. Имеем:

f C1[0,1] = 0 1 |f(t)|dt = 1

и, следовательно,

> Afn C[0,1] = 2n

A = sup Af C[0,1]

f C1[0;1]61

 

для любого n N. Отсюда вытекает, что оператор A неограничен и, следовательно, не непрерывен.

Лемма 5.2.8. Пусть A : V → U непрерывный оператор, где V, U нормированные

пространства. Тогда

для любого v V.

Av 6 A v

В частности, для всякого непрерывного функционала f на нормированном пространстве V

выполнено

для любого v V.

f(v) 6 f v

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

 

 

 

v

Av = A (

 

) v 6 A v .

v

 

 

Лемма 5.2.9. Функционал f на нормированном пространстве V непрерывен тогда и

только тогда, когда его ядро

Ker(f) := f1(0)

замкнуто.

Доказательство. Допустим, что f непрерывен и докажем, что Ker(f) замкнуто. Согласно утверждению задачи 2.6.31, из непрерывности функционала f следует, что f1(R\{0})

открыто. Следовательно,

V \ (f1(R \ {0})) = f1(0) = Ker(f)

замкнуто.

Теперь допустим, что Ker(f) замкнуто и докажем, что f непрерывен. Возьмем какуюнибудь точку v0 V \ Ker(f). Из замкнутости Ker(f) следует, что B(v0, ε) Ker(f) = для некоторого ε > 0. Следовательно,

0 ̸f(B(v0, ε)) = f(v0 + B(0, ε)) = f(v0) + f(B(0, ε))

èëè

f(B(0, ε)) ̸ −f(v0).

Отсюда и из уравновешенности подмножества f(B(0, ε)) R (см. задачу 5.6.2) следует

|f(B(0, ε))| < |f(v0)|.

 

Значит, функционал f ограничен и, следовательно, непрерывен (теорема 5.2.5).

 

Замечание 5.2.10. Из того, что оператор непрерывен вытекает, что его ядро замкнуто. Однако из того, что ядро оператора замкнуто не вытекает, что этот оператор непрерывен. Например, ядро оператора из примера 5.2.7 нулевое, но этот оператор не непрерывен.

Теорема 5.2.11. Рассмотрим непрерывные операторы, отображающие нормированное пространство V в нормированное пространство U. Тогда

(1)для любого непрерывного оператора A выполнено A > 0, причем равенство имеет место тогда и только тогда, когда A = 0;

5.2. ОПЕРАТОРЫ В НОРМИРОВАННЫХ ПРОСТРАНСТВАХ

72

(2)произведение λA непрерывного оператора A на скаляр λ является непрерывным оператором, причем λA = |λ|A ;

(3)сумма A + B непрерывных операторов A è B является непрерывным оператором, причем A + B 6 A + B .

Пусть V нормированное пространство над K. Обозначим через V множество непрерыв- ных функционалов на V . Из теоремы 5.2.11 следует, что V является векторным простран- ством (вещественным, если K = R; комплексным, если K = C). Более того, V является нормированным векторным пространством. А именно, нормой на пространстве V является

определенная выше норма функционалов (то, что норма функционалов удолетворяет аксиомам нормы следует из теоремы 5.2.11). Нормированное пространство V называют сопря-

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

Рассмотрим естественный вопрос: верно ли, что на каждом ненулевом нормированном пространстве существует ненулевой непрерывный функционал? Другими словами, верно ли, что для каждого ненулевого нормированного пространства его сопряженное пространство ненулевое? Ответ (положительный) на этот вопрос вытекает из следующей теоремы, которая считается одним из трех китов, на которых стоит функциональный анализ (двумя другими китами являются теорема Банаха-Штейнгауза и теорема Банаха об обратном операторе).

Теорема 5.2.12 (Теорема Хана-Банаха) . Рассмотрим (вещественное или комплексное) нормированное пространство V с нормой · . Пусть U V линейное подпространство

(напомним, что в этой ситуации подпространство U с нормой · U само является нор- мированным пространством). Утверждается, что для любого непрерывного функционала f íà U существует непрерывный функционал F íà V такой, что

(1)F |U = f;

(2)F = f

(другими словами, всякий непрерывный функционал на U можно продолжить до непрерывного функционала на всем пространстве V с сохранением нормы).

Доказательство. Мы докажем теорему Хана-Банаха только для вещественных нормированных пространств. Для комплексных пространств доказательство теоремы Хана-Банаха можно или провести аналогично или вывести из теоремы Хана-Банаха для вещественных пространств.

Сначала докажем теорему Хана-Банаха в частном случае, когда U является гиперплоскостью в V .

В этом случае

V = U v0 ,

ãäå v0 V \ U,

то есть, всякий вектор v V можно единственным образом разложить

v = u + λv0,

ãäå u U, λ R.

Достаточно доказать, что на V существует функционал F такой, что F |U = f è

|F (u + λv0)| 6 f u + λv0 äëÿ âñåõ u U, λ R.

(тогда автоматически F будет непрерывным и будет выполнено условие (2)). По линейности для искомого функционала F имеем

F (u + λv0) = F (u) + λF (v0) = f(u) + λF (v0)

и, значит, F полностью определяется значением F (v0). Таким образом, мы должны подобрать F (v0) так, чтобы было выполнено условие

|f(u) + λF (v0)| 6 f u + λv0 äëÿ âñåõ u U, λ R.

5.2. ОПЕРАТОРЫ В НОРМИРОВАННЫХ ПРОСТРАНСТВАХ

 

 

 

73

Заменив u íà λuи разделив обе части неравенства в этом условии на

|

λ

|

получаем эквива-

лентное условие

 

 

 

uU.

 

 

 

 

|f(u) + F (v0)| 6 f u+ v0 äëÿ âñåõ

 

 

 

 

èëè

 

 

 

 

uU.

F (v0) [−f(u) − f u+ v0 , −f(u) + f u+ v0 ]

äëÿ âñåõ

 

Это условие выполняется для некоторого F (v0) тогда и только тогда, когда пересечение от-

резков

[−f(u) − f u+ v0 , −f(u) + f u+ v0 ], uU

непусто. А это имеет место тогда и только тогда, когда левый край любого такого отрезка не лежит правее правого края любого такого отрезка, то есть, когда

èëè

−f(u1) − f u1+ v0 6 − f(u2) + f u2+ v0 для любых u1, u2U.

 

(5.2.2)

f(u2− u1) 6 f ( u2+ v0 + u1+ v0 ) для любых u1, u2U.

Осталось заметить, что (5.2.2) следует из неравенств

 

f(u2− u1) 6 f u2− u1

è

u2 − u1 6 u2 + v0 + u1 + v0 .

Теорема Хана-Банаха в общем случае выводится из уже доказанного частного случая и

леммы Цорна. Покажем как это сделать. ......................

 

Следствие 5.2.13. Пусть V конечномерное нормированное пространство. Тогда

 

(5.2.3)

dim(V ) = dim(V ).

 

Другими словами, всякая линейная функция на V непрерывна.

Доказательство. Мы докажем эту теорему для вещественных пространств (для комплексных пространств доказательство аналогично).

Будем доказывать от противного, то есть допустим, что (5.2.3) не верно и получим про-

тиворечие.

 

 

 

 

 

 

V . Íà

Если (5.2.3) не верно, то существует 0 = v

0

 

V

такой, что g(v

) = 0 äëÿ âñåõ g

 

̸

 

0

 

 

прямой v0 рассмотрим линейную функцию

 

 

 

 

 

 

 

f : v0 R, f(λv0) = λ.

 

 

 

Согласно утверждению задачи 5.6.1(2), функция

f непрерывна. По теореме Хана-Банаха

существует непрерывное продолжение F функции f на все пространство V . По построению, F (v0) = f(v0) = 1 ≠ 0. Противоречие.

Следствие 5.2.14. На конечномерном векторном пространстве все нормы эквивалент-

íû.

Доказательство. Мы докажем эту теорему для вещественных пространств (для ком-

плексных пространств доказательство аналогично).

Согласно утверждению задачи 5.6.11, достаточно доказать, что на Rn всякая норма · эквивалентна норме ·(см. пример 5.1.5). Пусть B è Bшары с центром в нуле радиуса 1 относительно норм · è · соответственно.

Заметим, что замыкание шара Bявляется выпуклой оболочкой конечного множества точек

S = {(ε1, . . . , εn) | εi = ±1}.

5.3. БАНАХОВЫ ПРОСТРАНСТВА

74

Из конечности множества S следует, что существует a > 0 такое, что

aS B.

Из этого включения и выпуклости шара B вытекает включение aBB из которого, используя утверждение задачи 5.6.10, получаем

 

1

 

(5.2.4)

· 6

 

· .

a

Из следствия 5.2.13 вытекает, что для всякой линейной функции f íà V и всякого c > 0

подмножество

{v | |f(v)| < c} V

открыто относительно нормы · . Следовательно, шар

B= {(x1, . . . , xn) | |xi| < 1, 1 6 i 6 n} =

{(x1, . . . , xn) | |xi| < 1}

 

16i6n

открыт относительно нормы · . Òàê êàê øàð Bсодержит 0, то он содержит некоторую ε- окрестность нуля относительно нормы · , то есть содержит шар εB. Используя утверждение задачи 5.6.10 получаем отсюда, что

(5.2.5)

· 6

1

· .

 

 

 

 

ε

· è

Осталось заметить, что неравенства (5.2.4) и (5.2.5) как раз означают, что метрики

· эквивалентны.

 

 

 

 

 

Следствие 5.2.15. Пусть φ : V → U линейное отображение нормированных пространств, причем V конечномерно. Тогда φ непрерывно.

Пусть V , U нормированные пространства. Оператор

A : V → U

называют изоморфизмом нормированных пространств , если A (как отображение) взаимно

однозначно и

Av = v для любого v V.

Например, построенное в примере 4.4.25 отображение φ является изоморфизмом нормированных пространств.

Лемма 5.2.16. (1) Теоретико-множественное обратное отображение к изоморфизму нормированных пространств является изоморфизмом нормированных пространств.

(2)Композиция изоморфизмов нормированных пространств является изоморфизмом нормированных пространств.

5.3. Банаховы пространства

Нормированное пространство называют банаховым, если оно полно как метрическое пространство.

Теорема 5.3.1. Пусть V нормированное пространство. Тогда сопряженное простран- ñòâî V банахово.

Доказательство. Мы докажем эту теорему только для вещественных нормированных

пространств (для комплексных пространств доказательство аналогично).

Пусть {fn} V последовательность Коши. Мы должны доказать, что последовательность {fn} сходится к некоторому f V .

Лемма A. Для любого v V последовательность {fn(v)} R сходится.

5.3. БАНАХОВЫ ПРОСТРАНСТВА

75

Доказательство. Можно считать, что v ≠ 0. Достаточно доказать, что последовательность {fn(v)} является последовательностью Коши. Пусть ε > 0. Òàê êàê {fn} является последовательностью Коши, то существует N такое, что

ε

fi − fj V < v

äëÿ âñåõ i, j > N. Используя это получаем

 

fi(v)

 

fj(v)

=

(fi

 

fj)(v)

| 6

fi

 

fj V

v

6

ε

 

v

 

= ε

|

 

|

|

 

 

 

 

 

v

 

 

 

 

äëÿ âñåõ i, j > N.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Согласно лемме A корректно определено отображение

 

 

 

 

 

 

 

 

 

 

 

f : V

R,

v → nlim→∞ fn(v).

 

 

 

 

 

Лемма B. Отображение f является функционалом.

Доказательство. Линейность, которую мы должны проверить, получается предель-

ным переходом:

f(λ1v1

+ λ2v2) = lim fn(λ1v1

+ λ2v2) = lim (λ1fn(v1) + λ2fn(v2)) =

n→∞

n→∞

λ1 nlim→∞ fn(v1) + λ2 nlim→∞ fn(v2) = λ1f(v1) + λ2f(v2).

Лемма C. Для любого ε > 0 существует N N такое, что f − fn V < ε для любого n > N.

Доказательство. Òàê êàê fn является последовательностью Коши, то существует N N такое, что fi − fj V < ε äëÿ âñåõ i, j > N. Используя это, получаем

f

f

n V =

sup

|

(f

f

)(v)

=

sup

lim

f

(v)

f

(v)

|) 6

 

 

v 61

 

 

n

|

 

v 61 (i→∞

|

i

 

 

n

 

 

 

sup

 

sup f

(v)

f

(v)

|)

sup

 

sup

f

i

f

 

 

v

 

 

 

< ε.

 

v 61

(i>N | i

 

 

n

 

 

6 v 61

(i>N

 

 

 

n V

V )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Согласно лемме C для ε = 1 существует N

 

N такое, что

 

f

fn V

< 1 для любого

n > N. Äëÿ m = N + 1 имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f = sup f(v) = sup f(v) − fm(v) + fm(v) 6

 

 

 

 

v 61

 

 

 

 

 

 

v 61

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sup ( (f − fm)(v) + fm(v) ) < ε + fm < ∞

v 61

откуда следует непрерывность функционала f. Наконец, снова используя лемму C получаем сходимость {fn} ê f.

В следующих ниже леммах мы вычислим сопряженные пространства к некоторым нормированным пространствам.

Предварительно укажем неравенства Гельдера, которые нам при этом понадобятся. Неравенство Гельдера I. Рассмотрим p, q [1, +] такие, что p1 + 1q = 1. Утверждается,

что для любых x, y Cn выполнено

 

(5.3.1)

|xiyi| 6 x p · y q.

 

16i6n

При этом для любого x Cn существует y Cn такой, что в (5.3.1) имеет место равенство.

5.3. БАНАХОВЫ ПРОСТРАНСТВА

76

Неравенство Гельдера II. Рассмотрим вещественные или комплексные p è q, ãäå

p, q [1, +], p1 + 1q

= 1. Утверждается, что для любых x ℓp, y ℓq выполнено

 

(5.3.2)

|xiyi| 6 x p · y q.

 

i>1

При этом для любого x ℓp существует y ℓq такой, что в (5.3.2) имеет место равенство.

Неравенство Гельдера III. Рассмотрим пространство с мерой (X, µ) и вещественные

или комплексные Lp(X, µ) è Lq(X, µ), ãäå p, q [1, +], p1 + 1q = 1. Утверждается, что для любых f Lp(X, µ), g Lq(X, µ) функция fg интегрируема по Лебегу на X и имеет место

неравенство

(5.3.3)

|fg|dµ 6

|f|p1/p

|g|q1/q .

 

X

 

X

X

 

При этом для любой f Lp(X, µ) существует g Lq(X, µ) такая, что в (5.3.3) имеет место

равенство.

Доказательство неравенств Гельдера см. в [ KG] èëè [KF]. Заметим, что неравенства Гельдера I и II являются частными случаями неравенства Гельдера III.

Лемма 5.3.2. Всякий функционал на пространстве (Kn, · p), ãäå p [1, +] имеет

âèä

 

 

 

 

f = (f1, . . . , fn) : Kn K,

f(x1, . . . , xn) =

fixi,

 

 

 

 

 

 

 

16i6n

причем

 

 

 

 

 

 

 

f (Knp)= f q, ãäå

q [1, +],

1

 

1

 

 

 

+

 

 

= 1.

p

q

Доказательство. Согласно следствию 5.2.13, всякий функционал f íà (Kn, ·p) имеет указанный в лемме вид и мы должны доказать указанную в лемме формулу для нормы функционала f.

Äëÿ f = (f1, . . . , fn) Kn, используя неравенство Гельдера I, получаем

 

f

n

p)=

sup

|

f(x)

|

=

sup

(

f

x

i|)

=

 

f

q

.

 

(K

x p61

 

 

x p61

| i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

16i6n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Утверждение этой леммы можно записать одной формулой:

 

 

 

 

 

 

 

 

 

(Kn, · p)= (Kn, · q),

 

 

 

[1, +],

1

 

1

 

 

ãäå

p, q

 

 

+

 

 

= 1.

 

p

q

Следствие 5.3.3. Пространство (Kn, · p), ãäå p [1, +] банахово.

Лемма 5.3.4. Пусть

p

[1, +)

. Утверждается, что всякий функционал на простран-

ñòâå

p

 

 

 

 

 

над полем K, имеет вид

 

 

 

f = (f1, f2, . . .) : p K,

(5.3.4)

 

f(x1, x2, . . .) = fixi,

 

 

 

 

 

 

 

i>1

ãäå f ℓq, q (1, +],

p1 + 1q

= 1, причем

 

 

 

 

 

 

 

f (p)

= f q.

5.3. БАНАХОВЫ ПРОСТРАНСТВА

77

Доказательство. Докажем, что для всякого

f ℓ

q формула (5.3.4) определяет непре-

 

 

 

 

 

 

 

 

 

 

 

 

 

рывный функционал на

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

, равна

f

q . Действи-

 

, норма которого, как функционала на

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ðÿä

 

и, значит, отображение f определено корректно. Очевидно, f линейный

i=1 fixi сходится

тельно, из неравенства Гельдера II следует, что для любого x

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

функционал и из

неравенства Гельдера II следует, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f.

 

=

 

 

f

 

 

 

 

откуда, в частности, следует непрерывность

функционала

 

 

 

 

 

 

 

 

 

f

 

 

p

 

=

sup

 

f

x

 

 

= sup

 

|

f

x

i|

 

q

 

 

 

(

)

 

x p61

i

 

 

i

x p61

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i>1

 

 

 

 

 

 

i>1

 

 

 

 

 

 

 

 

 

 

 

 

Пусть теперь f непрерывный функционал на . Из линейности функционала f следует, что он имеет вид (5.3.4), где f Rи мы должны доказать, что f ℓq. ...............

Утверждение этой леммы можно записать одной формулой:

(p)= q, ãäå p [1, +), q (1, +],

1

1

 

 

+

 

= 1.

p

q

Следствие 5.3.5. Пространство p, ãäå p (1, +] банахово.

 

Заметим, что пространство 1 также банахово (это несложно доказать непосредственно).

Лемма 5.3.6. Пусть X пространство с σ-конечной мерой µ. Тогдао всякий функционал

на нормированном пространстве Lp(X, µ), ãäå p [1, +) имеет вид

 

 

 

 

(5.3.5)

f

: Lp(X, µ) R,

f(g) = Xfgdµ,

 

 

 

 

 

ãäå f Lq(X, µ), q (1, +],

p1 + 1q = 1, причем

= f

q.

 

 

 

 

 

(5.3.6)

 

 

f

 

Lp(X,µ)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Утверждение этой леммы можно записать одной формулой:

 

 

 

 

 

 

Lp(X, µ)= Lq(X, µ), ãäå

p [1, +),

q (1, +],

1

1

 

 

 

 

+

 

 

= 1.

 

p

q

Следствие 5.3.7. Пространство Lp(X, µ), ãäå p (1, +] банахово.

 

Заметим, что пространство L1(X, µ) также банахово (это несложно доказать непосред-

ственно).

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим произвольное множество X и пусть KX множество K-значных функций

íà X (таким образом, RX множество вещественнозначных функций на

X è CX ìíî-

жество комплекснозначных функций на X). Очевидно, множество KX является векторным пространством (вещественным в случае K = R и комплексным в случае K = C). Определим подмножество

X

:= {

f

K

X

sup

f(x)

<

.

K

 

 

| x X |

|

 

}

Нетрудно заметить, что KX

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

KX . Определим норму на KX

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

 

 

 

 

 

 

(5.3.7)

· : KX R,

f = sup |f(x)|.

 

 

 

x X

 

То, что это действительно норма, является утверждением задачи 5.6.22. Эту норму (а также

ååограничения на подпространства пространства KX) называют равномерной нормой.

Теорема 5.3.8. Пространство KXс равномерной нормой банахово.

5.4. ГИЛЬБЕРТОВЫ ПРОСТРАНСТВА

78

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

 

Из утверждения задачи 2.6.39 следует, что всякое замкнутое подпространство в KXÿâ- ляется банаховым нормированным пространством относительно равномерной нормы. В следующей теореме разобран важный случая, когда возникает такая ситуация.

Теорема 5.3.9. Пусть X метрическое пространство. Определим нормированное про-

странство C(X) как подпространство в KX , состоящее из непрерывных ограниченных K-

X

значных функций на X с равномерной нормой. Утверждается, что C(X) замкнуто в K

относительно равномерной нормы. В частности, пространство

C(X) банахово.

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

 

5.4. Гильбертовы пространства

Определение 5.4.1. Пусть V вещественное векторное пространство. Скалярным произведением в V называют отображение

(·, ·) : V × V → R

такое, что

(1)(v, u) = (u, v) для любых v, u V (симметричность);

(2)(λ1v1 + λ2v2, u) = λ1(v1, u) + λ2(v2, u) для любых λ1, λ2 R, v1, v2, u V (линейность по первому множителю);

(3)(v, λ1u1 + λ2u2) = λ1(v, u1) + λ2(v, u2) для любых λ1, λ2 R, v, u1, u2 V (линейность по второму множителю);

(4)(v, v) > 0 для любого v V , причем равенство имеет место тогда и только тогда, когда v = 0 (положительная определенность).

Определение 5.4.2. Пусть V комплексное векторное пространство. Эрмитовым скалярным произведением в V называют отображение

(·, ·) : V × V → C

такое, что

(1)(v, u) = (u, v) для любых v, u V (антисимметричность) (из этого свойства следует, что (v, v) R для любого v V );

(2)(λ1v1 + λ2v2, u) = λ1(v1, u) + λ2(v2, u) для любых λ1, λ2 R, v1, v2, u V (линейность по первому множèòåëþ);

(3)(v, λ1u1 + λ2u2) = λ1(v, u1) + λ2(v, u2) для любых λ1, λ2 R, v, u1, u2 V (антилинейность по второму множителю);

(4)(v, v) > 0 для любого v V , причем равенство имеет место тогда и только тогда, когда v = 0 (положительная определенность).

Âопределениях выше аксиома (3) включена в список аксиом для большей ясности; на самом деле она следует из аксиом (1) и (2).

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

Теорема 5.4.3. Пусть V предгильбертово пространство. Тогда для любых векторов v, u V имеет место неравенство Коши Буняковского

(5.4.1)

|(v, u)|2 6 (v, v)(u, u),

в котором равенство имеет место тогда и только тогда, когда векторы v, u коллинеарны.

(v, v)

5.4. ГИЛЬБЕРТОВЫ ПРОСТРАНСТВА

79

Доказательство. Сначала рассмотрим случай, когда (v, u)

R. В этом случае для

любого t R имеем

 

0 6 (v + tu, v + tu) = (v, v) + 2t(v, u) + t2(u, u).

Отсюда следует, что дискриминант D квадратного трехчлена (v, v) + 2t(v, u) + t2(u, u) íåïî-

ложителен, то есть

D = 4((v, u)2 (v, v)(u, u)) 6 0,

откуда следует (5.4.1).

Теперь рассмотрим общий случай. Можно считать, что (v, u) ≠ 0. Рассмотрим v= v, u= (v, u)u.

Тогда

(v, u) = (v, (v, u)u) = (v, u)(v, u) R

и, следовательно, по уже доказанному для этого случая неравенству Коши-Буняковского, имеем

|(v, u)|2 6 (v, v)(u, u)

èëè

 

|(v, (v, u)u)|2 6 (v, v)|(v, u)|2(u, u)

откуда следует (5.4.1).

 

Пусть V предгильбертово пространство. Из аксиом скалярного произведения и неравенства Коши-Буняковского вытекает, что отображение

· : V → R, v =

определяет норму в пространстве V . Таким образом, всякое предгильбертово пространство

является нормированным (и, следовательно, метрическим) пространством . Заметим, что скалярное произведение (·, ·) можно восстановить через определяемую им норму · , à èìåí-

íî,

(v1, v2) = 12( v1 + v2 2 − v1 2 − v2 2).

Лемма 5.4.4. Пусть V предгильбертово пространство. Тогда для любого v0 V отображение

(·, v0) : V → K, v 7→(v, v0)

является линейным непрерывным функционалом, причем

(·, v0) V = v0 .

Доказательство. Очевидно, функционал (·, v0) линеен и нам достаточно доказать ука-

занную в лемме формулу для его нормы. С одной стороны, используя неравенство КошиБуняковского, получаем

 

 

 

 

 

 

 

sup |(v, v0)| 6 v0 ,

 

 

 

 

 

 

 

а с другой стороны,

 

 

 

 

 

v 61

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

> (

 

 

 

0)

 

 

 

 

 

 

 

 

 

 

sup

|

(v, v

 

)

|

v0

, v

=

(v0, v0)

=

 

v

 

 

0

 

 

0

v 61

 

 

 

v0

 

 

 

v0

 

и, значит,

 

(

, v0)

 

V = sup

 

(v, v0)

 

=

 

v0 .

 

 

 

 

 

 

 

|

|

 

 

 

 

 

 

 

·

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v 61

((x1, . . . , xn), (y1, . . . , yn)) = x1y1 + . . . + xnyn.
имеем стан-

5.4. ГИЛЬБЕРТОВЫ ПРОСТРАНСТВА

80

Следствие 5.4.5. Для всякого подмножества X предгильбертова пространства V ïîä-

множество

{v V | (v, x) = 0 для любого x X} является замкнутым подпространством в V .

Доказательство. Действительно, подмножество X замкнуто, так как оно является пересечением замкнутых подмножеств {v V | (v, x) = 0}, x X.

Определение 5.4.6. Гильбертовым пространством называют предгильбертово пространство такое, что соответствующее нормированное пространство полно.

Пример 5.4.7. В вещественном n-мерном координатном пространстве Rn дартное скалярное произведение

(5.4.2) ((x1, . . . , xn), (y1, . . . , yn)) = x1y1 + . . . + xnyn,

а в комплексном n-мерном координатном пространстве Cn имеем стандартное эрмитово ска- лярное произведение (5.4.3)

Соответствующие нормированные пространства (Rn, · 2) è (Cn, · 2) полны соглас- но следствию 5.3.3. Следовательно, Rn è Cn со стандартными скалярными произведениями

(5.4.2) и (5.4.3) являются гильбертовыми пространствами.

Пример 5.4.8. В вещественном 2 имеем стандартное скалярное произведение

(5.4.4) ((x1, x2, . . .), (y1, y2, . . .)) = x1y1 + x2y2 + . . . ,

а в комплексном 2 имеем стандартное эрмитово скалярное произведение

(5.4.5) ((x1, x2, . . .), (y1, y2, . . .)) = x1y1 + xnyn + . . .

(сходимость рядов следует из неравенства Гельдера II). Соответствующие нормированные пространства вещественное и комплексное 2 полны. Следовательно, вещественное и ком-

плексное 2 со скалярными произведениями (5.4.4) и (5.4.5) являются гильбертовыми пространствами.

Пример 5.4.9. Пусть (X, µ) пространство с мерой. В вещественном L2(X, µ) имеем ска-

лярное произведение

(f, g) := X fgdµ,

(5.4.6)

а в комплексном L2(X, µ) имеем эрмитово скалярное произведение

(5.4.7)

(f, g) := X

 

 

fgdµ,

(существование и конечность интегралов следует из неравенства Гельдера III). Соответствующие нормированные пространства вещественное и комплексное L2(X, µ) полны согласно

следствию 5.3.7. Следовательно, вещественное и комплексное L2(X, µ) со скалярными произведениями (5.4.6) и (5.4.7) являются гильбертовыми пространствами.

Пример 5.4.10. Åñëè V1, . . . , Vn гильбертовы пространства со скалярными произведени- ÿìè (·, ·)1, . . . , (·, ·)n соответственно, то их произведение

V = V1 × . . . × Vn

является гильбертовым пространством со скалярным произведением

((v1, . . . , vn), (v1, . . . , vn)) = (v1, v1)1 + . . . + (vn, vn)n.