브라우어 부동점 정리
개요
n차원 디스크와 n차원 구면을 <math> D^n = \{x \in \mathbb{R}^n : \|x \| \le 1\} </math>, <math>S^n = \{x \in \mathbb{R}^{n + 1} : \| x \| = 1\}</math>와 같이 정의하자.
예 : 단위원은 <math>S^1</math>, 단위원과 그 내부의 점의 집합은 <math>D^2</math>가 된다.
브라우어의 고정점 정리는 <연속인 함수 <math>f \colon D^n \to D^n</math>가 주어질 때, <math>f(x)=x </math>를 만족하는 <math>x \in D^n</math>가 적어도 하나 존재한다>는 정리이다.
간단한 경우를 보이는 것은 그렇게 어렵지 않으며, 일반적인 경우를 보이기 위해서는 호몰로지 군에 대한 지식이 필요하다.
<math>n = 1</math>인 경우
주어진 연속함수 <math>f \colon [0, 1] \to [0,1]</math>에 대해서 <math>f(x) = x</math>를 만족하는 <math>x</math>가 없다고 가정하자.
함수 <math>g(x) = f(x) - x </math>를 생각할 때, <math>g(0) = f(0) >0 </math>, <math>g(1) = f(1) - 1 < 0 </math>이므로, 중간값 정리에 의해 <math>g(t) = t</math>인 <math>t</math>가 존재한다. 그러므로 <math> f(t) = t</math>이라서 모순.
<math>n = 2</math>인 경우
연속함수 <math> f \colon D^2 \to D^2</math>에 대해서, <math> f(x) = x</math>를 만족하는 <math>x</math>가 없다고 가정하자. <math> g(x)</math>를 <math>f(x)</math>에서 <math> x</math> 로 그은 직선이 <math>S^1</math>와 만나는 점으로 정의하면, <math>g \colon D^2 \to S^1</math>는 잘 정의되는 연속함수이고, <math>x</math>가 <math>S^1</math>의 원소이면 <math>g(x) = x</math>이다.
그러나 이런 성질을 만족하는 <math>g</math>는 존재하지 않는다. 만일 이런 <math>g</math>가 존재한다면, inclusion map <math>i \colon S^1 \to D^2</math>에 대해서 <math> g \circ i = \operatorname{id}_{S^1}</math>이므로, <math>S^1 \stackrel{i}{\to} D^2\stackrel{g}{\to} S^1</math>에 대해서 <math> \pi_1(S^1, 1) \stackrel{i^*}{\to} \pi_1(D^2, 1) \stackrel{g^*}{\to}\pi_1(S^1, 1)</math>를 만족하는 준동형사상(group homomorphism) <math>i^*</math>, <math>g^*</math>가 존재해서 합성함수가 항등함수가 돼야 한다. 하지만 <math>\pi_1(S^1, 1) = \mathbb{Z}</math>이고 <math>\pi_1(D^2, 1) = 0</math>이라서, 그런 준동형사상은 존재하지 않는다. 그러므로 모순이고, <math>f</math>에 대한 가정은 틀렸다.
<math>X \subseteq Y </math>에 대해서, 연속함수 <math>f\colon Y \to X</math>가 <math>x \in X</math>일때 <math>f(x) = x</math>를 만족할때, 이런 <math>f</math>를 retraction이라고 한다. <math> n >2</math>인 경우도 <math> n =2 </math>인 경우의 증명과 비슷하며, <math> D^n \to S^{n-1}</math>인 retraction이 없다는 것을 증명하는 것이 증명의 핵심이 된다.
메모
- Math Overflow http://mathoverflow.net/search?q=
관련된 항목들
- 대수적위상수학
- 기본군(Fundamental group)
- 페론-프로베니우스 정리 (Perron-Frobenius theorem)
리뷰, 에세이, 강의노트
- Matoušek, Jiří, Günter M. Ziegler, and Anders Björner. “Around Brouwer’s Fixed Point Theorem (Lecture Notes).” arXiv:1409.7890 [math], September 28, 2014. http://arxiv.org/abs/1409.7890.