다양체

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색
원은 모든 점에 대해서 국소적으로 직선과 같은 구조를 가지고 있다. 따라서, 원은 1차원 다양체이다.

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

정의[편집]

음이 아닌 정수 에 대하여, 차원 국소 유클리드 공간(局所Euclid空間, 영어: locally Euclidean space) 는 다음 성질을 만족시키는 위상 공간이다.

  • 임의의 점 에 대하여, 위상동형근방 이 존재한다.

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

성질[편집]

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

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

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

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

국소 유클리드 공간 에 대하여, 다음 조건들이 서로 동치이다.[3]:Theorem 3

모든 제2 가산 다양체는 다음 성질을 만족시킨다.[3]:Theorem 3

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

낮은 차원의 다양체의 분류[편집]

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

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

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

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

[편집]

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

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

이에 대한 몫공간연결 제2 가산 국소 유클리드 공간이지만, 하우스도르프 공간이 아니다.

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

참고 문헌[편집]

  1. Spivak, M. 《A Comprehensive Introduction to Differential Geometry, vol. I》 (영어). 
  2. Gauld, David (2009년 10월). “Metrisability of manifolds” (영어). arXiv:0910.0885. Bibcode:2009arXiv0910.0885G. 
  3. Gauld, D. B. (1974년 6월). “Topological properties of manifolds”. 《The American Mathematical Monthly》 (영어) 81 (6). JSTOR 2319220. 

바깥 고리[편집]

같이 보기[편집]