위상공간 (r1)

위상공간은 집합과 그 위에 정의된 열린 집합들의 모임으로 이루어진 수학적 구조이다. 이는 해석학에서의 연속성과 극한, 수렴 등의 개념을 추상화하고 일반화하여 엄밀하게 다루기 위한 기초를 제공한다. 이러한 정의는 20세기 초반에 정립되어 일반위상수학의 출발점이 되었으며, 기하학 및 위상수학의 여러 분야의 토대가 된다.

구체적으로, 집합 X와 X의 부분집합들로 이루어진 모임 T가 주어졌을 때, T가 세 가지 공리를 만족하면 T를 X 위의 위상이라고 하며, 순서쌍 (X, T)를 위상공간이라고 정의한다. 첫째, 공집합과 X 자체는 T의 원소, 즉 열린 집합이어야 한다. 둘째, T에 속하는 열린 집합들 중 임의의 개수(유한 또는 무한)를 골라 그 합집합을 취해도 여전히 T에 속해야 한다. 셋째, T에 속하는 열린 집합들 중 유한 개를 골라 그 교집합을 취해도 T에 속해야 한다.

이 세 공리는 우리가 직관적으로 생각하는 열린 집합의 성질, 예를 들어 실수 집합에서의 구간 개념을 포착한다. 이 정의를 통해 '열림'이라는 개념 자체가 원시적인 개념이 되며, 이를 바탕으로 닫힌 집합, 근방, 내부, 폐포 등의 다른 기본 개념들이 파생된다.

위상공간은 열린 집합의 개념을 통해 정의하는 것이 가장 일반적이지만, 폐포 연산자를 이용하여 동등하게 정의할 수도 있다. 이 접근법은 집합의 경계나 극한점과 같은 개념을 연산자의 성질로 공리화한다.

집합 X 위의 폐포 연산자는 X의 모든 부분집합 A에 대해 또 다른 부분집합 cl(A)를 대응시키는 함수이다. 이 연산자가 특정 공리 세 가지를 만족할 때, 이로부터 유일하게 위상이 결정된다. 그 공리들은 다음과 같다. 첫째, 공집합의 폐포는 공집합이다(cl(∅)=∅). 둘째, 임의의 집합 A는 그 폐포에 포함된다(A ⊆ cl(A)). 셋째, 두 집합의 합집합의 폐포는 각 집합의 폐포의 합집합과 같다(cl(A∪B) = cl(A)∪cl(B)). 마지막으로, 폐포의 폐포는 원래 폐포와 같다(cl(cl(A)) = cl(A)). 이 네 가지 공리를 쿠라토프스키 폐포 공리라고 부른다.

이러한 폐포 연산자가 주어지면, 그로부터 자연스럽게 닫힌 집합을 정의할 수 있다. 집합 F가 닫힌 집합이라는 것은 cl(F) = F, 즉 자신의 폐포와 정확히 일치하는 집합을 의미한다. 그런 다음 이 닫힌 집합들의 여집합들을 열린 집합으로 정의함으로써, 표준적인 위상 구조를 얻는다. 반대로, 주어진 위상에서 폐포 연산자는 집합 A에 A와 그 극한점들을 모두 모은 집합으로 정의되며, 이는 쿠라토프스키 공리를 만족함을 보일 수 있다. 따라서 두 정의는 완전히 동등하다.

폐포 연산자를 이용한 정의는 점과 집합 사이의 '근접성' 개념을 직접적으로 다룬다는 점에서 직관적이다. 이는 특히 극한점이나 조밀 집합과 같은 개념을 논할 때 유용하며, 일반위상수학의 여러 정리들을 다른 각도에서 바라보는 틀을 제공한다.

위상공간은 집합과 그 위에 정의된 열린 집합들의 모임으로 이루어진 구조이다. 이 개념은 연속성, 극한, 근방, 수렴 등의 기초적 분석 개념을 엄밀하게 다루기 위한 수학적 토대를 제공하며, 일반위상수학, 해석학, 기하학 등 여러 분야의 근간이 된다.

위상공간의 정의는 여러 동치인 방식으로 이루어질 수 있으며, 그 중 하나가 근방계를 이용한 방법이다. 이 접근법은 각 점 주변의 '근방'이라는 직관적 개념을 출발점으로 삼는다. 집합 X의 각 점 x에 대해, 그 점의 근방이라 불리는 X의 부분집합들의 모임 V(x)가 특정 공리(예: x 자신을 포함하는 집합만이 근방이 될 수 있음, 근방의 부분집합 중 특정 조건을 만족하는 것도 근방이 됨, 두 근방의 교집합 역시 근방이 됨 등)를 만족할 때, 이 근방계 전체가 X 위의 위상을 유일하게 결정한다. 즉, 어떤 집합이 열린 집합인지는 '그 집합이 자신의 모든 점에 대한 근방이다'라는 조건으로 정의될 수 있다.

이 정의는 우리가 일상적으로 점 근처의 영역을 생각하는 방식과 직접적으로 연결되어 이해하기 직관적이다. 또한, 거리공간에서의 근방 개념(예: 한 점을 중심으로 하는 열린 공)을 추상화하여, 거리 개념 없이도 공간의 구조를 논할 수 있게 해준다. 근방계를 이용한 정의는 필터 이론이나 수렴 이론을 전개할 때 특히 유용하게 활용된다.

따라서 열린 집합을 이용한 정의, 폐포 연산자를 이용한 정의, 그리고 근방계를 이용한 정의는 모두 서로 동치이며, 상황에 따라 가장 편리한 도구를 선택하여 위상공간과 그 성질을 탐구하는 데 사용된다. 이 다양한 정의 방식은 위상수학이 다루는 개념의 풍부함과 유연성을 보여준다.

위상공간에서 닫힌 집합은 그 여집합이 열린 집합인 집합을 말한다. 주어진 위상 τ를 가진 위상공간 (X, τ)에서, 집합 F ⊂ X가 닫힌 집합이라는 것은 X \ F ∈ τ임을 의미한다. 즉, 위상의 구조는 열린 집합족으로 정의되지만, 이로부터 자연스럽게 닫힌 집합의 개념이 파생된다.

닫힌 집합은 직관적으로 그 경계를 포함하는 집합으로 이해할 수 있다. 예를 들어, 실수 집합 R에서 일반적인 위상(열린구간들의 합집합으로 정의되는 위상) 하에서, 구간 [a, b]는 닫힌 집합이다. 반면, 같은 위상에서 (a, b)는 열린 집합이며, [a, b)는 열린 집합도 닫힌 집합도 아니다. 닫힌 집합의 모임은 다음 성질들을 만족한다: 전체 집합 X와 공집합 ∅은 닫힌 집합이다. 임의의 개수의 닫힌 집합들의 교집합은 닫힌 집합이다. 유한 개의 닫힌 집합들의 합집합은 닫힌 집합이다. 이 성질들은 데모르간의 법칙을 통해 열린 집합족의 정의로부터 직접 유도된다.

닫힌 집합은 폐포 연산과 밀접한 관계가 있다. 집합 A의 폐포는 A를 포함하는 모든 닫힌 집합들의 교집합으로 정의되며, 이는 A를 포함하는 가장 작은 닫힌 집합과 같다. 따라서 집합 A가 닫힌 집합일 필요충분조건은 A가 자신의 폐포와 같은 것이다. 이 개념은 극한점과 수렴하는 점렬의 개념을 논할 때 핵심적인 역할을 한다.

위상공간에서 근방은 한 점 주변의 집합을 포괄적으로 기술하는 개념이다. 점 x의 근방은 x를 포함하는 열린 집합을 반드시 포함하는 집합으로 정의된다. 즉, 집합 N이 점 x의 근방이라는 것은 x를 포함하는 열린 집합 U가 존재하여 U가 N의 부분집합이 되는 것과 동치이다. 이 정의에 따르면, 모든 열린 집합은 그 안의 각 점의 근방이 된다.

근방의 개념은 극한과 연속함수를 정의하는 데 핵심적인 역할을 한다. 점 x로 수렴하는 수열의 경우, x의 임의의 근방이 수열의 항들을 거의 모두 포함하게 된다. 또한, 함수가 한 점에서 연속이라는 것은 그 점의 임의의 근방의 상이 함숫값의 근방을 포함하는 것과 같다. 이러한 방식으로 근방은 거리 공간에서의 '거리' 개념을 일반화하여, 거리를 정의하기 어려운 공간에서도 극한과 연속성을 논할 수 있는 기반을 제공한다.

각 점에 대해 그 점의 모든 근방의 모임을 근방계라고 하며, 이 근방계는 위상의 구조를 완전히 결정한다. 실제로, 열린 집합을 이용한 정의, 폐포 연산자를 이용한 정의, 그리고 근방계를 이용한 정의는 서로 동치이다. 근방계를 통해 위상을 기술하는 방식은 직관적으로 점 주변의 '이웃' 개념을 공리화한 것으로 볼 수 있다.

근방은 위상적 성질을 연구하는 다양한 분야에서 기본 도구로 활용된다. 예를 들어, 분리공리는 서로 다른 두 점이나 점과 닫힌 집합이 서로 겹치지 않는 근방으로 분리될 수 있는지 여부를 규정한다. 또한 콤팩트 공간의 국소적 성질을 논할 때나, 기저와 부분기저를 근방의 관점에서 설명할 때도 근방 개념이 유용하게 쓰인다.

위상공간에서 주어진 부분집합에 대해, 그 집합이 얼마나 '채워져 있는지', 또는 '퍼져 있는지'를 기술하는 세 가지 기본 개념이 바로 내부, 폐포, 그리고 경계이다. 이들은 모두 집합의 점들을 주어진 위상에 따라 분류하는 연산으로, 서로 긴밀하게 연관되어 있다.

어떤 집합의 내부는 그 집합에 완전히 포함된 가장 큰 열린 집합으로 정의된다. 즉, 집합 A의 내부는 A의 모든 내점들의 모임이며, 이 내점이란 그 점을 포함하는 A의 부분집합인 열린 집합이 존재하는 점을 말한다. 반대로, 폐포는 그 집합을 포함하는 가장 작은 닫힌 집합이다. 집합 A의 폐포는 A와 A의 모든 극한점(집적점)을 포함하는 집합이다. 폐포 연산자는 위상을 정의하는 세 가지 동치인 방법 중 하나로 사용되기도 한다. 내부와 폐포는 서로의 여집합을 통해 연결되어 있어, 한 집합의 내부의 여집합은 그 집합의 여집합의 폐포와 같다는 듀얼리티를 가진다.

경계는 집합의 내부와 외부 사이의 '가장자리'에 해당하는 점들의 모임이다. 정확히는, 집합 A의 경계는 A의 폐포에서 A의 내부를 뺀 집합, 또는 A의 폐포와 A의 여집합의 폐포의 교집합으로 정의된다. 경계점은 그 점의 모든 근방이 집합 A와 A의 여집합 양쪽 모두와 교집합을 가지는 점이다. 따라서 경계점은 집합 A에 속할 수도, 속하지 않을 수도 있다. 예를 들어, 실수 직선 위의 열린 구간 (0,1)의 경계는 두 끝점 {0, 1}이며, 이 점들은 구간 자체에는 속하지 않는다.

이 세 개념은 위상적 성질을 분석하는 데 필수적이다. 예를 들어, 어떤 집합이 열린 집합일 필요충분조건은 그것이 자신의 내부와 같다는 것이고, 닫힌 집합일 필요충분조건은 자신의 폐포와 같다는 것이다. 또한, 집합이 자신의 경계와 서로소일 때 그 집합은 열린 집합이며, 자신의 경계를 포함할 때는 닫힌 집합이 된다. 이러한 개념들은 연속함수의 성질을 논하거나, 콤팩트 공간, 연결 공간과 같은 더 복잡한 위상적 성질을 정의하는 기초가 된다.

위상공간의 구조를 완전히 열린 집합들의 모임으로 기술하는 대신, 더 작은 집합족을 통해 효율적으로 위상을 생성하거나 기술할 수 있다. 이때 핵심 역할을 하는 개념이 기저와 부분기저이다.

기저는 위상공간에서 모든 열린 집합을 그 원소들의 합집합으로 표현할 수 있는 열린 집합들의 모임이다. 구체적으로, 위상공간 (X, T)에 대해, B가 T의 부분집합족이고, T의 모든 원소(즉, 모든 열린 집합)가 B에 속하는 어떤 집합들의 합집합으로 나타낼 수 있을 때, B를 위상 T의 기저라고 한다. 예를 들어, 실수 집합에서 모든 열린 구간들의 모임은 표준 위상의 기저를 이룬다. 기저를 알면 위상의 모든 열린 집합을 생성할 수 있으므로, 위상을 더 간결하게 정의하거나 이해하는 데 유용하다.

부분기저는 기저보다 더 일반적인 개념으로, 그 원소들의 유한 교집합을 모두 모으면 하나의 기저가 되는 집합족을 말한다. 즉, 부분기저 S가 주어지면, S에 속하는 집합들의 모든 유한 교집합의 모임 B_S를 구성할 수 있고, 이 B_S는 위상의 기저가 된다. 따라서 부분기저 S는 위상을 생성하는 "씨앗" 역할을 한다. 대표적인 예로, 실수 집합에서 모든 반직선 (a, ∞)와 (-∞, b) 형태의 집합들의 모임은 표준 위상의 부분기저가 된다. 이들의 유한 교집합을 취하면 열린 구간 (a, b)가 얻어지기 때문이다.

기저와 부분기저는 위상의 생성뿐만 아니라, 연속성을 판별하는 데도 활용된다. 어떤 함수가 연속일 필요충분조건은, 공역 위상의 기저(또는 부분기저) 원소들의 역상이 모두 열린 집합인 것이다. 또한, 곱위상은 사영 사상이 연속이 되도록 하는 가장 엉성한 위상으로 정의되는데, 이 곱위상은 사영 사상의 역상으로 얻어지는 집합들이 바로 부분기저를 이룬다.

같은 집합 위에 서로 다른 위상을 정의할 수 있으며, 이들 사이에는 포함 관계를 통해 비교가 가능하다. 집합 X 위에 정의된 두 위상 T1과 T2가 있을 때, T1이 T2의 부분집합(T1 ⊆ T2)이라면, T1의 모든 열린 집합이 T2에서도 열려 있다는 뜻이다. 이 경우 T2는 T1보다 더 섬세한 위상 또는 더 강한 위상이라고 하며, 반대로 T1은 T2보다 더 엉성한 위상 또는 더 약한 위상이라고 한다.

더 섬세한 위상은 더 많은 집합을 열린 집합으로 인정하므로, 그 위상공간에서는 점들을 서로 더 잘 구분할 수 있는 경우가 많다. 예를 들어, 이산위상은 주어진 집합 위에서 정의 가능한 가장 섬세한 위상이며, 모든 부분집합이 열려 있다. 반대로 비이산위상은 가장 엉성한 위상으로, 오직 전체집합과 공집합만을 열린 집합으로 가진다. 따라서 모든 위상은 이산위상보다는 엉성하고, 비이산위상보다는 섬세하다.

두 위상의 비교는 부분공간 위상, 곱위상, 몫위상을 구성할 때 중요한 기준이 된다. 예를 들어, 부분공간 위상은 원래 위상보다 더 엉성할 수 없으며, 곱위상은 각 성분 공간의 위상으로부터 자연스럽게 정의되는 가장 엉성한 위상이다. 또한, 연속사상의 관점에서 보면, 함수 f: (X, T1) → (Y, T2)가 연속일 필요충분조건은 Y의 위상 T2가 f에 의해 X에 유도된 위상보다 더 엉성하다는 것으로 설명할 수 있다.

어떤 위상공간의 부분집합에도 자연스럽게 위상을 부여할 수 있다. 주어진 위상공간 (X, T)와 그 부분집합 S가 있을 때, S 위의 부분공간 위상은 X의 열린 집합과 S의 교집합을 S의 열린 집합으로 정의하여 얻는다. 즉, S의 열린 집합족 T_S는 { U ∩ S | U ∈ T }로 주어진다. 이렇게 정의된 위상을 상대위상이라고도 부르며, S를 X의 부분공간이라고 한다.

부분공간 위상의 핵심은 X에서 정의된 위상적 성질을 S로 제한하는 것이다. 예를 들어, S의 부분집합 A가 부분공간 위상에서 열린 집합이라는 것은 X의 어떤 열린 집합 U가 존재하여 A = U ∩ S가 성립함을 의미한다. 이 정의를 통해 부분집합 S 자체가 하나의 독립된 위상공간이 되며, S에서의 연속성, 수렴, 근방 등의 개념은 모두 이 상대위상을 기준으로 논의된다.

부분공간 위상은 원래 공간의 구조를 보존하면서 부분집합을 다루는 표준적인 방법이다. 예를 들어, 실직선 R에 보통 위상을 준 후, 그 부분집합인 구간 [0, 1]이나 자연수 집합 N에 부분공간 위상을 부여하면, [0, 1]은 유계인 닫힌구간으로서의 위상적 성질을, N은 이산공간의 성질을 갖게 된다. 이는 거리공간에서 부분거리공간을 생각하는 방식과 완전히 일치한다.

부분공간 위상의 개념은 곱위상이나 몫위상과 함께 새로운 위상공간을 구성하는 기본 도구 중 하나이다. 또한, 부분공간에서의 연속함수 판별, 콤팩트성이나 연결성과 같은 위상적 성질의 연구에서 중요한 역할을 한다. 어떤 성질이 부분공간으로 유전되는지 여부는 일반위상수학의 주요 관심사 중 하나이다.

곱위상은 여러 위상공간들의 데카르트 곱 위에 자연스럽게 주어지는 위상 구조이다. 주어진 위상공간들의 사영 사상이 모두 연속이 되도록 하는 가장 엉성한 위상, 즉 가장 적은 수의 열린 집합을 가진 위상으로 정의된다. 이는 각 성분 공간의 위상 정보를 바탕으로 새로운 곱공간의 위상을 구성하는 표준적인 방법이다.

구체적으로, 위상공간들의 집합족 {X_α}_{α ∈ A}가 주어졌을 때, 이들의 곱집합 ∏_{α ∈ A} X_α 위의 곱위상은 모든 사영 사상 π_β: ∏ X_α → X_β가 연속이 되도록 하는 가장 엉성한 위상이다. 이 위상의 기저는 각 성분에서 열린 집합을 취하되, 유한 개의 성분을 제외한 모든 성분에서 전체 공간을 취한 집합들의 곱으로 이루어진다. 즉, U = ∏ U_α 형태의 집합들 중 유한 개의 α에 대해서만 U_α가 X_α의 진부분 열린 집합이고, 나머지 모든 α에 대해서는 U_α = X_α인 것들의 모임이 곱위상의 기저를 이룬다.

곱위상은 위상수학의 여러 기본 정리들을 확장하는 데 핵심적이다. 예를 들어, 티호노프 정리는 임의의 많은 콤팩트 공간들의 곱공간이 곱위상 아래에서 다시 콤팩트하다는 것을 보여주는 중요한 정리이다. 또한, 곱위상 아래에서 함수열의 수렴은 각 성분별 수렴과 동치라는 성질을 가진다.

이 개념은 무한한 개수의 위상공간들의 곱을 다룰 때 특히 주의를 요한다. 유한 개의 위상공간에 대해서는 곱위상과 상자 위상이 일치하지만, 무한 개의 경우에는 두 위상이 서로 다르며, 곱위상이 더 엉성한 위상이 된다. 대부분의 응용, 특히 대수위상수학과 일반위상수학에서 표준적으로 사용되는 것은 곱위상이다.

몫위상은 주어진 위상공간과 그 위의 동치관계로부터 새로운 위상공간을 구성하는 방법이다. 어떤 위상공간 X와 X 위의 동치관계 ~가 주어졌을 때, 몫집합 X/~, 즉 동치류들의 집합 위에 자연스럽게 부여할 수 있는 위상 구조를 말한다. 이 구조는 원래 공간 X의 정보를 '접어붙이거나' 식별하는 과정을 위상적으로 포착하며, 특히 위상동형사상을 다루거나 복잡한 공간을 간단한 모양으로 표현할 때 핵심적인 역할을 한다.

몫위상의 엄밀한 정의는 다음과 같다. 위상공간 (X, T)와 전사함수 p: X → Y가 있을 때, Y 위의 위상 중에서 함수 p가 연속함수가 되도록 하는 가장 섬세한 위상(즉, 가장 많은 열린 집합을 가진 위상)을 Y 위의 몫위상이라 한다. 이때 Y는 보통 X의 몫집합이며, p는 각 원소를 그 동치류에 대응시키는 자연스러운 사영 사상이 된다. 몫위상에서의 열린 집합은, 그 원상이 X에서 열린 집합인 Y의 부분집합으로 정의된다.

몫위상의 대표적인 예로는 원판의 경계를 한 점으로 식별하여 구를 만드는 것, 직사각형의 두 대변을 동일한 방향으로 붙여 원기둥을, 반대 방향으로 붙여 뫼비우스의 띠를 구성하는 것 등을 들 수 있다. 또한 위상군이나 작용에 대한 궤도 공간을 다룰 때도 몫위상이 자연스럽게 등장한다. 이러한 구성은 대수위상수학에서 기본군이나 호몰로지를 계산할 때 필수적이다.

몫위상은 부분공간 위상 및 곱위상과 함께 위상공간을 생성하는 세 가지 기본 연산 중 하나로 꼽힌다. 몫사상 p: X → Y가 주어지면, Y의 위상적 성질(예: 하우스도르프 공간 성질, 콤팩트 공간 성질, 연결 공간 성질)이 X의 성질과 어떤 관계를 가지는지 연구하는 것도 일반위상수학의 중요한 주제이다. 특히 몫사상이 열린 사상이거나 닫힌 사상일 경우 이러한 성질들이 더 잘 보존된다.

분리공리는 위상공간이 서로 다른 점들을 열린 집합을 이용해 어느 정도까지 '구분'할 수 있는지를 규정하는 공리 체계이다. 이는 위상공간의 위상적 성질을 분류하는 중요한 기준으로 작용하며, 위상수학의 여러 분야에서 기본적인 도구로 활용된다.

주요 분리공리로는 T0 공간, T1 공간, 하우스도르프 공간(T2 공간), 정칙 공간, 완비 정칙 공간, 정규 공간 등이 있다. 각 공리는 점과 점, 또는 점과 닫힌 집합을 서로 분리하는 열린 근방의 존재성에 따라 계층을 이룬다. 예를 들어, T1 공간에서는 모든 한원소 집합이 닫힌 집합이며, 보다 강한 조건인 하우스도르프 공간에서는 서로 다른 임의의 두 점이 서로소인 열린 근방으로 분리된다.

이러한 분리 조건은 위상공간의 여러 성질과 깊이 연관되어 있다. 하우스도르프 공간에서는 수열의 극한이 유일하게 존재하며, 콤팩트 하우스도르프 공간은 특히 중요한 성질들을 가진다. 또한, 정규 공간에서는 유리손 보조정리와 같은 강력한 도구를 사용할 수 있어, 연속함수의 존재성을 보장하는 문제에 응용된다.

분리공리는 단순한 분류를 넘어 위상적 방법론의 핵심이다. 위상공간의 구조를 분석하고, 연속사상의 성질을 규명하며, 더 나아가 대수위상수학이나 미분위상수학과 같은 심화 영역의 기초를 제공한다. 따라서 주어진 위상공간이 어떤 분리공리를 만족하는지 확인하는 것은 그 공간의 본질적 이해를 위한 첫걸음이다.

위상공간의 연결성은 공간이 '한 덩어리'인지 여부를 나타내는 중요한 위상적 성질이다. 직관적으로, 연결된 공간은 두 개 이상의 서로 떨어진 부분으로 나눌 수 없는 공간을 의미한다. 이 개념은 실수 집합의 구간이나 평면 위의 단일 영역과 같이 일상적으로 생각하는 하나로 이어진 공간을 수학적으로 엄밀하게 정의한 것이다.

연결성은 열린 집합을 이용하여 정의된다. 위상공간 X가 연결이라는 것은, X를 두 개의 공집합이 아닌 서로소인 열린 부분집합의 합집합으로 나타낼 수 없다는 뜻이다. 즉, X = A ∪ B 이고 A ∩ B = ∅ 이며 A와 B가 모두 X에서 열린 집합일 때, A와 B 중 하나는 반드시 공집합이어야 한다. 이 정의는 공간이 두 개의 완전히 분리된 열린 조각으로 분해되지 않음을 보장한다.

연결성과 관련된 여러 유용한 정리가 있다. 예를 들어, 실수 집합 R의 연결 부분집합은 정확히 구간(열린 구간, 닫힌 구간, 반닫힌 구간 등)들이다. 또한, 연결된 위상공간 위에서 정의된 연속함수에 의한 상은 다시 연결된다는 성질이 있다. 이는 연결성이 위상적 성질임을 보여주며, 즉 위상동형사상에 의해 보존된다.

연결성보다 더 강한 개념으로 경로연결성이 있다. 경로연결공간은 공간 내의 임의의 두 점을 잇는 연속적인 경로가 존재하는 공간을 말한다. 모든 경로연결공간은 연결되지만, 그 역은 일반적으로 성립하지 않는다. 대표적인 반례로 위상수학에서의 위상수학자의 사인곡선이 있다. 이 공간은 연결되어 있지만, 원점을 포함하는 특정 점에서 다른 점으로 가는 연속적인 경로를 만들 수 없어 경로연결되지 않는다.

경로연결성은 위상공간이 얼마나 '한 덩어리'로 연결되어 있는지를 나타내는 위상적 성질이다. 어떤 위상공간이 경로연결 공간이라는 것은 그 공간 내의 임의의 두 점에 대해, 그 두 점을 잇는 연속적인 경로가 공간 안에 존재한다는 것을 의미한다. 여기서 경로란 닫힌구간 [0, 1]에서 해당 위상공간으로 가는 연속함수를 말한다.

경로연결 공간은 항상 연결 공간이다. 연결 공간의 정의는 공간을 두 개의 서로소인 열린 집합으로 나눌 수 없다는 것이지만, 경로연결 공간은 더 강한 조건으로, 두 점 사이를 실제로 움직일 수 있는 연속적인 길이 존재함을 요구한다. 그러나 그 역은 성립하지 않으며, 연결되어 있지만 경로연결이 아닌 위상공간의 대표적인 예로는 위상수학자의 사인곡선이 있다.

이 성질은 위상동형사상에 의해 보존된다. 즉, 어떤 위상공간이 경로연결되어 있고, 그것이 다른 공간과 위상동형이라면, 그 다른 공간 또한 경로연결되어 있다. 또한, 경로연결 공간들의 연속적인 상은 경로연결이며, 경로연결 부분공간들의 합집합이 한 점이라도 공유하면 그 합집합 역시 경로연결 공간이 된다.

경로연결성은 기하학적 직관과 잘 부합하는 개념으로, 해석학이나 기하학에서 다루는 많은 공간들, 예를 들어 유클리드 공간이나 그 안의 볼록 집합, 구면 등은 모두 경로연결성을 가진다. 이는 해당 공간에서 임의의 두 점을 선분이나 연속적인 곡선으로 이을 수 있기 때문이다.

콤팩트성은 위상공간의 중요한 위상적 성질 중 하나로, 공간이 무한히 넓어 보이더라도 어떤 의미에서는 '유한한' 성질을 가진다는 개념을 엄밀하게 포착한다. 간단히 비유하자면, 콤팩트 공간은 그 공간을 덮기 위해 필요한 열린 덮개의 개수를 유한하게 줄일 수 있는 공간이다. 이 성질은 해석학에서의 극값 정리나 균등연속성과 같은 핵심 정리들이 성립하기 위한 근간이 되며, 위상수학 전반에서 기본적 도구로 활용된다.

콤팩트성의 핵심은 '열린 덮개' 개념에 있다. 위상공간 X의 열린 덮개란, X를 포함하는 열린 집합들의 모임을 말한다. 만약 X의 모든 열린 덮개가 유한 부분 덮개(덮개의 원소 중 유한 개만을 뽑아서도 X를 덮을 수 있는 것)를 가질 때, X를 콤팩트 공간이라고 정의한다. 이 정의는 공간 자체의 '크기'보다는 위상 구조에 의존하는 성질을 나타낸다. 대표적인 예로, 실수의 닫힌 구간 [a, b]는 콤팩트하지만, 열린 구간 (a, b)나 전체 실수 집합 R은 콤팩트하지 않다.

콤팩트성은 여러 동치 조건을 통해 다양한 방식으로 이해될 수 있다. 중요한 동치 조건 중 하나는 '닫힌 집합족이 유한교차성(족에 속하는 임의의 유한 개 집합의 교집합이 공집합이 아니면, 전체 교집합도 공집합이 아님)을 가진다'는 성질이다. 또한, 거리공간에서 콤팩트성은 '완전 유계이며 완비인' 성질과 동치이다. 이는 해석학에서 점렬 콤팩트성(모든 수열이 수렴하는 부분수열을 가짐)과도 연결된다.

이 성질은 위상수학의 여러 분야에서 강력한 도구로 작용한다. 예를 들어, 콤팩트 공간 위에서 정의된 실숫값 연속함수는 최댓값과 최솟값을 반드시 가진다는 극값 정리가 성립한다. 또한, 대수위상수학에서는 공간의 호모토피 군이나 호몰로지 군과 같은 불변량을 계산할 때, 콤팩트성을 가정하는 경우가 많다. 콤팩트성은 연속 사상에 의해 보존되며, 콤팩트 공간의 닫힌 부분집합 역시 콤팩트하다는 유용한 성질들을 가진다.

가분성은 위상공간이 가산 조밀 부분집합을 포함하는지 여부를 나타내는 위상적 성질이다. 위상공간 X가 가분 공간이라는 것은 X의 가산 부분집합 A가 존재하여, 그 폐포가 전체 공간 X와 같을 때, 즉 A의 조밀성이 성립할 때를 말한다. 이때 A를 가산 조밀 집합이라 부른다. 이 성질은 공간의 "크기"나 "복잡도"를 측정하는 한 가지 방법으로, 특히 해석학과 함수해석학에서 중요한 역할을 한다.

가분성은 다른 위상적 성질들과 밀접한 연관이 있다. 예를 들어, 제2가산공간은 항상 가분 공간이다. 제2가산공간은 가산인 기저를 갖는 공간으로, 이 기저에서 각 기저 원소마다 하나의 점을 선택하면 가산 조밀 집합을 구성할 수 있기 때문이다. 또한, 거리공간의 경우 가분성과 제2가산공간임은 서로 동치이다. 그러나 일반적인 위상공간에서는 가분 공간이 제2가산공간이 아닐 수도 있다.

가분성은 함수 공간의 연구에서 특히 두드러진다. 대표적인 예로, 연속함수들의 공간 C[0,1]은 최대노름에 의해 정의된 거리공간으로 볼 때 가분 공간이 아니다. 반면, 제곱적분가능 함수들의 공간 L^2는 힐베르트 공간의 중요한 예시로, 가분성을 만족한다. 이처럼 가분성은 공간의 구조적 특성을 파악하고, 함수해석학에서 바나흐 공간이나 힐베르트 공간의 이론을 전개하는 데 기초가 되는 성질 중 하나이다.

위상공간의 핵심 정의는 집합과 그 위에 정의된 열린 집합들의 모임으로 이루어진 구조이다. 구체적으로, 어떤 집합 X와 X의 부분집합들로 이루어진 모임 T가 주어졌을 때, T가 공집합과 X 자신을 포함하고, T의 원소들(즉, 열린 집합들)의 임의의 합집합과 유한 교집합이 다시 T에 속한다는 세 가지 조건을 만족하면, T를 X 위의 위상이라고 한다. 이때 순서쌍 (X, T)를 위상공간이라 부른다. 이 정의는 20세기 초반에 확립되어 일반위상수학의 기초가 되었으며, 해석학과 기하학 등에서 연속성, 극한, 수렴과 같은 개념을 엄밀하게 다루는 토대를 제공한다.

위상공간의 구조는 열린 집합 외에도 여러 동등한 방식으로 기술될 수 있다. 예를 들어, 폐포 연산자를 이용한 정의는 각 부분집합에 대해 그 폐포를 대응시키는 연산자가 특정 공리(쿠라토프스키 폐포 공리)를 만족함으로써 위상을 결정한다. 또한, 근방계를 이용한 정의는 각 점마다 그 근방들의 모임(근방계)이 주어지고, 이 근방계가 특정 조건을 만족할 때 위상을 유일하게 결정한다. 이러한 다양한 정의들은 서로 동치이며, 문제에 따라 가장 편리한 관점을 선택하여 위상적 성질을 연구하는 데 활용된다.

위상동형사상은 위상수학에서 가장 중요한 개념 중 하나로, 두 위상공간이 본질적으로 같은 위상적 구조를 가진다는 것을 의미하는 사상이다. 두 위상공간 X와 Y 사이에 전단사 함수 f: X → Y가 존재하여, f와 그 역함수 f⁻¹가 모두 연속함수일 때, f를 위상동형사상이라 한다. 이러한 사상이 존재하면 두 공간 X와 Y는 서로 위상동형이라고 하며, 이는 두 공간이 위상적 관점에서 구별이 불가능함을 뜻한다.

위상동형사상은 위상적 성질을 보존한다. 위상적 성질이란 위상동형사상에 의해 불변인 성질을 말하며, 연결성, 경로연결성, 콤팩트성, 그리고 분리공리를 만족하는지 여부 등이 대표적이다. 예를 들어, 하나의 공간이 연결되어 있다면, 그와 위상동형인 다른 모든 공간도 반드시 연결되어 있어야 한다. 이는 위상수학자가 서로 다른 공간들을 분류하는 핵심 기준이 된다.

위상동형의 간단한 예로는 개구간 (0, 1)과 모든 실수의 집합 R이 있다. 함수 f(x) = tan(πx - π/2)는 (0, 1)에서 R로 가는 위상동형사상을 제공한다. 또한, 표면의 위상적 분류에서 원환면과 커피잔은 서로 위상동형인 것으로 유명하다. 이는 위상수학이 공간의 정확한 모양이나 크기보다는 그 연결 구조에 주목한다는 점을 보여준다.

위상동형사상의 개념은 위상동형인 공간들을 동일시하게 함으로써, 위상수학의 연구 대상을 공간 자체가 아닌 공간의 위상동형류로 축소하는 데 기여한다. 이는 대수위상수학에서 호모토피와 호몰로지 같은 더 굵은 동치 관계를 정의하는 기초가 되며, 복잡한 공간들을 보다 쉽게 분류하고 이해하는 토대를 마련한다.

연속사상은 위상공간 사이의 가장 기본적인 사상이지만, 그 외에도 위상적 구조를 보존하는 방식에 따라 다양한 유형의 사상이 정의된다. 그 중에서 열린사상과 닫힌사상은 열린 집합과 닫힌 집합이라는 위상의 핵심 개념과 직접적으로 관련된 중요한 사상들이다.

열린사상은 위상공간 X에서 위상공간 Y로 가는 함수 f가, X의 모든 열린 집합 U의 상 f(U)가 Y에서 열린 집합이 될 때를 말한다. 즉, 열린 집합을 열린 집합으로 보내는 사상이다. 모든 위상동형사상은 열린사상이지만, 그 역은 일반적으로 성립하지 않는다. 예를 들어, 사영 사상이나 특정 몫사상들은 열린사상의 대표적인 예시이다. 한편, 닫힌사상은 X의 모든 닫힌 집합 F의 상 f(F)가 Y에서 닫힌 집합이 되는 사상을 의미한다. 열린사상과 닫힌사상은 서로 쌍대적인 개념이지만, 하나가 성립한다고 해서 다른 하나가 반드시 성립하는 것은 아니다.

이러한 사상들의 성질은 위상적 구조를 연구할 때 유용하게 활용된다. 예를 들어, 전사인 연속인 열린사상은 몫위상을 결정하는 데 사용될 수 있다. 또한, 콤팩트 공간에서 하우스도르프 공간으로 가는 연속인 전사함수는 닫힌사상이 된다는 중요한 정리가 있다. 이 정리는 위상적 성질 간의 상호작용을 보여주는 좋은 예시이며, 특히 위상동형사상을 구성하거나 증명할 때 자주 사용된다.

열린사상과 닫힌사상의 개념은 함수해석학이나 미분위상수학과 같은 위상수학의 여러 분야에서도 등장하며, 보다 일반적인 범주론적 관점에서도 연구 대상이 된다.

거리공간은 두 점 사이의 거리를 측정할 수 있는 함수인 거리 함수가 정의된 공간이다. 거리공간에서는 거리 함수를 이용하여 특정한 조건을 만족하는 열린 공을 정의할 수 있으며, 이 열린 공들의 합집합으로 표현되는 집합을 '열린 집합'으로 규정한다. 이렇게 거리 함수로부터 자연스럽게 얻어지는 모든 열린 집합들의 모임은 위상공간의 정의를 만족하며, 이를 거리공간에서 유도된 위상 또는 거리 위상이라고 부른다. 즉, 모든 거리공간은 위상공간의 중요한 예시가 된다.

거리 위상의 핵심은 거리 함수의 성질에 기반한다. 거리 함수가 주어지면, 임의의 점을 중심으로 하고 반지름이 양수인 열린 공은 항상 열린 집합이 된다. 그리고 임의의 열린 집합은 이러한 열린 공들의 합집합으로 표현될 수 있다. 이 구조는 우리가 직관적으로 이해하는 연속성, 극한, 수렴 등의 개념을 엄밀하게 다루는 기초를 제공한다. 예를 들어, 해석학에서 다루는 실수의 집합이나 유클리드 공간은 표준적인 거리 함수에 의해 유도된 위상을 갖는 대표적인 거리공간이다.

거리 위상은 매우 강력한 구조를 가지며, 이를 통해 콤팩트 공간, 연결 공간, 분리공리 등 다양한 위상적 성질을 연구할 수 있다. 그러나 모든 위상공간이 거리 위상으로부터 얻어지는 것은 아니다. 즉, 어떤 위상공간의 위상이 거리 함수로부터 유도될 수 있을 때, 그 공간을 거리화 가능 공간이라고 한다. 거리화 가능 여부는 위상수학의 중요한 연구 주제 중 하나이다.

이산위상은 주어진 집합의 모든 부분집합을 열린 집합으로 정의하는 위상이다. 즉, 집합 X에 대해 위상 T가 X의 멱집합 P(X)와 같을 때, (X, T)를 이산위상공간이라 한다. 이 위상에서는 모든 점이 스스로를 포함하는 열린 집합이 되므로, 각 점은 다른 점들과 완전히 분리된 근방을 가진다. 이는 가장 많은 수의 열린 집합을 가지는 위상으로, 모든 위상 중 가장 섬세한 위상이다. 이산위상공간에서 정의된 함수는 항상 연속이며, 이 공간은 거리공간으로 볼 때 모든 점 사이의 거리를 1로 정의한 이산거리공간과 동일한 위상을 유도한다.

반대로 비이산위상은 주어진 집합에서 가능한 가장 적은 수의 열린 집합을 가지는 위상이다. 집합 X에 대해 위상 T가 공집합과 X 전체, 단 두 개의 집합만으로 구성될 때, (X, T)를 비이산위상공간이라 한다. 이 위상에서는 공집합과 전체 집합 외에는 열린 집합이 존재하지 않는다. 따라서 서로 다른 두 점을 분리하는 열린 근방을 찾을 수 없어, 공간의 점들을 서로 구분하기가 매우 어렵다. 이는 모든 위상 중 가장 엉성한 위상에 해당한다.

이 두 위상은 위상의 극단적인 예시를 보여준다. 임의의 집합 X에 대해, X 위에 정의될 수 있는 모든 위상은 이산위상보다 엉성하고, 비이산위상보다는 섬세하다. 즉, 이산위상은 가장 강한(섬세한) 위상구조를, 비이산위상은 가장 약한(엉성한) 위상구조를 제공한다. 이들은 부분공간 위상, 곱위상, 몫위상 등의 구성에서도 기본적인 예시로 자주 등장하며, 다양한 위상적 성질을 검증하는 데 기준점 역할을 한다.

순서위상은 전순서 집합에 자연스럽게 부여할 수 있는 위상이다. 집합에 순서 구조가 주어져 있을 때, 그 순서 관계를 이용하여 열린 집합을 정의함으로써 위상공간을 구성한다. 이는 실수 집합의 일반적인 위상을 추상화한 것으로, 실수의 위상을 다루는 해석학의 여러 개념을 더 넓은 순서 집합으로 확장하는 데 유용하다.

순서위상의 열린 집합은 기본적으로 열린 구간들의 합집합으로 정의된다. 전순서 집합 (X, ≤)에서, a, b가 X의 원소일 때, 열린 구간 (a, b)는 { x ∈ X | a < x < b }로 정의된다. 또한, 집합의 최소원이나 최대원이 존재하는 경우, 이를 포함하는 반무한 구간도 열린 집합의 기초로 사용된다. 예를 들어, 최소원 m이 존재하면 [m, b) = { x ∈ X | m ≤ x < b } 형태의 집합도 기저에 포함시킨다. 이렇게 정의된 모든 열린 구간들의 모임을 부분기저로 하여 생성된 위상이 바로 순서위상이다.

순서위상은 실수 직선 R의 표준 위상과 정확히 일치하며, 따라서 실수 집합은 순서위상을 갖춘 전순서 집합의 가장 대표적인 예이다. 다른 예로는 자연수 집합 N, 정수 집합 Z, 그리고 유리수 집합 Q 등에 순서위상을 부여할 수 있다. 그러나 이들 공간은 실수 직선과는 다른 위상적 성질을 보일 수 있다. 예를 들어, 이산공간이 되는 경우도 있다.

순서위상의 개념은 순서수나 순서체와 같은 순서 구조를 가진 더 추상적인 대상들에 위상을 부여하는 데 필수적이다. 또한, 곱위상과 결합하여 여러 개의 순서 집합의 곱공간을 다루거나, 순서위상 공간의 부분공간을 연구하는 데 널리 활용된다. 이는 일반위상수학에서 순서와 위상 간의 관계를 탐구하는 중요한 도구가 된다.

여유한위상은 주어진 집합 위에 정의할 수 있는 위상 중 하나로, 모든 여유한 집합을 열린 집합으로 간주하는 위상이다. 여유한 집합이란 그 여집합이 유한집합인 집합을 의미한다. 즉, 위상공간에서 열린 집합은 공집합이거나, 아니면 그 여집합이 유한개의 원소만을 가지는 집합이다. 이 정의는 집합의 크기에 주목하여, 유한한 정보를 제외한 나머지 전체를 '열려 있다'고 보는 관점을 제공한다.

이 위상은 몇 가지 독특한 성질을 가진다. 예를 들어, 비이산위상보다는 더 섬세하지만, 이산위상보다는 훨씬 더 엉성한 위상에 속한다. 모든 한원소 집합은 닫힌 집합이지만, 무한집합 위에서는 열린 집합이 될 수 없다. 이로 인해 하우스도르프 공간이 아닌 대표적인 예시가 되며, 특히 무한집합에 여유한위상을 부여하면 그 공간은 T1 공간이지만 T2 공간은 아니게 된다.

여유한위상이 부여된 공간에서 수열의 수렴은 매우 특이한 양상을 보인다. 한 점으로 수렴하는 수열은 유한 개의 항을 제외하고 그 점과 일치해야 한다. 이는 일반적인 거리공간에서의 수렴 개념과는 상당히 다르다. 또한, 이 위상공간은 콤팩트 공간이지만, 무한집합인 경우 가분 공간이 아닐 수 있다.

이러한 추상적 성질 때문에 여유한위상은 위상수학의 기초 이론을 설명하거나 반례를 구성할 때 유용하게 활용된다. 연속함수의 정의, 위상의 비교, 또는 다양한 분리공리 사이의 관계를 이해하는 데 도움을 준다.

대수위상수학은 위상공간의 위상적 불변량을 연구하기 위해 대수학적 도구와 방법론을 활용하는 수학의 한 분야이다. 이 분야의 핵심 목표는 위상공간을 분류하는 것이다. 서로 다른 두 공간이 위상동형사상에 의해 같지 않다는 것을 보이는 것은 어려운 문제일 수 있다. 대수위상수학은 각 위상공간에 군이나 환과 같은 대수적 구조를 대응시키는 방법을 개발한다. 만약 두 공간이 위상동형이라면, 그들에 대응되는 대수적 구조도 동형이어야 한다. 따라서, 만약 두 공간에 연관된 대수적 구조가 서로 다르다면, 두 공간은 위상동형일 수 없음이 증명된다.

대수위상수학에서 가장 기본적이고 중요한 대수적 불변량은 호모토피 군과 호몰로지 군이다. 기본군은 공간 내 고리(루프)의 호모토피 동치류로 구성된 군으로, 공간의 1차원적 '구멍' 정보를 포착한다. 특이 호몰로지는 보다 일반적인 호몰로지 이론으로, 공간을 단체로 분해하여 그 조합 관계를 군으로 계산한다. 호몰로지 군은 각 차원별로 공간의 연결성, 구멍, 터널 등의 기하학적 정보를 수치화하여 제공한다. 이러한 불변량들은 위상공간을 구별하는 강력한 도구가 된다.

대수위상수학의 방법론은 순수 위상수학을 넘어 미분기하학, 대수기하학, 이론물리학 등 다양한 수학 및 과학 분야에 깊이 응용된다. 예를 들어, 끈 이론과 같은 현대 물리 이론에서 시공간의 위상적 성질을 이해하는 데 호몰로지 이론이 사용된다. 또한, 데이터 사이언스에서 고차원 데이터의 형태와 구조를 분석하는 위상 데이터 분석 분야는 대수위상수학, 특히 지속적 호몰로지의 이론을 토대로 발전하고 있다. 이처럼 대수위상수학은 추상적인 수학 이론을 넘어 현실 세계의 복잡한 구조를 이해하는 데 기여하고 있다.

미분위상수학은 매끄러운 다양체와 그 사이의 매끄러운 함수를 연구하는 위상수학의 한 분야이다. 이 분야는 미분기하학과 깊은 연관을 가지며, 위상적 구조에 추가로 미분 가능 구조가 주어진 공간을 다룬다. 핵심 연구 대상은 다양체의 위상적 분류와 미분구조의 존재 여부 및 유일성 문제이다.

미분위상수학의 주요 성과 중 하나는 차원이 4인 공간의 특이성에 대한 이해이다. 다른 차원에서는 유일한 미분구조를 가지는 유클리드 공간이 4차원에서는 무수히 많은 서로 다른 미분구조를 가질 수 있음이 밝혀졌다. 또한, 푸앵카레 추측과 같은 위상수학의 난제 해결에 미분위상적 기법이 중요한 역할을 했다.

이 분야의 핵심 도구에는 접다발, 호모토피 이론, 모스 이론 등이 있다. 특히 미분 구조의 존재를 증명하거나 구별하는 데 특이 호몰로지와 같은 대수위상적 방법이 자주 활용된다. 미분위상수학의 결과는 이론물리학, 특히 끈 이론과 양자 중력에서 시공간의 기하적 구조를 이해하는 데 응용되기도 한다.

일반위상수학은 위상공간의 가장 기본적인 성질과 구조를 연구하는 수학의 분야이다. 이 분야는 집합론과 해석학에서 비롯된 개념들을 추상화하여, 연속성, 수렴, 근방과 같은 핵심적 개념들을 거리에 의존하지 않고 순수하게 집합과 열린 집합의 언어로 다룬다. 일반위상수학의 발전은 위상수학 전체의 기초를 마련했으며, 대수위상수학이나 미분위상수학과 같은 다른 위상수학 분야의 출발점이 된다.

이 분야의 주요 연구 대상은 위상공간 자체와 그 사이의 연속사상이다. 연구의 초점은 위상적 성질, 즉 위상동형사상에 의해 보존되는 성질에 맞춰져 있다. 대표적인 위상적 성질로는 콤팩트성, 연결성, 분리공리 등이 있으며, 이러한 성질들을 분류하고 상호 관계를 규명하는 것이 일반위상수학의 핵심 과제 중 하나이다.

일반위상수학은 순수 수학의 여러 분야에 폭넓게 응용된다. 실해석학에서는 함수의 극한과 연속성을 논할 때, 복소해석학에서는 리만 곡면의 구조를 이해할 때 그 기초가 된다. 또한 범주론에서는 위상공간과 연속사상을 하나의 범주로 보는 관점이 제공된다. 이처럼 일반위상수학은 현대 수학의 다양한 영역에서 공간에 대한 추상적이고 엄밀한 논의를 가능하게 하는 토대를 구성한다.