Нормированные пространства

2016-11-14T01:44:40Z

46.188.121.224: Орфография для iolp

[[Математический_анализ_1_курс#.D0.93.D0.BB.D0.B0.D0.B2.D0.B0_V_.D0.A0.D1.8F.D0.B4.D1.8B|на главную <<]] [[Линейные операторы в нормированных пространствах|>>]]
== Определение и примеры ==

Пусть <tex>X</tex> — линейное пространство над полем <tex>\mathbb R</tex>. Отображение <tex>
\varphi \colon X \to \mathbb R</tex> называется нормой, если:
* <tex>\varphi(x) \ge 0</tex>, <tex>\varphi(x) = 0 \iff x = 0</tex> (положительная определённость)
* <tex>\varphi(\alpha x) = |\alpha| \cdot \varphi(x)</tex>, <tex>\alpha \in \mathbb R</tex> (однородность)
* <tex>\varphi(x + y) \le \varphi(x) + \varphi(y)</tex> (неравенство треугольника)

Для нормы применяют следующее обозначение: <tex>\|x\| = \varphi(x)</tex>.

Приведём примеры норм для различных множеств:
* <tex>X = \mathbb R</tex>, <tex>\|x\| = |x|</tex>.
* <tex>X = \mathbb R^n</tex>, <tex>\|\overline x\| = \sqrt{ \sum\limits_{k = 1}^n x_k^2 }</tex>. Неравенство треугольника для нормы — неравенство Коши для сумм. Эта норма называется евклидовской нормой на <tex>\mathbb R^n</tex>.
* На <tex>\mathbb R^n</tex> можно определить также другие нормы, например <tex>\|\overline x\|_1 = \sum\limits_{k = 1}^n |x_k|</tex> или <tex>\|\overline x\|_2 = \max \{\,|x_1|, |x_2|, \dots, |x_k|\,\}</tex>.
* <tex>X = C[0; 1]</tex> — функции, непрерывные на <tex>[0; 1]</tex>, <tex>\|x\| = \max\limits_{t \in [0; 1]} |x(t)|</tex>.
* <tex>X = \widetilde{L_1}[0; 1]</tex> — функции <tex>f \colon [0; 1] \to \mathbb R</tex>, для которых <tex>\int\limits_0^1 |f| < +\infty</tex> (например, <tex>f(t) = \frac 1{\sqrt t} \in \widetilde{L_1}[0; 1]</tex>), <tex>\|f\| = \int\limits_0^1 |f|</tex>.

Нормированным пространством называют пару <tex>(X, \|\cdot\|)</tex> из линейного пространства и нормы на нём.

Легко проверить, что функция <tex>\rho(x, y) = \|x - y\|</tex> — метрика, а, значит, нормированные пространства можно рассматривать как частный случай метрических пространств. Это значит, что на нормированные пространства легко переносятся понятия компакта, непрерывности, предела, и так далее.

== Арифметика пределов ==

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

Например, если <tex>E \subset X</tex>, <tex>a</tex> — предельная точка множества <tex>E</tex>, <tex>f \colon E \to Y</tex> (где <tex>X</tex> и <tex>Y</tex> — нормированные пространства), то <tex>A</tex> называется пределом функции <tex>f</tex> при <tex>x \rightarrow a</tex> и обозначается <tex>\lim\limits_{x \rightarrow a} f(x)</tex>, если для любого положительного <tex>\varepsilon</tex> найдётся <tex>\delta > 0</tex>, для которого выполняется следствие <tex>0 < \|x - a\| < \delta \Rightarrow \|f(x) - A\| < \varepsilon</tex>.

Специфика нормированных пространств — структура линейного пространства на рассматриваемом множестве. То есть, точки пространства можно складывать и умножать на числа, и эти операции будут непрерывными по норме пространства.

{{Утверждение
|id=limits
|statement=
Пусть <tex>x_n</tex>, <tex>y_n</tex> — последовательности точек нормированного пространства <tex>(X, \|\cdot\|)</tex>, а <tex>\alpha_n</tex> — вещественная последовательность. Известно, что <tex>x_n \rightarrow x</tex>, <tex>y_n \rightarrow y</tex>, <tex>\alpha_n \rightarrow \alpha</tex>.

Тогда:
# <tex>x_n + y_n \rightarrow x + y</tex>
# <tex>\alpha_n x_n \rightarrow \alpha x</tex>
# <tex>\|x_n\| \rightarrow \|x\|</tex>

|proof=
1) По определению предела в метрических пространствах, <tex>x_n \rightarrow x \iff \|x_n - x\| \rightarrow 0</tex>.

<tex>\|(x_n + y_n) - (x + y)\| = \|(x_n - x) + (y_n - y)\| \le \|x_n - x\| + \|y_n - y\| \rightarrow 0</tex> по арифметике числовых пределов. Но, поскольку <tex>\|(x_n + y_n) - (x + y)\| \ge 0</tex> по определению нормы, то по принципу сжатой переменной <tex>x_n + y_n \rightarrow x + y</tex>.

2) Пусть <tex> \alpha_n = \alpha + \Delta \alpha_n </tex>, <tex> x_n = x + \Delta x_n </tex>; <tex>\Delta \alpha_n, \Delta x_n</tex> стремятся к нулю при <tex> n \rightarrow \infty </tex>.

Тогда <tex> \| \alpha_n x_n - \alpha x \| = \| (\alpha + \Delta \alpha_n) (x + \Delta x_n) - \alpha x \| = </tex>

<tex> = \| \alpha \Delta x_n + \Delta \alpha_n x + \Delta \alpha_n \Delta x_n \| \le \| \alpha \Delta x_n \| + \| \Delta \alpha_n x \| + \| \Delta \alpha_n \Delta x_n \| \rightarrow 0</tex>.

3) <tex>\|x_n\| = \|x + (x_n - x)\| \le \|x\| + \|x_n - x\| \Rightarrow \|x_n\| - \|x\| \le \|x_n - x\| </tex>

Аналогично, <tex> \|x\| - \|x_n\| \le \|x_n - x\| </tex>.

Значит, <tex> \left|\|x_n\| - \|x\|\right| \le \|x_n - x\| </tex>, при <tex> \|x_n - x\| \rightarrow 0 \quad \left|\|x_n\| - \|x\|\right| \rightarrow 0</tex>, что и требовалось доказать.
}}

Следует иметь ввиду, что метрическое пространство, наделённое структурой линейного, не обязательно можно нормировать (задать норму такую, что сходимость по метрике будет аналогично сходимости по метрике).

Например таково множество всех вещественных последовательностей <tex>\mathbb R^{\infty}</tex> с метрикой <tex>\rho(x, y) = \sum\limits_{k = 1}^{\infty} 2^{-k} \frac{|x_k - y_k|}{1 + |x_k - y_k|}</tex>. Оказывается, не существует нормы, аналогичной по сходимости с этой метрикой.

== Банаховы пространства ==

Важную роль играют банаховы пространства (содержат перенос понятия полноты на случай нормированных пространств). Также банаховы пространства называют B-пространствами, далее в тексте обозначаются именно так.

{{Определение
|definition=
Нормированное пространство <tex>(X, \|\cdot\|)</tex> называется '''B-пространством''', если для любой последовательности элементов <tex>X</tex>, для которых из <tex>\|x_n - x_m\| \to 0</tex> при <tex>n, m \to \infty</tex> вытекает существование предела последовательности.
}}

Рассмотренные ранее пространства <tex>\mathbb R</tex>, <tex>C[0; 1]</tex> являются B-пространствами, <tex>\widetilde{L_1}[0; 1]</tex> B-пространством не является. Доказательства полноты <tex>\mathbb R^n</tex> и <tex>C[0; 1]</tex> будут даны далее.

Также в нормированных пространствах можно рассматривать ряды, понимая под рядом, например, предел частичных сумм. Другие методы суммирования также можно перенести на нормированные пространства (метод средних арифметических или метод Абеля).

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

{{Утверждение
|statement=
Пусть <tex>(X, \|\cdot\|)</tex> — B-пространство, в котором ряд из норм сходится. Тогда сам ряд также сходится.

|proof=
<tex>\left \| \sum\limits_{k = n}^{n + p} x_k \right \| \le \sum\limits_{k = n}^{n + p} \|x_k\|</tex>.

По критерию Коши сходимости числовых рядов, правая часть стремится к нулю. Значит, <tex>\|S_{n + p} - S_{n - 1}\| \rightarrow 0</tex>.

В силу полноты пространства существует предел последовательности частичных сумм (так как последовательность частичных сумм сходится в себе). Заодно получаем оценку на норму суммы такого ряда:

<tex>\left \| \sum\limits_{k = 1}^\infty x_k \right \| \le \sum\limits_{k = 1}^\infty \| x_k \|</tex>.
}}

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

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

Пусть <tex>H</tex> — линейное пространство. Величина <tex>(x, y) \in \mathbb R</tex> называется скалярным произведением точек множества <tex>H</tex>, если она удовлетворяет следующим трём аксиомам:
# <tex>(x, x) \ge 0</tex>, <tex>(x, x) = 0 \iff x = 0</tex>
# <tex>(x, y) = (y, x)</tex>
# <tex>(\alpha x + \beta y, z) = \alpha(x, z) + \beta(y, z)</tex>

=== Неравенство Шварца ===
Основное значение для скалярного произведения имеет неравенство Шварца:
{{Утверждение
|statement=
<tex>|(x, y)| \le \sqrt{(x, x)}\sqrt{(y, y)}</tex>

|proof=
Рассмотрим следующую функцию: <tex>f(\lambda) = (\lambda x + y, \lambda x + y)</tex>. По аксиомам скалярного произведения <tex>f(\lambda) \ge 0</tex>.

Но <tex>f(\lambda) = (x, x)\lambda^2 + 2(x, y)\lambda + (y, y)</tex>. Из неотрицательности квадратного трёхчлена вытекает, что его дискриминант не должен быть положительным. Но дискриминант <tex>D</tex> равен <tex>4(x, y)^2 - 4(x, x)(y, y)</tex>, и из неравенства <tex>D \le 0</tex> мгновенно вытекает доказываемое.
}}

Базируясь на этом неравенстве, определим норму <tex>\|x\| = \sqrt{(x, x)}</tex>.

Первые два свойства, очевидно, выполняются. Проверим, что этот функционал удовлетворяет неравенству треугольника:

<tex>\|x + y\|^2 = (x + y, x + y) = \|x\|^2 + 2(x, y) + \|y\|^2 \le (\|x\| + \|y\|)^2</tex>.

Последний переход в неравенстве выполнен именно благодаря неравенству Шварца.

Доказанное неравенство треугольника превращает <tex>H</tex> в нормированное пространство. Если оно является B-пространством, то его называют '''гильбертовым пространством'''.

Имеются две классических модели таких пространств. Первое из них — это <tex>\mathbb R^n</tex> со скалярным произведением <tex>(\overline x, \overline y) = \sum\limits_{i = 1}^n x_i y_i</tex> и нормой <tex> ||\overline x|| = \sqrt{(\overline x, \overline x)} = \sqrt{\sum\limits_{i = 1}^n x_i^2} </tex> . Видно, что норма по скалярному произведению совпадает с евклидовой нормой (а само пространство — с евклидовым). Осталось только доказать, что представленное пространство является полным.

== Полнота евклидова пространства ==

{{Утверждение
|about=
покоординатная сходимость в <tex>\mathbb R^n</tex>
|statement=
Пусть дана последовательность <tex>\overline x^{(m)} \in \mathbb R^n</tex>. Тогда <tex>\overline x^{(m)} \rightarrow \overline x</tex> в <tex>\mathbb R^n</tex> тогда и только тогда, когда для любого <tex>j \in 1,\dots,n</tex> последовательность <tex>\overline x_j^{(m)} \rightarrow \overline x_j</tex>

|proof=
<tex> \Longrightarrow </tex>:

Если последовательность сходится, то из неравенства <tex>|x_j^{(m)} - x_j| \le \|x^{(m)} - x\|</tex> устанавливается, что последовательность сходится и покоординатно.

<tex> \Longleftarrow </tex>:

Пусть для любого <tex>j</tex> выполняется <tex>x_j^{(m)} \rightarrow x_j</tex>. Из определения предела, для любого <tex>\varepsilon</tex> существует <tex>M_j</tex>, для которого <tex>|x_j^{(m)} - x_j| \le \varepsilon / \sqrt n</tex>. Тогда для <tex>m > M = M_1 + \dots + M_n</tex> написанное выше неравенство выполняется для всех <tex>j</tex>.

<tex>\|\overline x^{(m)} - \overline x\| = \sqrt{\sum\limits_{j = 1}^n |x_j^{(m)} - x_j|^2} \le \sqrt{\sum\limits_{j = 1}^n \frac{\varepsilon^2}n} = \sqrt{n \frac{\varepsilon^2}n} = \varepsilon</tex>, следовательно, утверждение доказано по определению предела.
}}

{{Теорема
|statement=
Пространство <tex>\mathbb R^n</tex> с евклидовой нормой является B-пространством.
|proof=
Надо установить, что из сходимости в себе следует существование предела по норме <tex>\mathbb R^n</tex>.

Если <tex>\|\overline x^{(m)} - \overline x^{(p)}\| \rightarrow 0</tex>, то для любого <tex>j</tex> выполняется <tex>|x_j^{(m)} - x_j^{(p)}| \rightarrow 0</tex>. По критерию Коши для числовых последовательностей из этого следует, что каждая из последовательностей <tex>x_j^{(m)}</tex> имеет предел, то есть, последовательность точек сходится покоординатно.

Но по доказанному ранее утверждению из покоординатной сходимости следует сходимость по норме, что и требовалось доказать.
}}

{{Теорема
|about=
критерий компактности в <tex> R^n </tex>
|statement=
Множество <tex> X </tex> в <tex> R^n </tex> компактно тогда и только тогда, когда оно замкнуто и ограничено.
|proof=
<tex>\Longrightarrow</tex>

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

<tex>\Longleftarrow</tex>

В силу ограниченности поместим наше множество в <tex>n</tex>-мерный параллелепипед. Докажем, что он {{---}} компакт.
Возьмём последовательность <tex>a_n</tex>, принадлежащую этому параллелепипеду. Выделим сходящуюся последовательность по
первой координате. Из неё выделим сходящуюся последовательность по второй координате, итд. По каждой координате эта последеовательность
сходится, значит, по свойствам <tex>\mathbb{R}^n</tex> эта последовательность сходится. Значит, параллелепипед {{---}} компакт.

Рассмотрим последовательность в нашей фигуре. Из неё можно выделить выделить сходящуюся подпоследовательность так как она принадлежит
компакту. По замкнутости её предел лежит внутри фигуры. Значит, фигура {{---}} компакт.
}}

== Пространство последовательностей ==

Второй классический пример гильбертовых пространств был предложен самим Гильбертом.

Пространство последовательностей <tex>\ell^2</tex> определяется как пространство вещественных последовательностей, для которых сходится ряд из квадратов их членов, скалярное произведение на нем определяется как <tex> (x; y) = \sum\limits_{j = 1}^\infty x_jy_j </tex>.

{{Теорема
|statement=
<tex>\ell^2</tex> — гильбертово пространство.

|proof=
Для начала установим, что <tex>(x, y) = \sum\limits_{j = 1}^\infty x_j y_j</tex> имеет конечные значения (когда <tex>x</tex>, <tex>y</tex> — элементы <tex>\ell^2</tex>). По свойствам рядов достаточно доказывать сходимость ряда из модулей.

По неравенству Шварца для <tex>\mathbb R^n</tex> (где <tex>n</tex> — произвольно): <tex>\left| \sum\limits_{j = 1}^n x_j \cdot y_j \right| \le \sqrt{\sum\limits_{j = 1}^n x_j^2} \cdot \sqrt{\sum\limits_{j = 1}^n y_j^2}</tex>.

<tex>\sqrt{\sum\limits_{j = 1}^n x_j^2} \le \sqrt{\sum\limits_{j = 1}^\infty x_j^2}</tex>, следовательно, частичные суммы рассматриваемого ряда ограничены некоторой константой. Но, так как ряд положительный, то он сходится.

Далее, требуется проверить корректность алгебраических операций.

Если <tex>x \in \ell^2</tex>, то, очевидно, <tex>\alpha x \in \ell^2</tex> (постоянный множитель <tex>\alpha^2</tex> выносится из под знака суммирования). Требуется также проверить, что при <tex>y \in \ell^2</tex> следует, что <tex>(x + y) \in \ell^2</tex>. То есть, нужно подтвердить сходимость ряда <tex>\sum\limits_{j = 1}^\infty (x_j + y_j)^2</tex>.

Требуемое следует из очевидно верного неравенства <tex>(a + b)^2 \le 2(a^2 + b^2)</tex>:

<tex>\sum\limits_{j = 1}^\infty (x_j + y_j)^2 \le 2 \left ( \sum\limits_{j = 1}^\infty x_j^2 + \sum\limits_{j = 1}^\infty y_j^2 \right ) < +\infty</tex>

Итого, <tex>\ell^2</tex> — линейное пространство с определённым выше скалярным произведением и нормой <tex>\|x\| = \sqrt{\sum\limits_{j = 1}^\infty x_j^2}</tex>. Осталось доказать полноту.

Для любого <tex>j</tex> можно записать: <tex>|x_j^{(m)} - x_j^{(p)}|^2 \le \|x^{(m)} - x^{(p)}\|^2 \rightarrow 0</tex> при <tex>m, p \rightarrow \infty</tex>. Всякая последовательность координат сходится к некоторому числу, следовательно фундаментальная последовательность последовательностей покоординатно сходится к некоторой последовательности. Убедимся, что эта последовательность принадлежит <tex>\ell^2</tex> и является пределом <tex>x^{(m)}</tex> по норме.

Напишем неравенство:
<tex>\sum\limits_{j = 1}^n (x_j^{(m)} - x_j^{(p)})^2 \le \|x^{(m)} - x^{(p)}\|^2</tex> — верно для любого <tex>n</tex>.

В силу сходимости в себе последовательности <tex>x^{(m)}</tex>, для любого <tex>\varepsilon</tex> подбираем <tex>M</tex>, что при <tex>m, p > M</tex> имеем <tex>\|x^{(m)} - x^{(p)}\|^2 \le \varepsilon^2</tex>.

Считая такими <tex>m</tex> и <tex>p</tex> в предыдущем неравенстве, приходим к оценке:
<tex>\sum\limits_{j = 1}^n (x_j^{(m)} - x_j^{(p)})^2 \le \varepsilon^2</tex> для любого <tex>n</tex> и <tex>m, p > M</tex>.

В сумме стоит конечное число слагаемых, и при каждом <tex>n</tex> можно перейти к пределу при <tex>p \rightarrow \infty</tex>: <tex>\sum\limits_{j = 1}^n (x_j^{(m)} - x_j)^2 \le \varepsilon^2</tex>. Далее, переходя к пределу при <tex>n \rightarrow \infty</tex>, получаем: <tex>\sum\limits_{j = 1}^\infty (x_j^{(m)} - x_j)^2 \le \varepsilon^2 \quad (*)</tex>

По определению <tex>\ell^2</tex> точка <tex>(x^{(m)} - x) \in \ell^2</tex>. Но <tex>x = x^{(m)} - (x^{(m)} - x)</tex>, <tex> x^{(m)} \in \ell^2 </tex> по условию, а <tex> x^{(m)} - x \in \ell^2</tex>, начиная с некоторого <tex>m > M</tex>, значит, из доказанной ранее алгебраической замкнутости <tex>\ell^2</tex> следует, что <tex>x \in \ell^2</tex>. Теперь можно записать неравенство <tex>(*)</tex> как <tex>\|x^{(m)} - x\| \le \varepsilon</tex>. Поскольку неравенство верно для любого <tex>m > M</tex>, то точка <tex>x</tex> является пределом последовательности <tex>x^{(m)}</tex>.
}}

Придерживаясь идеологии представленного доказательства, можно доказать полноту <tex>C[a; b]</tex>, пользуясь неравенством:

<tex> |x_{n + p}(t) - x_n(t)| \le \max_{s \in [a; b]} |x_{n + p}(s) - x_n(s)| = \| x_{n + p} - x_n \| </tex>

Пространство Гильберта имеет важное понятие ортонормированной системы точек:

{{Определение
|definition=
Пусть дана система точек <tex> l_1, \dots, l_n \in H </tex>. Она называется '''ортонормированной'''(ОНС), если:
# <tex> \| l_n \| = 1 </tex>
# <tex>\forall n, m: n \ne m: l_n \bot l_m </tex>, то есть <tex> (l_n, l_m) = 0</tex>.
}}

Ортонормированная система точек <tex> \{l_n, n \in N \} </tex> линейно независима в <tex> R^n, \ell^2 </tex>.

В <tex> \mathbb{R}^n </tex>, в котором система размера <tex> n + 1 </tex> - линейно зависима, ОНС может состоять из n точек.

<tex> l_n = (\underbrace{0, \dots, 0}_n, 1, \dots) </tex> - ОНС, в этом смысле <tex> \ell^2 </tex> - бесконечномерно.

Заметим, что, если взять <tex> n \ne m </tex> и составить норму разности <tex> \| l_n - l_m \|^2 = 2 </tex>:

<tex> \overline{V}_{10}(o) = \{ x \in \ell^2: \| x \| \le 10 \} </tex>, все <tex> l_n </tex> принадлежат этому шару. Но в силу того, что <tex> \| l_n - l_m \| = \sqrt2 </tex>, то из такой последовательности невозможно выделить сходящуюся и такой шар некомпактен в <tex> \ell^2 </tex>.

Один шар можно получить сдвигом и параллельным переносом из другого, значит, любой шар в <tex> \ell^2 </tex> - некомпактен.

В <tex> \mathbb{R}^n </tex> - любой шар компактен, так как его можно погрузить в компактный параллелепипед.

Отсутствие в <tex> \ell^2 </tex> компактности шаров - принциальное отличие бесконечномерной ситуации.

Из шара можно высверлить бесконечно много дырок одинакового радиуса( <tex>R = \frac{\sqrt2}{10} </tex>), и он не развалится.

<strike>''КАРТИНОЧКА''</strike> никому не нужна, вы ведь не хотите загреметь в сумасшедший дом из-за попытки представить высверливание дырок в бесконечномерном шаре? Вот и славненько.

{{Определение
|definition=
Ряд <tex> \sum\limits_{k = 1}^{\infty} x_k </tex> является '''ортогональным''', если <tex> \forall n \ne m \Rightarrow (x_n, x_m) = 0 </tex>.
}}

В частности, так как <tex> l_1, \dots, l_n, \dots </tex> - ОНС в <tex> H </tex>(гильбертово), то <tex> \sum\limits_{k = 1}^{\infty} \alpha_k l_k </tex> {{---}} ортогональный ряд.

===Теорема Пифагора===
{{Теорема
|author=Пифагор
|statement=
<tex>\sum\limits_{k = 1}^{\infty} x_k </tex> - сходящийся ортогональный ряд <tex> \Leftrightarrow \sum\limits_{k = 1}^{\infty} \| x_k \|^2 < + \infty </tex>.
При этом, если x - сумма ряда, то выполняется теорема Пифагора: <tex> \| x \|^2 = \sum\limits_{k = 1}^{\infty} \| x_k \|^2 </tex>
|proof=
<tex> s_n = \sum\limits_{k = 1}^n x_k </tex>.

Замечаем, что: <tex> { \left \| \sum\limits_{k = n}^{n + p} x_k \right \| } ^2 = \left( \sum\limits_{k = n}^{n + p} x_k, \sum\limits_{k = n}^{n + p} x_k \right) = \sum\limits_{k = n}^{n + p} \| x_k \|^2 </tex>. Отсюда, если ряд сходится, то <tex> \sum\limits_{k = n}^{n + p} x_k \to 0 </tex>, а по последней формуле, к нулю начнут стремиться <tex> \sum\limits_{k = n}^{n + p} \| x_k \|^2 </tex>, и по критерию Коши ряд сходится.

В обратную сторону - очевидно по банаховости пространства.

Теорема Пифагора получается предельным переходом равенства.
}}

Применим теорему к ортогональному ряду из ОНС:

<tex> \sum\limits_{k = 1}^{\infty} \alpha_k l_k, \ \| \alpha_k l_k \|^2 = \alpha_k^2 </tex>

<tex> \sum\limits_{k = 1}^{\infty} \alpha_k^2 < + \infty </tex>

Возникает вопрос: всегда ли сходится описанный числовой ряд? Для ответа, как обычно, введем новые теоретические построения.

{{Определение
|definition=
Пусть <tex> l_1, \dots, l_n, \dots </tex> - ОНС в <tex> H </tex>, <tex> x \in H</tex>, тогда <tex>\sigma (x) = \sum \limits_{k=1}^{\infty} (x, l_k)\cdot l_k</tex> {{---}} '''ряд Фурье''' точки <tex> x </tex>. При этом <tex> (x, l_k) </tex> называются коэффициентами этой точки.
}}

Если <tex> \sum \limits_{k=1}^{\infty} \alpha_k l_k </tex> сходится к <tex> x </tex>, то, учитывая непрерывность скалярного произведения, получаем:

<tex> (x, l_n) = \sum \limits_{k = 1}^{\infty} \alpha_k (l_k, l_n) </tex> = <tex> \sum \limits_{k = 1}^{\infty} \alpha_k \delta_{k, n} = \alpha_n </tex>.

Значит, если написанный ортогональный ряд сходится, то он будет рядом Фурье своей суммы. Убедимся, что любой ряд Фурье сходится, однако не всегда к той же точке <tex> x </tex>, для которой он построен. Этот факт базируется на следующем неравенстве:

===Теорема Бесселя===
{{Теорема
|author=
Бессель
|statement=
<tex> \sum \limits_{k=1}^{\infty} (x, l_k)^2 \le \|x\|^2</tex>
|proof=
Для некоторого набора коэффициентов <tex> \beta_k </tex> рассмотрим скалярное произведение:

<tex> 0 \le (x - \sum \limits_{k=1}^n \beta_k l_k, x - \sum \limits_{k=1}^n \beta_k l_k) = \|x\|^2 - 2\sum \limits_{k=1}^n \beta_k (x, l_k) + \sum \limits_{k=1}^n \beta_k^2 = </tex>

<tex> = \|x\|^2 + \sum \limits_{k=1}^n (\beta_k^2 - 2(x, l_k)\beta_k) = \|x\|^2 + \sum \limits_{k=1}^n (\beta_k - (x, l_k))^2 - \sum \limits_{k=1}^n(x, l_k)^2 </tex>.
Теперь, пусть <tex> \beta_k = (x, l_k) </tex>, имеем <tex> 0 \le \|x\|^2 - \sum \limits_{k=1}^n (x, l_k)^2 </tex>, устремив <tex> n </tex> к бесконечности, получим требуемое.
}}

[[Математический_анализ_1_курс#.D0.93.D0.BB.D0.B0.D0.B2.D0.B0_V_.D0.A0.D1.8F.D0.B4.D1.8B|на главную <<]] [[Линейные операторы в нормированных пространствах|>>]]
[[Категория:Математический анализ 1 курс]]

Викиконспекты - Вклад участника [ru]

Нормированные пространства