Изменения
Нет описания правки
<tex>f\colon V(\overline {x_0})\times W(\overline {y_0}) \to \mathbb{R}^m</tex>, <tex>f(x_0,y_0)=0^m</tex>. Существуют ли такие <tex>\delta_1,\delta_2>0</tex>, что <tex>\forall\overline x\in V_{\delta_1}(\overline{x_0})\ \exists! \overline y\in W_{\delta_2}(\overline{y_0})\colon f(\overline x,\overline y)=0^m</tex>?
Если это так, то в силу единственности <tex>\overline y </tex> определяем <tex>\overline y = \phi(\overline x)</tex> на <tex>V_{\delta_1}(\overline{x_0})</tex> так, чтобы <tex>f(\overline x,\phi(\overline x))=0^m</tex>. <tex>\phi</tex> — неявное отображение, определяется как <tex>f(\overline x,\overline y)=0^m,~(x_0,y_0)\colon f(\overline{x_0},\overline{y_0})=0^m</tex>
