277
правок
Изменения
→Теорема о сохранении области
|statement=
Пусть <tex> F: O \subset \mathbb{R}^m \to \mathbb{R}^m </tex>, где <tex> O </tex> открыто — диффеоморфизм в <tex> O </tex>, <tex> \forall x \in O \ \det(F'(x)) \neq 0 </tex>. Тогда <tex> F(O) </tex> открыто.
* Замечание
1. Если <tex> O </tex> — лин. связное и <tex> F </tex> — непр. <tex> \Rightarrow F(O) </tex> — лин. связное
2. Непрерывность <tex> F : \forall A \subset \mathbb{R}^m : F^{-1}(A) </tex> — откр. [в <tex> O </tex>]
|proof=
<tex> x_0 \in O; y_0 = F(x_0) </tex> — внутрення точка <tex> F(O) </tex>?
<tex> \exists c, \delta : \forall |h| \le \delta \ |F(x_0 + h) - F(x_0)| \ge c|h| </tex>
при <tex> |h| = \delta \ F(x_0 + h) \ne F(x_0) = y_0 </tex>
<tex> dist(y_0, A) = inf_{a \in A} \rho (y_0, c); r = \frac{1}{2} dist() </tex>
Утверждение: <tex> B(y_0, r) \subset F(O) </tex>
Т.е.: <tex> \forall y \in B(y_0, r) \ \exists x \in B(x_0, \delta) \ F(x) = y </tex>
<tex> \varphi(x) = |F(x) - y|^2 = (F_1(x_1...x_m) - y_1) + (F_2 - y_2)^2 + \ldots + (F_m - y_m)^2; </tex> <tex> x \in B(x_0, \delta) </tex>
<tex> min \varphi </tex> — внутри <tex> B(x_0, \delta) </tex>
<tex> \varphi(x_0) = |y_0 - y|^2 < r^2 </tex> — на сфере <tex> S(x_0, \delta) </tex>
<tex> \varphi(x) = |F(x) - y|^2 \ge (\overbrace{|F(x) - y_0|}^{ \ge 2r} - \overbrace{|y - y_0|}^{ < r })^2 \ge r^2 </tex>
<tex> \varphi </tex> — имеет <tex> (\cdot) min </tex> внутри шара <tex> B(x_0, \delta) </tex> по т. Вейерштрасса
<tex> \begin{cases} 2(F_1(x_1...x_m) - y_1)\frac{\partial F_1}{\partial x_1} + 2(F_2(x_1...x_m) - y_2)\frac{\partial F_2}{\partial x_1} + \ldots + 2(F_m() - y_m)\frac{\partial F_m}{\partial x_1} = 0 \\ \ldots \\ 2(F_1(x_1...x_m) - y_1)\frac{\partial F_1}{\partial x_m} + \ldots + 2(F_m() - y_m)\frac{\partial F_m}{\partial x_m} = 0 \end{cases} </tex>
<tex> det(\frac{\partial F_i}{\partial x_j}) \ne 0 \Rightarrow </tex> в точке минимум <tex> \begin{matrix} F_1(x_1...x_m) = y_1 \\ \ldots \\F_m(x_1..x_m) = y_m \end{matrix} </tex>
}}
