파일:Circle black 내부, 원의 중심으로부터 반지름 미만의 거리에 위치한 점들의 집합은 열린집합이다. 반대로, 경계를 포함하는 원판, 원의 중심으로부터 반지름 이하의 거리에 위치한 점들의 집합은 닫힌집합이다. 일반위상수학에서, '''열린집합'''(-集合, 또는 '''개집합'''(開集合)은 스스로의 경계를 전혀 포함하지 않는, 위상 공간의 부분 집합이다. 마찬가지로, '''닫힌집합'''(-集合, 또는 '''폐집합'''(閉集合)은 스스로의 경계를 모두 포함하는, 위상 공간의 부분 집합이다. 열린집합은 닫힌집합의 여집합이며, 반대로 닫힌집합은 열린집합의 여집합이다. 이름과 달리, 열린집합과 닫힌집합의 개념은 서로 반대말이 아니다. 즉, 주어진 부분 집합은 동시에 열린집합이자 닫힌집합일 있으며, 이러한 부분 집합을 또는 한다. == 정의 == === 열린집합과 닫힌집합 === 위상 공간의 정의에서, 열린집합의 개념은 보통 무정의 개념으로 간주된다. 즉, 위상 공간은 특정한 집합족 갖춘 집합이며, 원소를 열린집합이라고 한다. 만약 위상 공간을 열린집합이 아닌 다른 방법으로 정의하게 된다면, 위상 공간 부분 집합 대하여 다음 개념들이 서로 동치이며, 이를 만족시키는 부분 집합을 '''열린집합'''이라고 한다. (닫힌집합을 통한 정의) 닫힌집합이다. (내부를 통한 정의) (폐포를 통한 정의) (경계를 통한 정의) (극한점을 통한 정의) 여기서 극한점의 집합이다. (밀착점을 통한 정의) 여기서 밀착점의 집합이다. 마찬가지로, 위상 공간 부분 집합 대하여 다음 개념들이 서로 동치이며, 이를 만족시키는 부분 집합을 '''닫힌집합'''이라고 한다. (열린집합을 통한 정의) 열린집합이다. (폐포를 통한 정의) (내부를 통한 정의) (경계를 통한 정의) (극한점을 통한 정의) 여기서 극한점의 집합이다. (밀착점을 통한 정의) 여기서 밀착점의 집합이다. 위상 공간 열린집합들의 집합족은 로, 닫힌집합들의 집합족은 표기한다. (이 기호는 보렐 위계의 일부에서 유래한다.) 주어진 부분 집합을 포함하는 최소의 닫힌집합을 '''폐포'''라 하며, 주어진 부분 집합에 포함되는 최대의 열린집합을 '''내부'''라 한다. === 열린닫힌집합 === 어떤 위상 공간 부분 집합 대하여, 다음 조건이 서로 동치이며, 이를 만족시키는 집합을 '''열린닫힌집합'''이라고 한다. 열린집합이며 닫힌집합이다. 즉, 이다. 정칙 열린집합이며 정칙 닫힌집합이다. 즉, 이다. 즉, 경계는 공집합이다. 닫힌집합이며, 이다. 위상 공간 열린닫힌집합들의 집합족은 표기한다. (이 기호는 보렐 위계의 일부에서 유래한다.) === 정칙 열린집합과 정칙 닫힌집합 === 위상 공간 부분 집합 대하여 다음 조건들이 서로 동치이며, 이를 만족시키는 부분 집합 '''정칙 열린집합'''(正則-集合, )이라고 한다. 스스로의 폐포의 내부와 일치한다. 즉, 이다. 닫힌집합 존재한다. 정칙 닫힌집합의 여집합이다. 마찬가지로, 위상 공간 부분 집합 대하여 다음 조건들이 서로 동치이며, 이를 만족시키는 부분 집합 '''정칙 닫힌집합'''(正則-集合, )이라고 한다. 스스로의 내부의 폐포와 일치한다. 즉, 이다. 열린집합 존재한다. 정칙 열린집합의 여집합이다. == 성질 == === 함의 관계 === 위상 공간의 부분 집합에 대하여, 다음과 같은 함의 관계가 존재한다. 정칙 열린집합 열린집합 열린닫힌집합 보렐 집합 정칙 닫힌집합 닫힌집합 준열린집합 부분 집합 조밀 열린집합의 여집합 조밀한 곳이 없는 집합 제1 범주 집합 === 연산에 대한 닫힘 === 임의의 위상 공간에서, 열린집합·정칙 닫힌집합들은 다음과 같은 연산에 대하여 닫혀 있다. 집합족 유한 교집합에 대해 닫힘 임의의 교집합에 대해 닫힘 유한 합집합에 대해 닫힘 임의의 합집합에 대해 닫힘 여집합에 대해 닫힘 연속 함수에 대한 원상 열린집합 닫힌집합 열린닫힌집합 정칙 열린집합 정칙 닫힌집합 표에서, ⭕는 집합족이 주어진 연산에 대하여 닫혀 있다는 뜻이다. 예를 들어, 열린집합의 유한 교집합은 항상 열린집합이다. ❌는 일반적인 위상 공간에서 집합족이 주어진 연산에 대하여 닫혀 있지 않을 있다는 뜻이며, 특정 위상 공간에서는 집합족들이 추가 연산에 대하여 닫혀 있을 있다. 예를 들어, 알렉산드로프 공간에서 열린집합들은 임의의 교집합에 대하여 닫혀 있다. 열린집합·닫힌집합의 개념을 사용하여, 위상 공간 사이의 다음과 같은 특별한 함수들을 정의할 있다. 집합족 보존 원상 보존 열린집합 열린 함수 연속 함수 닫힌집합 닫힌 함수 즉, 열린집합의 상이 항상 열린집합인 함수는 열린 함수라고 하며, 닫힌집합의 원상이 항상 닫힌집합인 함수는 연속 함수라고 한다. === 연결성과의 관계 === 임의의 위상 공간 대하여, 다음 조건이 서로 동치이다. 연결 공간이다. 정확히 개의 열린닫힌집합을 갖는다. (이는 물론 이다.) 임의의 열린닫힌집합은 (유한 또는 무한 개의) 연결 성분들의 합집합이다. 유한 개의 연결 성분을 갖는 위상 공간 부분 집합 대하여, 다음 조건이 서로 동치이다. 열린닫힌집합이다. 자연수 연결 성분들 존재한다. 그러나 무한 개의 연결 성분을 갖는 위상 공간의 경우, 열린집합이 아닌 연결 성분이 존재할 있다. === 순서론적 성질 === 위상 공간 열린닫힌집합들은 합집합·교집합·여집합 아래 대수를 이룬다. 반대로, 스톤 표현 정리에 따라 모든 대수는 어떤 위상 공간의 열린닫힌집합 대수로 나타낼 있다. 위상 공간 위의 정칙 열린집합들의 집합족 위에 다음과 같은 연산 들을 부여하면, 이는 완비 대수를 이룬다. 임의의 정칙 열린집합들의 상한과 하한은 각각 다음과 같다. 마찬가지로, 위상 공간 위의 정칙 닫힌집합들의 집합족 위에 다음과 같은 연산 들을 부여하면, 이는 완비 대수를 이룬다. 임의의 정칙 닫힌집합들의 상한과 하한은 각각 다음과 같다. == == === 거리 공간 === 유클리드 공간을 비롯한 거리 공간 주어져 있을 때, 중심 의, 반지름 열린 공은 다음과 같다. 모든 열린 공들은 정칙 열린집합이다. 열린집합들은 열린 공들의 합집합이다. (다시 말해, 열린 공들은 기저를 이룬다.) 즉, 임의의 부분 집합 대하여 다음 조건이 서로 동치이다. 열린집합이다. 임의의 대하여, 되는 양의 실수 존재한다. === 전순서 집합 === 실수선과 같은 전순서 집합 순서 위상에서, 열린집합들은 열린구간들의 합집합이다. 즉, 모든 열린구간 또는 또는 정칙 열린집합이며, 열린구간들의 합집합은 열린집합이며, 반대로 모든 열린집합은 열린구간의 합집합으로 나타낼 있다. 다시 말해, 열린구간들은 기저를 이룬다. (그러나 열린구간들의 합집합이 정칙 열린집합일 필요는 없다.) === 이산 공간 === 임의의 위상 공간 대하여, 다음 조건들이 모두 서로 동치이다. 모든 부분 집합은 열린닫힌집합이다. 모든 부분 집합은 열린집합이다. 모든 부분 집합은 닫힌집합이다. 모든 부분 집합은 정칙 열린집합이다. 모든 부분 집합은 정칙 닫힌집합이다. 이산 공간이다. 즉, 이산 공간에서는 (정의에 따라) 모든 부분 집합들이 열린집합·닫힌집합·정칙 열린집합·정칙 닫힌집합·열린닫힌집합이다. === 비이산 공간 === 비이산 공간 에서, 열린집합은 밖에 없다. 마찬가지로, 닫힌집합·정칙 열린집합·정칙 닫힌집합·열린닫힌집합 또한 밖에 없다. === 열린닫힌집합 === 임의의 위상 공간 에서, 열린닫힌집합이며, 따라서 항상 정칙 열린집합이자 정칙 닫힌집합이다. 유리수의 위상 공간 에서, 구간 열린닫힌집합이다. T1 공간 고립점 주어졌을 때, 한원소 집합 (정의에 따라) 열린닫힌집합이다. === 정칙 열린집합이 아닌 열린집합 === 실수선의 열린집합 생각하자. 그렇다면, 이므로, 열린집합이지만 정칙 열린집합이 아니다. 마찬가지로, 여집합 닫힌집합이지만 정칙 닫힌집합이 아니다. 또한, 열린구간 정칙 열린집합이므로, 정칙 열린집합들은 유한 합집합에 대하여 닫혀 있지 않음을 있다. 마찬가지로, 정칙 닫힌집합들은 유한 교집합에 대하여 닫혀 있지 않음을 있다. 절댓값 함수 연속 함수이다. 함수 아래, 정칙 열린집합 원상 열린집합이지만 정칙 열린집합이 아니다. 즉, 정칙 열린집합은 연속 함수에 대한 원상에 대하여 닫혀 있지 않다. == 역사 == 열린집합·닫힌집합의 개념은 극한점의 개념의 등장 이후 발달되었다. ‘닫힌집합’(, )이라는 용어는 게오르크 칸토어가 1884년에 최초로 사용하였다. ‘열린집합’()이라는 용어는 르네루이 베르가 1899년 박사 학위 논문에서 최초로 사용하였다. == 참고 문헌 == == 외부 링크 == 분류:일반위상수학