[FTC의 엄밀한 증명] ch8. 열린 집합과 닫힌 집합
이전 읽을거리 : [FTC의 엄밀한 증명] ch7. 무한급수
다음 읽을거리 : [FTC의 엄밀한 증명] ch9. 연결집합
본 포스팅은 'Stephen Abbott, 해석학 첫걸음(2판)'을 공부하며 작성하였습니다.
9. 열린 집합과 닫힌 집합
열린 집합과 닫힌 집합의 개념은 함수에 대한 성질을 탐구할 때 매우 중요한 성질이다. 미리 밝히자면, 열린 구간은 열린 집합의 한 종류이며 닫힌 구간은 닫힌 집합의 한 종류이다. 이러한 사실을 기준으로 열린 집합과 닫힌 집합의 정의를 잘 이해해보자.
9.1. 열린 집합
근방의 정의를 다시 확인하자.
정의)와 에 대해, 다음과 같이 정의된 집합 를 의 -근방( -neighborhood)이라고 한다.
그 정의에 따라
정리하면
정의) 집합를 생각하자. 임의의 에 대해 어떤 가 존재하여 가 성립하면 집합 를 열린 집합(open set)이라고 한다.
근방에 대한 논의를 적용하면, 열린 집합은 모든 점의 양 옆에 무한히 많은 점이 존재하는 집합이라고 할 수 있다. 열린 집합이 아닌 예시로 닫힌 구간
정리 9.1-1) 열린 구간은 열린 집합이다.
proof)
열린 구간
따라서
9.2. 닫힌 집합
닫힌 집합의 개념은 열린 집합보다 다소 복잡하다.
닫힌 집합에서 닫힌의 의미가 무엇일까? 미리 말하지만 닫힌 구간의 닫힌과는 그 의미가 사뭇 다르다. 다음을 참고하자.
집합에 정의된 이항연산 을 생각하자. 임의의 에 대해 이면 는 에 대해 닫혀있다고 한다.
다시말해 연산이 닫혀있다는건 연산의 결과도 무조건 그 집합 안에 갇혀있다는 뜻이며, 닫힌 집합의 닫힌도 비슷한 의미이다. (필자가 번역을 맡았다면 닫힌 집합 대신 갇힌 집합이라고 했을 것이다)
결론부터 말하자면 닫힌 집합은 그 집합의 원소로 이루어진 수열의 극한이 항상 그 집합의 원소인 것이다.
차근차근 정의해보자.
정의)의 임의의 -근방 에 대해 어떤 가 존재하여 이며 이면 를 의 극한점(limit point)이라고 한다.
즉,
참고로, 정의를 잘 보면
정리 9.2-1)가 의 극한점일 필요충분조건은 어떤 수열 이 존재하여 이며 인 것이다.
proof)
따라서
어떤 수열
이때
극한점의 정의에
정의)의 극한점이 아닌 에 대해 이면 를 의 고립점(isolated point)이라고 한다.
고립점이라는 이름이 붙은 이유는
즉,
사실 고립점이 그렇게 중요한 개념은 아니다. 집합의 원소 중 그 집합의 극한점이 아닌 점이 있을 수도 있다는 사실만 인지하고 넘어가자. 다음의 정의를 확인하자.
정의)의 임의의 극한점 에 대해 가 성립하면 를 닫힌 집합(closed set)이라고 한다.
※ 닫힌 집합의 정의에 따르면, 극한점을 가지지 않는 집합도 닫힌 집합이 된다.
즉, 자기 자신의 극한점을 모두 포함하는 집합이 닫힌 집합이다. 이 정의를 처음보면 어떤 집합까지 닫힌 집합인지 상상하기 어려울 것이다. 좋은 예를 들자면, 다음의 집합은 필자가 본 닫힌 집합중에 가장 순수하게 닫힌 집합의 속성만을 담고 있는 집합이다.

설명의 편의를 위해
그렇다면
닫힌 집합에 대한 위의 예시는 조금 당황스럽지만, 우리에게 매우 익숙한 예시도 있다. 아래의 정리를 확인하자.
정리 9.2-2) 닫힌 구간은 닫힌 집합이다.
proof)
닫힌 구간
닫힌 집합이 수열의 극한에 대해 닫혀있도록 하고자 한 소기의 목적이 달성되었는지 확인하자.
정리 9.2-3) 집합이 닫힌 집합일 필요충분조건은 임의의 코시수열 에 대해 이면 인 것이다.
※ 코시수열이란 수렴하는 수열과 동일한 의미이다. 코시 수렴 판정법 참고.
proof)
집합
임의의 코시수열
9.3. 여집합에 의한 정의
한가지 중요한 사실을 짚고가자. 열린과 닫힌은 일상 용어와 달리 반의어 개념이 아니다. 열린 집합이 아니면 닫힌 집합이어야 할 것 같고, 닫힌 집합이 아니면 열린 집합이 아니어야 할 것 같지만 실상은 그렇지 않다. 오히려 대부분의 집합이 열린 집합도 아니며 닫힌 집합도 아니다. 열린 집합과 닫힌 집합의 정의를 만족하는게 까다롭다는걸 생각하면 오히려 당연한 사실이다.
앞선 논의를 보면 열린 집합을 정의할 때보다 닫힌 집합을 정의하는게 다소 번거롭다는 것을 느꼈을 것이다. 그런데 혹자는 닫힌 집합을 매우 간결하게 정의하는 방법을 알고있다. 다음의 정의를 확인하자.
정의) 집합의 여집합(complement) 는 다음과 같이 정의한다.
다시말해 여집합은 원래 집합에 속하지 않은 점들의 집합이다. 여집합을 활용하면 닫힌 집합을 판별하는 매우 강력한 방법을 알아낼 수 있다. 다음의 정리를 확인하자.
정리 9.3-2) 집합가 열린 집합이기 위한 필요충분조건은 가 닫힌 집합인 것이다.
proof)
집합
위의 정리에서 얻을 수 있는 교훈은 열린 집합의 여집합을 닫힌 집합으로 정의할 수도 있다는 것이다. 실제로 간결한 설명을 지향하는 많은 사람들은 이러한 방식으로 닫힌 집합을 정의하기도 한다.
읽어주셔서 감사합니다.
이전 읽을거리 : [FTC의 엄밀한 증명] ch7. 무한급수
다음 읽을거리 : [FTC의 엄밀한 증명] ch9. 연결집합
'수학 > 해석학' 카테고리의 다른 글
[FTC의 엄밀한 증명] ch10. 콤팩트 집합 (0) | 2022.03.02 |
---|---|
[FTC의 엄밀한 증명] ch9. 연결집합 (4) | 2022.02.28 |
[FTC의 엄밀한 증명] ch7. 무한급수 (0) | 2022.02.25 |
[FTC의 엄밀한 증명] ch6. 코시 수열 (2) | 2022.02.25 |
[FTC의 엄밀한 증명] ch5. 부분수열 (0) | 2022.02.24 |
댓글