{{위키데이터 속성 추적}}
{{학문 정보
|학문명 = 위상수학
|그림 = Torus knot 2.stl
|그림크기 =
|그림설명 =
|다른 이름 =
|연구 분야 =
|학문 분야 =수학
|주요 개념 =
|파생 분야 =
|창시자 =
|창시 시기 =
|관련 직업 =
}}
'''위상수학'''(位相數學, {{llang|en|topology}})은 연속적인 변환에 대해 불변인 성질들을 다루는 [[수학]]의 한 분야이다. 더 정확하게, [[위상동형사상|쌍연속 함수]]에 대해 불변인 성질을 다룬다. 이러한 성질들에는 [[연결 공간|연결성]], [[콤팩트 공간|콤팩트성]], [[분리공리|분리성]], [[호모토피 군]], [[호몰로지 군]] 등이 있다.

== 대상과 분야 ==
===일반위상수학  ===
{{본문|일반위상수학}}
[[일반위상수학]]에서는 일반적인 [[위상 공간 (수학)|위상 공간]]의 개념 및 이 위에 정의할 수 있는 여러 성질들의 관계를 다룬다. 일반위상수학에서 다루는 개념으로는 [[열린 집합]], [[닫힌 집합]], [[연속 함수|연속성]], [[수렴]], [[극한]], [[콤팩트 공간|콤팩트성]], [[연결 공간|연결성]], [[위상동형]] 등이 있다.

일반위상수학의 주요 정리로는 다음을 들 수 있다.
* [[하이네-보렐 정리]]: '''R'''의 모든 유한 [[닫힌구간]]은 [[콤팩트 공간|콤팩트]]하다. 더 나아가서, '''R'''<sup>n</sup>의 부분집합이 콤팩트할 [[필요충분조건]]은 그 집합이 [[유계]]이고 [[닫힌 집합|닫혀 있다]]는 것이다.
* 콤팩트 공간을 [[연속 함수]]로 보낸 [[상 (수학)|상]]은 콤팩트하다.
* [[티호노프 정리]]: 임의의 콤팩트 공간들의 [[곱 위상|곱]]은 콤팩트하다.
* [[하우스도르프 공간]]의 콤팩트 부분집합은 닫힌 집합이다.
* [[볼차노-바이어슈트라스 정리]]: 콤팩트 [[거리화 가능 공간]]의 임의의 [[수열]]은 [[수렴]]하는 부분수열을 갖는다.
* '''R'''의 임의의 구간은 [[연결 공간]]이다.
* [[연결 공간]]을 [[연속 함수]]로 보낸 [[상 (수학)|상]]은 [[연결 공간]]이다.
* 임의의 [[거리화 가능 공간]]은 [[하우스도르프 공간]]일 뿐만 아니라 [[정규 공간]]이며, 또한 [[유사콤팩트 공간]]이다.

=== 대수적 위상수학 ===
{{본문|대수적 위상수학}}
[[대수적 위상수학]]에서는 위상 공간의 구조를 이에 연관된 [[군 (수학)|군]] 및 [[준군]] 등의 구조로서 연구한다. 대수적 위상수학의 주요 개념은 [[기본군]], [[호모토피]], [[호모토피 군]], [[호몰로지]], [[코호몰로지]] 등이 있다.

=== 매듭 이론 ===
{{본문|매듭 이론}}
[[매듭 이론]]에서는 한 공간을 다른 공간에 [[매장 (수학)|매장]]하는 방법을 연구한다. 특히, 원의 3차원 유클리드 공간으로의 매장은 '''[[매듭 (수학)|매듭]]'''이라고 하며, 매듭 이론의 주요 연구 대상이다. 매듭 이론에서도 위상수학의 기본 개념이 적용되는데, 매듭을 적당히 구부리거나 휘게 하여(단, 자르거나 끊는 행위는 허용되지 않음) 모양이 같게 나온다면 이는 같은 매듭으로 간주하고, '위상동형'이라 일컫는다.

=== 기하학적 위상수학 ===
[[기하학적 위상수학]]에서는 [[다양체]]의 위상수학적 성질을 다룬다. 다양체는 국소적으로 [[유클리드 공간]]과 닮은 위상 공간으로서, 일반적인 위상 공간보다 더 다양한 성질들을 갖는다. 다양체의 위상수학은 차원에 따라 현저히 다른 성질을 보인다. 1·2차원 다양체는 자명하고, 5차원 이상의 다양체 역시 하나의 공통된 이론이 존재하나, [[3차원]] 및 4차원 다양체는 매우 복잡한 성질을 보인다.

=== 미분위상수학 ===
{{본문|미분위상수학}}
위상 공간의 한 종류인 [[다양체]]에는 [[미분기하학]]을 정의할 수 있는 구조인 [[매끄러움 구조]]를 줄 수 있다. 이러한 구조를 갖춘 다양체의 경우, 일반 위상 공간을 넘어서 미분 구조 자체의 여러 위상수학적 성질들이 존재한다. 이러한 성질을 보존하는 [[위상동형사상]]을 [[미분동형사상]]이라고 하며, 미분위상수학은 미분동형사상에 대하여 불변인 [[매끄러운 다양체]]의 성질을 연구한다.

== 응용 ==
위상수학은 [[집합론]]과 더불어 다른 [[수학]] 분야의 기초를 이룬다. 특히, [[복소해석학]] 등의 분야는 위상수학적인 성질이 강하다. [[자연과학]]에서는 연속성의 파괴를 다루는 [[분기 (동역학계)|분기 이론]]•[[파국 이론]]•[[혼돈 이론]] 등이 응용된다. 또한, [[이론물리학]]에서 위상수학은 [[솔리톤]]이나 [[순간자]], [[자기 홀극]] 등의 분류에 사용된다.

== 역사 및 명칭 ==
위상수학은 [[19세기]] 말에 [[앙리 푸앵카레]]에 의하여, "아날리시스 시투스"({{llang|la|analysis situs}}, 위치해석학)이라는 이름으로 시작되었다. [[한국어]]에는 초기에 위상기하학(位相幾何學)이라는 이름도 많이 사용되었다고 한다.

== 같이 보기 ==
* [[위상 이성질체]]
== 참고 문헌 ==
{{위키공용분류}}
* {{서적 인용|저자=박대희|공저자=안승호|제목=위상수학|판=3판|출판사=경문사|날짜=2013|isbn=978-89-6105-668-7|url=http://kyungmoon.com/shop_product/shop_pdt_view.php?p_idx=6600|언어=ko|access-date=2015-01-14|archive-date=2014-11-29|archive-url=https://web.archive.org/web/20141129022346/http://kyungmoon.com/shop_product/shop_pdt_view.php?p_idx=6600|url-status=}}
* {{서적 인용|저자=장영식|제목=위상수학기초론|출판사=경문사|날짜=2010|isbn=978-89-7282-338-4|url=http://kyungmoon.com/shop_product/shop_pdt_view.php?p_idx=1916|언어=ko|access-date=2015-01-14|archive-date=2014-11-29|archive-url=https://web.archive.org/web/20141129022348/http://kyungmoon.com/shop_product/shop_pdt_view.php?p_idx=1916|url-status=}}
* {{서적 인용
|url=http://www.pearsonhighered.com/bookseller/product/Topology/9780131816299.page
|이름=James R.
|성=Munkres
|저자링크=제임스 멍크레스
|제목=Topology
|언어=en
|판=2
|출판사=Prentice Hall
|연도=2000
|isbn=978-0-13-181629-9
|zbl=0951.54001
|mr=0464128
}}
* {{서적 인용|last=Hatcher|first=Allen |title=Algebraic topology|url=http://www.math.cornell.edu/~hatcher/AT/ATpage.html|날짜=2002 |publisher=Cambridge University Press |place=Cambridge |zbl=1044.55001|mr=1867354|isbn=978-0-521-79540-1|언어=en}}

== 외부 링크 ==
* {{포털-인라인|수학|size=tiny}}
* {{위키배움터-줄}}
* {{eom|title=Topology, general}}
* {{eom|title=Topology of manifolds}}
* {{매스월드|id=Topology|title=Topology}}
* {{웹 인용|url=http://topospaces.subwiki.org/wiki/Main_Page|title=Topospaces|언어=en}}
* {{웹 인용|url=http://ncatlab.org/nlab/show/topology|제목=Topology|웹사이트=nLab|언어=en}}

{{수학 분야}}

{{전거 통제}}

[[분류:위상수학| ]]
[[분류:수학적 구조]]