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

내용 삭제됨 내용 추가됨
Skdlrjdnwm (토론 | 기여)
잔글 →‎다변수 공식화: 문서 링크
잔글편집 요약 없음
24번째 줄:
 
* '''R'''<sup>n</sup> 내의 [[열린집합]] V에 대해 V에서 미분가능하고 모든 [[편미분|편도함수]]가 연속인 함수 f:V→'''R'''<sup>n</sup> 가 있다. 만약 어떤 '''c'''∈V에 대해 <math>\Delta_f(\mathbf{c}) \ne 0</math> 이면(<math>\Delta_f</math>는 f의 [[야코비안]]) 열린집합 V<sub>0</sub>⊂V와 W<sub>0</sub>⊂f(V)가 존재하여 다음 셋을 만족한다.
# f의 [[정의역]]을 V<sub>0</sub>, [[공역 (수학)|공역]]을 W<sub>0</sub>로 제한하면 f는 [[전단사함수전단사 함수]]이고, 여기서 역시 전단사인 역함수 g:W<sub>0</sub>→V<sub>0</sub>가 존재한다.
# g는 W<sub>0</sub>에서 미분가능하고 모든 편도함수가 연속이다.
# 모든 f('''x''')∈W<sub>0</sub>에 대하여, <math>D(g)(f(\mathbf{x})) = inv[Df(\mathbf{x})].</math> 여기서 inv(A)는 A의 [[역행렬]]을 의미한다.
34번째 줄:
[[분류:미분학]]
[[분류:실해석학]]
 
[[de:Satz von der impliziten Funktion#Satz von der Umkehrabbildung]]