다양체

원은 모든 점에 대해서 국소적으로 직선과 같은 구조를 가지고 있다. 따라서, 원은 1차원 다양체이다.

위상수학과 기하학에서 다양체(多樣體, 틀:Llang)는 국소적으로 유클리드 공간과 닮은 위상 공간이다. 즉, 국소적으로는 유클리드 공간과 구별할 수 없으나, 대역적으로 독특한 위상수학적 구조를 가질 수 있다.

정의

음이 아닌 정수 $n\in \mathbb{N}$에 대하여, $n$차원 국소 유클리드 공간(局所Euclid空間, 틀:Llang) $X$는 다음 성질을 만족시키는 위상 공간이다.

• 임의의 점 $x\in X$에 대하여, ${ℝ}^n$과 위상동형인 근방 $N\ni x$이 존재한다.

하우스도르프 국소 유클리드 공간 $X$에 대하여 다음 네 조건이 서로 동치이며, 이를 만족시키는 하우스도르프 국소 유클리드 공간을 다양체라고 한다.

• $X$는 파라콤팩트 공간이다.
• $X$는 거리화 가능 공간이다.
• $X$의 각 연결 성분은 제2 가산 공간이다.
• $X$의 각 연결 성분은 시그마 콤팩트 공간이다.

성질

만약 어떤 위상 공간 $X$가 $m$차원 다양체이자 $n$차원 다양체이며, $m\ne n$이라면 $X$는 공집합이다.

모든 국소 유클리드 공간은 다음 성질을 만족시킨다.

• 국소 콤팩트 공간이다.
• 제1 가산 공간이다.
• 국소 연결 공간이다.

모든 하우스도르프 국소 유클리드 공간은 다음 성질을 만족시킨다.

• 티호노프 공간이다.

모든 콤팩트 하우스도르프 국소 유클리드 공간은 다양체이다.

국소 유클리드 공간 $M$에 대하여, 다음 조건들이 서로 동치이다.틀:Rp

• $M$은 시그마 콤팩트 공간이다.
• $M$은 제2 가산 공간이다.
• $M$은 린델뢰프 공간이다.

모든 제2 가산 다양체는 다음 성질을 만족시킨다.틀:Rp

• 분해 가능 공간이다.

모든 파라콤팩트 분해 가능 국소 유클리드 공간은 다음 성질들을 만족시킨다.틀:Rp

• 시그마 콤팩트 공간이다.
• 린델뢰프 공간이다.
• 제2 가산 공간이다.

낮은 차원의 다양체의 분류

위상 공간 $X$에 대하여, 다음 두 조건이 서로 동치이다.

• $X$는 이산 공간이다.
• $X$는 0차원 다양체이다.

위상 공간 $X$에 대하여, 다음 두 조건이 서로 동치이다.

• $X$의 모든 연결 성분은 원 $S^1$ 또는 실수선 $ℝ$와 위상동형이다.
• $X$는 1차원 다양체이다.

예

다양체의 대표적인 예로는 다음을 들 수 있다.

• 유클리드 공간 ${ℝ}^n$
• 초구 $S^n$
• 열린 공 $B^n=\{v\in {ℝ}^n:|\Vert v\Vert <1\}$
• 실수 사영 공간 ${ℝ\mathbb{P}}^n$
• 이산 공간
• 공집합

다양체가 아닌 국소 유클리드 공간으로는 다음을 들 수 있다.

• 긴 직선(틀:Llang)은 연결 하우스도르프 국소 유클리드 공간이지만, 파라콤팩트 공간이 아니다.
• 두 개의 원점을 갖는 직선(틀:Llang): $ℝ\times \{0,1\}$에, 다음과 같은 동치 관계를 주자.틀:Mindent이에 대한 몫공간은 연결 제2 가산 국소 유클리드 공간이지만, 하우스도르프 공간이 아니다.

비가산 개의 연결 성분을 갖는 다양체는 (정의에 따라 파라콤팩트 공간이지만) 제2 가산 공간이 아니다. 보다 일반적으로, 다양체에 대하여 제2 가산 공간인 것은 가산 개의 연결 성분을 갖는 것과 동치이다.

참고 문헌

• 틀:저널 인용

외부 링크

• 틀:위키공용분류-줄
• 틀:Eom
• 틀:Eom
• 틀:매스월드
• 틀:Nlab
• 틀:Nlab
• 틀:웹 인용
• 틀:웹 인용
• 틀:웹 인용
• 틀:웹 인용

같이 보기

• 매끄러운 다양체
• 조각적 선형 다양체
• 리만 다양체