"브라우어 부동점 정리"의 두 판 사이의 차이

2013년 3월 25일 (월) 08:02 판

개요

n차원 디스크와 n차원 구면을 \( D^n = \{x \in \mathbb{R}^n : \|x \| \le 1\} \), \(S^n = \{x \in \mathbb{R}^{n + 1} : \| x \| = 1\}\)와 같이 정의하자.

예 : 단위원은 \(S^1\), 단위원과 그 내부의 점의 집합은 \(D^2\)가 된다.

브라우어의 고정점 정리는 <연속인 함수 \(f \colon D^n \to D^n\)가 주어질 때, \(f(x)=x \)를 만족하는 \(x \in D^n\)가 적어도 하나 존재한다>는 정리이다.

간단한 경우를 보이는 것은 그렇게 어렵지 않으며, \(n\)인 경우를 보이기 위해서는 호몰로지 군에 대한 지식이 필요하다.

\(n = 1\)인 경우

주어진 연속함수 \(f \colon [0, 1] \to [0,1]\)에 대해서 \(f(x) = x\)를 만족하는 \(x\)가 없다고 가정하자.

함수 \(g(x) = f(x) - x \)를 생각할 때, \(g(0) = f(0) >0 \), \(g(1) = f(1) - 1 < 0 \)이므로, 중간값 정리에 의해 \(g(t) = t\)인 \(t\)가 존재한다. 그러므로 \( f(t) = t\)이라서 모순.

\(n = 2\)인 경우

연속함수 \( f \colon D^2 \to D^2\)에 대해서, \( f(x) = x\)를 만족하는 \(x\)가 없다고 가정하자. \( g(x)\)를 \(f(x)\)에서 \( x\) 로 그은 직선이 \(S^1\)와 만나는 점으로 정의하면, \(g \colon D^2 \to S^1\)는 잘 정의되는 연속함수이고, \(x\)가 \(S^1\)의 원소이면 \(g(x) = x\)이다.

그러나 이런 성질을 만족하는 \(g\)는 존재하지 않는다. 만일 이런 \(g\)가 존재한다면, inclusion map \(i \colon S^1 \to D^2\)에 대해서 \( g \circ i = \operatorname{id}_{S^1}\)이므로, \(S^1 \stackrel{i}{\to} D^2\stackrel{g}{\to} S^1\)에 대해서 \( \pi_1(S^1, 1) \stackrel{i^*}{\to} \pi_1(D^2, 1) \stackrel{g^*}{\to}\pi_1(S^1, 1)\)를 만족하는 준동형사상(group homomorphism) \(i^*\), \(g^*\)가 존재해서 합성함수가 항등함수가 돼야 한다. 하지만 \(\pi_1(S^1, 1) = \mathbb{Z}\)이고 \(\pi_1(D^2, 1) = 0\)이라서, 그런 준동형사상은 존재하지 않는다. 그러므로 모순이고, \(f\)에 대한 가정은 틀렸다.

\(X \subseteq Y \)에 대해서, 연속함수 \(f\colon Y \to X\)가 \(x \in X\)일때 \(f(x) = x\)를 만족할때, 이런 \(f\)를 retraction이라고 한다. \( n >2\)인 경우도 \( n =2 \)인 경우의 증명과 비슷하며, \( D^n \to S^{n-1}\)인 retraction이 없다는 것을 증명하는 것이 증명의 핵심이 된다.

@@ 1번째 줄: / 1번째 줄: @@
 ==개요==
+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</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이 없다는 것을 증명하는 것이 증명의 핵심이 된다.
 ==역사==

"브라우어 부동점 정리"의 두 판 사이의 차이

2013년 3월 25일 (월) 08:02 판

목차

개요

역사

메모

관련된 항목들

매스매티카 파일 및 계산 리소스

사전 형태의 자료

리뷰논문, 에세이, 강의노트

관련논문

둘러보기 메뉴

검색