역함수 정리

S4 guest-1ysko 2026-08-15 02:11:05

# 역함수 정리 다변수 미적분학에서 역함수 정리(逆函數定理, 영어: inverse function theorem)는 주어진 함수가 국소적으로 충분히 매끄러운 역함수를 가질 충분 조건을 제시하는 정리이다. 양의 정수 및 열린 근방 및 함수 가 다음을 만족시킨다고 하자. 여기서 좌변은 의 에서의 야코비 행렬식이다. 그렇다면, 는 에서 국소 미분동형사상이다. 즉, 다음을 만족시키는 열린 근방 가 존재한다. 이를 역함수 정리라고 한다.: 322–323 열린구간 및 함수 가 다음을 만족시킨다고 하자. 그렇다면, 는 에서 국소 미분동형사상이다. 즉, 다음을 만족시키는 열린구간 가 존재한다. 이는 역함수 정리의 일변수 버전이다. 임의의 에 대하여, 다음과 같은 함수 를 정의하자. 그렇다면, 다음이 성립한다. 그렇다면 가 연속 함수이므로, 다음을 만족시키는 열린 근방 가 존재한다. 즉, 다음이 성립한다. 즉, 다음이 성립한다. 이제 가 단사 함수임을 보이자. 가 를 만족시킨다고 가정하자. 그렇다면, 는 모두 의 고정점이다. 즉, 이며 이다. 이를 위에 대입하면, 를 얻는다. 따라서 는 단사 함수이다. 이제 가 열린집합임을 보이자. 즉, 임의의 에 대하여, 인 0}"/>을 찾자. 그러려면 임의의 에 대하여, 가 에서 고정점을 가지는 것으로 족하다. 0}"/>가 를 만족시킨다고 하자. 그렇다면, 임의의 에 대하여 가 성립함을 보이는 것으로 족하다. 사실, 를 취하면, 임의의 및 에 대하여, 다음이 성립한다. 즉, 이다. 즉, 는 위의 축약 사상이며, 바나흐 고정점 정리에 따라, 는 고정점 를 갖는다. 따라서, 이며, 는 열린집합이다. 이제 임의의 에 대하여, 가 가역 행렬임을 보이자. 가 을 만족시킨다고 가정하자. 그렇다면, 다음이 성립한다. 즉, 이다. 따라서 는 가역 행렬이다. 이제 , 가 함수임을 보이자. 임의의 에 대하여, 또한 인 를 취하자. 그렇다면, 다음이 성립한다. 즉, 이다. 따라서, 다음이 성립한다. 즉, 이며, 는 함수이다. 열린집합 및 함수 가 다음을 만족시킨다고 하자. 그렇다면, 는 열린 함수이다. 즉, 모든 열린집합 의 상 은 역시 열린집합이다. 열린집합 및 단사 함수 가 다음을 만족시킨다고 하자. 그렇다면, 는 미분동형사상이다. 즉, 다음이 성립한다. 다음과 같은 함수 를 생각하자. 그렇다면, 는 함수이며, 또한 다음을 만족시킨다. 음함수 정리에 따라, 는 (모든 점에서) 국소 미분동형사상이다. 그러나 는 삼각 함수의 주기성에 따라 단사 함수가 아니므로, 미분동형사상이 아니다. 다음과 같은 함수 를 생각하자. 그렇다면, 는 연속 함수이며, 다음과 같은 연속 역함수 를 갖는다. 즉, 는 미분동형사상이다. 그러나, 이다. 즉, 미분동형사상은 야코비 행렬식이 0인 점을 가질 수 있다. 0}"/>일 경우, 미분동형사상은 야코비 행렬식이 0인 점을 가지지 않는다.