역함수 정리: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 →일변수의 경우 |
잔글 →따름정리 |
||
23번째 줄:
== 따름정리 ==
=== 열린 함수 관련 ===
열린집합 <math>
:<math>\det\mathrm D\mathbf f(\mathbf x)\ne 0\qquad\forall\mathbf x\in U</math>
그렇다면, <math>\mathbf f</math>는 [[열린 함수]]이다. 즉, 모든 열린집합 <math>\tilde U\subseteq U</math>의 [[상 (수학)|상]] <math>\mathbf f(\tilde U)</math>은 역시 열린집합이다.
=== (대역) 미분동형사상 관련 ===
열린집합 <math>
:<math>\det\mathrm D\mathbf f(\mathbf x)\ne 0\qquad\forall\mathbf x\in U</math>
그렇다면, <math>\mathbf f</math>는 <math>\mathcal C^k</math> 미분동형사상이다. 즉, 다음이 성립한다.
|