[논문 리뷰] The Implicit Function Theorem for continuous functions

Carlos Biasi, Carlos Gutiérrez외 1명|ArXiv.org|2007. 06. 26.

Homotopy and Cohomology in Algebraic Topology참고 문헌 4인용 수 4

한 줄 요약

이 논문은 위상수학적 다양체 위의 연속 함수에 대해 암시 함수 정리의 호모로지적 버전을 수립하며, 국소 차수와 개방성 조건을 포함한 조건 하에서 연속적인 국소 암시 함수의 존재를 증명한다. 이는 $C^1$ 정규성 조건을 필요로 하지 않는 미분 가능 함수로 고전 결과를 확장하며, 차수 이론을 활용한 다르부 정리의 새로운 호모로지적 형태를 제공한다.

ABSTRACT

In the present paper we obtain a new homological version of the implicit function theorem and some versions of the Darboux theorem. Such results are proved for continuous maps on topological manifolds. As a consequence, some versions of these classic theorems are proved when we consider differenciable (not necessarily C^1) maps.

연구 동기 및 목표

• 호모로지 방법을 사용하여 고전적 암시 함수 정리를 연속 함수에 대한 위상수학적 다양체로 일반화하는 것.
• 지도가 $C^1$가 아니어도 국소적으로 연속적인 암시 함수가 존재할 조건을 설정하는 것.
• 차수 이론적 접근을 통해 연속 또는 미분 가능 함수에 대해 다르부 정리를 일반화하는 것.
• 연속적인 우변을 가진 미분 방정식의 해 존재성을 위한 충분 조건을 제공하는 것.
• 국소 차수와 개방성 성질을 이용하여 고전 결과를 통합하고 일반화하는 것.

제안 방법

• 정수 계수의 단순 호모로지를 사용하여 점에서의 지도의 국소 차수를 정의하는 데 사용.
• 상대 호모로지 군 $H_n(X,X\setminus\{x_0\}) \to H_n(Y,Y\setminus\{y_0\})$ 에 유도된 호모모르피즘을 통해 국소 차수 $\deg(f,x_0)$ 를 정의하는 것.
• Lemma 3.1 을 적용하여, 오른차순 다양체 사이의 연속 지도가 반대 부호의 국소 차수를 가진 점을 포함하면, 영이 되는 국소 차수를 가진 점이 존재함을 보이는 것.
• 모든 $x$ 에 대해 $f_x: Y \to Z$ 가 개방적이고 이산적임을 가정하여 국소 차수가 잘 정의되도록 하는 것.
• $|\deg(f_{x_0}, y_0)| = 1$ 인 차수 조건을 사용하여 $f(x,g(x)) = z_0$ 의 국소 해법 가능성을 보장하는 것.
• 페아노 정리를 적용하여 연속 암시 함수로부터 미분 방정식의 해를 구성하는 것.

실험 결과

연구 질문

• RQ1 연속 지도 $f: X \times Y \to Z$ 가 $f(x,g(x)) = z_0$ 를 만족하는 연속적인 국소 암시 함수 $g: V \to Y$ 를 갖는 조건은 무엇인가?
• RQ2 고전적 암시 함수 정리를 $C^1$ 정규성 조건 없이 위상수학적 다양체 위의 연속 함수로 확장할 수 있는가?
• RQ3 연속 또는 미분 가능 함수에 대해 차수 이론을 사용하여 다르부 정리를 어떻게 일반화할 수 있는가?
• RQ4 국소 차수가 연속 비선형성을 가진 미분 방정식의 해 존재성 보장에 어떤 역할을 하는가?
• RQ5 비임계점이 없는 미분 가능 지도가 반드시 일정한 부호의 국소 차수를 가질 조건은 무엇인가?

주요 결과

• 정리 4.1 은 $f_{x_0}$ 가 국소 차수 $\pm 1$ 를 가지며 개방적이고 이산적일 경우, 연속적인 국소 암시 함수 $g: V \to Y$ 가 존재함을 보여준다.
• 관찰 4.2 는 $C^1$ 가 아니어도 임계점이 없는 미분 가능 지도 $f: X \times U \to \mathbb{R}^n$ 에 대해 연속 암시 함수가 존재함을 증명한다.
• 관찰 4.3 은 연속적인 $F$ 와 $y$ 에서의 임계점이 없는 미분 방정식 $F(t,x,x')=0$ 가 연속 암시 함수를 통해 국소 해를 가짐을 보여준다.
• 정리 5.1 은 다르부 정리의 호모로지적 형태를 제공한다: 연속 지도가 음수와 양수의 국소 차수를 가진 점을 포함하면, 영이 되는 국소 차수를 가진 점이 존재한다.
• 관찰 5.2 는 $\det[f'(x_0)] < 0$ 이고 $\det[f'(x_1)] > 0$ 인 미분 가능 지도 $f: M \to N$ 는 반드시 임계점을 가져야 한다는 것을 증명한다.
• 관찰 5.5 는 $f: U \to \mathbb{R}^n$ 이며, 두 점에서 특성 다항식이 같은 부호를 가진 $\alpha$ 에서 홀수와 짝수 중복도를 가질 경우, $\lambda$ 가 $\alpha$ 근처에서 어떤 $x_2$ 에 대해 고유값이 된다는 것을 보여준다.