위상 공간

위상 공간은 집합과 그 위에 정의된 열린 집합들의 모임으로 구성된다. 구체적으로, 집합 X와 X의 부분집합들의 모임 τ가 주어졌을 때, τ가 다음 세 가지 조건을 만족하면 τ를 X 위의 위상이라고 하며, 순서쌍 (X, τ)를 위상 공간이라고 정의한다.

첫째, 공집합과 전체집합 X는 τ에 속해야 한다. 둘째, τ에 속하는 집합들의 임의의 합집합이 다시 τ에 속해야 한다. 셋째, τ에 속하는 집합들의 유한 교집합이 다시 τ에 속해야 한다. 이때 τ의 원소들을 위상 공간 (X, τ)의 열린 집합이라고 부른다.

이 정의는 위상수학의 가장 기본적인 출발점으로, 해석학에서의 연속성과 극한 개념, 또는 기하학에서의 근접성과 연결성 같은 개념을 추상화하여 연구하는 토대를 제공한다. 열린 집합의 개념을 통해 수학적 공간의 근본적인 성질을 규정할 수 있다.

위상 공간은 열린 집합의 개념을 통해 정의되지만, 이와 쌍대적인 개념인 닫힌 집합을 이용해서도 동등하게 정의할 수 있다. 집합 X가 주어졌을 때, X의 부분집합들로 이루어진 모임 F가 특정 조건을 만족하면, 이 F의 원소들을 닫힌 집합으로 간주하여 위상 공간을 구성하는 것이다.

닫힌 집합족 F를 이용한 정의의 핵심 조건은 다음과 같다. 첫째, 공집합과 전체집합 X 자체가 F에 속해야 한다. 둘째, F에 속하는 집합들의 임의의 교집합이 다시 F에 속해야 한다. 셋째, F에 속하는 집합들의 유한한 합집합이 다시 F에 속해야 한다. 이 세 조건은 열린 집합을 이용한 정의의 세 조건과 정확히 쌍대 관계에 있다. 즉, 열린 집합의 조건에서 합집합과 교집합의 역할이 뒤바뀐 형태이다.

이렇게 정의된 닫힌 집합족 F가 주어지면, 그 여집합들을 모은 집합족 τ = { X \ C | C ∈ F }는 열린 집합의 공리를 만족한다. 반대로, 열린 위상 τ가 주어지면 그 여집합들을 모은 집합족 F는 닫힌 집합의 공리를 만족한다. 따라서 두 정의 방식은 완전히 동치이며, 주어진 상황에 따라 더 편리한 정의를 선택하여 사용할 수 있다.

이 정의 방식은 특히 폐포 연산자나 극한점의 개념을 논할 때 유용하다. 어떤 부분집합의 폐포는 그 집합을 포함하는 모든 닫힌 집합의 교집합으로 정의되기 때문이다. 또한, 연속 함수를 '닫힌 집합의 원상이 닫힌 집합인 함수'로도 정의할 수 있어, 다양한 맥락에서 위상적 성질을 기술하는 데 활용된다.

위상 공간은 열린 집합의 개념을 통해 정의되지만, 이는 근방의 개념을 이용해서도 동등하게 정의할 수 있다. 집합 X의 각 점 x에 대해, 그 점의 근방계 N(x)라고 불리는 X의 부분집합족이 특정 조건을 만족할 때, 이 근방계로부터 원래의 위상 구조를 완전히 복원할 수 있다.

근방계를 이용한 정의의 핵심은 점과 그 주변의 '이웃' 개념을 먼저 부여하는 것이다. 점 x의 근방계 N(x)는 다음 공리들을 만족해야 한다. 첫째, N(x)의 각 원소는 x를 포함한다. 둘째, N(x)의 두 원소의 교집합은 다시 N(x)에 속한다. 셋째, N(x)의 원소 U를 포함하는 임의의 집합 V는 다시 N(x)에 속한다. 마지막으로, 각 U가 N(x)에 속하면, U에 포함되어 x의 근방인 다른 집합 W가 존재한다.

이렇게 정의된 근방계로부터, "집합 O가 열린 집합이다"는 것을 "O의 각 점 x에 대해, O가 x의 근방이다"로 정의함으로써 열린 집합의 모임 τ를 구성할 수 있으며, 이 τ는 위상의 세 가지 공리를 만족한다. 반대로, 주어진 위상 공간에서 점 x의 근방을 "x를 포함하는 열린 집합"으로 정의하면 근방계 공리들을 만족시킨다. 이 두 과정은 서로 역과정이므로, 열린 집합을 통한 정의와 근방계를 통한 정의는 완전히 동등하다.

근방계를 이용한 접근은 해석학에서 함수의 극한이나 연속성을 논할 때 직관적이다. 예를 들어, 점에서 함수의 극한은 그 점의 모든 근방에 대한 함수값의 거동으로 설명된다. 또한, 위상 벡터 공간이나 균등 공간과 같은 보다 복잡한 구조를 다룰 때 근방계의 개념이 유용하게 활용된다.

위상 공간은 폐포 연산자를 이용하여 정의할 수도 있다. 집합 $X$ 위의 폐포 연산자란, $X$의 모든 부분집합 $A$에 대해 $X$의 부분집합 $\operatorname{cl}(A)$를 대응시키는 함수로, 특정한 공리들을 만족하는 것을 말한다. 이 공리들은 쿠라토프스키 폐포 공리로 알려져 있으며, 공집합에 대한 항등성, 단조성, 유한 합집합 보존, 멱등성의 네 가지 조건으로 이루어진다.

이러한 폐포 연산자가 주어지면, 그로부터 닫힌 집합의 모임을 정의할 수 있다. 즉, 부분집합 $F$가 $\operatorname{cl}(F) = F$를 만족할 때 $F$를 닫힌 집합으로 정의한다. 이렇게 정의된 닫힌 집합족은 위상에서 요구하는 닫힌 집합의 공리(전체집합과 공집합이 닫혀 있음, 임의의 교집합이 닫혀 있음, 유한 합집합이 닫혀 있음)를 만족하게 된다. 따라서 이 닫힌 집합족의 여집합들을 열린 집합으로 삼아 위상을 구성할 수 있다.

반대로, 위상 공간 $(X, \tau)$가 주어지면, 부분집합 $A$의 폐포를 $A$를 포함하는 모든 닫힌 집합의 교집합으로 정의하면, 이는 쿠라토프스키 폐포 공리를 만족하는 폐포 연산자가 된다. 이처럼 열린 집합, 닫힌 집합, 근방계, 폐포 연산자 등은 서로 동등한 방식으로 위상 공간의 구조를 기술하며, 연구의 편의에 따라 적절한 도구를 선택하여 사용한다.

위상 공간의 구조를 완전히 열린 집합족으로 기술하는 대신, 더 작은 집합족을 통해 효율적으로 정의할 수 있다. 이를 가능하게 하는 개념이 기저와 부분기저이다.

기저는 위상 공간의 모든 열린 집합이 그 원소들의 합집합으로 표현될 수 있는 열린 집합의 모임이다. 즉, 임의의 열린 집합 U와 U의 점 x에 대해, x를 포함하고 U에 포함되는 기저의 원소 B가 항상 존재한다. 이 성질을 만족하는 집합족은 위상을 유일하게 결정하며, 위상을 생성한다고 말한다. 대표적인 예로, 실수 집합에서 열린 구간들의 모임은 표준 위상의 기저를 이룬다. 거리 공간에서는 모든 열린 공의 모임이 거리 위상의 기저가 된다.

부분기저는 기저보다 더 일반적인 개념으로, 그 원소들의 유한 교집합을 모두 모으면 하나의 기저가 되는 집합족을 의미한다. 즉, 부분기저 S가 주어지면, S의 원소들로 이루어진 모든 유한 교집합의 모임 B(S)는 위상의 기저가 된다. 이렇게 생성된 위상을 'S에 의해 생성된 위상'이라고 한다. 부분기저는 위상을 정의하는 가장 기본적인 재료로, 곱위상을 정의할 때 각 성분 공간의 열린 집합들의 원상으로 구성된 집합족이 부분기저 역할을 한다.

거리 공간은 두 점 사이의 거리를 측정할 수 있는 구조를 가진 공간이다. 모든 거리 공간은 그 거리 함수를 이용해 자연스럽게 위상 공간으로 여길 수 있으며, 이렇게 유도된 위상을 거리 위상이라고 한다. 거리 위상에서의 열린 집합은 그 안의 모든 점을 중심으로 하는 어떤 열린 공이 완전히 그 집합에 포함되는 집합으로 정의된다. 이 정의는 우리가 직관적으로 생각하는 '구멍이 뚫리지 않은' 열린 영역의 개념과 일치한다.

거리 위상의 중요한 예로는 유클리드 공간 R^n이 있다. 여기서는 두 점 사이의 거리를 유클리드 거리로 정의하며, 이로부터 생겨난 위상이 표준적인 위상이다. 복소평면이나 일반적인 힐베르트 공간과 같은 많은 중요한 함수 공간들도 거리 위상을 가진다. 거리 위상은 해석학과 기하학에서 연구하는 대부분의 공간이 갖는 기본적인 위상 구조이다.

거리 위상은 몇 가지 강력한 성질을 만족시킨다. 예를 들어, 모든 거리 위상 공간은 하우스도르프 공간이며, 정규 공간이고, 제1 가산 공리를 만족한다. 또한, 수열의 수렴을 거리를 이용해 엡실론-델타 논법으로 기술할 수 있어, 연속 함수의 정의가 위상적 정의와 거리적 정의로 서로 동치가 된다. 이는 거리 위상이 해석학의 개념을 위상수학의 언어로 자연스럽게 번역하는 다리 역할을 함을 보여준다.

그러나 모든 위상 공간이 거리 위상은 아니다. 즉, 어떤 위상 공간의 위상을 유도해낼 수 있는 거리 함수가 존재하지 않을 수 있다. 이러한 공간을 비가측화 가능 공간이라고 한다. 따라서 거리 위상 공간은 위상 공간 전체의 풍부한 범주 중에서 비교적 잘 행동하는 특별한 부류에 속한다고 볼 수 있다.

자명한 위상은 주어진 집합 위상 공간 위에 정의할 수 있는 가장 적은 수의 열린 집합을 갖는 위상이다. 집합 X에 대해, 열린 집합의 모임 τ가 공집합과 X 전체만을 원소로 가질 때, 이 τ를 자명한 위상이라 부른다. 이 정의는 위상의 세 가지 공리(공집합과 전체집합 포함, 임의의 합집합에 닫힘, 유한 교집합에 닫힘)를 모두 만족시킨다.

이 위상에서는 공집합과 전체집합을 제외한 어떤 부분집합도 열린 집합이 아니므로, 위상적 구조가 사실상 존재하지 않는 것으로 간주할 수 있다. 결과적으로, 자명한 위상이 주어진 공간에서는 서로 다른 점들을 분리하는 근방 체계가 존재하지 않으며, 대부분의 흥미로운 위상적 성질이 사라진다. 예를 들어, 이 공간에서 정의된 모든 함수는 연속 함수가 되며, 공간 자체는 연결 공간이자 콤팩트 공간이 된다.

자명한 위상은 이산 위상과 대비되는 개념이다. 이산 위상이 집합의 모든 부분집합을 열린 집합으로 인정하여 가장 많은 위상 구조를 부여한다면, 자명한 위상은 가능한 가장 적은 구조를 부여한다. 이러한 극단적인 예시들은 위상 공간의 정의와 그 가능한 변주를 이해하는 데 도움을 준다.

이산 위상은 주어진 집합의 모든 부분집합을 열린 집합으로 정의하는 위상이다. 즉, 집합 X에 대해, X의 멱집합 P(X) 자체를 위상 τ로 삼는 것을 말한다. 이렇게 정의된 위상 공간 (X, P(X))를 이산 공간이라고 부른다. 이산 위상은 주어진 집합 위에 정의할 수 있는 가장 많은 수의 열린 집합을 가지는 위상이며, 이는 위상 구조가 가장 '섬세하다'고 표현할 수 있다.

이산 위상의 주요 성질은 모든 점이 고립점이라는 것이다. 집합 X의 임의의 한 점 x에 대해, 그 한 점만으로 이루어진 단원소 집합 {x} 자체가 열린 집합이기 때문이다. 이로 인해 이산 공간에서 정의된 함수는 모두 연속 함수가 된다. 또한, 이산 공간은 하우스도르프 공간이며, 제1 가산 공리와 제2 가산 공리를 만족시키고, 모든 부분집합이 동시에 열린 집합이자 닫힌 집합이 되어 연결 공간이 아니다.

여유한 위상은 주어진 집합에서 공집합과, 여집합이 유한 집합인 모든 부분집합을 열린 집합으로 정의하는 위상이다. 즉, 위상 공간 (X, τ)에서 τ는 X의 모든 부분집합 중에서 공집합이거나 그 여집합이 유한한 것들로 이루어진다. 이 정의에 따르면, X의 모든 점을 포함하지 않는 열린 집합은 반드시 유한한 점들만을 제외한 나머지 전체를 포함하게 된다.

이 위상은 자명한 위상이나 이산 위상과는 다른 특성을 보인다. 예를 들어, 실수 집합 R에 여유한 위상을 부여하면, 두 개의 서로 다른 열린 집합의 교집합은 여전히 열린 집합이지만, 무한히 많은 열린 집합들의 교집합은 열린 집합이 아닐 수 있다. 이는 위상의 정의에서 교집합 조건이 유한한 경우에만 요구되기 때문이다. 이러한 구조는 위상수학에서 중요한 예시 중 하나로, 콤팩트 공간이지만 하우스도르프 공간이 아닌 간단한 모델을 제공한다.

여유한 위상 공간에서 한 점으로 이루어진 한원소 집합은 닫힌 집합이다. 왜냐하면 그 한 점을 제외한 나머지 전체 집합은 여집합이 유한(한 점)하므로 열린 집합이기 때문이다. 그러나 두 점 이상을 포함하는 집합이 닫힌 집합이 되려면, 그 집합 자체가 유한 집합이어야 한다. 이는 위상 공간의 닫힌 집합이 열린 집합의 여집합으로 정의되기 때문이다.

이 위상은 가산성이나 분리 공리와 같은 위상적 성질을 연구할 때 자주 등장하는 반례가 된다. 특히, T1 공간이지만 T2 공간(하우스도르프 공간)이 아닌 대표적인 예이며, 열린 덮개가 유한 부분덮개를 가진다는 점에서 콤팩트 공간이지만 하우스도르프 분리성을 만족하지 않는 중요한 사례이다.

순서 위상은 전순서 집합에 자연스럽게 부여할 수 있는 표준적인 위상이다. 주어진 전순서 관계를 이용하여 특정한 형태의 구간들을 열린 집합의 기저로 삼아 정의된다. 이는 실수 집합에서 익숙한 열린 구간의 개념을 추상화한 것으로, 실수의 위상적 성질을 다른 순서 집합으로 일반화하는 데 핵심적 역할을 한다.

전순서 집합 (X, ≤)가 주어졌을 때, 순서 위상은 다음과 같은 형태의 집합들을 기저로 생성된다: 모든 a < b에 대한 열린 구간 (a, b) = { x ∈ X | a < x < b }, 그리고 만약 X가 최소원 m을 가진다면 [m, b) 형태의 반열린 구간, 최대원 M을 가진다면 (a, M] 형태의 반열린 구간도 기저에 포함될 수 있다. 이렇게 생성된 위상에서, 한 점의 근방은 그 점을 포함하는 어떤 구간으로도 이해할 수 있다.

순서 위상의 대표적인 예는 실수 집합 R에 보통의 크기 순서와 함께 부여된 위상이다. 이 경우 기저는 우리가 잘 아는 열린 구간 (a, b)들로 이루어지며, 이로부터 정의된 위상이 바로 실수 직선의 표준 위상이다. 다른 예로는 자연수 집합, 정수 집합, 또는 더 일반적인 순서수 집합에 순서 위상을 줄 수 있다. 특히 유리수 집합에 순서 위상을 부여하면, 이는 실수 위상의 부분공간 위상과 일치하지 않는 독특한 성질을 보이기도 한다.

순서 위상은 순서 구조와 위상 구조의 상호작용을 연구하는 순서 위상수학의 출발점이 된다. 또한 이 위상 아래에서 극한과 연속성의 개념은 순서 관계를 통해 직관적으로 기술될 수 있으며, 다양한 분리 공리나 연결성 등의 위상적 성질이 어떻게 나타나는지 분석하는 데 널리 활용된다.

두 위상이 같은 집합 위에 정의되어 있을 때, 한 위상이 다른 위상보다 더 많은 열린 집합을 가지면 이를 더 섬세하다고 한다. 정확히는, 집합 X 위에 정의된 두 위상 τ1과 τ2에 대해, τ1의 모든 열린 집합이 τ2에도 포함될 때(즉, τ1 ⊂ τ2일 때), τ2는 τ1보다 섬세하다고 말한다. 반대로 τ1은 τ2보다 엉성하다고 표현한다. 이는 τ2가 τ1보다 더 미세하게 공간을 구분한다는 의미이다.

가장 엉성한 위상은 자명한 위상이며, 가장 섬세한 위상은 이산 위상이다. 임의의 집합 X 위에 정의된 모든 위상은 자명한 위상보다는 섬세하고, 이산 위상보다는 엉성하다. 예를 들어, 실수 집합 R에 보통의 거리 위상을 준 공간은 자명한 위상이 주어진 공간보다 섬세하며, 이산 위상이 주어진 공간보다는 엉성하다.

위상의 섬세함은 연속성과 직접적으로 연결된다. 두 위상 τ와 σ가 X 위에 정의되어 있고 τ가 σ보다 섬세하다면(τ ⊃ σ), 항등 함수 id: (X, τ) → (X, σ)는 연속이다. 이는 더 섬세한 위상에서 더 엉성한 위상으로 갈 때, 원상이 열린 집합일 가능성이 더 높아지기 때문이다. 반대로, 더 엉성한 위상에서 더 섬세한 위상으로 가는 항등 함수는 일반적으로 연속이 아니다.

위상 공간의 위상 구조는 부분집합을 취하거나 몫집합을 취하는 과정에서 자연스럽게 유도될 수 있다. 이러한 과정을 통해 얻는 위상을 각각 부분 위상과 상위상이라고 한다.

부분 위상은 주어진 위상 공간의 부분집합에 정의되는 위상이다. 위상 공간 (X, τ)와 그 부분집합 A가 있을 때, A의 부분 위상 τ_A는 τ의 원소와 A의 교집합으로 얻어지는 집합들, 즉 {U ∩ A | U ∈ τ}로 정의된다. 이 위상을 A 위의 상대 위상이라고도 하며, 이렇게 정의된 (A, τ_A)를 (X, τ)의 부분공간이라고 한다. 부분 위상은 원래 공간에서의 열린 집합을 부분집합으로 제한하여 얻으므로, 부분공간에서의 연속성 등을 원공간의 성질과 연결 지어 다룰 수 있게 해준다.

상위상은 몫집합에 정의되는 위상이다. 위상 공간 (X, τ) 위에 동치 관계 ~가 주어져 몫집합 X/~가 만들어졌을 때, X/~ 위의 상위상 τ_~는 사영 사상 π: X → X/~가 연속이 되도록 하는 가장 섬세한 위상으로 정의된다. 즉, X/~의 부분집합 V가 열린 집합인 것은 그 원상 π^{-1}(V)가 X에서 열린 집합인 것과 동치이다. 상위상은 공간을 어떤 기준으로 접어붙이거나(gluing) 동일시했을 때 자연스럽게 발생하는 위상 구조를 포착하며, 위상동형사상과 몫공간을 논하는 데 필수적이다.

이 두 개념은 위상 공간을 구성하는 기본적인 도구이다. 부분 위상은 주어진 공간의 일부를 집중적으로 관찰하는 데, 상위상은 여러 공간을 조합하거나 복잡한 공간을 단순화된 형태로 표현하는 데 사용된다. 이들은 곱위상과 함께 새로운 위상 공간을 만들어내는 표준적인 방법을 제공한다.

곱위상은 주어진 위상 공간들의 곱집합 위에 자연스럽게 정의되는 위상이다. 여러 위상 공간을 결합하여 새로운 위상 공간을 구성하는 기본적인 방법 중 하나이다.

구체적으로, 위상 공간들의 집합족 {X_α}_{α ∈ A}가 주어졌을 때, 이들의 곱집합 ∏_{α ∈ A} X_α 위의 곱위상은 모든 사영 사상 π_β: ∏_{α ∈ A} X_α → X_β가 연속 함수가 되도록 하는 가장 엉성한 위상으로 정의된다. 이는 곱집합의 부분집합들 중, 각 성분 공간의 열린 집합들의 곱으로 표현되며 오직 유한개의 성분만 전체 공간이 아닌 집합인 것들의 모임을 기저로 하여 생성되는 위상과 동일하다. 이러한 기저 원소를 '기본 열린 집합'이라고 부른다.

곱위상은 사영 사상이 연속일 뿐만 아니라 열린 함수가 되도록 보장한다. 또한, 다른 위상 공간 Y에서 곱공간으로 가는 함수 f: Y → ∏_{α ∈ A} X_α가 연속일 필요충분조건은 각 성분 함수 π_α ∘ f: Y → X_α가 모두 연속인 것이다. 이 성질은 곱위상의 보편 성질로, 함수의 연속성을 각 성분별로 검증할 수 있게 해준다.

유한개의 위상 공간의 곱위상은 각 성분 공간의 기저 원소들의 곱으로 이루어진 집합족이 기저가 된다. 그러나 무한개의 위상 공간의 경우, 곱위상의 기저는 유한개의 성분에서만 진부분 열린 집합을 허용하는 제약이 있어, 상자 위상과는 구별된다. 상자 위상은 이러한 제약이 없어 일반적으로 곱위상보다 더 섬세하지만, 대부분의 위상수학적 성질을 보존하는 데는 곱위상이 더 적합하다.

몫위상은 주어진 위상 공간과 그 위의 동치 관계로부터 새로운 위상 공간을 구성하는 방법이다. 구체적으로, 위상 공간 (X, τ)와 X 위의 동치 관계 ~가 주어졌을 때, 몫집합 X/~ 위에 자연스럽게 부여되는 위상을 말한다. 이 몫집합의 원소는 X의 원소들을 동치 관계에 따라 분류한 동치류들이다.

몫위상은 표준적 전사 함수인 몫사상 p: X → X/~가 연속 함수가 되도록 하는 가장 섬세한 위상으로 정의된다. 즉, X/~의 부분집합 U가 열린 집합인 것은, 그 원상 p⁻¹(U)가 X에서 열린 집합인 것과 동치이다. 이 정의는 몫사상 p를 연속으로 만드는 X/~ 위의 위상 중 가장 많은 열린 집합을 포함하는, 즉 가장 강한 위상에 해당한다.

몫위상의 대표적인 예로는 구를 구성하는 방법을 들 수 있다. 단위원판의 경계인 원주 위의 모든 점을 하나의 점으로 동일시하는 동치 관계를 생각하면, 이 몫공간은 위상동형사상인 구가 된다. 또한, 원환면은 정사각형의 마주보는 변을 적절히 붙이는 몫공간으로 얻어진다. 사영 공간 역시 구의 지름 양 끝점을 동일시하는 몫공간으로 정의될 수 있다.

몫위상은 위상 공간을 새로운 형태로 변형하거나 복잡한 공간을 간단한 구성 요소로부터 조립하는 데 핵심적인 도구이다. 이 개념은 대수적 위상수학에서 기본군을 계산하거나, 미분 위상수학에서 다양체를 구성할 때, 그리고 기하학에서 작용에 의한 궤도 공간을 다룰 때 광범위하게 활용된다.

분리 공리는 위상 공간이 서로 다른 점들을 열린 집합을 이용해 어느 정도까지 '분리'할 수 있는지를 규정하는 일련의 조건들이다. 이 공리들은 위상 공간의 구조를 더 세밀하게 분류하고, 위상 공간 위에서 정의된 함수들의 성질을 연구하는 데 중요한 기준을 제공한다.

가장 기본적인 분리 공리로는 T0 공리, T1 공리, T2 공리(하우스도르프 공간) 등이 있다. T0 공리는 서로 다른 두 점 중 적어도 하나를 포함하지만 다른 하나는 포함하지 않는 열린 집합이 존재함을 요구한다. T1 공리는 서로 다른 두 점 각각에 대해, 한 점은 포함하지만 다른 점은 포함하지 않는 열린 집합이 각각 존재함을 요구하며, 이는 모든 한원소 집합이 닫힌집합임과 동치이다. 가장 잘 알려진 T2 공리, 즉 하우스도르프 조건은 서로 다른 두 점을 각각 포함하는 서로소인 열린 집합이 존재함을 요구한다.

보다 강한 분리 공리에는 정칙 공간(T3), 완비 정칙 공간(T3½), 정규 공간(T4) 등이 있다. 정칙 공간은 한 점과 그 점을 포함하지 않는 닫힌 집합이 서로소인 열린 집합들로 분리될 수 있어야 한다. 완비 정칙 공간은 위상 공간에서 실수로 가는 연속 함수를 이용해 점과 닫힌 집합을 분리할 수 있는 공간이다. 정규 공간은 서로소인 두 닫힌 집합이 서로소인 열린 집합들로 분리될 수 있어야 한다. 이들 공리 사이에는 포함 관계가 성립하며, 예를 들어 T4 공리를 만족하는 정규 공간은 T3 공리를 만족하지만, 그 역은 일반적으로 성립하지 않는다.

분리 공리는 위상 공간의 여러 중요한 성질과 깊이 연관되어 있다. 예를 들어, 하우스도르프 공간에서 수열의 극한은 유일하며, 콤팩트 공간이 하우스도르프 공간이면 정규 공간이 된다. 또한 거리화 가능 공간은 완비 정칙 공간이자 정규 공간이 된다. 따라서 분리 공리는 위상 공간의 분류와 위상적 성질의 분석에 핵심적인 도구로 작용한다.

가산성 공리는 위상 공간이 얼마나 '작은' 기저를 가지는지, 또는 얼마나 '많지 않은' 열린 집합을 가지는지를 규정하는 공리이다. 이는 위상 공간의 크기나 복잡성을 측정하는 중요한 도구로, 특히 해석학과 일반위상수학에서 공간의 성질을 분류하고 연구하는 데 핵심적으로 사용된다.

주요 가산성 공리로는 제1 가산 공리와 제2 가산 공리가 있다. 제1 가산 공리를 만족하는 위상 공간은 모든 점이 가산 국소 기저를 가진다는 성질을 지닌다. 즉, 각 점마다 그 점을 포함하는 열린 집합들로 이루어진 가산 개의 모임이 존재하여, 그 점의 임의의 근방이 이 모임에 속하는 어떤 집합을 포함하게 된다. 모든 거리 공간은 제1 가산 공리를 만족하는 대표적인 예이다. 이 공리는 함수의 극한이나 수열의 수렴을 논할 때 유용하다.

제2 가산 공리는 더 강한 조건으로, 위상 공간 전체에 대한 가산 기저의 존재를 요구한다. 즉, 위상 공간 전체의 열린 집합들을 모두 생성할 수 있는 가산 개의 열린 집합들이 존재해야 한다. 유클리드 공간 R^n은 제2 가산 공리를 만족한다. 제2 가산성을 가지면 린델뢰프 공간이 되며, 분리공리 중 하나인 정칙 공간과 결합되면 거리화 가능 공리를 만족하는 중요한 충분 조건이 된다.

가산성 공리는 위상 공간의 다른 성질들과 깊은 연관이 있다. 예를 들어, 제2 가산 공리를 만족하면 분리 가능 공간이 되지만, 그 역은 일반적으로 성립하지 않는다. 또한, 콤팩트 공간이 매트로이드이면 제2 가산 공리를 만족한다는 등의 정리들이 알려져 있다. 이러한 공리들은 위상 공간을 크기와 구조에 따라 체계적으로 분류하는 데 기여한다.

위상 공간의 연결성은 그 공간이 '한 덩어리'인지 여부를 나타내는 중요한 위상적 성질이다. 직관적으로 설명하면, 공간을 서로 겹치지 않는 두 개의 열린 집합으로 나눌 수 없다면 그 공간은 연결되어 있다고 한다.

보다 엄밀하게, 위상 공간 X가 연결 공간이라는 것은, X를 두 개의 공집합이 아닌 서로소인 열린 집합의 합집합으로 나타낼 수 없을 때를 말한다. 이는 동치 조건으로, 두 개의 공집합이 아닌 서로소인 닫힌 집합으로 나눌 수 없다는 표현으로도 정의할 수 있다. 연결 공간의 대표적인 예로는 실수 집합 R이 있으며, 이는 우리가 흔히 아는 수직선 전체가 끊어지지 않고 이어져 있는 것에 해당한다.

연결성의 반대 개념은 비연결 공간이다. 예를 들어, 두 개의 서로 떨어진 구간 (0, 1) 과 (2, 3) 의 합집합은 비연결 공간이다. 연결성은 연속 함수에 의해 보존되는 성질이다. 즉, 연결 공간에서 다른 위상 공간으로 가는 연속 함수가 존재하면, 그 함수의 상 역시 연결 공간이 된다. 이 성질을 이용한 대표적인 정리가 중간값 정리이다.

연결성보다 더 강한 개념으로는 경로 연결성이 있다. 경로 연결 공간은 공간 내의 임의의 두 점을 잇는 연속적인 경로가 존재하는 공간을 말한다. 모든 경로 연결 공간은 연결 공간이지만, 그 역은 일반적으로 성립하지 않는다. 유명한 반례로는 위상수학자의 사인 곡선이 있다.

축약 가능성은 위상 공간이 어떤 한 점으로 연속적으로 변형될 수 있는 성질을 말한다. 구체적으로, 위상 공간 X가 축약 가능 공간이라는 것은 X에서 한 점으로 이루어진 공간 {p}로 가는 연속 함수와 그 역함수가 모두 존재하는, 즉 X와 {p}가 위상동형사상을 갖지 않음을 의미한다. 이는 X 위에 항등함수와 상수함수가 호모토피 동치인 것과 동치 조건이다. 즉, 공간 전체를 하나의 점으로 줄여버리는 연속적인 변형이 가능한 공간을 축약 가능하다고 한다.

대표적인 예로, 유클리드 공간 R^n, 원반, 구의 표면에서 한 점을 뺀 공간 등은 모두 축약 가능하다. 반면, 원형인 원 S^1은 축약 가능하지 않다. 원의 중심을 꿰뚫는 구멍이 있기 때문에 이를 하나의 점으로 수축시키는 과정에서 필연적으로 찢어지게 되어 연속성을 유지할 수 없기 때문이다. 이는 대수적 위상수학에서 중요한 불변량인 기본군을 통해 엄밀히 설명될 수 있으며, 축약 가능한 공간의 기본군은 자명군이다.

축약 가능성은 호모토피 이론의 핵심 개념으로, 공간의 위상적 복잡성을 측정하는 기본적인 도구 중 하나이다. 이 성질을 만족하는 공간은 위상수학적으로 매우 단순한 구조를 가진 것으로 여겨지며, 복잡한 공간을 연구할 때의 기준점 역할을 한다. 또한, 연속 함수에 대한 많은 정리들이 축약 가능 공간에서는 자명하게 성립하므로, 증명에서 반례를 구성하거나 조건을 테스트하는 데 유용하게 쓰인다.

콤팩트성은 위상 공간의 중요한 성질 중 하나로, 공간이 어떤 의미에서 "유한한" 크기를 가진다는 개념을 일반화한다. 구체적으로, 위상 공간 X가 콤팩트하다는 것은, X의 임의의 열린 덮개가 유한 부분 덮개를 가진다는 것을 의미한다. 여기서 열린 덮개란 X를 덮는 열린 집합들의 모임을 말하며, 유한 부분 덮개란 그 모임에서 유한 개의 열린 집합만을 뽑아내어 여전히 X를 덮을 수 있는 것을 말한다.

이 정의는 실수의 닫힌 구간 [a, b]가 콤팩트하다는 하이네-보렐 정리로 잘 알려져 있으며, 유클리드 공간에서 콤팩트 집합은 닫혀 있고 유계인 집합과 동치이다. 콤팩트성은 극한과 연속 함수의 성질과 깊이 연관되어 있다. 예를 들어, 콤팩트 공간 위에서 정의된 연속 함수는 최댓값과 최솟값을 가지며(최대-최소 정리), 균등연속이 보장된다.

콤팩트성은 여러 동치인 조건으로도 표현될 수 있다. 한 가지 유용한 특성은 닫힌 집합에 대한 성질로, 위상 공간이 콤팩트할 필요충분조건은 그 공간의 닫힌 집합들로 이루어진 집합족이 유한 교집합 성질을 가질 때, 그 집합족 전체의 교집합이 공집합이 아니라는 것이다. 또한, 거리 공간에서의 콤팩트성은 점렬 콤팩트성(모든 수열이 수렴하는 부분수열을 가짐) 및 완전 유계성과 동치이다.

이 성질은 위상수학의 여러 분야에서 핵심적으로 사용된다. 대수적 위상수학에서는 공간을 호모토피 동치인 CW 복합체로 근사할 때, 콤팩트 생성 공간의 범주가 유용하게 쓰인다. 또한 미분 위상수학에서 다양체의 연구나, 해석학에서 아르젤라-아스콜리 정리와 같은 함수 공간의 콤팩트성 판정에도 필수적이다.

위상 공간 사이의 함수 중 가장 기본적이고 중요한 개념은 연속 함수이다. 두 위상 공간 위상 공간 (X, τ_X)와 (Y, τ_Y) 사이의 함수 f: X → Y가 연속이라는 것은, Y의 모든 열린 집합 V에 대해 그 역상 f⁻¹(V)가 X에서 열린 집합일 때를 말한다. 이는 해석학에서의 ε-δ 정의를 위상의 언어로 추상화한 것으로, 함수가 근처의 점들을 근처로 보낸다는 직관을 포착한다.

연속성을 정의하는 데에는 여러 동치인 방법이 존재한다. 한 가지 방법은 닫힌 집합을 이용하는 것으로, 함수 f가 연속일 필요충분조건은 Y의 모든 닫힌 집합의 역상이 X에서 닫힌 집합인 것이다. 또 다른 방법은 근방의 개념을 사용하는 것으로, 점 x ∈ X와 f(x)의 임의의 근방 V에 대해, x의 어떤 근방 U가 존재하여 f(U) ⊂ V를 만족할 때 f는 x에서 연속이라고 정의하며, 이 조건이 모든 x ∈ X에 대해 성립하면 함수 f는 연속 함수이다.

연속 함수는 위상 공간의 구조를 보존하는 사상으로 간주된다. 두 연속 함수의 합성 함수는 다시 연속 함수가 되며, 항등 함수는 당연히 연속이다. 이러한 성질은 위상 공간의 범주를 형성하는 데 기초가 된다. 또한, 상수 함수는 항상 연속 함수의 예가 된다.

연속성은 위상적 성질, 즉 위상동형사상에 의해 보존되는 성질을 연구하는 데 핵심적이다. 예를 들어, 연결 공간의 연속 함수에 의한 상은 연결되어 있고, 콤팩트 공간의 연속 함수에 의한 상은 콤팩트하다. 이는 연속 함수가 공간의 대표적인 위상적 성질들을 보존한다는 것을 보여준다.

위상 공간 사이의 함수 중에서 열린 집합의 상을 보존하거나 닫힌 집합의 상을 보존하는 특별한 종류의 함수가 있다. 이들은 연속 함수와 밀접한 관련이 있지만, 그 성질은 정반대 방향으로 작용한다.

열린 함수는 정의역의 임의의 열린 집합의 상이 공역에서 열린 집합이 되는 함수이다. 반대로, 닫힌 함수는 정의역의 임의의 닫힌 집합의 상이 공역에서 닫힌 집합이 되는 함수이다. 모든 연속 함수가 열린 함수나 닫힌 함수일 필요는 없으며, 그 역도 성립하지 않는다. 예를 들어, 사영 사상은 일반적으로 열린 함수이지만, 전사 함수가 아닐 수 있다.

열린 함수와 닫힌 함수의 개념은 위상동형사상을 정의하는 데 핵심적이다. 위상동형사상은 전단사 연속 함수이면서 그 역함수도 연속인 함수인데, 이는 전단사 연속 함수가 열린 함수이거나 닫힌 함수이면 위상동형사상이 됨을 의미한다. 이는 함수가 열린 집합의 구조를 완벽하게 보존한다는 것을 보여준다.

이러한 함수들은 위상 공간의 구조를 비교하거나 새로운 위상을 구성할 때 유용하게 쓰인다. 특히, 몫위상을 정의할 때 사용되는 몫 사상은 자연스럽게 열린 함수 또는 닫힌 함수의 성질을 가질 수 있으며, 부분 공간에서의 포함 사상은 일반적으로 열린 함수도 닫힌 함수도 아니다.

위상동형사상은 위상수학에서 두 위상 공간 사이의 가장 강력한 형태의 동등성을 정의하는 함수이다. 두 위상 공간 X와 Y가 위상동형이라는 것은, 두 공간 사이에 전단사 함수 f: X → Y가 존재하여, f와 그 역함수 f⁻¹가 모두 연속 함수일 때를 말한다. 이러한 함수 f를 위상동형사상이라 부른다.

위상동형사상의 핵심은 공간의 위상적 구조, 즉 열린 집합의 체계를 완벽하게 보존한다는 점이다. 함수 f가 연속이라는 것은 Y의 열린 집합의 원상이 X에서 열려 있다는 뜻이며, 역함수 f⁻¹가 연속이라는 것은 X의 열린 집합의 원상이 Y에서 열려 있다는 뜻이다. 이 두 조건이 동시에 성립하면, f는 X의 열린 집합의 모임과 Y의 열린 집합의 모임 사이에 일대일 대응을 만들어낸다. 따라서 위상동형인 두 공간은 집합으로서는 물론, 그 위상 구조의 관점에서도 본질적으로 구별할 수 없다.

위상수학자는 두 공간이 위상동형일 때, 두 공간을 같은 것으로 취급한다. 예를 들어, 구와 정육면체의 표면은 위상동형이며, 커피잔과 도넛(토러스) 또한 위상동형인 것으로 유명하다. 이는 각각의 공간을 연속적으로 늘이고, 줄이고, 구부리는 변형을 통해 다른 하나로 만들 수 있기 때문이다. 반면, 원과 직선은 위상동형이 아니다. 원은 연결된 닫힌 곡선인 반면, 직선은 양쪽 끝이 열려 있기 때문이다.

위상동형사상의 개념은 대수적 위상수학과 미분 위상수학의 기초가 된다. 위상동형인 공간들은 모든 위상적 불변량, 예를 들어 호모토피 군, 호몰로지 군, 연결성, 콤팩트성 등을 공유한다. 따라서 이러한 불변량을 계산하여 두 공간이 서로 다른 값을 가지면, 두 공간은 위상동형이 아님을 확실히 알 수 있다.

몰입과 매장은 위상 공간 사이의 함수 중에서 원래 공간의 위상적 구조를 상대적으로 잘 보존하거나, 다른 공간 안에 특정한 방식으로 포함시키는 중요한 개념이다. 이들은 연속 함수보다 더 강한 조건을 만족시키며, 위상 공간의 분류와 연구에 핵심적으로 활용된다.

몰입은 정의역 위상 공간의 위상적 성질을 공역의 부분 공간 위상으로 완벽하게 전달하는 함수이다. 정확히는, 함수 f: X → Y가 몰입이라는 것은, X에서 Y로의 함수 f가 단사(일대일)이고, X의 위상을 Y에서 유도된 부분 공간 위상과 비교했을 때 위상동형사상이 되는 것을 의미한다. 이는 f가 X를 f(X) ⊂ Y 위로 위상동형사상으로 보낸다는 뜻이며, 따라서 X는 Y 안에 위상적 구조를 그대로 유지한 채로 "떠다니는" 이미지를 가진다.

매장은 몰입보다 더 강력한 개념으로, 정의역 공간 전체를 공역 공간 안에 완전히 그리고 위상적으로 동일하게 집어넣는 것을 목표로 한다. 함수 f: X → Y가 매장이라는 것은, f가 몰입이면서 동시에 f가 X에서 f(X) ⊂ Y로 가는 위상동형사상이 되는 것을 말한다. 중요한 차이는 매장의 경우 f(X)가 Y의 부분 공간으로서의 위상을 가질 때, f가 X와 f(X) 사이의 위상동형사상이어야 한다는 점이다. 모든 매장은 몰입이지만, 그 역은 일반적으로 성립하지 않는다. 매장은 원래 공간을 더 큰 공간 안에 왜곡 없이 "박아 넣는" 이상적인 포함 관계를 모델링한다.

이러한 개념들은 다양체 이론, 특히 미분 위상수학에서 매우 중요하게 다루어진다. 예를 들어, 곡면이나 고차원 다양체를 어떤 유클리드 공간 안에 어떻게 매장 또는 몰입시킬 수 있는지 연구하는 것은 기하학적 성질을 이해하는 핵심 도구가 된다. 또한, 위상 공간의 분류에서 두 공간이 동일한지 판별할 때, 서로를 포함 관계로 나타낼 수 있는지(즉, 매장이 존재하는지)를 조사하기도 한다.

위상 공간 (X, τ)과 그 부분집합 S가 주어졌을 때, S 위에 자연스럽게 유도되는 위상을 부분공간 위상이라고 하며, 이 위상이 주어진 S를 원래 위상 공간의 부분공간이라고 한다. 부분공간 위상은 S의 부분집합 U가 열린 집합이 되는 조건을, 원래 공간 X의 열린 집합을 이용하여 정의한다. 구체적으로, U ⊂ S가 S에서 열린 집합이라는 것은 X의 어떤 열린 집합 V가 존재하여 U = S ∩ V와 같이 표현될 수 있음을 의미한다. 이렇게 정의된 S의 열린 집합들의 모임 τ_S는 위상의 세 가지 조건을 모두 만족시켜, (S, τ_S) 자체가 하나의 위상 공간이 된다.

부분공간 위상은 상대 위상이라고도 불리며, 이는 S의 위상적 성질이 절대적인 것이 아니라 전체 공간 X와의 관계 속에서 상대적으로 정의되기 때문이다. 예를 들어, 실수 직선 R의 표준 위상에서 부분집합으로서의 구간 [0,1]은 그 자체로 콤팩트 공간이지만, (0,1)은 콤팩트하지 않다. 이는 동일한 집합이더라도 그것이 포함된 전체 공간과의 관계, 즉 주어진 상대 위상에 따라 그 위상적 성질이 달라질 수 있음을 보여준다. 부분공간의 개념은 다양체의 국소적 구조를 연구하거나, 복잡한 공간을 더 단순한 부분들로 분해하여 분석하는 대수적 위상수학 등에서 광범위하게 활용된다.

부분공간 위상에서의 닫힌 집합 또한 비슷한 방식으로 특징지어진다. 집합 F ⊂ S가 S에서 닫힌 집합일 필요충분조건은 X의 어떤 닫힌 집합 C가 존재하여 F = S ∩ C가 되는 것이다. 또한, 부분공간 S에서 한 점의 근방은, 원래 공간 X에서의 근방과 S의 교집합으로 주어진다. 이러한 정의 방식을 통해, 부분공간에서의 수렴, 연속 함수의 제한, 연결 공간이나 경로 연결 공간 등의 성질이 원래 공간으로부터 어떻게 상속되는지를 체계적으로 연구할 수 있다.

위상 공간의 구성 방법 중 하나로, 두 개 이상의 연결 공간을 합쳐 새로운 위상 공간을 만드는 과정을 말한다. 주어진 연결 공간들이 서로소라고 가정할 때, 이들의 합집합을 취하고, 각 연결 공간의 기존 위상을 보존하는 방식으로 새로운 위상을 정의한다. 이렇게 만들어진 공간을 연결 공간의 합공간이라고 부른다.

구체적으로, 서로소인 위상 공간들의 집합족이 주어졌을 때, 이들의 합집합 위의 위상은 각 성분 공간의 열린 집합들의 합집합을 열린 집합으로 정의한다. 이는 각 성분 공간의 위상이 합공간의 부분공간 위상과 일치하도록 보장한다. 연결 공간의 합은 복잡한 위상 공간을 더 기본적인 연결 성분들로 분해하거나, 반대로 여러 연결 공간을 조합하여 새로운 공간을 구성하는 데 유용하다.

이 구성은 위상수학에서 공간의 구조를 분석하는 중요한 도구이다. 예를 들어, 어떤 위상 공간이 여러 연결 성분으로 이루어져 있다면, 이 공간은 각 연결 성분들의 합공간으로 볼 수 있다. 또한, 기하학에서 다양한 도형이나 다양체를 연구할 때, 이를 연결된 조각들로 나누어 이해하는 데 이 개념이 적용된다.

붙이기는 두 개 이상의 위상 공간을 특정한 방법으로 이어붙여 새로운 위상 공간을 구성하는 방법이다. 이 과정은 주어진 공간들을 서로 겹치거나 붙일 부분을 지정한 후, 그 부분들을 동일시하는 방식으로 이루어진다. 붙이기의 가장 일반적이고 체계적인 형식은 몫위상을 이용한 구성으로, 이는 서로 다른 공간의 점들을 '붙여서' 하나의 점으로 만드는 동치 관계를 정의하고, 그 몫집합에 몫위상을 부여하는 것이다.

구체적으로, 위상 공간 \(X\)와 \(Y\)가 있고, 부분공간 \(A \subset X\)와 함수 \(f: A \rightarrow Y\)가 주어졌을 때, 붙임 공간 \(X \cup_f Y\)는 \(X\)와 \(Y\)의 서로소 합집합에서, \(A\)의 각 점 \(a\)를 \(Y\)의 점 \(f(a)\)와 동일시한 공간이다. 즉, \(x \sim f(x)\)인 동치관계에 대한 몫공간 \((X \amalg Y)/\sim\)으로 정의된다. 이때 부여되는 위상은 몫위상이다. 이 구성은 \(X\)를 \(Y\) 위에 함수 \(f\)를 따라 붙이는 것으로 이해할 수 있으며, \(f\)를 붙임 함수라 부른다.

붙이기 방법은 위상수학과 대수적 위상수학에서 공간을 조립하거나 복잡한 공간을 분석하는 핵심 도구이다. 예를 들어, 원판의 경계인 원주를 한 점에 붙이면 구를 얻을 수 있다. 또한, 원환면은 정사각형의 반대쪽 변을 붙여 구성할 수 있으며, 뫼비우스의 띠나 클라인 병 같은 비가향적 곡면들도 적절한 붙이기 과정을 통해 만들어질 수 있다. 이처럼 붙이기는 새로운 위상 공간을 생성하고, 그 공간의 위상적 성질, 예를 들어 연결성이나 기본군과 같은 호모토피 불변량을 계산하는 데 광범위하게 활용된다.

위상 공간은 위상수학의 핵심적인 연구 대상이다. 위상수학은 연속성, 근접성, 극한과 같은 공간의 근본적인 성질을, 거리나 각도와 같은 양적인 측정 없이 오직 집합과 집합족의 관계만을 통해 연구하는 수학의 한 분야이다. 이는 기하학의 현대적 확장으로 볼 수 있으며, 공간을 '연속적으로 변형'해도 변하지 않는 성질에 주목한다.

위상 공간의 개념은 해석학에서 함수의 극한과 연속성을 엄밀하게 정의하는 과정에서 비롯되었다. 거리 공간은 위상 공간의 중요한 예시이지만, 모든 위상 공간이 거리로 정의될 수 있는 것은 아니다. 위상 공간은 자명한 위상부터 이산 위상, 거리 위상에 이르기까지 다양한 구조를 포괄하며, 이를 통해 대수적 위상수학이나 미분 위상수학 같은 심화 분야의 기초를 제공한다.

위상 공간 이론은 연결성, 콤팩트성, 분리 공리와 같은 추상적 성질들을 정의하고 분석하는 틀을 마련한다. 이러한 성질들은 다양체 연구나 호모토피 이론과 같은 현대 수학의 여러 분야에서 필수적인 언어와 도구가 된다. 따라서 위상 공간은 현대 수학의 다양한 구조를 이해하기 위한 보편적이고 강력한 기초를 구성한다고 할 수 있다.

대수적 위상수학은 위상 공간의 위상적 성질을 연구하기 위해 대수학적 도구와 방법을 사용하는 수학의 한 분야이다. 이 분야의 핵심 목표는 각 위상 공간에 군이나 환과 같은 대수적 구조를 대응시키는 불변량을 찾아내는 것이다. 이러한 불변량은 위상 공간이 위상동형사상에 의해 같은지 다른지를 판별하는 강력한 도구가 된다. 즉, 두 공간에 대응되는 대수적 구조가 동형이 아니라면, 두 공간은 서로 위상동형일 수 없다.

대표적인 대수적 불변량으로는 기본군과 호몰로지 군이 있다. 기본군은 공간 내의 고리들에 기반한 군 구조로, 공간의 연결성과 구멍의 수에 관한 정보를 제공한다. 호몰로지 군은 공간을 단순한 기하학적 조각들로 분해하여 그 조합 관계를 군으로 나타낸 것으로, 보다 계산하기 쉬운 불변량으로 널리 사용된다. 이 외에도 코호몰로지 이론은 호몰로지의 쌍대 개념으로, 공간 위에 정의된 함수들의 성질을 연구하는 데 유용하다.

대수적 위상수학의 방법론은 위상수학의 여러 하위 분야와 깊이 연결되어 있다. 예를 들어, 호모토피 이론은 연속적인 변형 아래 불변인 성질을 연구하며, 기본군의 개념을 일반화한 호모토피 군을 다룬다. 또한, 미분 위상수학에서 연구하는 다양체의 분류 문제나, 기하학적 구조의 이해에도 대수적 위상수학의 도구는 필수적이다. 이처럼 대수적 위상수학은 추상적인 위상적 성질을 구체적인 대수적 계산으로 변환함으로써, 현대 수학의 여러 분야에 걸쳐 중요한 기여를 하고 있다.

미분 위상수학은 위상수학의 한 분야로, 미분 가능 다양체와 그 위의 미분 가능 함수를 연구하는 학문이다. 이 분야는 미분기하학과 밀접한 관련이 있지만, 미분기하학이 리만 계량과 같은 추가 구조를 이용해 다양체의 기하학적 성질을 탐구하는 데 중점을 둔다면, 미분 위상수학은 미분 가능 구조 자체와 그에 의존하는 위상적 성질에 더 관심을 둔다.

미분 위상수학의 주요 연구 대상은 미분 동형과 미분 위상동형이다. 두 미분 가능 다양체가 미분 위상동형이라는 것은 두 다양체 사이에 미분 동형사상이 존재하는 위상동형사상이 있음을 의미한다. 이는 두 공간이 미분 구조를 고려했을 때도 동일하다는 강력한 개념이다. 이 분야의 핵심 문제 중 하나는 주어진 위상 다양체 위에 서로 다른 미분 가능 구조가 얼마나 많이 존재하는지, 즉 엑조틱 다양체를 분류하는 것이다.

이 분야의 중요한 성과로는 4차원 유클리드 공간 R^4에 표준적이지 않은 무수히 많은 미분 가능 구조가 존재한다는 사실의 발견을 들 수 있다. 이는 다른 차원에서는 유일한 미분 구조를 가지는 것과 대비되는 놀라운 결과이다. 또한, 호모토피 이론과 모스 이론 같은 도구를 활용해 다양체의 위상적 구조를 분석하는 것도 미분 위상수학의 주요 방법론에 속한다.

다양체는 위상 공간의 중요한 예시이자, 현대 기하학과 물리학의 핵심적인 연구 대상이다. 간단히 말해, 다양체는 국소적으로 유클리드 공간처럼 보이는 위상 공간이다. 즉, 각 점 주변의 근방이 유클리드 공간의 열린 집합과 위상동형인 공간을 의미한다. 이러한 성질 덕분에 다양체 위에서는 미적분학과 같은 국소적 계산을 수행할 수 있으며, 전역적인 구조는 훨씬 더 복잡할 수 있다.

가장 친숙한 예로, 구의 표면은 국소적으로 평면(2차원 유클리드 공간)처럼 보이므로 2차원 다양체이다. 원은 1차원 다양체이며, 평면 자체는 가장 단순한 2차원 다양체이다. 다양체는 그 차원에 따라 분류되며, 위상수학에서는 위상적 성질(예: 연결성, 콤팩트성)에 초점을 맞추고, 미분 위상수학과 미분기하학에서는 매끄러운 구조를 추가하여 미분 가능한 다양체를 연구한다.

다양체 개념은 물리학에서 시공간을 모델링하는 데 필수적이다. 예를 들어, 일반 상대성 이론에서 시공간은 4차원의 로렌츠 다양체로 기술된다. 또한 양자장론과 끈 이론과 같은 현대 물리 이론에서도 고차원 다양체가 등장한다. 수학 내에서는 대수적 위상수학이 다양체의 불변량(예: 호모토피 군, 호몰로지)을 계산하여 분류하는 데 기여한다.

호모토피는 위상수학, 특히 대수적 위상수학에서 두 연속 함수 사이의 연속적인 변형을 의미하는 핵심 개념이다. 구체적으로, 두 연속 함수 f, g: X → Y가 주어졌을 때, 이 둘 사이의 호모토피는 F: X × [0,1] → Y 형태의 연속 함수로, 모든 점 x ∈ X에 대해 F(x, 0) = f(x)이고 F(x, 1) = g(x)를 만족한다. 이때 매개변수 t ∈ [0,1]은 변형의 '시간'을 나타내며, t가 0에서 1로 변함에 따라 함수 f가 함수 g로 매끄럽게 변형되는 과정을 기술한다.

두 함수 사이에 호모토피가 존재하면, 이 두 함수는 서로 호모토픽하다고 말한다. 이 관계는 동치 관계를 이루며, 주어진 위상 공간에서 다른 공간으로 가는 모든 연속 함수들을 호모토픽한 것끼리 분류할 수 있다. 이러한 분류에서 얻어지는 동치류를 호모토피류라 부르며, 이는 위상 공간의 중요한 불변량을 구성하는 기초가 된다. 예를 들어, 기본군이나 호모토피 군은 호모토피류들의 집합에 연산 구조를 부여하여 정의된다.

호모토피 개념은 위상 공간의 '구멍' 수나 연결성과 같은 본질적인 기하학적 성질을 구별하고 연구하는 데 필수적이다. 만약 한 위상 공간이 축약 가능 공간이라면, 그 공간 위의 모든 연속 함수는 상수 함수로 변형될 수 있으며, 이는 공간이 단일한 점으로 연속적으로 수축 가능함을 의미한다. 호모토피 이론은 더 나아가 호모토피 동치와 위상동형사상의 관계, 그리고 호모토피 확장 성질과 같은 심화된 주제로 확장되어 위상수학의 풍부한 이론 체계를 구축한다.