Изменения
Нет описания правки
Приведём примеры норм для различных множеств:
* <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_0^1 |f| < +\infty</tex> (например, <tex>f(t) = \frac 1{\sqrt t} \in \widetilde{L_1}[0; 1]</tex>), <tex>\|f\| = \int_0^1 |f|</tex>.
Нормированным пространством называют пару <tex>(X, \|\cdot\|)</tex> из линейного пространства и нормы на нём.
Тогда:
|proof=
<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>.
}}
Следует иметь ввиду, что метрическое пространство, наделённое структурой линейного, не обязательно можно нормировать (задать норму такую, что сходимость по метрике будет аналогично сходимости по метрике).
Например таково множество всех вещественных последовательностей <tex>\mathbb R^{\infty}</tex> с метрикой <tex>\rho(x, y) = \sum\limits_{n = 1}^{\infty} 2^{-k} \frac{|x_k - y_k|}{1 + |x_k - y_k|}</tex>.
== Банаховы пространства ==
Важную роль играют банаховы пространства (содержат перенос понятия полноты на случай нормированных пространств). Также банаховы пространства называют B-пространствами, далее в тексте обозначаются именно так.
Нормированное пространство <tex>(X, \|\cdot\|)</tex> называется B-пространством, если для последовательности элементов <tex>X</tex>, для которых из <tex>\|x_n - x_m\| \rightarrow 0</tex> при <tex>n, m \rightarrow 0</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> будут даны далее.
В нормированных пространствах определение предела записывается аналогично пределу вещественной последовательности, отличаясь лишь заменой знака модуля на знак нормы.
Например, если <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>.
Также в нормированных пространствах можно рассматривать ряды, понимая, например, под рядом предел частичных сумм. Другие методы суммирования также можно перенести на нормированные пространства (метод средних арифметических или метод Абеля).
Ряд из норм в нормированных пространствах — аналог ряда из модулей для понятия абсолютной сходимости.
{{Утверждение
|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 \ge 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_iy_i</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>
}}
[[Категория:Математический анализ 1 курс]]
