Нормированные пространства — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 112: Строка 112:
 
|statement=
 
|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>
 
Пусть дана последовательность <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>|x_j^{(m)} - x_j| \le \|x^{(m)} - x\|</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>.
 
}}
 
}}
  
 
[[Категория:Математический анализ 1 курс]]
 
[[Категория:Математический анализ 1 курс]]

Версия 23:22, 13 апреля 2011

Эта статья находится в разработке!

Определение и примеры

Пусть [math]X[/math] — линейное пространство над полем [math]\mathbb R[/math]. Отображение [math] \varphi \colon X \to \mathbb R[/math] называется нормой, если:

  • [math]\varphi(x) \ge 0[/math], [math]\varphi(x) = 0 \iff x = 0[/math] (положительная определённость)
  • [math]\varphi(\alpha x) = |\alpha| \cdot \varphi(x)[/math], [math]\alpha \in \mathbb R[/math] (однородность)
  • [math]\varphi(x + y) \le \varphi(x) + \varphi(y)[/math] (неравенство треугольника)

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

Приведём примеры норм для различных множеств:

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

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

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

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

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

Утверждение:
Пусть [math]x_n[/math], [math]y_n[/math] — последовательности точек нормированного пространства [math](X, \|\cdot\|)[/math], а [math]\alpha_n[/math] — вещественная последовательность. Известно, что [math]x_n \rightarrow x[/math], [math]y_n \rightarrow y[/math], [math]\alpha_n \rightarrow \alpha[/math].

Тогда:

  1. [math]x_n + y_n \rightarrow x + y[/math]
  2. [math]\alpha_n x_n \rightarrow \alpha x[/math]
  3. [math]\|x_n\| \rightarrow x[/math]
[math]\triangleright[/math]

Докажем первый пункт. По определению предела в метрических пространствах, [math]x_n \rightarrow x \iff \|x_n - x\| \rightarrow 0[/math].

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

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

Например таково множество всех вещественных последовательностей [math]\mathbb R^{\infty}[/math] с метрикой [math]\rho(x, y) = \sum\limits_{n = 1}^{\infty} 2^{-k} \frac{|x_k - y_k|}{1 + |x_k - y_k|}[/math].

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

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

Нормированное пространство [math](X, \|\cdot\|)[/math] называется B-пространством, если для последовательности элементов [math]X[/math], для которых из [math]\|x_n - x_m\| \rightarrow 0[/math] при [math]n, m \rightarrow 0[/math] вытекает существование предела последовательности.

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

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

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

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

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

Утверждение:
Пусть [math](X, \|\cdot\|)[/math] — B-пространство, в котором ряд из норм сходится. Тогда сам ряд также сходится.
[math]\triangleright[/math]

[math]\left \| \sum\limits_{k = n}^{n + p} x_k \right \| \le \sum\limits_{k = n}^{n + p} \|x_k\|[/math].

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

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

[math]\left \| \sum\limits_{k = 1}^\infty x_k \right \| \le \sum\limits_{k = 1}^\infty \| x_k \|[/math].
[math]\triangleleft[/math]

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

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

Пусть [math]H[/math] — линейное пространство. Величина [math](x, y) \in \mathbb R[/math] называется скалярным проихведением точек множества [math]H[/math], если она удовлетворяет следующим трём аксиомам:

  1. [math](x, x) \ge 0[/math], [math](x, x) = 0 \iff x = 0[/math]
  2. [math](x, y) = (y, x)[/math]
  3. [math](\alpha x + \beta y, z) = \alpha(x, z) + \beta(y, z)[/math]

Основное значение для скалярного произведения имеет неравенство Шварца:

Утверждение:
[math]|(x, y)| \le \sqrt{(x, x)}\sqrt{(y, y)}[/math]
[math]\triangleright[/math]

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

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

Базируясь на этом неравенстве, определим функционал [math]\|x\| = \sqrt{(x, x)}[/math]. Проверим, что этот функционал удовлетворяет неравенству треугольника:

[math]\|x + y\|^2 = (x + y, x + y) = \|x\|^2 + 2(x, y) + \|y\|^2 \le (\|x\| + \|y\|)^2[/math].

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

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

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

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

Утверждение (покоординатная сходимость в [math]\mathbb R^n[/math]):
Пусть дана последовательность [math]\overline x^{(m)} \in \mathbb R^n[/math]. Тогда [math]\overline x^{(m)} \rightarrow \overline x[/math] в [math]\mathbb R^n[/math] тогда и только тогда, когда для любого [math]j \in 1,\dots,n[/math] последовательность [math]\overline x_j^{(m)} \rightarrow \overline x_j[/math]
[math]\triangleright[/math]

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

Пусть для любого [math]j[/math] выполняется [math]x_j^{(m)} \rightarrow x_j[/math]. Из определения предела, для любого [math]\varepsilon[/math] существует [math]M_j[/math], для которого [math]|x_j^{(m)} - x_j| \le \varepsilon / \sqrt n[/math].
[math]\triangleleft[/math]