Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
6 сем / km-lectures-221025.pdf
Скачиваний:
0
Добавлен:
14.12.2025
Размер:
4.94 Mб
Скачать

Докажем единственность

 

 

h

= f1 + g1

(2.25)

h

= f2 + g2

(2.26)

f1 + g1

= f2 + g2

(2.27)

f1 f2

= g2 g1

(2.28)

k f1 f2 k2= (f1 f2; f1 f2)

= (f1 f2; g2 g1) = 0

(2.29)

f1 f2

=

(2.30)

f1

= f2 :

(2.31)

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

2.2Примеры гильбертова пространства.

2.2.1Пространство l2: бесконечные последовательности комплекс-

ных чисел

Элементами гильбертова пространства H являются бесконечные последовательности комплексных чисел

f

= f1; f2; : : : ; fk; : : :

(2.32)

g = g1; g2; : : : ; gk; : : :

(2.33)

Сумма элементов

 

 

 

f + g

= h = h1; h2; : : : ; hk; : : :

(2.34)

hk

= fk + gk :

 

(2.35)

Умножение элемента на комплексное число

 

 

af

= g = g1; g2; : : : ; gk; : : :

(2.36)

gk = afk :

 

(2.37)

Скалярное произведение

 

 

 

 

1

 

 

 

Xk

f gk :

 

 

(f; g) =

(2.38)

 

 

k

 

 

=1

 

 

17

Будем также требовать, чтобы для всех элементов гильбертово пространства было выполнено

(f; f) 1 :

(2.39)

Все аксиомы гильбертова пространства выполнены.

Мы рассматриваем бесконечные последовательности, так как, строго говоря, гильбертово пространство бесонечномерно.

11.09.2021

2.2.2Пространство функций L2

Элементами этого гильбертова пространства являются функции '(x) вещественной переменной ( 1 < x < 1) интегрируемых с квадратом модуля

 

1

 

 

 

 

 

 

 

Z

dx j'(x)j2

<

1 :

(2.40)

 

1

 

 

 

 

 

 

Легко показать, что

 

 

 

 

 

 

 

' +

= 2 L2 ;

 

8';

2 L2

(2.41)

a'

=

2 L2 ;

 

8' 2 L2; a 2 C:

(2.42)

Скалярное произведение

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

('; )

=

Z

dx '(x) (x) :

(2.43)

 

 

 

1

 

 

 

 

Все аксиомы гильбертова пространства выполнены.

Гильбертовым пространством также будет аналогичное пространство функций n переменных (x1; x2; : : : ; xn)

1

 

1

1

 

 

 

Z

dx1

Z

dx2 : : : Z

dxn j (x1; x2; : : : ; xn)j2 < 1 ;

(2.44)

1

1

 

1

 

 

 

 

1

 

 

1

 

1

 

 

( ; ) =

Z

dx1

Z

dx2 : : : Z

dxn (x1; x2; : : : ; xn) (x1; x2; : : : ; xn) :

(2.45)

 

1

 

1

1

 

 

18