제1 범주 집합

일반위상수학에서 제1 범주 집합(第一範疇集合, )은 위상만으로 정의할 수 있는, ‘매우 작은’ 집합의 개념이다. 영집합의 개념과 유사하지만, 측도 없이도 정의된다.

정의

조밀한 곳이 없는 집합 
위상 공간 의 부분 집합 에 대하여 다음 조건들이 서로 동치이며, 이를 만족시키는 집합을 조밀한 곳이 없는 집합(稠密한 곳이 없는 集合, )이라고 한다.
 (A) .
 (A′) 는 의 조밀 열린집합이다.
 (B) 인 열린집합 가 존재한다.
 (C) 인 열린집합 가 존재한다.
 (B′) 인 닫힌집합 가 존재한다.
 (C′) 인 닫힌집합 가 존재한다.
여기서 은 폐포이며, 는 내부이며, 은 경계이다.
증명:
조건 A ⇒ 조건 B: 로 놓는다. 그렇다면 이며, 이다.

조건 B ⇒ 조건 C: 는 닫힌집합이므로, 이다.

조건 C ⇒ 조건 A: 우선, 는 닫힌집합이다. 따라서 이다. 또한, 임의의 열린집합 에 대하여, 이므로 인데, 또한 이다. 따라서 이며, 이다.

조건 A ⇔ 조건 A′: 조밀 집합의 정의에 의하여 자명하다.

조건 B ⇔ 조건 B′, 조건 C ⇔ 조건 C′: 로 놓으면 이다.

바나흐-마주르 게임 
집합  속의 집합족 이 주어졌을 때, 임의의 부분 집합 에 대하여, 다음과 같은 2인(人) 게임을 생각하자.
 두 선수 갑(甲)과 을(乙)이 있다.
 갑과 을은 수(手)를 두는 것을 반복하며, 갑이 먼저 수를 둔다. 여기서, 수를 둔다는 것은 를 고르는 것이다. 수들을 라고 하자. (즉, 갑은 를 두고, 을은 를 둔다.) 각 선수는 이전에 놓인 모든 수(手)들을 알고 있으며, 또한 이어야 한다.
 만약 라면 갑이 이기며, 아니라면 을이 이긴다.
이를 바나흐-마주르 게임() 이라고 한다.

제1 범주 집합 
위상 공간  속의 집합족 가 만족시킬 수 있는 다음과 같은 성질 (∗)를 정의하자.
 성질 (∗): 임의의 에 대하여, 이며, 또한 임의의 열린집합 에 대하여, 인 가 하나 이상 존재한다.
(예를 들어, 를 공집합이 아닌 모든 열린집합의 족으로 잡으면 성질 (∗)가 성립한다.)

그렇다면, 위상 공간 의 임의의 부분 집합 에 대하여, 다음 세 조건들이 서로 동치이며, 이를 만족시키는 집합 를 의 제1 범주 집합이라고 한다.
 는 가산 개의 조밀한 곳이 없는 집합들의 합집합이다. 즉, 가 되는, 가산 개의 조밀한 곳이 없는 집합들의 족 , 이 존재한다.
 바나흐-마주르 게임 에서 을이 필승 전략을 갖는, (∗) 조건을 만족시키는 집합족 이 존재한다.
 (∗) 조건을 만족시키는 임의의 집합족 에 대한 바나흐-마주르 게임 에서 을이 필승 전략을 갖는다.

위상 공간 의 제2 범주 집합(第二範疇集合, , )은 제1 범주 집합이 아닌 부분집합이다.

모든 제1 범주 집합의 여집합이 조밀 집합인 위상 공간을 베르 공간이라고 한다. 조밀한 곳이 없는 집합들과 열린집합들을 포함하는 최소의 시그마 대수의 원소를 준열린집합이라고 한다.

성질

함의 관계 
위상 공간의 부분 집합에 대하여, 다음과 같은 함의 관계가 존재한다.
{| style="text-align: center"
| colspan=2 | || 정칙 열린집합 ⇒ 열린집합
|-
| || ⇗ ||  || ⇘
|-
| 열린닫힌집합
|colspan=3| || 보렐 집합
|-
| || ⇘ || || ⇗ || || ⇘
|-
| colspan=2 | ||  정칙 닫힌집합 ⇒ 닫힌집합
| colspan=3 | || 준열린집합 ⇒ 부분 집합
|-
| colspan=5 | || ⇗
|-
| colspan=5 style="text-align: right" | 조밀 열린집합의 여집합 ⇒ 조밀한 곳이 없는 집합 ⇒ 제1 범주 집합
|}

연산에 대한 닫힘 
다음이 성립한다.

즉, 조밀한 곳이 없는 집합들은 순서 아이디얼을 이루며, 제1 범주 집합들은 시그마 아이디얼을 이룬다.

측도와 제1 범주성의 관계 
측도와 범주 사이에는 다음과 같은 아날로지가 성립한다.

그러나 다음 정리와 같이, 측도와 범주는 서로 잘 호환되지 않는다.
 유클리드 공간  및 임의의 양의 실수 에 대하여, 인, 르베그 가측 조밀한 곳이 없는 열린집합 가 존재한다. (여기서 은 르베그 측도이다.)
증명:
유리수 집합의 곱집합과 자연수 집합 사이의 임의의 전단사 함수 을 생각하자. 이제, 다음과 같은 열린집합들의 열을 생각하자.

여기서 는 반지름 , 중심 의 열린 공이다.
그렇다면, 다음이 성립하는 것을 쉽게 알 수 있다.
 .
 는 조밀한 곳이 없는 집합인 닫힌집합이다.
이제 로 놓고 로 놓으면 된다.
 가 르베그 영집합인 Gδ 제1 범주 집합 가 존재한다.
증명:
집합

를 정의하면, 정의에 따라 다음이 성립한다.
 는 Gδ 집합이다.
 는 제1 범주 집합이다.
 이므로 이다.
따라서, 측도가 0인 것과 제1 범주 집합인 것은 둘 다 매우 ‘작은’ 집합임을 의미하지만, 이들은 매우 다른 개념인 것을 알 수 있다.

반면, 에르되시-시에르핀스키 정리(Erdős-Sierpiński定理, )에 따르면, 만약 연속체 가설이 성립한다면 다음 조건들을 모두 만족시키는 전단사 함수 가 존재한다.
 대합이다. 즉, 임의의 에 대하여 이다.
 임의의 부분 집합 에 대하여, 가 제1 범주 집합일 필요 충분 조건은 가 르베그 영집합인 것이다.
즉, 연속체 가설이 성립한다면 영집합과 제1 범주 집합 사이의 아날로지가 완벽히 성립하는 것을 알 수 있다.

그러나 슈필라인 불가능성 정리에 따르면, 다음 두 조건을 만족시키는 전단사 함수 는 존재할 수 없다.
 에 대하여, 가 르베그 가측 집합일 필요 충분 조건은 가 준열린집합인 것이다.
 에 대하여, 가 르베그 영집합일 필요 충분 조건은 가 제1 범주 집합인 것이다.

보렐 위계와의 관계 
위상 공간 의 부분 집합 에 대하여, 다음 두 조건이 서로 동치이다.
 는 조밀한 곳이 없는 집합이다.
 는 조밀한 곳이 없는 집합이다.

위상 공간 의 부분 집합 이 열린집합이며 조밀한 곳이 없는 집합이라면, 는 공집합이다.

임의의 위상 공간 의 임의의 제1 범주 집합 에 대하여, 인 제1 범주 집합 이 존재한다. (여기서 는 Fσ 집합들의 족이다.)
증명:
정의에 따라, 은 가산 개의 조밀한 곳이 없는 집합 들의 합집합으로 나타낼 수 있다.

조밀한 곳이 없는 집합의 폐포는 (자명하게) 조밀한 곳이 없는 집합이므로,

로 놓으면 자명하게 이다.

예 
실수선 의 부분 집합으로서, 유리수의 집합 는 제1 범주 집합이다. 반면, 무리수의 집합은 제1 범주 집합이 아니다. 또한, 유리수의 집합은 스스로의 부분 집합 으로서도 제1 범주 집합이다. 따라서, 유리수의 공간은 베르 공간이 아니다.

실수선의 부분 집합으로서, 칸토어 집합은 제1 범주 집합이다. 그러나 스스로의 부분 집합으로서 칸토어 집합은 베르 범주 정리에 따라서 제1 범주 집합이 아니다.

집합 은 실수선의 조밀한 곳이 없는 집합이며, 닫힌집합이 아니다.

베르 공간 의 모든 콤팩트 집합은 조밀한 곳이 없는 집합이다.

귀류법을 사용하여, 가 콤팩트 집합이지만, 조밀한 곳이 없는 집합이 아니라고 하자. 은 하우스도르프 공간이므로, 는 닫힌집합이다. 따라서 이며, 는 다음과 같은 꼴의 열린집합을 포함한다.

이는 닫힌집합이기도 하므로, 콤팩트 집합이다. 하지만 그 열린 덮개

는 유한 부분 덮개를 갖지 않는다. 이는 모순이다.

역사 

제1 범주 집합의 개념은 르네루이 베르가 1899년 박사 학위 논문에서 도입하였다.

에르되시-시에르핀스키 정리는 1934년에 바츠와프 시에르핀스키가 대합 조건을 제외하고 증명하였으며, 이후 1943년에 에르되시 팔이 대합 조건을 추가하여 증명하였다. 슈필라인 불가능성 정리는 1934년에 에드바르트 마르체프스키(, 1907~1976)가 증명하였다. (마르체프스키의 본명은 에드바르트 슈필라인()이었지만, 1940년에 나치 독일의 유대인 박해를 피하여 ‘마르체프스키’로 개명하였다.)

바나흐-마주르 게임은 스타니스와프 마주르가 1935년에 도입하였다. 당시 리비우에 살던 수학자들은 슈코츠카 카페(, 는 (스코틀랜드)의 형용사형)에 모여서 수학 문제들을 토론하였으며, 토론에 의하여 얻은 결과들을 "슈코츠카 책"()이라는 노트에 기록하였다. 마주르의 게임의 필승 전략과 제1 범주성 사이의 관계는 슈코츠카 책의 43번 문제로 수록되었으며, 같은 책에서 스테판 바나흐가 1935년 8월 4일 증명하였다고 기록되었다. 그러나 바나흐는 이 증명을 기록하지 않았다.

이후 1957년에 존 옥스토비(, 1910~1991)가 마주르의 추측의 증명을 출판하였다.

참고 문헌

외부 링크 
 
 
 
 
 
 
 
 
 
 
 
 

일반위상수학