위상 공간

라이트 노벨 어떤 마술의 금서목록에 나오는 위상을 찾았다면 여기로.

위상공간(topological space, 位相空間)

1 개요

위상 공간은 위상수학에서 다루는 대상으로, 집합만 주어지면 만들 수 있는 아주 일반적인 개념이다. 그러나 실제로 응용할 때에는, 여러 가지 공리들을 더 추가하여 쓴다. 달리 말해, 최소한의 공리만으로는 아주 쓸모 없다.

비전공자와 문과는 조용히 뒤로가기를 누르자

2 정의

집합 [math]X[/math]의 부분집합들의 모임 [math]\mathcal{T}[/math]가 다음의 공리들을 만족할 때, 이를 위상공간이라고 한다.

* [math]\emptyset,\,X\in \mathcal{T}[/math]

• [math]\left\{A_{\alpha}:\alpha\in I\right\}\subset \mathcal{T}[/math]에 대해, [math]{\displaystyle \bigcup_{\alpha\in I}A_{\alpha}}\in \mathcal{T}[/math]
• [math]A,\,B\in \mathcal{T}[/math]에 대해, [math]A\cap B\in \mathcal{T}[/math]이다.

예를 들어, 집합 [math]X[/math]에 대해,

• [math]\left\{\emptyset,X\right\}[/math]은 위상 공간이다.이 위상 공간을 비이산 위상(Indiscrete topology)이라고 한다.

• [math]X[/math]의 부분집합을 모두 모으면 위상 공간이다. 이 위상 공간을 이산 위상(Discrete topology)이라고 한다.

여기서 [math]\mathcal{T}[/math]를 위상, 또는 위상 구조(topology)이라 한다. 그리고 [math]\mathcal{T}[/math]의 원소들을 열린 집합(open set)이라 한다. 그리고 [math]U\in \mathcal{T}[/math]에 대해, [math]U^{c}[/math]를 닫힌 집합(closed set)이라 한다.

주의할 것은 열린 집합인 동시에 닫힌 집합(열린 닫힌 집합, clopen set)일 수도 있고(정의상 전체 집합과 공집합은 항상 열린 집합인 동시에 닫힌 집합이다), 열린 집합도 아니고 닫힌 집합이 아닐 수도 있다.(실수선에서의 보편적인 위상에 대해 [0,1)은 열려 있지도 닫혀 있지도 않은 집합이다) 멘붕 이해하고 공부 시작하는 사람을 본 적이 없다.

해석학의 열린 집합, 닫힌 집합 개념은 위상수학에서의 열린 집합, 닫힌 집합의 특수한 경우이므로, 비교해보는 것이 위상 공간의 개념과 여러 공리들의 이해에 도움이 될 수 있다. 다만, 해석학에서 다루는 실수 공간은 조건이 너무 좋은 위상 공간이라서 서로 다른 개념을 구분하는 것에는 실패할 수도 있다.

3 기저와 부분기저

열린 집합들의 모임 [math]\mathcal{B}[/math]가 기저(basis)라 함은 다음을 만족하는 것이다.

* [math]\bigcup \mathcal{B}=X[/math]

• [math]U,\,V\in \mathcal{B}[/math], [math]a\in U\cap V[/math]에 대해 [math]W\in \mathcal{B}[/math]가 존재하여 [math]a\in W\subset U\cap V[/math]이다.

이는 다음과 동치이다. 이 정의가 보통의 기저의 정의와 직관적으로 더 유사하기에 이를 정의로 쓰기도 한다.

* [math]\mathcal{T}=\left\{\bigcup \mathcal{U}:\mathcal{U}\subset \mathcal{B} \right\}[/math]가 위상이다.

열린 집합들의 모임 [math]\mathcal{B}[/math]가 부분기저(subbasis)라 함은 다음을 만족하는 것이다.

* [math]\left\{{\displaystyle \bigcap_{i=1}^{n}}U_{i}:U_{i}\in \mathcal{B}\right\}[/math]가 기저이다.

실수의 보통 위상은 [math]\left\{ \left(a,\, b\right):a\ltb\right\} [/math]을 기저로 갖고, [math]\left\{ \left(a,\,+\infty\right):a\in R\right\} \cup\left\{ \left(-\infty,\, a\right):a\in R\right\} [/math]을 부분기저로 갖는다.

"임의의 열린 집합"이란 말을 "기저의 임의의 원소", "부분기저의 임의의 원소"로 바꿔도 성립하는 경우가 있다. 이 때문에 기저와 부분기저 개념이 의미가 있는 것이다.

4 연속함수

위상 공간 [math]X, Y[/math]와 함수 [math]f:X\to Y[/math]에 대해 임의의 [math]Y[/math]의 열린 집합 [math]U[/math]의 역상(inverse image)이 [math]X[/math]의 열린 집합일 때, [math]f[/math]를 연속함수라고 한다. 입실론 델타를 이용한 실수에서 실수로의 연속성의 정의는 위의 정의의 특수한 경우라는 것을 쉽게 알 수 있다.

4.1 위상동형사상(Homeomorphism)

위상 공간 [math]X, Y[/math]가 위상동형사상 관계(homeomorphic)에 있다는 것은 [math]f:X\to Y[/math]가 존재하여 아래의 조건들을 만족한다는 것이며 이 때 함수 [math]f[/math]를 위상동형사상이라 한다.

* [math]f[/math]가 전단사(bijection)

• [math]f[/math]가 연속함수
• [math]f^{-1}[/math]가 연속함수

연속함수가 열린 집합의 역상을 열린함수로 보내는 함수이므로 위상동형사상은 함수 자신과 그 역함수가 모두 열린 집합을 열린 집합으로 보내고 이는 닫힌 집합에 대해서도 마찬가지다.

이 때문에 [math]X[/math]와 [math]Y[/math]의 열린 집합 사이에도 일대일대응이 생기게 되고 X와 Y는 열린 집합을 바탕으로 정의되는 모든 위상적 성질이 완전히 동일한 대상이 되는 것이다. 따라서 어떤 두 위상공간이 위상동형관계에 있다는 것을 보일 수 있다면 한 쪽에 대해서 분석함으로서 반대 쪽에 대해 완벽히 같은 사실이 성립한다는 사실을 할 수 있다.

흔히 도넛과 컵이 찰흙으로 쪼물딱쪼물딱해서찌그러트리면 같아진다는 것은 둘이 이 위상동형관계에 있다는 사실을 의미한다.

5 내부, 폐포, 경계, 극한점

부분 집합 [math]A\subset X[/math]에 대해 다음을 다음과 같이 정의한다. 위상이 [math]\mathcal{T}[/math]로 주어졌다고 하자.

• 내부(interior)
  [math]A^{\circ}:=\bigcup\left\{ U\in T:U\subset A\right\} [/math]
  위상공간의 정의에 따라서 이는 열린 집합이다. 그리고, 이는 [math]A[/math]의 열린 부분집합 중 가장 큰 것이다. 정의에 따라서, [math]a\in A^{\circ}\leftrightarrow \exists a\in U\in T \quad U\subset A[/math]이다. [math]a\in A^{\circ}[/math]를 내점이라 한다.
  책에 따라 [math]\mathrm{Int}A[/math]라는 표기를 쓰기도 한다.

• 폐포(closure)
  [math]\overline{A}:=\bigcap\left\{ F\supset_{\text{closed}}A\right\} [/math]
  위상공간의 정의에 따라서 이는 닫힌 집합이다. 그리고, 이는 [math]A[/math]의 닫힌 포함집합(supserset) 중 가장 작은 것이다. 정의에 따라서, [math]a\in \overline{A}\leftrightarrow \forall a\in F\subset_{\text{closed}} \quad F\cap A\ne \emptyset[/math]이다.

• 경계(boundary)
  [math]\partial A:=\left\{ a\in X:\forall U\in T\left[U\cap A,\, U\cap A^{c}\ne\emptyset\right]\right\} [/math]

• 극한점(limit point)들의 모임(유도집합derived set이라한다)
  [math]A':=\left\{ a\in X:\forall U\in T\quad\left\{ a\right\} \subsetneq U\cap A\right\} [/math]

다음의 성질들이 성립한다.

* [math]\overline{A}^{c}=\left(A^{c}\right)^{\circ}[/math]

• [math]\overline{\overline{A}}=\overline{A}[/math]
• [math]\left(A^{\circ}\right)^{\circ}=A^{\circ}[/math]
• [math]\overline{A\cup B}=\overline{A}\cup\overline{B}[/math]
• [math]\overline{A\cap B}\subset\overline{A}\cap\overline{B}[/math]
  [math]\overline{\left(0,\,1\right)\cap \left(1,\,2\right)}=\emptyset \subsetneq\left\{1\right\}=\overline{\left(0,\,1\right)}\cap\overline{\left(1,\,2\right)}[/math]
• [math]\bigcup\overline{A_{\alpha}}\subset\overline{\bigcup A_{\alpha}}[/math]
  [math]{\displaystyle \bigcup_{n\in N}}\overline{\left[n^{-1},\,1\right]}=\left(0,\,1\right]\subsetneq\left[0,1\right]=\overline{{\displaystyle \bigcup_{n\in N}}\left[n^{-1},\,1\right]}[/math]
• [math]A^{\circ}\cap\partial A[/math], [math]\overline{A}=A^{\circ}\cup\partial A[/math]
• [math]\partial A=\emptyset\leftrightarrow\overline{A}=A=A^{\circ}[/math]

6 곱공간

위상 공간들의 모임 [math]\left\{X_{\alpha}:\alpha\in I\right\}[/math]를 생각하자. [math]\left\{X_{\alpha}\right\}[/math]의 위상을 보존하면서 [math]{\displaystyle \prod_{\alpha\in I}}[/math]에 줄 수 있는 위상은 두 가지가 있다.

사영함수(prohjection) [math]\pi_{\beta}:{\displaystyle \prod_{\alpha\in I}}X_{\alpha}\to X_{\beta}[/math]를 [math]\pi_{\beta}\left(\left(x_{\alpha}\right)_{\alpha\in I}\right)=x_{\beta}[/math]로 정의한다.

* 상자 위상
[math]\left\{ \prod U_{\alpha}:U_{\alpha}\subset_{\text{open}}X_{\alpha}\right\} [/math]를 기저로 하는 위상.

* 곱위상
[math]\left\{ \pi_{\alpha}^{-1}\left(U_{\alpha}\right):U_{\alpha}\subset_{\text{open}}X_{\alpha}\right\} [/math]를 부분기저로 하는 위상.

곱위상은 [math]\pi_{\beta}[/math]를 연속함수로 만드는 가장 약한 위상이다.

위상공간의 유한곱에서는 곱 위상과 상자 위상이 같다. 그러나 무한곱에서는 그렇지 않고, 상자 위상이 더 강한 위상이다.. 예를 들어, [math]R^{\omega}[/math]의 부분집합 [math]{\displaystyle \prod_{i\in N}}\left(0,1\right)[/math]은 상자 위상에서 열린 집합이지만, 곱 위상에서는 그렇지 않다.

7 공리

최소한의 공리에 분리성, 가산성(counterablity), 컴팩트성(compactness)에 대한 공리들을 추가하여 더 좋은 공간을 구분해보자. [math]X[/math]의 위상이 [math]T[/math]로 주어졌다고 하자.

7.1 분리 공리들

분리 공리는 서로 겹치지 않는 두 집합을 얼마나 잘 분리해낼 수 있는 지에 대한 공리이다. [math]\text{T}[/math]의 아랫첨자로 수를 넣어 구분하며, 더 잘 분리해낼 수록 높은 수가 주어진다.

이하에서 [math]A\perp B[/math]은 [math]A\cap B=\emptyset[/math]을 뜻하며, [math]\left\{a\right\}\perp B[/math]를 [math]a\perp B[/math]와 같이 적기로 한다.

7.1.1 T₁ 공간

서로 다른 두 점 [math]a,\,b\in X[/math]에 대해, [math]a\in U\subset_{\text{open}}X[/math], [math]b\in V\subset_{\text{open}}X[/math]가 존재하여 [math]a\notin V[/math], [math]b\notin U[/math]이다.

7.1.1.1 성질

위상공간 [math]X[/math]가 [math]\text{T}_{1}[/math]성을 만족하는 것은 [math]X[/math]에 포함된 임의의 한원소집합(singleton) [math]\{a\}[/math]가 닫힌 집합인 것과 동치이다.

후술할 [math]\text{T}_{3}[/math], [math]\text{T}_{3\frac{1}{2}}[/math], [math]\text{T}_{4}[/math]가 [math]\text{T}_{1}[/math]성을 전제로 하는 것은 한원소집합이 닫힌 집합임을 보장함으로써 [math]\text{T}_{4} \Rightarrow[/math][math]\text{T}_{3\frac{1}{2}} \Rightarrow \text{T}_{3} \Rightarrow \text{T}_{2} \Rightarrow \text{T}_{1}[/math]의 상관관계를 명확하게 해 준다.

7.1.2 T₂ 공간

하우스도르프(Hausdorff) 공간이라 하기도 한다. 이 공리부터 쓸만한 위상공간이 된다. 컴팩트성 공리와 같이 쓰이면 아주 좋은 조건이 된다.

일반적으로는 유일성과 관련된 공간이다. 수렴하는 수열의 극한이 유일하게 존재하는 것도 [math]\text{T}_{2}[/math]에서만 보장할 수 있다. [math]\text{T}_{2}[/math]공간이 아니라면 수렴값이 여러개인 수열도 존재한다.

서로 다른 두 점 [math]a,\,b\in X[/math]에 대해, [math]a\in U\subset_{\text{open}}X[/math], [math]b\in V\subset_{\text{open}}X[/math]가 존재하여 [math]U\perp V[/math]이다.

7.1.2.1 성질

하우스도르프 공간에서는 연속함수에 관련된 정리

하우스 도르프 공간으로 가는 두 연속함수가 정의역의 조밀집합에서의 함수값이 같으면 두 함수는 같다.

하우스도르프 공간을 공역으로 하는 연속함수는 조밀집합에서만 같음을 확인하면 두 함수가 같다는것을 보장받을 수 있다. 딱 보면 알겠지만, 실수에서 실수로 정의된 연속함수가 유리수점에서만 값이 같으면 서로 같은것을 보장받을 수 있는 것을 일반적인 위상공간까지 확장한 것이다.

7.1.3 T₃ 공간

[math]\text{T}_{1}[/math]성을 만족하는 위상공간 [math]X[/math]가 [math]\text{T}_{3}[/math] 혹은 정칙(regular)라 함은, 다음을 만족하는 것이다.

[math]a\in X[/math], [math]B\subset_{\text{closed}} X[/math]에 대해, [math]a\perp B[/math]이면, [math]a\in U\subset_{\text{open}}X[/math], [math]B\subset V\subset_{\text{open}}X[/math]가 존재하여 [math]U\perp V[/math]이다.

7.1.4 T₃½ 공간

[math]\text{T}_{1}[/math]성을 만족하는 위상공간 [math]X[/math]가 [math]\text{T}_{3\frac{1}{2}}[/math] 혹은 완전 정칙(completely regular)라 함은, 다음을 만족하는 것이다.

[math]a\in X[/math], [math]B\subset_{\text{closed}} X[/math]에 대해, [math]a\perp B[/math]이면, [math]f:X\to \left[0,\,1\right][/math]가 존재하여 [math]f\left(a\right)=0, f\left(B\right)=\left\{1\right\}[/math]이다.

7.1.5 T₄ 공간

[math]\text{T}_{1}[/math]성을 만족하는 위상공간 [math]X[/math]가 [math]\text{T}_{4}[/math] 혹은 정규(normal)라 함은, 다음을 만족하는 것이다.

[math]A,\,B\subset_{\text{closed}} X[/math]에 대해, [math]A\perp B[/math]이면, [math]A\subset U\subset_{\text{open}}X[/math], [math]B\subset V\subset_{\text{open}}X[/math]가 존재하여 [math]U\perp V[/math]이다.

7.1.5.1 성질

* 우리손 보조정리(Urysohn Lemma)

정규공간[math]X[/math]의 만나지 않는 두 닫힌 부분집합 [math]A[/math],[math]B[/math]에 대해, 연속함수가[math]h:X -\gt\mathbb{R}[/math] 이 [math]h(x)=0(x\in A)[/math] 이고[math]h(x)=1(x\in B)[/math] 를 만족하는것이 존재한다.

• 티체의 확장정리(Tietze Extension Theorem)
  

정규공간의 닫힌 집합에서 정의된 연속함수는 전체공간의 연속함수로 확장가능하다.

7.2 가산성 공리들

7.2.1 제 1가산 공리

모든 점에서 가산국소기저를 갖는다.

7.2.2 제 2가산 공리

가산 공간(counterable space)이라 함은 다음을 만족하는 것이다.

가산기저를 갖는다.

7.2.3 린될레프의 공리

[math]X[/math]가 린될레프 공간(Lindelof space)이라 함은 다음을 만족하는 것이다.

[math]O\subset T[/math]가 [math]K\subset\bigcup O[/math]이라면, [math]O[/math]의 가산 부분집합 [math]O'[/math]이 존재하여 [math]K\subset\bigcup O'[/math]이다.

7.2.4 분리 가능성 공리

[math]X[/math]가 분리 가능 공간(separable space)라 함은 다음을 만족하는 것이다.

가산 부분집합 [math]D\subset X[/math]가 존재하여[math]\overline{D}=X[/math]

7.3 컴팩트성의 변형 공리들

7.3.1 컴팩트(Compact)

컴팩트 집합은 임의의 개덮개가 유한 부분 개덮개를 가지는 집합이다. 유한성 조건은, 열린 집합들의 유한 교집합이 열린 집합이라는 공리와 함께 쓰이는 경우가 많다.

[math]X[/math]의 위상이 [math]T[/math]로 주어졌다고 하자. [math]K\subset X[/math]가 컴팩트 집합라 함은 다음을 만족하는 것이다. [math]O\subset T[/math]가 [math]K\subset\bigcup O[/math]라 면, [math]O[/math]의 유한 부분집합 [math]O'[/math]이 존재하여 [math]K\subset\bigcup O'[/math]이다.

컴팩트 공간은, 자신이 컴팩트 집합인 공간이다.

[math]X[/math]가 컴팩트 집합일 때, [math]X[/math]는 컴팩트 공간이라 한다.

7.3.1.1 관련된 정리들

• 르베그 수 보조정리(Lebesgue number lemma)

컴팩트 거리 공간 [math]X[/math]의 임의의 개덮개 [math]O[/math]에 대해, [math]\delta\gt0[/math]이 존재하여 임의의 부분집합 [math]S\subset X[/math]의 직경이 [math]\delta[/math]보다 작으면 [math]U\in O[/math]가 존재하여 [math]S\subset U[/math]이다.

7.3.2 점렬 컴팩트(sequentially compact)

임의의 수열은 수렴하는 부분열을 갖는다.

7.3.3 극한점 컴팩트(limit point compact)

임의의 무한집합 [math]A\subset X[/math]는 극한점을 갖는다.

7.3.4 국소 컴팩트(locally compact)

• 점에서의 국소 컴팩트

[math]p\in X[/math]에서의 국소 컴팩트성
열린 집합 [math]U[/math], 컴팩트 집합 [math]K[/math]가 존재하여 [math]p\in U\subset K[/math]이다.

• 전체에서의 국소 컴팩트
  

  임의의 [math]p\in X[/math]에서 국소 컴팩트면, [math]X[/math]는 국소 컴팩트이다.

7.3.5 관련된 정리들

• 하우스도르프 국소 컴팩트 공간에 한 점 [math]\infty[/math]을 추가하여 위상을 적절히 주면, 하우스도르프 컴팩트 공간이 되고 기존의 공간을 부분공간으로 갖는다. 이를 한점 컴팩트화(one point compactification)이라 한다. 이때 적절한 위상이란, locally compact space를 X라고 두면, 임의의 점 p를 추가해 Y = X U {p}라고 두자.

이때, Y공간의 위상을
(1) X에서 open set인 집합
(2) p를 포함하는 임의의 집합 O 중, Y - O 가 X에서 compact한 집합
으로 준다.

이때 Y를 one-point compactification of X라고 하며, 이 공간은 자명하게 compact하다
( 임의의 오픈 커버에 대해서 p 포함하는 오픈셋 하나 아무거나 잡으면, 남은 집합이 컴팩트니까 그걸 유한개로 채우면 끝)

간단한 예를 들어, 실수공간에서 한 점을 추가하면 그 공간은 2차원 공간에서의 단위원(S1, x^2 + y^2 = 1) 과 위상동형(homeomorphic)이다.

아주 직관적으로는 R이랑 open interval이랑 같은데 그 open interval을 고리모양으로 원처럼 말아넣고, 끝에 한점 찍어서 원으로 만드는거랑 비슷하다. 비슷하게, 2차원 실수공간은 3차원 공간에서 단위구와 동치이며, 모든 n에 대해 그 성질이 성립한다. 대충, n+1차원 공간에서 (0,0,...,0,1)에서 n차원 공간으로 n+1차원 구면상의 자기자신을 제외한 다른 점과 직선으로 연결한 다음에, 그 점 끝이 n차원 공간과 만나는 지점을 잡아주면 homeomorphism을 잡을 수 있다. 그니까, n차원 공간의 모든 무한대를 하나로 묶어서 n+1차원으로 만든 셈. stereographic projection을 구글링해보면 더 자세한 이야기를 들을 수 있다.

compact하지 않은 공간을 compact하게 만드는 방법에는 이외에도 여러 가지가 있다. one point는 그 중 minimal 한 방법으로, 최소한의 점을 추가해 공간을 compact하게 만드는 것. 이외에도, Stone - Cech compactification 등 여러 가지 정리가 있다. Stone - Cech compactification에 대해서는 직관적인 설명과 필요성에 대해 추가바람.

• 거리 공간에서 컴팩트성, 점렬 컴팩트성, 극한점 컴팩트성은 모두 동치이다. 거리공간이 아닌 경우 반례가 종종 성립하는데, 위상수학을 공부하는 학생이라면 이 반례들을 제대로 외워두길 바란다. 보통 자주 나오는 예시는, I^I(I = [0,1] 에 대해 I로 product를 건 것, 즉, f : [0,1] -> [0,1] 인 함수공간, topology는 product topology) 와 같은 것들이다.

8 연결성과 경로 연결성

위상 공간 [math]X[/math]가 공집합이 아닌 두 열린 집합으로 쪼개질 수 없다면 [math]X[/math]를 연결공간(connected space)라 한다. 조금 더 수학적인 언어로 서술하면 다음과 같다.

위상 공간 [math]X[/math]에서 공집합이 아닌 서로소인 두 열린 집합 [math]A, B\in X[/math]가 존재하여 [math]A\cup B=X[/math]를 만족한 때, [math]X[/math]를 비연결공간(disconnected space)이라 한다.

[math]X[/math]가 비연결공간이 아닐 때 연결공간이라 한다.

경로연결공간(path-connected space)는 모든 점이 경로로 연결된 공간으로, 수학적으로 서술하면 다음과 같이 정의된다.

위상 공간 [math]X[/math]상의 임의의 두 점 [math]p, q\in X[/math]를 잇는 경로([math]\gamma(0)=p, \gamma(1)=q[/math]를 만족하는 연속함수 [math]\gamma\colon[0, 1]\to X[/math]가 존재할 때, [math]X[/math]를 경로연결공간(path-connected space)이라 한다.

쉽게 말하면, 아무거나 점 두개 잡았을때 하나에서 출발해 다른 하나로 도착하는 연속함수를 항상 잡을 수 있다는 뜻이다. 이게 불가능한 경우 비경로연결(path-disconnected)이라고 한다.

위 경로연결공간의 정의에서 나와있듯이, 두 점 [math]p, q\in X[/math]에 대하여 [math]\gamma(0)=p, \gamma(1)=q[/math]를 만족하는 연속함수 [math]\gamma\colon[0, 1]\to X[/math]를 [math]p[/math]와 [math]q[/math] 사이의 경로(path)라고 한다.

자명하게, 경로연결이면 연결이다. 증명은 가정법을 이용, f-1(U), f-1(V)를 잡고, [0,1]이 연결공간인걸 이용하면 된다. [0,1]이 연결공간인 건 해석개론 시간에 지겹게 할테니 패스. 아니면 누가 달아주던가

반면, 연결공간이 항상 경로연결공간인 것은 아니다. 좋은 반례로 topologist's sine curve가 있다. ( x,sin(1/x) ) 와 그것의 폐포를 포함한 것인데, limit point의 집합인 0 * [-1,1] 에서 열린 집합을 어떻게 잡아도 항상 오른쪽 그래프 부분이 포함된다. 쉽게, X를 ( x,sin(1/x) )의 집합으로 표현하고, Y = 0 * [-1,1] 로 표현하면, 연결공간의 폐포는 항상 연결이므로 연결인 걸 쉽게 증명할 수 있다.(X가 연결인 이유는 X 경로연결이기 때문이다. sin(1/x)가 연속함수이므로, 경로를 항상 잡을 수 있다)

반면, 주어진 공간에서 Y상의 점과 X상의 점을 연속적으로 경로로 연결할 수는 없으므로(증명을 하고자 한다면, 0으로 수열하는 수렴을 sin값이 1인 지점에서와, -1인 지점에서 잡는다. lim(f(xn)) = f(lim(xn))이 성립하지 않는다는 걸 보일 수 있을거다) 경로연결이 아니다.

일반적으로, 다양체에서는 경로연결과 연결이 동치라는 것이 알려져 있다.

8.2 연결성과 열린 닫힌 집합

[math]X[/math]가 비연결공간이면 정의에 따라서, 공집합이 아니고 서로소인 두 열린 집합 [math]U, V \in X[/math]가 존재하여 [math]X=U\cup V[/math]를 만족한다. 그렇다면 [math]U = X - V[/math]이므로 [math]U[/math]는 열린 동시에 닫혔고, [math]V[/math] 역시 마찬가지다.

반대로, 공집합도 아니고 전체집합도 아닌 열린 닫힌 집합이 존재한다면, 그 위상 공간은 비연결공간이다.

9 예시

단순히 '위상 공간'이라는 것만으로 다룰 수 있는 것들은 한정되어 있다. 그렇기 때문에 조금 더 특수하고 추가적인 구조를 가지고 있는 예시들이 자주 쓰인다.

9.1 거리 공간

집합 [math]X[/math]의 거리함수 [math]d[/math]를 생각하자. [math]x\in X[/math], 실수 [math]r\gt0[/math]에 대해 [math]B_{r}\left(x\right)=\left\{ y\in X| d\left(x,y\right)\ltr\right\} [/math]라 할 때 [math]B_{r}\left(x\right)[/math]들의 집합을 부분기저로 하는 위상 공간을 거리 공간(metric space)라 한다. 거리 공간은 아주 좋은 공간인데 모든 거리 공간은 [math]\text{T}_{4}[/math]이며 거리 공간에서는 가산 컴팩트(countable compact)와 컴팩트가 동치이다. 또한 컴팩트와 totally bounded이고 complete인 것이 동치이다.

반대로, 위상이 정해지면 어떤 공간의 거리를 부여할 수 있기도 하다. 대표적인 예로, normal space이며 second countable space이면 거리를 부여할 수 있다는, urysohn's metrization theorem이 있다. 거리를 부여하는 방법은, 그다지 직관적이지는 않다. countable basis를 가지므로 각각에서 점 하나를 고른 뒤, x1,x2,... 로 순서를 붙인 후 같은 basis에 포함되느냐, 아니냐로 거리를 결정하는 방식.

이외에도, sminorv metrization theroem 등 여러 가지의 거리화 정리가 있다.

9.2 다양체

국소적으로 유클리드 공간과 위상동형인 공간을 다양체(manifold)라 한다. 여기 위상수학적인 성질뿐만 아니라 미분구조까지 주게 되면 미분다양체가 된다.

유클리드 공간은 위상 공간이며 그 중에서도 거리 공간이고, 동시에 미분다양체이다.

다양체에 관한 자세한 설명은 해당 항목 참조.

9.3 위상군

위상 공간에 대수적 구조까지 주게 되면 위상군이 된다. 구체적으로 말하면, 위상공간 [math]X[/math]가 군이고, 연산 [math]X\times X\to [/math]와 역원 [math]X\to X[/math]가 연속함수일 때 [math]X[/math]를 위상군(topological group)이라 한다. [math]X[/math]가 미분다양체이기까지 하면 리군이 된다.

9.4 함수 공간

위상 공간 [math]X, Y[/math]가 있을 때, [math]X[/math]에서 [math]Y[/math]로 가는 함수들의 집합 또한 위상 공간으로 다룰 수 있다.