제1 범주 집합
일반위상수학에서 제1 범주 집합(第一範疇集合, 영어: meager set, set of first category)은 위상만으로 정의할 수 있는, ‘매우 작은’ 집합의 개념이다. 영집합의 개념과 유사하지만, 측도 없이도 정의된다.
정의
조밀한 곳이 없는 집합
위상 공간 의 부분 집합 에 대하여 다음 조건들이 서로 동치이며, 이를 만족시키는 집합을 조밀한 곳이 없는 집합(稠密한 곳이 없는 集合, 영어: nowhere dense set)이라고 한다.
- (A) .[1]:41, §8.A[2]:40, §9
- (A′) 는 의 조밀 열린집합이다.[1]:41, §8.A
- (B) 인 열린집합 가 존재한다.
- (C) 인 열린집합 가 존재한다.
- (B′) 인 닫힌집합 가 존재한다.
- (C′) 인 닫힌집합 가 존재한다.
여기서 은 폐포이며, 는 내부이며, 은 경계이다.
증명:
바나흐-마주르 게임
집합 속의 집합족 이 주어졌을 때, 임의의 부분 집합 에 대하여, 다음과 같은 2인(人) 게임을 생각하자.
- 두 선수 갑(甲)과 을(乙)이 있다.
- 갑과 을은 수(手)를 두는 것을 반복하며, 갑이 먼저 수를 둔다. 여기서, 수를 둔다는 것은 를 고르는 것이다. 수들을 라고 하자. (즉, 갑은 를 두고, 을은 를 둔다.) 각 선수는 이전에 놓인 모든 수(手)들을 알고 있으며, 또한 이어야 한다.
- 만약 라면 갑이 이기며, 아니라면 을이 이긴다.
이를 바나흐-마주르 게임(영어: Banach–Mazur game) 이라고 한다.[3]:232–233, §4[1]:51, §8.H
제1 범주 집합
위상 공간 속의 집합족 가 만족시킬 수 있는 다음과 같은 성질 (∗)를 정의하자.
- 성질 (∗): 임의의 에 대하여, 이며, 또한 임의의 열린집합 에 대하여, 인 가 하나 이상 존재한다.
(예를 들어, 를 공집합이 아닌 모든 열린집합의 족으로 잡으면 성질 (∗)가 성립한다.)
그렇다면, 위상 공간 의 임의의 부분 집합 에 대하여, 다음 세 조건들이 서로 동치이며, 이를 만족시키는 집합 를 의 제1 범주 집합이라고 한다.
- 는 가산 개의 조밀한 곳이 없는 집합들의 합집합이다. 즉, 가 되는, 가산 개의 조밀한 곳이 없는 집합들의 족 , 이 존재한다.[4]:295[1]:41, §8.A[2]:40, §9
- 바나흐-마주르 게임 에서 을이 필승 전략을 갖는, (∗) 조건을 만족시키는 집합족 이 존재한다.[3]:233, §[1]:51, Theorem 8.33
- (∗) 조건을 만족시키는 임의의 집합족 에 대한 바나흐-마주르 게임 에서 을이 필승 전략을 갖는다.[3]:233, §[1]:51, Theorem 8.33
위상 공간 의 제2 범주 집합(第二範疇集合, 영어: subset of the second category, 영어: nonmeager set)은 제1 범주 집합이 아닌 부분집합이다.[1]:41, §8.A[2]:40, §9
모든 제1 범주 집합의 여집합이 조밀 집합인 위상 공간을 베르 공간이라고 한다. 조밀한 곳이 없는 집합들과 열린집합들을 포함하는 최소의 시그마 대수의 원소를 준열린집합이라고 한다.
성질
함의 관계
위상 공간의 부분 집합에 대하여, 다음과 같은 함의 관계가 존재한다.
정칙 열린집합 ⇒ 열린집합 ⇗ ⇘ 열린닫힌집합 보렐 집합 ⇘ ⇗ ⇘ 정칙 닫힌집합 ⇒ 닫힌집합 준열린집합 ⇒ 부분 집합 ⇗ 조밀 열린집합의 여집합 ⇒ 조밀한 곳이 없는 집합 ⇒ 제1 범주 집합
연산에 대한 닫힘
다음이 성립한다.
집합의 종류 | 부분 집합에 대하여 닫힘? | 유한 합집합에 대하여 닫힘? | 가산 합집합에 대하여 닫힘? | 비가산 합집합에 대하여 닫힘? |
---|---|---|---|---|
조밀한 곳이 없는 집합 | ⭕ | ⭕ | ❌ | ❌ |
제1 범주 집합 | ⭕ | ⭕ | ⭕ | ❌ |
즉, 조밀한 곳이 없는 집합들은 순서 아이디얼을 이루며, 제1 범주 집합들은 시그마 아이디얼을 이룬다.
측도와 제1 범주성의 관계
측도와 범주 사이에는 다음과 같은 아날로지가 성립한다.[2]
원래 시그마 대수 | 추가되는 시그마 아이디얼 | 확장된 시그마 대수 | |
---|---|---|---|
측도 | 보렐 집합 | 영집합 | 르베그 가측 집합 |
범주 | 제1 범주 집합 | 준열린집합 |
그러나 다음 정리와 같이, 측도와 범주는 서로 잘 호환되지 않는다.
증명:
증명:
를 정의하면, 정의에 따라 다음이 성립한다.
- 는 Gδ 집합이다.
- 는 제1 범주 집합이다.
- 이므로 이다.
따라서, 측도가 0인 것과 제1 범주 집합인 것은 둘 다 매우 ‘작은’ 집합임을 의미하지만, 이들은 매우 다른 개념인 것을 알 수 있다.
반면, 에르되시-시에르핀스키 정리(Erdős-Sierpiński定理, 영어: Erdős–Sierpiński theorem)에 따르면, 만약 연속체 가설이 성립한다면 다음 조건들을 모두 만족시키는 전단사 함수 가 존재한다.[2]:75, Theorem 19.3[5]:643, §I
즉, 연속체 가설이 성립한다면 영집합과 제1 범주 집합 사이의 아날로지가 완벽히 성립하는 것을 알 수 있다.
그러나 슈필라인 불가능성 정리에 따르면, 다음 두 조건을 만족시키는 전단사 함수 는 존재할 수 없다.[2]:82[6]:306, §3
보렐 위계와의 관계
위상 공간 의 부분 집합 에 대하여, 다음 두 조건이 서로 동치이다.
- 는 조밀한 곳이 없는 집합이다.
- 는 조밀한 곳이 없는 집합이다.
위상 공간 의 부분 집합 이 열린집합이며 조밀한 곳이 없는 집합이라면, 는 공집합이다.
임의의 위상 공간 의 임의의 제1 범주 집합 에 대하여, 인 제1 범주 집합 이 존재한다. (여기서 는 Fσ 집합들의 족이다.)
증명:
정의에 따라, 은 가산 개의 조밀한 곳이 없는 집합 들의 합집합으로 나타낼 수 있다.
조밀한 곳이 없는 집합의 폐포는 (자명하게) 조밀한 곳이 없는 집합이므로,
로 놓으면 자명하게 이다.
예
실수선 의 부분 집합으로서, 유리수의 집합 는 제1 범주 집합이다. 반면, 무리수의 집합은 제1 범주 집합이 아니다. 또한, 유리수의 집합은 스스로의 부분 집합 으로서도 제1 범주 집합이다. 따라서, 유리수의 공간은 베르 공간이 아니다.
실수선의 부분 집합으로서, 칸토어 집합은 제1 범주 집합이다. 그러나 스스로의 부분 집합으로서 칸토어 집합은 베르 범주 정리에 따라서 제1 범주 집합이 아니다.
집합 은 실수선의 조밀한 곳이 없는 집합이며, 닫힌집합이 아니다.
베르 공간 의 모든 콤팩트 집합은 조밀한 곳이 없는 집합이다.[1]:41, §8.A
증명:
역사
제1 범주 집합의 개념은 르네루이 베르가 1899년 박사 학위 논문에서 도입하였다.[7][8]
에르되시-시에르핀스키 정리는 1934년에 바츠와프 시에르핀스키가 대합 조건을 제외하고 증명하였으며,[9] 이후 1943년에 에르되시 팔이 대합 조건을 추가하여 증명하였다.[5] 슈필라인 불가능성 정리는 1934년에 에드바르트 마르체프스키(폴란드어: Edward Marczewski, 1907~1976)가 증명하였다.[6]:306, §3 (마르체프스키의 본명은 에드바르트 슈필라인(폴란드어: Edward Szpilrajn)이었지만, 1940년에 나치 독일의 유대인 박해를 피하여 ‘마르체프스키’로 개명하였다.)
바나흐-마주르 게임은 스타니스와프 마주르가 1935년에 도입하였다. 당시 리비우에 살던 수학자들은 슈코츠카 카페(폴란드어: Kawiarnia Szkocka 카비아르니아 슈코츠카[*], 폴란드어: szkocka 슈코츠카[*]는 폴란드어: Szkocja 슈코치아[*](스코틀랜드)의 형용사형)에 모여서 수학 문제들을 토론하였으며, 토론에 의하여 얻은 결과들을 "슈코츠카 책"(폴란드어: Księga Szkocka 크시엥가 슈코츠카[*])이라는 노트에 기록하였다. 마주르의 게임의 필승 전략과 제1 범주성 사이의 관계는 슈코츠카 책의 43번 문제로 수록되었으며, 같은 책에서 스테판 바나흐가 1935년 8월 4일 증명하였다고 기록되었다.[10]:116, Problem 43 그러나 바나흐는 이 증명을 기록하지 않았다.
이후 1957년에 존 옥스토비(영어: John C. Oxtoby, 1910~1991)가 마주르의 추측의 증명을 출판하였다.[11]
각주
- ↑ 가 나 다 라 마 바 사 아 Kechris, Alexander Sotirios (1995). 《Classical descriptive set theory》. Graduate Texts in Mathematics (영어) 156. Springer-Verlag. doi:10.1007/978-1-4612-4190-4. ISBN 978-1-4612-8692-9. ISSN 0072-5285. MR 1321597. Zbl 0819.04002.
- ↑ 가 나 다 라 마 바 Oxtoby, John C. (1980). 《Measure and category: a survey of the analogies between topological and measure spaces》. Graduate Texts in Mathematics (영어) 2 2판. Springer-Verlag. doi:10.1007/978-1-4684-9339-9. ISBN 978-0-387-90508-2. ISSN 0072-5285. MR 584443. Zbl 0435.28011.
- ↑ 가 나 다 Telgársky, Rastislav (1987). “Topological games: on the 50th anniversary of the Banach–Mazur game”. 《Rocky Mountain Journal of Mathematics》 (영어) 17 (2). doi:10.1216/RMJ-1987-17-2-227. ISSN 0035-7596. MR 892457.
- ↑ Munkres, James R. (2000). 《Topology》 (영어) 2판. Prentice Hall. ISBN 978-0-13-181629-9. MR 0464128. Zbl 0951.54001.
- ↑ 가 나 Erdös, P. (1943년 10월). “Some remarks on set theory” (PDF). 《Annals of Mathematics》 (영어) 44 (4): 643–646. doi:10.2307/1969101. ISSN 0003-486X. JSTOR 1969101. MR 0009614. Zbl 0060.13112.
- ↑ 가 나 Szpilrajn, Edward (1934). “Remarques sur les fonctions complètement additives d’ensemble et sur les ensembles jouissant de la propriété de Baire” (PDF). 《Fundamenta Mathematicae》 (프랑스어) 22 (1): 303–311. ISSN 0016-2736. JFM 60.0037.04. Zbl 0009.30404.
- ↑ Baire, R. (1899). “Sur les fonctions de variables réelles”. 《Annali di Matematica Pura ed Applicata》 (프랑스어) 3: 1–123. doi:10.1007/BF02419243. ISSN 0373-3114. JFM 30.0359.01.
- ↑ Jones, Sara Hawtrey (1999). “Applications of the Baire category theorem”. 《Real Analysis Exchange》 (영어) 23 (2): 363–394. ISSN 0147-1937. MR 1640007. Zbl 0943.26013.
- ↑ Sierpiński, W. (1934). “Sur la dualité entre la premiere categorie et la mesure nulle” (PDF). 《Fundamenta Mathematicae》 (프랑스어) 22: 276–280. ISSN 0016-2736. JFM 60.0040.01. Zbl 0009.20405.
- ↑ Mauldin, R. Daniel (2015). 〈Chapter 6. Problems with commentary〉. Mauldin, R. Daniel. 《The Scottish Book: mathematics from the Scottish Café with selected problems from the New Scottish Book》 (영어) 2판. Birkhäuser. 51–282쪽. doi:10.1007/978-3-319-22897-6_6. ISBN 978-3-319-22896-9. MR 666400.
- ↑ Oxtoby, John C. (1957). 〈The Banach–Mazur game and the Banach category theorem〉. Dresher, Melvin; Tucker, Albert William; Wolfe, Philip. 《Contributions to the theory of games. Volume III》. Annals of Mathematics Studies (영어) 39. Princeton University Press. 159–163쪽. ISBN 978-069107936-3. MR 0093741. Zbl 0078.32903.
외부 링크
- “Category of a set”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.
- “Nowhere-dense set”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.
- “Banach-Mazur game”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.
- Weisstein, Eric Wolfgang. “Meager set”. 《Wolfram MathWorld》 (영어). Wolfram Research.
- Weisstein, Eric Wolfgang. “Nonmeager set”. 《Wolfram MathWorld》 (영어). Wolfram Research.
- Weisstein, Eric Wolfgang. “First category”. 《Wolfram MathWorld》 (영어). Wolfram Research.
- Weisstein, Eric Wolfgang. “Second category”. 《Wolfram MathWorld》 (영어). Wolfram Research.
- Weisstein, Eric Wolfgang. “Residual set”. 《Wolfram MathWorld》 (영어). Wolfram Research.
- Weisstein, Eric Wolfgang. “Nowhere dense”. 《Wolfram MathWorld》 (영어). Wolfram Research.
- “Definition: meagre”. 《ProofWiki》 (영어). [깨진 링크(과거 내용 찾기)]
- “Definition: nowhere dense”. 《ProofWiki》 (영어).
- “Is there a measure zero set which isn’t meagre?”. 《Math Overflow》 (영어).