열과 넷으로 보는 위상수학

초록

본 논문은 일반 위상공간에서 열린 집합, 연속성, 콤팩트성 등을 서열(시퀀스)만으로는 정확히 기술할 수 없음을 다양한 반례를 통해 보여준다. 이를 극복하기 위해 넷(net)의 개념을 도입하고, 넷이 위상적 폐쇄, 연속성, 콤팩트성 등을 완전하게 기술함을 증명한다.

상세 분석

논문은 먼저 거리공간에서 “A가 열린 집합 ⇔ A의 외부에서 온 수열이 A 안에서 수렴하지 않는다”라는 성질이 성립함을 상기한다. 이는 메트릭 구조가 갖는 첫째-수열(first‑countable) 성질에 기인한다. 그러나 일반 위상공간은 첫째-수열성을 반드시 갖지 않으며, 이때 수열만으로는 폐포, 연속성, 콤팩트성 등을 판별할 수 없다. 대표적인 반례로는 코피니트 위상(cofinite topology)과 첫 번째 비가산 순서수 ω₁에 정의된 순서 위상이 있다. 코피니트 위상에서는 모든 수열이 결국 일정한 점에 수렴하지만, 전체 집합 자체는 비컴팩트이며, 어떤 비열린 집합도 수열을 통해 폐쇄성을 드러내지 못한다. ω₁ 위상에서는 각 점이 가산한 이웃을 갖지 않으므로, “모든 수열이 수렴점이 있다”는 조건이 콤팩트성을 보장하지 않는다.

이러한 한계를 극복하기 위해 논문은 넷의 정의를 제시한다. 넷은 방향집합(directed set) I 위에 정의된 함수 x:I→X이며, I가 필터와 동등한 구조를 가짐으로써 수열보다 더 풍부한 인덱싱을 허용한다. 넷의 수렴은 “모든 열린 이웃 U에 대해, 어느 지점 i₀∈I가 존재하여 i≥i₀이면 x(i)∈U”라는 조건으로 정의된다. 이 정의는 위상공간의 모든 필터와 동치이며, 따라서 폐포, 연속성, 콤팩트성 등을 정확히 기술한다. 구체적으로, A⊆X가 폐집합 ⇔ 모든 A 안으로 수렴하는 넷이 결국 A 안에 머문다. 연속함수 f:X→Y는 “X의 모든 넷이 f에 의해 Y에서 수렴한다”는 조건과 동치이다. 또한, X가 콤팩트 ⇔ 모든 넷이 수렴하는 부분 넷을 가진다. 이러한 정리는 첫째-수열성을 요구하지 않으므로, 일반 위상공간 전반에 적용 가능하다.

논문은 마지막으로 넷과 필터, 그리고 초점(ultrafilter) 사이의 관계를 논의한다. 특히, 넷을 통해 얻은 수렴점은 해당 필터의 극대 원소와 일치함을 보이며, 이는 위상학적 구조를 완전하게 포착한다는 점을 강조한다. 전체적으로 논문은 수열이 갖는 직관적 장점을 인정하면서도, 넷이 제공하는 일반화된 수렴 개념이 위상학의 핵심 정의들을 보존한다는 중요한 교훈을 제시한다.