277
правок
Изменения
→Лемма о почти локальной инъективности
|statement=
Пусть <tex> F: O \subset \mathbb{R}^m \to \mathbb{R}^m </tex> — диффеоморфизм, <tex> x_0 \in \mathbb{R}^m , \ \det F'(x_0) \neq 0 </tex>. Тогда <tex> \exists c, \delta > 0 \ \forall h: |h| < \delta \ | F(x_0 + h) - F(x_0) | \geqslant c|h| </tex>
|proof=
1) <tex> F </tex> — линейное. <tex> \exists (F'(x_0))^{-1} </tex>
<tex> F(x_0 + h) - F(x_0) = F(h); F'(x_0) \equiv F </tex>
<tex> |h| = |F^{-1} Fh| \le ||F^{-1}|| \cdot |Fh| </tex>
<tex> |Fh| \ge \frac{1}{||F^{-1}||} \cdot |h|; c := \frac{1}{||F^{-1}||} </tex>
2) <tex> F(x_0 + h) - F(x_0) = F'(x_0)h + \alpha(h)\cdot|h|; c = \frac{1}{||F'(x_0)^{-1}||} </tex>
<tex> |F(x_0 + h) - F(x_0)| \ge |F'(x_0)h| - |\alpha(h)|\cdot|h| \ge c|h| - |\alpha(h)|\cdot|h| </tex><tex> = (c - (\alpha(h))) \cdot |h| \ge^* \frac{c}{2}\cdot|h| </tex>
// <tex> \ge^*: \exists \delta > 0: </tex> при <tex> |h| < \delta: |\alpha(h)| < \frac{c}{2} </tex>
<tex>F: \forall x \in 0; det(F'(x)) \ne 0 </tex>
}}
