역함수 정리: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
4번째 줄:
 
== 정의 ==
양의 정수 <math>k\in\{1,2,\dots\}</math> 대하여, [[열린 근방]] <math>\mathbf a\in U\subseteq\mathbb R^n</math> 및 <math>\mathcal C^k</math> 함수 <math>\mathbf f\colon U\to\mathbb R^n</math>가 다음을 만족시킨다고 하자.
:<math>\det\mathrm D\mathbf f(\mathbf a)\ne 0</math>
여기서 좌변은 <math>\mathbf f</math>의 <math>\mathbf a</math>에서의 [[야코비 행렬식]]이다. 그렇다면, <math>\mathbf f</math>는 <math>\mathbf a</math>에서 국소 <math>\mathcal C^k</math> [[미분동형사상]]이다. 즉, 다음을 만족시키는 열린 근방 <math>\mathbf a\in V\subseteq U</math>가 존재한다.