1632
правки
Изменения
м
{{В разработке}}
{{TODO|t=Это было "очевидно". Доказал: --[[Участник:Sementry|Мейнстер Д.]] 22:46, 13 января 2013 (GST). Проверьте и, если все хорошо, уберите данную плашку.}}
Возьмем еще одну последовательность <tex>y_p \to y</tex>, <tex>\|y_m - y_py\| \to 0 \implies \|y_m - y_py\|_2 \to 0</tex>; так как <tex> y_m </tex> сходится, то <tex> y_m </tex> сходится в себе по <tex> \|\cdot\|_2 </tex>.
Так как Возьмем <tex>\|y_m - y^*= \| sum\to 0limits_{k=1}^{n} \alpha_k^* e_k </tex>. По единственности предела, <tex> y^* = y </tex> и . Значит, <tex>y = \sum\limits_{k=1}^{n} \alpha_k^* e_k \in Y</tex>, то <tex>y \in Y</tex> и <tex>Y = \mathrm{Cl} Y</tex>.}}
rollbackEdits.php mass rollback
{{Определение
|id=defvs
* <tex>X = C[a; b]</tex> — пространство непрерывных на <tex>[a; b]</tex> функций, <tex>\| f \| = \max\limits_{x \in [a; b]} |f(x)|</tex>
* <tex>X = L_p</tex> — пространство функций, интегрируемых на множестве <tex> E </tex> с <tex> p </tex> степенью ,<tex>\| f \| = \left( \int\limits_E |f(x)|^p d \mu \right)^{1 \over p}</tex>. В таком пространстве отождествленны функции, различающиеся на множестве меры ноль, иначе, например, интеграл функции, почти везде равной нулю, будет нулевым, хотя сама функция ненулевая, что нарушит первую аксиому нормы.
* <tex>X = \ell_p</tex> — пространство числовых последовательностей, суммируемых с <tex>p</tex>-й степенью, норму можно ввести как <tex>\|x\|_p = { \left( \sum\limits_{n=1}^{\infty} |x_n|^p \right) }^{1 \over p}</tex>
{{Определение
Нормы <tex>\|\cdot \|_1</tex>, <tex>\|\cdot \|_2</tex> эквивалентны <tex> \iff </tex> существуют константы <tex>m, M > 0</tex> такие, что <tex>\forall x: m\|x\|_2 \le \|x\|_1 \le M \|x\|_2</tex>.
|proof=
Несложно показать, что из взаимной ограниченности норм следует равносходимость:
Теперь убедимся, что без взаимной ограниченности равносходимости также не будет:
Так как ее нет, то не существует, например, необходимой константы <tex> M </tex>. Значит, существует последовательность <tex> \forall x_n: \|xx_n\|_1 \ge > n \|xx_n\|_2 </tex>.
Рассмотрим тогда последовательность <tex> \frac {x_n}{\|x_n\|_1} </tex>.
В норме <tex> \|\cdot\|_2 </tex> она будет сходиться к нулю: <tex> \| \frac {x_n}{\|x_n\|_1} \|_2 \le < \|\frac {x_n}{n\|x_n\|_2}\| _2 = \frac1n \frac{\|x_n\|_2}{\|x_n\|_2} = \frac1n \xrightarrow[n \to \infty]{} 0 </tex>.
Но в <tex> \|\cdot\|_1 </tex> каждый элемент имеет норму <tex> \| \frac {x_n}{\|x_n\|_1} \|_1 = \frac {\|x_n\|_1}{\|x_n\|_1} = 1 \ne \|0\|_1</tex>, то есть, последовательность <tex> x_n </tex> к нулю в этой норме не сходится, что и требовалось доказать.
{{Теорема
|author=Рисс
|id=riesz
|statement=
В конечномерных пространствах любые две нормы эквивалентны.
2. Теперь надо доказать, что <tex>\exists m \forall x: m \|x\|_2 \le \|x\|</tex>
Рассмотрим единичный шар по норме <tex>\| \|_2</tex>: <tex>S_2 = \{ \overline \alpha \mid \| \overline \alpha \|_2 = 1 \}</tex>, <tex>S_2</tex> является компактом в <tex>\mathbb{R}^n</tex>, воспользуемся [[Теорема_Хаусдорфа_об_ε-сетях | теоремой Хаусдорфа]] и покажем: {{TODO|t=если кому-то не лень, может потренироваться и расписать поформальнее}}
* замкнутость: возьмем последовательность, пусть она сходится не к элементу единичной сферы, тогда с какого-то члена элементы последовательности тоже окажутся с нормой, не равной 1.
* вполне ограниченность: пусть нам дали какой-то <tex>\varepsilon</tex>, заметим что норма <tex>\|\|_2</tex> — самое обычная длина вектора, возьмем и сделаем в параллелепипеде <tex>[0; 1]^n</tex> n-мерную сетку с шагом <tex>\frac{\varepsilon}{\sqrt n}</tex>, которая и будет центрами шаров радиусом эпсилон, тогда любая точка в параллелепипеде точно будет покрыта каким-то шаром
<tex>|f(\alpha_1 + \Delta \alpha_1 \dots \alpha_n + \Delta \alpha_n) - f(\alpha_1 \dots \alpha_n)| \le \sum |\Delta \alpha_k | \| e_k \| \le M \sqrt{\sum (\Delta \alpha_k )^2}</tex>, то есть при стремлении <tex>\Delta \alpha_k </tex> к <tex>0</tex>, расстояние между <tex>f(\overline \alpha)</tex> и <tex>f(\overline \alpha + \Delta \overline \alpha)</tex> также стремится к нулю, что означает непрерывность.
Так как <tex>f</tex> непрерывна на <tex>S_2</tex>, то по [[Предел_отображения_в_метрическом_пространстве#Равномерно непрерывные отображения|теореме Вейерштрасса]] она принимает минимум на этом компакте, равный <tex>m</tex> (пусть он достигается в точке <tex>\overline \alpha^*</tex>). Также <tex>f</tex> не может быть нулем на <tex>S_2</tex>: пусть для какого-то <tex>x \in S_2</tex> это так, тогда тогда <tex>\|x\| = 0 \implies \| \sum \alpha_k e_k \| = 0 \implies \alpha_k e_k = 0 \implies \forall k: \alpha_k = 0 \implies \|x\|_2 = 0</tex>, что означает, что <tex>x \notin S_2</tex>, то есть <tex>m > 0</tex>.
Теперь рассмотрим произвольный ненулевой <tex>x \in \mathbb{R}^n</tex>, тогда точка <tex>x' = {x \over \|x\|_2}</tex> также принадлежит <tex>\mathbb{R}^n</tex> по линейности пространства, и в частности, принадлежит <tex>S_2</tex>. Рассмотрим <tex>x'</tex>: <tex> f(x') = \|x'\| = \| {x \over {\| x \|_2}} \| = {{\| x \|} \over {\| x \|_2}} \ge m</tex>, то есть <tex>m \| x \|_2 \le \|x\|</tex>.
Пусть для произвольного <tex>y \in X</tex>, <tex>y_m \in Y, y_m \to y, Y = \mathcal L(e_1, \ldots, e_n), \|\cdot\|</tex> --- исходная норма.
Пусть <tex>y = \sum\limits_{k=1}^{n} \alpha_k e_k</tex>, пусть <tex>|\|ycdot\|_2 = \max\{|\alpha_1|, \ldots, |\alpha_n|\}</tex>.
По теореме Рисса, нормы <tex>\|\cdot\|</tex> и <tex>\|\cdot\|_2</tex> в <tex>Y</tex> эквивалентны; в <tex>\|\cdot\|_2</tex>, очевидно, есть покоординатная сходимость.
Вследствие покоординатной сходимости, <tex>\forall k = 1, \ldots, n: \alpha_k^{(p)} - \alpha_k^{(m)} \to 0</tex>.
По полноте вещественной оси, все <tex>n</tex> последовательностей сходятся: <tex>\forall k = 1, \ldots, n: \alpha_k^{(p)} \to \alpha_k^*</tex>.
Пример: <tex> X = C[0; 1]</tex>, <tex>Y</tex> — пространство всех полиномов степени не выше <tex> n </tex>. Очевидно, <tex> Y </tex> конечномерно, и, по только что доказанной теореме, замкнуто. Значит, если рассмотреть произвольную сходящуюся последовательность полиномов из <tex> Y </tex>, то ее пределом будет также полином из <tex> Y </tex>. Этот факт, тривиальный с точки зрения функционального анализа, классическими методами математического анализа получается очень непросто. Однако, если степень полиномов в <tex>Y</tex> не ограничивать, то замыканием <tex>Y</tex> будет все пространство <tex>X</tex>, по [[Приближение_непрерывной_функции_полиномами_на_отрезке | теореме Вейерштрасса]], любую непрерывную на отрезке функцию можно приблизить полиномами.
