열린집합 (Open Set)
쉽게 풀면
열린집합은 경계선을 포함하지 않는 집합이라고 생각하면 이해하기 쉽다. 집합 안의 어떤 점을 골라도, 그 점 주변을 아주 조금 확대해서 봐도 여전히 그 집합 안에 머물러 있다면 열린집합이다. 반대로 경계까지 포함하는 집합은 닫힌집합이라고 하며, 이 두 개념은 위상공간 이론 전체의 출발점이 되는 가장 기본적인 재료다.
왜 중요한가
열린집합은 위상수학 전체를 떠받치는 가장 기본적인 개념으로, 연속성·수렴·컴팩트성·연결성 같은 위상수학의 핵심 성질들이 모두 열린집합을 이용해 정의됩니다. 거리(metric)라는 구체적인 측정 수단 없이도 "가깝다"는 개념을 다룰 수 있게 해주기 때문에, 해석학·기하학은 물론 함수해석학이나 대수기하학처럼 더 추상적인 공간을 다루는 분야에서도 공통 언어로 쓰입니다.
논문에서는 이렇게 쓰입니다
함수의 연속성이나 위상공간의 구조를 엄밀하게 정의할 때 열린집합의 개념이 기초 재료로 사용된다.
위상공간을 정의하는 공리 자체를 열린집합의 성질로 서술한 문장으로, 순수수학 논문에서 위상 구조를 도입할 때 흔히 등장합니다.
응용수학·동역학계 연구에서 특정 조건을 만족하는 매개변수들의 집합이 열린집합이라는 것을 보여, 조건을 살짝 흔들어도 결과가 안정적으로 유지된다는 것을 증명하는 데 쓰인 예입니다.
조금 더 깊게 보면
열린집합의 모임 전체를 위상(topology)이라 부르며, 이 위상이 정의된 공간을 위상공간이라 합니다. 위상은 공집합과 전체집합을 포함하고, 유한 개의 교집합과 임의 개의 합집합에 대해 닫혀 있어야 한다는 공리를 만족해야 합니다. 거리공간에서는 거리 함수를 이용해 열린공(open ball)을 정의하고 이를 바탕으로 열린집합을 정의하지만, 일반적인 위상공간에서는 거리 없이 열린집합의 모임 자체를 출발점으로 삼는다는 점이 핵심적인 차이입니다.
주의할 점
'열려 있다'는 것이 '경계가 없다'는 뜻은 아니며, 어떤 집합은 열려 있으면서 동시에 닫혀 있을 수도 있다(예: 전체 공간).