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

정의 
음이 아닌 정수 에 대하여, 차원 국소 유클리드 공간(局所Euclid空間, ) 는 다음 성질을 만족시키는 위상 공간이다.
 임의의 점 에 대하여, 과 위상동형인 근방 이 존재한다.

하우스도르프 국소 유클리드 공간 에 대하여 다음 네 조건이 서로 동치이며, 이를 만족시키는 하우스도르프 국소 유클리드 공간을 다양체라고 한다.
 는 파라콤팩트 공간이다.
 는 거리화 가능 공간이다.
 의 각 연결 성분은 제2 가산 공간이다.
 의 각 연결 성분은 시그마-콤팩트 공간이다.

성질 
만약 어떤 위상 공간 가 차원 다양체이자 차원 다양체이며, 이라면 는 공집합이다.

모든 국소 유클리드 공간은 다음 성질을 만족시킨다.
 국소 콤팩트 공간이다.
 제1 가산 공간이다.
 국소 연결 공간이다.

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

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

국소 유클리드 공간 에 대하여, 다음 조건들이 서로 동치이다.
 은 시그마-콤팩트 공간이다.
 은 제2 가산 공간이다.
 은 린델뢰프 공간이다.

모든 제2 가산 다양체는 다음 성질을 만족시킨다.
 분해 가능 공간이다.

모든 파라콤팩트 분해 가능 국소 유클리드 공간은 다음 성질들을 만족시킨다.
 시그마-콤팩트 공간이다.
 린델뢰프 공간이다.
 제2 가산 공간이다.

낮은 차원의 다양체의 분류 
위상 공간 에 대하여, 다음 두 조건이 서로 동치이다.
 는 이산 공간이다.
 는 0차원 다양체이다.

위상 공간 에 대하여, 다음 두 조건이 서로 동치이다.
 의 모든 연결 성분은 원  또는 실수선 와 위상동형이다.
 는 1차원 다양체이다.

예 
다양체의 대표적인 예로는 다음을 들 수 있다.
 유클리드 공간 
 초구 
 열린 공 
 실수 사영 공간 
 이산 공간
 공집합

다양체가 아닌 국소 유클리드 공간으로는 다음을 들 수 있다.
 긴 직선()은 연결 하우스도르프 국소 유클리드 공간이지만, 파라콤팩트 공간이 아니다.
 두 개의 원점을 갖는 직선(): 에, 다음과 같은 동치 관계를 주자.이에 대한 몫공간은 연결 제2 가산 국소 유클리드 공간이지만, 하우스도르프 공간이 아니다.

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

참고 문헌

외부 링크

같이 보기 
 매끄러운 다양체
 조각적 선형 다양체
 리만 다양체

 
미분위상수학
기하학적 위상수학
미분기하학