일반위상수학편집자 확인

위상공간은 위상수학의 가장 기본적인 연구 대상이다. 이는 어떤 집합과 그 집합 위에 정의된 위상 구조의 순서쌍으로 정의된다. 여기서 위상 구조란, 해당 집합의 부분집합들 중 '열린 집합'으로 인정될 것들을 모아놓은 특정한 모임(족)을 의미한다. 이렇게 정의된 열린 집합의 모임은 세 가지 공리, 즉 전체 집합과 공집합을 포함해야 하고, 유한 개의 교집합과 임의의 합집합에 대해 닫혀 있어야 한다는 조건을 만족해야 한다.

위상공간의 개념은 거리 공간에서의 연속성을 일반화하기 위해 도입되었다. 거리 공간에서는 두 점 사이의 거리를 이용해 '열린 공'을 정의하고, 이를 기반으로 열린 집합을 도출할 수 있다. 일반위상수학은 이러한 거리의 개념에 의존하지 않고, 오직 열린 집합의 체계만을 출발점으로 삼아 연속성, 수렴, 근방 등의 기하학적·해석학적 개념을 추상적으로 연구한다. 따라서 모든 거리 공간은 자연스럽게 위상공간이 되지만, 그 역은 성립하지 않는다.

위상공간의 구체적인 예로는 유클리드 공간에 일반적인 거리에서 유도된 위상을 부여한 경우, 집합의 모든 부분집합을 열린 집합으로 보는 이산위상, 그리고 전체 집합과 공집합만을 열린 집합으로 보는 비이산위상 등이 있다. 이처럼 같은 집합이라도 위상 구조를 어떻게 정의하느냐에 따라 완전히 다른 위상공간이 될 수 있으며, 이는 위상수학이 집합의 '점' 자체보다는 점들 사이의 '위상적 관계'에 주목하는 학문임을 보여준다.

위상공간의 구조를 정의하는 가장 기본적인 개념은 열린 집합과 닫힌 집합이다. 어떤 집합 X 위의 위상 τ는 X의 부분집합들 중 '열린 집합'이라고 부를 것들의 모임으로, 이는 공집합과 X 자신을 포함하며, 임의의 합집합과 유한 교집합에 대해 닫혀 있어야 한다는 세 가지 공리를 만족한다. 이 공리들을 통해 우리는 '열린'이라는 직관적인 개념을 엄밀하게 수학화한다.

닫힌 집합은 열린 집합의 여집합으로 정의된다. 즉, 위상공간 (X, τ)에서, 집합 F ⊂ X가 닫힌 집합이라는 것은 그 여집합 X \ F가 τ에 속하는 열린 집합임을 의미한다. 따라서 열린 집합의 공리로부터, 전체 집합 X와 공집합은 동시에 열린 집합이자 닫힌 집합이며, 임의의 교집합과 유한 합집합에 대해 닫힌 집합들의 모임이 닫혀 있음을 유도할 수 있다.

이 두 개념은 서로 대응되는 쌍대적인 관계에 있다. 열린 집합은 각 점 주변의 '근방' 개념을 구성하는 기본 블록으로, 한 점이 집합의 내부에 속해 있음을 표현한다. 반면 닫힌 집합은 그 집합의 모든 극한점을 포함하는 집합으로, 수열의 수렴이나 폐포 연산과 밀접하게 연관된다. 예를 들어, 거리공간에서 열린 공의 개념은 일반위상수학의 열린 집합의 한 구체적인 예시가 된다.

열린 집합과 닫힌 집합의 정의는 이후 연속함수, 콤팩트성, 연결성 등 모든 위상적 성질을 논의하는 토대가 된다. 특히 함수의 연속성은 '열린 집합의 역상이 열린 집합이다'라는 간결한 조건으로 재정의될 수 있으며, 이는 해석학에서의 ε-δ 정의를 일반화한 것이다.

위상공간의 전체 열린 집합족을 직접 다루는 대신, 그 구조를 생성하는 더 작은 모임을 통해 위상을 기술하는 것이 편리할 때가 많다. 이러한 핵심적인 도구가 기저와 부분기저이다.

기저는 위상공간에서 모든 열린 집합이 기저 원소들의 합집합으로 표현될 수 있도록 하는 열린 집합들의 모임이다. 즉, 임의의 열린 집합 U와 U에 속하는 점 x에 대해, x를 포함하고 U에 포함되는 기저 원소 B가 항상 존재해야 한다. 대표적인 예로, 실수의 집합에서 모든 열린 구간들의 모임은 실수 위의 유클리드 거리가 유도하는 거리위상의 기저를 이룬다. 기저를 알면 위상의 모든 열린 집합을 '재구성'할 수 있으며, 위상의 여러 성질을 기저를 통해 더 쉽게 검증할 수 있다.

부분기저는 기저보다 더 기본적인 개념으로, 그 원소들의 유한 교집합들을 모두 모으면 하나의 기저가 되는 집합족을 말한다. 즉, 부분기저는 위상을 생성하는 '씨앗' 역할을 한다. 모든 연속함수의 정의역에 초기위상을 부여할 때, 또는 여러 위상공간들의 곱위상을 정의할 때, 부분기저가 자연스럽게 등장한다. 예를 들어, 두 위상공간 X, Y의 곱공간 X×Y에서 사영함수들을 연속으로 만드는 가장 약한 위상은, 각 사영함수의 역상으로 얻어지는 집합들이 부분기저를 이루게 된다.

위상수학에서 근방(neighborhood)은 주어진 점을 포함하는 열린 집합을 일반화한 개념이다. 정확히 말해, 위상공간 X의 한 점 x에 대해, x를 포함하는 열린 집합 U가 존재하여 U가 V의 부분집합일 때, X의 부분집합 V를 x의 근방이라고 한다. 즉, 근방은 그 안에 해당 점을 완전히 포함하는 열린 집합을 항상 포함한다. 모든 열린 집합은 그 안의 각 점에 대한 근방이지만, 근방 자체가 반드시 열려 있을 필요는 없다.

근방의 개념은 함수의 극한과 연속성을 정의하는 데 핵심적인 역할을 한다. 점 x에서 함수 f가 연속이라는 것은, f(x)의 임의의 근방 V에 대해, x의 적당한 근방 U가 존재하여 f(U)가 V에 포함된다는 조건으로 정의할 수 있다. 이는 엡실론-델타 논법을 위상적인 언어로 재해석한 것으로, 거리공간에서의 연속성 정의를 일반 위상공간으로 확장하는 기초를 제공한다. 또한, 점렬의 수렴 역시 근방을 통해 정의된다.

근방계는 한 점 주변의 위상적 구조를 기술하는 체계이다. 각 점에 대해 그 점의 모든 근방의 모임을 근방계라고 하며, 이 근방계는 몇 가지 공리를 만족한다. 이러한 공리들로부터 출발하여 열린 집합의 개념을 유도해낼 수도 있어, 근방계를 원시 개념으로 삼아 위상공간을 정의하는 동치인 방식도 존재한다. 이는 열린 집합을 원시 개념으로 하는 일반적인 정의와 본질적으로 같다.

근방의 개념은 위상적 성질을 연구하는 다양한 분야에서 활용된다. 예를 들어, 하우스도르프 공간과 같은 분리공리는 서로 다른 두 점이 서로소인 근방을 가질 수 있는지 여부로 설명된다. 또한, 콤팩트 공간의 국소적 버전인 국소 콤팩트 공간의 정의, 또는 위상군의 연구에서도 근방계는 중요한 도구가 된다.

분리공리는 위상공간이 서로 다른 점이나 닫힌 집합들을 얼마나 잘 분리할 수 있는지를 규정하는 일련의 공리들이다. 이 공리들은 위상공간의 위상적 성질을 분류하고 연구하는 데 중요한 기준이 된다. 가장 기본적인 분리공리로는 T0 공간, T1 공간, 하우스도르프 공간(T2 공간), 정칙 공간, 완비 정칙 공간, 정규 공간 등이 있다.

T0 공간은 서로 다른 두 점 중 적어도 하나를 포함하지 않는 열린 집합이 존재하는 공간이다. T1 공간은 서로 다른 두 점 각각에 대해, 다른 점을 포함하지 않는 열린 근방이 존재하는 공간이며, 이 조건은 모든 한원소 집합이 닫힌 집합이라는 것과 동치이다. 더 강한 조건인 하우스도르프 공간(T2 공간)에서는 서로 다른 두 점이 서로소인 열린 근방으로 분리된다. 이 성질은 수열의 극한이 유일하게 존재하는 것과 같은 여러 좋은 성질을 보장한다.

정칙 공간과 정규 공간은 점과 닫힌 집합, 또는 두 닫힌 집합 사이의 분리를 다룬다. 정칙 공간(T3 공간)은 한 점과 그 점을 포함하지 않는 닫힌 집합이 서로소인 열린 집합으로 분리되는 공간이다. 정규 공간(T4 공간)은 서로소인 두 닫힌 집합이 서로소인 열린 집합으로 분리되는 공간을 말한다. 완비 정칙 공간(Tychonoff 공간 또는 T3½ 공간)은 정칙 공간이면서 연속함수에 의해 완비히 분리될 수 있는 공간이다.

이러한 분리공리들은 포함 관계를 가진다. 일반적으로, T4 ⇒ T3½ ⇒ T3 ⇒ T2 ⇒ T1 ⇒ T0 의 함의 관계가 성립한다. 그러나 역은 성립하지 않아, 각 공리는 서로 다른 위상적 성질을 규정한다. 분리공리는 위상수학의 여러 정리와 성질, 예를 들어 유리식 정리나 거리화 가능성과 같은 문제를 논의할 때 핵심적인 전제 조건으로 사용된다.

위상수학에서 연결성은 위상공간이 하나의 덩어리로 이루어져 있는지, 여러 조각으로 나뉘어 있는지를 나타내는 기본적인 위상적 성질이다. 직관적으로, 연결된 공간은 두 개의 서로소인 열린 부분집합으로 '쪼개질' 수 없는 공간을 의미한다. 보다 엄밀하게, 위상공간 X가 연결공간이라는 것은, X를 두 개의 공집합이 아닌 서로소인 열린 집합의 합집합으로 나타낼 수 없을 때를 말한다. 이는 동치 조건으로, X의 열린 집합이면서 동시에 닫힌 집합인 부분집합이 X 전체와 공집합 뿐일 때로도 정의할 수 있다.

연결성의 대표적인 예시로 실수 집합 R이 있다. 실수 직선 R은 연결된 공간이며, 이로부터 유도된 구간 (a, b), [a, b] 등도 연결된 공간이다. 반면, 두 개의 서로 떨어진 구간의 합집합인 (0, 1) ∪ (2, 3)과 같은 공간은 연결되어 있지 않다. 이러한 공간을 비연결공간이라고 한다. 연결성은 위상동형사상에 의해 보존되는 성질이다. 즉, 두 위상공간 X와 Y가 위상동형이고 X가 연결되어 있다면, Y 역시 연결되어 있다.

연결성의 강화된 개념으로 경로연결성이 있다. 위상공간 X 내의 임의의 두 점 x, y에 대하여, x에서 y로 가는 연속함수(즉, 경로)가 존재하면 X를 경로연결공간이라고 한다. 모든 경로연결공간은 연결공간이지만, 그 역은 일반적으로 성립하지 않는다. 대표적인 반례는 위상수학자의 사인곡선이다. 연결성은 또한 부분공간에 대해서는 유전되지 않을 수 있다. 예를 들어, 실수 직선 R은 연결되어 있지만, 그 부분공간인 유리수 집합 Q는 비연결공간이다.

축약가능성은 위상공간이 어떤 한 점으로 연속적으로 변형될 수 있는 성질을 말한다. 구체적으로, 위상공간 X가 축약가능하다는 것은 X에서 한 점으로 가는 연속함수인 강수축이 존재한다는 것을 의미한다. 여기서 강수축은 항등사상과 상수사상이 호모토픽한 관계에 있는 연속함수이다. 이는 공간이 위상적으로 매우 단순하며, 구멍이나 뒤틀림 같은 구조적 결함이 없음을 나타내는 중요한 개념이다.

모든 점이 축약가능한 공간을 가리켜 계약 가능 공간이라고 부른다. 유클리드 공간 R^n, 초구 S^n (n≥1이 아닌 경우), 원뿔 등은 대표적인 계약 가능 공간의 예시이다. 반면, 원 S^1이나 원환면 T^2와 같은 공간은 중심에 구멍이 있어 한 점으로 수축시킬 수 없으므로 축약가능하지 않다. 이러한 비축약성은 호모토피 군이나 호몰로지와 같은 대수적 위상수학의 불변량을 통해 정량적으로 측정될 수 있다.

축약가능성은 위상적 성질로서, 위상동형사상에 의해 보존된다. 즉, 어떤 공간이 축약가능하면 그 공간과 위상동형인 모든 공간도 축약가능하다. 이 성질은 공간의 복잡도를 판단하는 기본 도구로 활용되며, 더 복잡한 호모토피 이론의 출발점이 된다. 또한, 축약가능 공간의 모든 호모토피 군과 호몰로지 군은 자명하다는 성질을 가진다.

콤팩트성은 위상수학에서 가장 중요한 개념 중 하나로, 유클리드 공간에서의 닫힌 구간이 갖는 성질을 일반 위상 공간으로 추상화한 것이다. 간단히 말해, 콤팩트 공간은 임의의 열린 덮개가 항상 유한한 부분 덮개를 가질 때를 말한다. 이는 무한한 공간이라도 국소적인 정보만으로 전체를 유한하게 파악할 수 있다는 강력한 성질을 의미한다.

콤팩트성은 해석학과 위상수학 전반에서 핵심적인 역할을 한다. 예를 들어, 닫힌 구간 위에서 정의된 연속함수는 최댓값과 최솟값을 가지며(최대최소 정리), 균등연속이 된다. 이러한 정리들은 모두 구간의 콤팩트성에 기반을 두고 있다. 또한 하이네-보렐 정리는 유클리드 공간에서 콤팩트 집합이 닫힌 집합이면서 유계인 집합과 동치임을 보여준다.

콤팩트성은 다른 위상적 성질들과 깊은 연관을 가진다. 모든 콤팩트 공간은 린델뢰프 공간이며, 가산 콤팩트 공간과 점렬 콤팩트 공간이다. 또한 거리 공간에서는 이 세 개념이 서로 동치가 된다. 콤팩트성은 연속함수에 의해 보존되는 성질로, 콤팩트 공간의 연속인 상은 다시 콤팩트하다.

이 개념은 대수적 위상수학과 미분위상수학에서도 기본적인 도구로 활용된다. 예를 들어, 호모토피 이론이나 호몰로지 군을 계산할 때 공간의 콤팩트성을 가정하는 경우가 많으며, 다양체 이론에서도 콤팩트 다양체는 비콤팩트 다양체와 구분되어 중요한 연구 대상이 된다.

가산성 공리는 위상공간이 가산 집합과 관련된 특정 조건을 만족할 때 부여하는 성질이다. 이 공리들은 위상공간의 크기나 복잡성을 제한하여, 보다 잘 다룰 수 있는 공간을 규정하는 데 사용된다. 대표적으로 제1 가산공리와 제2 가산공리가 있으며, 이들은 위상적 성질을 연구하는 데 중요한 도구가 된다.

제1 가산공리는 위상공간의 모든 점이 가산 국소기저를 가질 것을 요구한다. 즉, 각 점마다 그 점을 포함하는 가산 개의 근방들로 구성된 모임이 존재하여, 그 점의 다른 어떤 근방도 이 모임에 속한 어떤 근방을 부분집합으로 포함해야 한다. 이 조건은 점렬의 수렴과 연속성을 논할 때 유용하며, 모든 거리공간은 제1 가산공리를 만족한다는 사실이 알려져 있다.

제2 가산공리는 더 강한 조건으로, 위상공간 전체에 대한 가산 기저의 존재를 요구한다. 이는 공간 전체의 위상 구조가 가산 개의 열린집합들로부터 생성될 수 있음을 의미한다. 제2 가산공리를 만족하는 공간은 제1 가산공리도 자동으로 만족하며, 유클리드 공간이 대표적인 예이다. 이 성질은 린델뢰프 성질 및 파라콤팩트성과 같은 다른 위상적 성질과 깊은 연관이 있다.

가산성 공리는 위상공간의 분류와 연구에 핵심적인 기준을 제공한다. 예를 들어, 제2 가산공리는 분리공리와 결합하여 잘 알려진 위상다양체의 정의에 사용되기도 한다. 또한, 가산성 조건이 없는 공간에서는 점렬의 수렴만으로 연속성을 설명하기 어려운 경우가 발생하는데, 이는 위상적 개념을 일반화하는 데 있어 가산성의 중요성을 보여준다.

연속함수는 위상수학의 핵심 연구 대상 중 하나로, 두 위상공간 사이의 구조를 보존하는 사상이다. 해석학에서 입실론-델타 논법으로 정의되는 연속성의 개념을, 위상공간의 기본 구조인 열린 집합을 이용하여 추상화하고 일반화한 것이다. 이는 거리나 극한의 개념 없이도 순수히 집합과 그 위상 구조만으로 연속성을 논할 수 있게 해주며, 위상수학의 강력한 도구가 된다.

구체적으로, 두 위상공간 X와 Y 사이의 함수 f: X → Y가 연속함수라는 것은 Y의 임의의 열린 집합 V에 대해, 그 원상 f⁻¹(V)가 X에서 열린 집합일 때를 말한다. 이 정의는 "열린 집합의 원상이 열린 집합"이라는 간결한 조건으로, 함수가 공간의 위상적 구조를 어떻게 변형시키는지를 정확히 포착한다. 이는 거리공간에서의 연속성 정의와 동치이며, 근방이나 닫힌 집합을 이용한 동등한 정의들도 존재한다.

연속함수는 위상적 성질을 보존한다. 예를 들어, 연결 공간의 연속함수에 의한 상은 연결되어 있으며, 콤팩트 공간의 연속함수에 의한 상은 콤팩트하다. 또한, 연속함수의 합성은 다시 연속함수가 되며, 항등함수는 연속이다. 이러한 성질들은 연속함수들을 위상공간들의 범주에서의 사상으로 볼 수 있게 하는 기초를 제공한다.

연속함수 개념의 가장 중요한 특수한 경우가 위상동형사상이다. 이는 전단사 연속함수이며 그 역함수도 연속인 함수로, 두 위상공간이 본질적으로 같은 위상적 구조를 가짐을 의미한다. 따라서 연속함수는 위상적 성질을 보존하는 변환으로, 위상동형사상은 위상수학에서의 동치 관계를 정의하는 도구가 된다.

위상동형사상은 위상수학에서 가장 중요한 함수의 종류 중 하나이다. 두 위상 공간 사이의 전단사 함수가 연속이고, 그 역함수 또한 연속일 때, 이 함수를 위상동형사상이라 부른다. 이러한 함수가 존재하면 두 위상 공간은 서로 위상동형이라고 하며, 이는 두 공간이 위상적인 관점에서 본질적으로 동일한 구조를 가진다는 것을 의미한다.

위상동형사상은 기하학적 모양의 변형, 즉 잡아당기거나 구부리는 과정을 통해 서로 변환될 수 있는 대상들을 동일시한다. 예를 들어, 커피잔과 도넛은 위상동형인 대표적인 사례로, 하나를 연속적으로 변형시켜 다른 하나를 얻을 수 있기 때문이다. 이는 두 공간이 공유하는 위상적 불변량, 예를 들어 연결성이나 축약가능성, 호모토피 군 등의 값이 완전히 일치함을 내포한다.

따라서 위상동형사상은 위상수학의 근본적인 분류 기준이 된다. 연구의 주요 목표 중 하나는 서로 다른 위상 공간들을 위상동형 여부에 따라 분류하고, 이를 판별할 수 있는 불변량을 찾아내는 것이다. 이 개념은 대수위상수학과 미분위상수학을 포함한 위상수학의 모든 분야에서 핵심적인 역할을 한다.

곱위상은 주어진 위상 공간들의 곱집합 위에 자연스럽게 정의되는 위상이다. 여러 위상 공간을 동시에 다루거나, 무한한 수의 위상 공간을 하나의 공간으로 취급할 때 핵심적인 도구가 된다. 이 위상은 각 성분 공간으로의 사영 함수가 연속함수가 되도록 하는 가장 약한 위상, 즉 초기위상으로 정의된다.

구체적으로, 위상 공간들의 모임 {X_α}_{α∈A}가 주어졌을 때, 이들의 곱집합 ∏_{α∈A} X_α 위의 곱위상은 각 성분 공간 X_β로의 사영 π_β: ∏ X_α → X_β가 모두 연속이 되도록 하는 가장 약한 위상이다. 이 위상의 기저는 각 성분에서 열린 집합을 취하되, 유한 개의 성분을 제외한 나머지 성분에서는 전체 공간을 취한 집합들의 곱으로 이루어진다. 예를 들어, 두 개의 위상 공간 X와 Y의 곱위상의 기저는 U × V 형태의 집합들로, 여기서 U는 X의 열린 집합, V는 Y의 열린 집합이다.

곱위상은 여러 중요한 위상적 성질을 보존한다. 티호노프 정리는 임의의 위상 공간들의 곱공간이 콤팩트 공간일 필요충분조건이 각 성분 공간이 콤팩트한 것임을 보여준다. 또한, 연결 공간들의 곱공간은 연결되어 있으며, 경로 연결 공간들의 곱공간 역시 경로 연결되어 있다. 그러나 분리공리 중 T_0, T_1, T_2(하우스도르프) 성질은 곱위상에서 보존된다.

곱위상의 개념은 위상수학의 여러 분야에서 광범위하게 응용된다. 예를 들어, 위상군이나 위상 벡터 공간의 곱을 정의하는 데 사용되며, 대수적 위상수학에서는 호모토피 이론을 전개하는 데 기본적인 틀을 제공한다. 또한, 무한 차원의 공간이나 함수 공간을 모델링할 때도 핵심적인 역할을 한다.

몫위상은 주어진 위상 공간과 그 위에 정의된 동치 관계로부터 새로운 위상 공간을 구성하는 방법이다. 구체적으로, 위상 공간 X와 X 위의 동치 관계 ~가 주어졌을 때, 몫집합 X/~, 즉 동치류들의 집합 위에 자연스럽게 부여되는 위상을 말한다. 이때 몫사상이라고 불리는 자연스러운 사영 사상 q: X → X/~는 모든 점을 그 점이 속한 동치류로 보내는 함수이며, 이 사상이 연속함수가 되도록 하는 가장 강한(가장 많은 열린 집합을 갖는) 위상이 바로 몫위상이다. 즉, X/~의 부분집합 U가 열린 집합인 것은 그 원상 q⁻¹(U)가 X에서 열린 집합인 것과 동치로 정의된다.

몫위상은 다양한 위상 공간을 생성하는 강력한 도구이다. 예를 들어, 단위 구간 [0,1]의 양 끝점 0과 1을 동일시하는 동치 관계를 주면, 그 몫공간은 원과 위상동형이다. 마찬가지로, 정사각형의 마주보는 변을 적절히 붙이는 동치 관계를 통해 원환면이나 클라인 병과 같은 곡면을 구성할 수 있다. 또한, 위상군에서 정규 부분군에 의한 잉여류 공간을 다룰 때나, 위상 동치를 정의하는 데 있어서도 몫위상의 개념이 핵심적으로 사용된다.

몫위상의 중요한 성질 중 하나는 보편 성질을 만족한다는 점이다. 이는 임의의 연속함수 f: X → Y가 주어졌을 때, f가 동치 관계 ~를 공유하는 점들을 Y의 같은 점으로 보낸다면, 유일한 연속함수 f̃: X/~ → Y가 존재하여 f = f̃ ∘ q를 만족한다는 정리이다. 이 성질은 몫공간을 다른 공간으로 가는 사상을 통해 간접적으로 정의할 수 있게 해주며, 범주론적 관점에서 몫위상의 본질을 잘 드러낸다.

몫위상의 구체적인 예시로는 사영 공간을 들 수 있다. n차원 실수 벡터 공간 Rⁿ⁺¹에서 원점을 제외한 공간 Rⁿ⁺¹ \ {0} 위에, 한 점을 지나는 직선 위의 모든 점들을 동일시하는 동치 관계를 주면, 그 몫공간은 실수 사영 공간 RPⁿ이 된다. 이와 유사하게 복소수 사영 공간 CPⁿ도 같은 방식으로 정의된다. 이러한 구성은 기하학과 대수기하학에서 기본이 되는 공간을 제공한다.

거리위상은 거리 공간에서 자연스럽게 유도되는 위상이다. 주어진 거리 공간에서, 한 점을 중심으로 하고 반지름이 양수인 열린 공 전체가 기저를 이루며, 이 기저로 생성되는 위상을 거리위상이라고 한다. 즉, 거리 함수가 정의되면 그로부터 위상 구조가 결정되는 것이다. 모든 거리 공간은 거리위상을 갖는 위상 공간이 되며, 이는 거리화 가능 공간 연구의 출발점이 된다.

거리위상에서의 열린 집합은 정의상, 그 안의 모든 점을 포함하는 적당한 크기의 열린 공이 완전히 집합 안에 들어가는 집합으로 특징지어진다. 이는 실수의 표준 위상이나 유클리드 공간의 위상과 정확히 일치하는 방식이다. 또한, 거리위상에서의 수렴은 거리 함수를 이용한 엡실론-델타 논법으로 정의되는 점열의 수렴과 동치이다.

거리위상은 위상수학의 많은 기본 개념이 구체적으로 형성된 배경을 제공한다. 연속 함수의 정의, 콤팩트 공간, 완비 거리 공간, 연결 공간 등의 성질은 처음에는 거리 공간의 맥락에서 연구되었다. 그러나 모든 위상 공간이 거리위상으로 나타낼 수 있는 것은 아니며, 거리화 가능성이 중요한 연구 주제가 된다.

거리위상의 존재는 위상 공간에 추가적인 구조를 부여한다. 예를 들어, 균등 연속성이나 코시 수열과 같은 개념은 순수한 위상적 개념이 아니라 거리 구조에 의존한다. 따라서 거리위상을 갖는 공간은 일반 위상 공간보다 더 풍부한 성질을 가지며, 해석학과 기하학의 교차점에 위치한다고 볼 수 있다.

이산위상은 주어진 집합의 모든 부분집합을 열린 집합으로 정의하는 위상이다. 즉, 집합 X에 대해 X의 멱집합 P(X) 자체가 위상이 되는 경우를 말한다. 이 위상이 주어진 위상 공간을 이산 공간이라고 부른다. 이산위상에서는 모든 점이 고립점이며, 모든 부분집합이 동시에 열린 집합이자 닫힌 집합이 된다. 이는 가장 많은 수의 열린 집합을 가지는 위상으로, 거리 공간에서 각 점 사이의 거리를 충분히 멀리 떨어뜨려 정의한 이산 거리 공간의 위상과 일치한다.

반대로 비이산위상은 주어진 집합에서 열린 집합을 공집합과 전체집합 뿐으로 정의하는 가장 적은 수의 열린 집합을 가진 위상을 말한다. 집합 X에 대해 {∅, X}가 위상이 되는 경우이며, 이 위상이 부여된 공간을 비이산 공간 또는 자명위상공간이라고 한다. 이 위상에서는 서로 다른 두 점을 분리하는 근방이 존재하지 않아, 공간의 위상적 구조가 사실상 없다고 볼 수 있다.

이 두 위상은 위상 구조의 극단적인 예시를 보여준다. 이산위상은 모든 함수가 연속이 되는 가장 섬세한 위상인 반면, 비이산위상은 모든 함수가 연속이 되는 가장 엉성한 위상이다. 또한, 임의의 집합 X에 대해, X 위에 정의 가능한 모든 위상들은 이산위상보다는 엉성하고, 비이산위상보다는 섬세한 구조를 가지게 된다. 즉, 이산위상과 비이산위상은 위상들의 부분순서 집합에서 각각 최대원과 최소원의 역할을 한다.

이러한 특성 때문에 이산위상과 비이산위상은 다양한 위상적 성질을 설명하거나 반례를 구성할 때 자주 활용된다. 예를 들어, 비이산 공간은 연결 공간이지만 하우스도르프 공간이 아닌 대표적인 예시이다. 또한, 곱위상이나 몫위상을 계산할 때 기준이 되는 중요한 예로 사용되기도 한다.

부분위상은 주어진 위상공간의 부분집합에 자연스럽게 유도되는 위상 구조이다. 어떤 위상공간 (X, T)와 그 부분집합 A가 주어졌을 때, A 위의 부분위상 T_A는 T의 원소(즉, X의 열린 집합)와 A의 교집합으로 구성된 집합족으로 정의된다. 즉, T_A = {U ∩ A | U ∈ T} 이다. 이때, 부분집합 A에 부분위상 T_A를 부여한 공간 (A, T_A)를 원래 공간 X의 부분공간이라고 부른다.

부분위상의 정의에 따라, 부분공간 A에서의 열린 집합은 원래 공간 X의 열린 집합과 A가 만나는 부분이다. 마찬가지로, A에서의 닫힌 집합은 X의 닫힌 집합과 A의 교집합으로 나타난다. 이 구조는 연속함수의 제한을 자연스럽게 다룰 수 있게 해준다. 예를 들어, X에서 Y로 가는 연속함수 f가 있을 때, 이를 부분집합 A로 제한한 함수 f|_A : A → Y 역시 부분위상에 대해 연속이다.

부분위상은 위상적 성질을 부분공간이 어떻게 물려받는지 연구하는 데 핵심적이다. 그러나 모든 위상적 성질이 부분공간으로 유전되는 것은 아니다. 예를 들어, 연결성은 부분공간이 항상 보존하지 않지만, 콤팩트성은 닫힌 부분집합에 대해서는 보존된다. 반면, 하우스도르프 공간의 부분공간은 항상 하우스도르프 공간이 된다. 이러한 부분공간의 성질 연구는 전체 공간의 구조를 이해하는 중요한 도구가 된다.

부분위상의 개념은 곱위상 및 몫위상과 함께 새로운 위상공간을 구성하는 기본 방법 중 하나이다. 또한, 거리위상을 갖는 거리공간의 부분집합에 유도되는 위상은, 해당 부분집합에 거리 함수를 제한하여 얻은 거리공간의 위상과 정확히 일치한다는 점에서 자연스러운 정의임을 확인할 수 있다.

초기위상은 주어진 집합 위에, 특정 함수들이 연속함수가 되도록 하는 가장 강한(가장 많은 열린 집합을 가진) 위상을 의미한다. 구체적으로, 집합 X와 위상공간들의 집합 {Y_i}가 주어졌을 때, 각 함수 f_i: X → Y_i가 연속이 되도록 하는 X 위의 위상 중 가장 강한 위상이 초기위상이다. 이는 모든 f_i의 역상들로 생성되는 위상이며, 부분기저로 구성된다. 대표적인 예로, 곱위상은 사영함수들이 연속이 되도록 정의된 초기위상이다.

반대로, 최종위상은 주어진 집합 위에, 특정 함수들이 연속이 되도록 하는 가장 약한(가장 적은 열린 집합을 가진) 위상을 의미한다. 집합 X와 위상공간들의 집합 {Y_i}가 주어졌을 때, 각 함수 f_i: Y_i → X가 연속이 되도록 하는 X 위의 위상 중 가장 약한 위상이 최종위상이다. 이는 X의 부분집합 U가 열린 집합일 필요충분조건을 각 f_i의 역상 f_i^{-1}(U)가 Y_i에서 열린 집합인 것으로 정의하여 얻어진다. 대표적인 예로, 몫위상은 몫사상이 연속이 되도록 정의된 최종위상이다.

이 두 개념은 범주론의 언어로 통일되어 설명되기도 한다. 초기위상은 범주 Top에서의 극한의 한 예이며, 최종위상은 쌍대극한의 한 예에 해당한다. 이러한 추상적 구조는 다양한 구체적인 위상 구성, 예를 들어 부분위상이나 자연스러운 위상 등을 체계적으로 이해하는 데 유용한 틀을 제공한다.

초기위상과 최종위상은 위상수학의 여러 분야에서 기본적인 도구로 활용된다. 대수적 위상수학에서는 호모토피 이론을 전개할 때, 함수 공간에 적절한 위상을 부여하기 위해 이러한 구성법이 사용된다. 또한, 미분위상수학에서 매끄러운 다양체를 다룰 때에도 유사한 방식의 초기 및 최종 구조가 중요한 역할을 한다.

일반위상수학은 대수적 위상수학의 기초를 제공하는 핵심적인 분야이다. 대수적 위상수학은 위상공간을 연구할 때, 그 공간 자체의 기하학적 모양보다는 공간에 연관된 대수적 구조(예: 호모토피 군, 호몰로지 군)를 계산하고 비교하는 데 중점을 둔다. 이러한 대수적 불변량들을 구성하고 분석하기 위해서는 먼저 연구 대상인 위상공간과 연속함수가 무엇인지 엄밀하게 정의해야 하는데, 이 정의와 기본적인 성질들을 제공하는 것이 일반위상수학의 역할이다.

즉, 대수적 위상수학자는 호모토피 동치나 위상동형사상과 같은 개념을 통해 위상공간들을 분류하는 도구를 개발한다. 이때 두 공간이 위상동형인지 판별하거나, 특정 위상적 성질을 보존하는지 확인하는 모든 논의는 일반위상수학에서 정립한 연속성의 정의, 곱위상, 몫위상 등의 이론 위에서 이루어진다. 예를 들어, 원환면과 커피잔이 위상동형이라는 유명한 예시도 두 공간 사이의 연속적인 변형을 논할 수 있는 일반위상수학적 틀 안에서 의미를 가진다.

따라서 일반위상수학은 대수적 위상수학을 포함한 위상수학의 모든 하위 분야에 공통적으로 필요한 언어와 문법을 정립하는 학문이라고 볼 수 있다. 연결성이나 콤팩트성 같은 일반위상수학의 기본 개념들은 대수적 위상수학에서 정의하는 다양한 불변량들이 갖춰야 할 최소한의 성질을 규정하며, 이를 통해 복잡한 기하학적 객체를 체계적으로 연구할 수 있는 기반을 마련한다.

미분위상수학은 미분다양체와 그 위의 미분가능함수를 연구하는 분야로, 일반위상수학이 제공하는 기초적인 위상 구조 위에 추가적인 미분구조가 부과된 공간을 다룬다. 즉, 모든 미분다양체는 근본적으로 위상공간이지만, 모든 위상공간이 미분구조를 가질 수 있는 것은 아니다. 따라서 일반위상수학은 미분위상수학을 위한 필수적인 토대를 제공한다고 볼 수 있다.

두 분야의 핵심 연구 대상과 방법론에는 차이가 있다. 일반위상수학은 위상동형사상 아래 보존되는 가장 기본적인 위상적 성질, 예를 들어 연결성이나 콤팩트성 등을 중점적으로 탐구한다. 반면 미분위상수학은 미분동형사상에 초점을 맞추어, 공간의 미분가능성과 관련된 더 섬세한 구조, 예를 들어 접공간이나 벡터장 등을 연구한다.

이러한 관계 속에서 일반위상수학의 개념들은 미분위상수학의 여러 정리와 문제 속에 자연스럽게 녹아든다. 다양체의 콤팩트성이나 연결성은 그 위에서 정의된 미분형식의 적분이나 호몰로지 군 계산과 같은 심화된 문제를 다루는 데 있어 중요한 전제 조건이 된다. 결국, 일반위상수학은 공간의 '거친' 형태를 이해하는 도구라면, 미분위상수학은 그 위에 '매끄러운' 구조를 입혀 더 정교한 기하학적, 해석학적 성질을 규명하는 학문이라고 할 수 있다.