3622
правки
Изменения
м
Нет описания правки
<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>.
