ВУЗ:
Составители:
Рубрика:
§5. Пространства со скалярным произведением 89
Легко вычисляется, что
x −
n
X
k=1
α
k
e
k
2
= kxk
2
−
n
X
k=1
|a
k
|
2
+
n
X
k=1
|a
k
− α
k
|
2
.
Отсюда следует, что минимум этого выражения достигается,
когда α
k
= a
k
, что и доказывает свойство (5).
Напомним, что система элементов нормированного про-
странства X называется полной в X, если её линейная обо-
лочка плотна в X.
Теорема 2. Если ортонормированная система (1) полна в
евклидовом пространстве E, то любой элемент x ∈ E разлага-
ется в ряд Фурье по этой системе.
Д о к а з а т е л ь с т в о. Так как система (1) полна в норми-
рованном пространстве E, то для любого x ∈ E выполняется
условие:
∀ε > 0 ∃α
1
, . . . ,α
N
ε
:
x −
N
ε
X
k=1
α
k
e
k
< ε.
Отсюда и из минимального свойства коэффициентов Фурье
a
k
= (x,e
k
) следует, что
x −
N
ε
X
k=1
α
k
e
k
< ε
и, в силу равенства (3),
x −
n
X
k=1
α
k
e
k
< ε ∀n > N
ε
.
Таким образом, x −
∞
P
k=1
α
k
e
k
.
Теорема 2 доказана.
До сих пор евклидово пространство E могло быть непол-
ным. Докажем несколько утверждений, когда E полное, т.е.
когда E является гильбертовым пространством H.
§ 5. Пространства со скалярным произведением 89 Легко вычисляется, что n 2 n n X X X x− αk ek = kxk2 − |ak |2 + |ak − αk |2 . k=1 k=1 k=1 Отсюда следует, что минимум этого выражения достигается, когда αk = ak , что и доказывает свойство (5). Напомним, что система элементов нормированного про- странства X называется полной в X, если её линейная обо- лочка плотна в X. Теорема 2. Если ортонормированная система (1) полна в евклидовом пространстве E, то любой элемент x ∈ E разлага- ется в ряд Фурье по этой системе. Д о к а з а т е л ь с т в о. Так как система (1) полна в норми- рованном пространстве E, то для любого x ∈ E выполняется условие: Nε X ∀ ε > 0 ∃ α1 , . . . ,αNε : x− αk ek < ε. k=1 Отсюда и из минимального свойства коэффициентов Фурье ak = (x,ek ) следует, что Nε X x− αk ek < ε k=1 и, в силу равенства (3), n X x− αk ek < ε ∀ n > Nε . k=1 P∞ Таким образом, x − αk ek . k=1 Теорема 2 доказана. До сих пор евклидово пространство E могло быть непол- ным. Докажем несколько утверждений, когда E полное, т.е. когда E является гильбертовым пространством H.
Страницы
- « первая
- ‹ предыдущая
- …
- 87
- 88
- 89
- 90
- 91
- …
- следующая ›
- последняя »