결정 집합 문서 원본 보기

{{위키데이터 속성 추적}}
[[집합론]]과 [[일반위상수학]]에서 '''결정 집합'''(決定集合, {{llang|en|determined set}})은 두 사람이 번갈아서 [[자연수]]를 고르는 [[게임 이론|게임]]에서, 항상 두 사람 가운데 하나가 필승 전략을 갖게 되는 집합이다. '''결정 공리'''(決定公理, {{llang|en|axiom of determinacy}}, 약자 <math>\mathsf{AD}</math>)는 자연수열 공간의 모든 부분 집합이 결정 집합이라는 명제이다.<ref>{{서적 인용|last1=Woodin|first1=W. Hugh|authorlink=윌리엄 휴 우딘|title=The axiom of determinacy, forcing axioms, and the nonstationary ideal|판=2|date=2010|publisher=Walter de Gruyter|총서=De Gruyter Series in Logic and Its Applications|권=1|url=http://www.degruyter.com/view/product/175909|zbl=1203.03059|isbn=978-3-11-019702-0|언어=en|access-date=2016-08-23|archive-date=2016-09-17|archive-url=https://web.archive.org/web/20160917192455/http://www.degruyter.com/view/product/175909|url-status=dead}}</ref> 결정 공리는 [[선택 공리]]와 모순되지만, 제한된 형태는 선택 공리와 일관적일 수 있다.

== 정의 ==
=== 결정 집합 ===
다음과 같은 데이터가 주어졌다고 하자.
* 집합 <math>A</math>
* <math>A</math>의 원소의 열들의 집합 <math>X\subseteq A^\omega</math>. 이를 '''승패 집합'''(勝敗集合, {{llang|en|payoff set}})이라고 한다.
* <math>A</math>에 [[이산 위상]]을 부여하고, <math>A^\omega</math>에 [[곱위상]]을 부여하였을 때, [[공집합]]이 아닌 [[닫힌집합]] <math>\varnothing\ne[T]\subseteq A^\omega</math>. 이는 마찬가지로 [[나무 (집합론)|나무]] <math>T=\textstyle\bigcup_{n<\omega}\{t\restriction n\colon t\in T\}\subseteq A^{<\omega}</math>로 나타낼 수 있다. 나무 <math>T</math>를 '''허용된 수의 나무'''(許容된 手의 나무, {{llang|en|tree of allowed positions}})라고 한다.
이제 다음과 같은 2인(人) [[게임 이론|게임]]을 생각하자.<ref>{{저널 인용|제목=Topological games: on the 50th anniversary of the Banach–Mazur game|저널=Rocky Mountain Journal of Mathematics|권=17|호=2|날짜=1987|이름=Rastislav|성=Telgársky|doi=10.1216/RMJ-1987-17-2-227|mr=892457|zbl=0619.90110|언어=en}}</ref>{{rp|237, §5}}<ref name="Kechris">{{서적 인용|이름=Alexander Sotirios|성=Kechris|제목=Classical descriptive set theory|출판사=Springer-Verlag|날짜=1995|issn=0072-5285|doi=10.1007/978-1-4612-4190-4|isbn=978-1-4612-8692-9|총서=Graduate Texts in Mathematics|권=156|zbl=0819.04002|mr=1321597|언어=en}}</ref>{{rp|137, §20.A}}
# 두 선수 갑(甲)과 을(乙)이 있다.
# 갑과 을은 수(手)를 두는 것을 반복하며, 갑이 먼저 수를 둔다. 여기서, 수를 둔다는 것은 <math>a\in A</math>를 고르는 것이다. 수들을 <math>k=(k_0,k_1,k_2,\dots)</math>라고 하자. (즉, 갑은 <math>k_0,k_2,k_4,\dots</math>를 두고, 을은 <math>k_1,k_3,k_5,\dots</math>를 둔다.) 각 선수는 이전에 놓인 모든 수(手)들을 알고 있다. 또한, 각 <math>i<\omega</math>에 대하여 <math>(k_0,k_1,\dots,k_{i-1})\in T</math>이어야만 한다.
# 만약 <math>(k)_{i<\omega}\in X</math>라면 갑이 이기며, 아니라면 을이 이긴다.

'''전략'''(戰略, {{llang|en|strategy}})은 함수 <math>A^{<\omega}\to A</math>이다. 여기서
:<math>A^{<\omega}=\bigsqcup_{n<\omega}A^n</math>
는 <math>A</math> 속의 유한열들의 집합이다. '''갑의 필승 전략'''(甲의必勝戰略, {{llang|en|winning strategy for the first player}})은 다음 조건을 만족시키는 전략 <math>\sigma\colon A^{<\omega}\to A</math>이다.
:임의의 열 <math>(t_i)_{i\in\mathbb N}\in A^n</math>에 대하여, 다음이 성립한다.
::<math>\left(\sigma(),t_0,\sigma(t_0),t_1,\sigma(t_0,t_1),t_2,\sigma(t_0,t_1,t_2),\ldots\right)\in X</math>
'''을의 필승 전략'''(乙의必勝戰略, {{llang|en|winning strategy for the second player}})은 다음 조건을 만족시키는 전략 <math>\sigma\colon A^{<\omega}\to A</math>이다.
:임의의 열 <math>(s_i)_{i<\omega}\in A^n</math>에 대하여, 다음이 성립한다.
::<math>\left(s_0,\sigma(s_0),s_1,\sigma(s_0,s_1),s_2,\sigma(s_0,s_1,s_2),\ldots\right)\not\in X</math>

<math>X\subseteq A^\omega</math>에 대하여, 만약 위 게임에서 갑과 을 가운데 하나가 필승 전략을 갖는다면, <math>X</math>가 <math>T</math>로 정의되는 게임에 대한 '''결정 집합'''(決定集合, {{llang|en|determined set}})이라고 한다.<ref name="Kechris"/>{{rp|137, §20.A}} 만약 <math>T</math>가 명시되지 않았다면, <math>T=A^{<\omega}</math>이다.

=== 결정 공리 ===
이제, 다음과 같은 명제들을 정의할 수 있다.
* '''결정 공리'''(決定公理, {{llang|en|axiom of determinacy}}) <math>\mathsf{AD}</math>에 따르면, 모든 집합 <math>X\subseteq\mathbb N^\omega</math>은 결정 집합이다.
* '''실수 정의 가능 결정 공리'''(實數定義可能決定公理, {{llang|en|axiom of real-definable determinacy}}) <math>\mathsf{AD}^{L(\mathbb R)}</math>에 따르면, 모든 집합 <math>X\subseteq \mathbb N^\omega\cap L(\mathbb R)</math>은 결정 집합이다. 여기서 <math>L(\mathbb R)</math>은 [[구성 가능 전체|실수 구성 가능 집합]]들의 [[누적 위계]]이다.
* '''사영 결정 공리'''(射影決定公理, {{llang|en|axiom of projective determinacy}}) <math>\mathsf{PD}</math>에 따르면, 모든 [[사영 집합]] <math>X\subseteq \mathbb N^\omega</math>에 대하여 선수 1이 필승 전략을 갖거나, 아니면 선수 2가 필승 전략을 갖는다.

== 성질 ==
=== ZFC로 증명 가능한 성질 ===
[[ZFC]]에서는 다음 성질들을 증명할 수 있다.
* 모든 [[보렐 집합]]은 결정 집합이다.<ref name="Kechris"/>{{rp|140, Theorem 20.5}}<ref name="Martin75"/><ref>{{서적 인용
 | first= Donald Anthony
 | last=Martin
 | chapter=A purely inductive proof of Borel determinacy | 장url=http://www.math.ucla.edu/~dam/booketc/purely_inductive.pdf
 | title= Recursion theory
 | pages=303–308
 | publisher= American Mathematical Society
 | date= 1982 | doi=10.1090/pspum/042/791065 | isbn=978-0-8218-1447-5 | editor1-first=Anil|editor1-last=Nerode |editor2-first= Richard A. |editor2-last=Shore
 | series=Proceedings of Symposia in Pure Mathematics | 권=42 | mr= 791065
 | 언어=en
}}</ref>
* 모든 결정 집합은
** [[보편 가측 집합]]이며,
** [[준열린집합]]이며,
** [[완전 집합 성질]]을 만족시킨다.
[[선택 공리]]에 의하면 [[르베그 가측 집합]]이 아닌 집합이 존재하므로, 결정 집합이 아닌 집합이 존재한다.

=== 결정 공리 ===
[[체르멜로-프렝켈 집합론]] + 결정 공리는 [[선택 공리]]의 부정을 함의하며, 또한 [[체르멜로-프렝켈 집합론]]의 일관성을 증명할 수 있다.
:<math>\mathsf{ZF}+\mathsf{AD}\vdash\lnot\mathsf{AC}</math>
:<math>\mathsf{ZF}+\mathsf{AD}\vdash\operatorname{Con}(\mathsf{ZF})</math>

[[체르멜로-프렝켈 집합론]] + 결정 공리를 가정하면, ZFC에서 성립하지 않는 다음 명제들이 성립한다.
* [[실수]] 집합의 모든 부분 집합은 [[르베그 측도|르베그 가측 집합]]이다.
* [[실수]] 집합의 모든 부분 집합은 [[준열린집합]]이다.
* [[실수]] 집합의 모든 부분 집합은 [[완전 집합 성질]]을 만족시킨다.
* [[실수]] 집합의 모든 부분 집합은 [[가산 집합]]이거나, 아니면 크기가 실수 집합 전체와 같다.

반면, 결정 공리보다 더 약한 공리 <math>\mathsf{AD}^{L(\mathbb R)}</math>는 [[선택 공리]]와 모순되지 않는다고 여겨진다.

=== 큰 기수와의 관계 ===
충분히 강한 [[큰 기수]]의 존재를 가정하면, <math>\mathsf{AD}^{L(\mathbb R)}</math>를 증명할 수 있다.<ref>{{서적 인용|이름=Italy|성=Neeman|장=Determinacy in ''L''(ℝ)|제목=Handbook of set theory|doi=10.1007/978-1-4020-5764-9_23|isbn=978-1-4020-4843-2|출판사=Springer-Verlag|editor1-first=Matthew|editor1-last=Foreman|editor2-first=Akihiro|editor2-last=Kanamori|editor2-link=가나모리 아키히로|쪽=1877–1950|날짜=2010|zbl=1198.03057|언어=en}}</ref><ref>{{서적 인용|이름=Peter|성=Koellner|이름2=W. Hugh|성2=Woodin|저자링크2=윌리엄 휴 우딘|장=Large cardinals from determinacy|제목=Handbook of set theory|doi=10.1007/978-1-4020-5764-9_24|isbn=978-1-4020-4843-2|출판사=Springer-Verlag|editor1-first=Matthew|editor1-last=Foreman|editor2-first=Akihiro|editor2-last=Kanamori|editor2-link=가나모리 아키히로|쪽=1951–2119|날짜=2010|zbl=1198.03072|언어=en}}</ref>
구체적으로, 결정 공리들의 [[충분 조건]]은 다음과 같다.
* 가산 무한 개의 [[우딘 기수]]가 존재한다면, <math>\mathsf{PD}</math>가 성립한다.
* 가산 무한 개의 [[우딘 기수]]가 존재하며, 이들보다 더 큰 (하나 이상의) [[가측 기수]]가 존재한다면, <math>\mathsf{AD}^{L(\mathbb R)}</math>가 성립한다.

구체적으로, 다음 두 명제가 서로 동치이다.<ref name="Steel07">{{저널 인용|제목=What is … a Woodin cardinal?|이름=John R.|성=Steel|저널=Notices of the American Mathematical Society|권=54|호=9|쪽=1146–1147|날짜=2007-10|url=http://www.ams.org/notices/200709/tx070901146p.pdf|issn=0002-9920|zbl=1153.03315|언어=en}}</ref>{{rp|1147}}
* <math>\mathsf{PD}</math>
* 임의의 [[자연수]] <math>n</math>에 대하여, ([[ZFC]] + <math>n</math>개의 [[우딘 기수]]가 존재한다)로부터 유추할 수 있는, 산술의 [[2차 논리]] 언어로 나타낼 수 있는 모든 명제가 참이다.
즉, 이에 대하여 존 로버트 스틸({{llang|en|John Robert Steel}})은 다음과 같이 적었다.
{{인용문2|<math>\mathsf{PD}</math>는 정확히 [[우딘 기수]]의, 산술 [[2차 논리]] 언어에서의 ‘[[도구주의]]적 자취’이다.<br>{{lang|en|<math>\mathsf{PD}</math> is precisely the “instrumentalist’s trace” of Woodin cardinals in the language of second-order arithmetic.}}|<ref name="Steel07"/>{{rp|1147}}}}
여기서 [[도구주의]]는 어떤 이론을 단순히 어떤 실용적인 목표를 이루기 위한 도구로 여기는 철학이다. 즉, 만약 우딘 기수의 존재를 단순히 산술의 [[2차 논리]] 언어에서의 정리들을 증명하기 위한 도구로 생각한다면, 이러한 도구로서 ([[가산 무한]] 개의) 우딘 기수들의 존재는 <math>\mathsf{PD}</math>와 동치이다.

== 역사 ==
[[파일:KsiegaSzkocka1.JPG|섬네일|오른쪽|슈코츠카 책의 현존하는 한 쪽]]
위와 같은 꼴의 게임은 [[스타니스와프 울람]]이 1935년에 도입하였다. 당시 [[리비우]]에 살던 수학자들은 슈코츠카 카페({{llang|pl|Kawiarnia Szkocka|카비아르니아 슈코츠카}}, {{llang|pl|szkocka|슈코츠카}}는 {{llang|pl|Szkocja|슈코치아}}([[스코틀랜드]])의 형용사형)에 모여서 수학 문제들을 토론하였으며, 토론에 의하여 얻은 결과들을 "슈코츠카 책"({{llang|pl|Księga Szkocka|크시엥가 슈코츠카}})이라는 노트에 기록하였다. 여기서 울람은 [[바나흐-마주르 게임]](슈코츠카 책의 43번 문제)을 약간 변형한 다음과 같은 게임을 제시하였다.<ref name="Mauldin">{{서적 인용 | first=R. Daniel | last= Mauldin | editor1-last=Mauldin | editor1-first=R. Daniel | title=The Scottish Book: mathematics from the Scottish Café with selected problems from the New Scottish Book | publisher=Birkhäuser | mr=666400 | 날짜=2015 | doi=10.1007/978-3-319-22897-6_6 | isbn= 978-3-319-22896-9 | 판=2 | 쪽=51–282 | 장=Chapter 6. Problems with commentary | 언어=en}}</ref>{{rp|116, Problem 43}}
{{인용문2|
실수 집합 <math>E</math>가 주어졌다고 하자. 선수 A와 B가 번갈아서 0 또는 1을 제시한다. 선수 A가 승리할 조건은, 숫자들이 ([[이진수]]로 해석하였을 때) 집합 <math>E</math>에 속하는 것이다. 어떤 집합의 경우 선수 A(또는 선수 B)가 필승 전략을 갖는가?  — [[스타니스와프 울람|S. 울람]]<br>{{lang|pl|Dany jest zbiór liczb rzeczywistych <math>E</math>. Gracze A i B podają na przemian cyfrę 0 lub 1. Gracz A wygrywa, jeśli liczba utworzona z tych cyfr w podanym porządku (w systemie dwójkowym) należy do zbioru <math>E</math>. Dla jakich zbiorów istnieje metoda wygrania dla gracza A (gracza B)? — S. Ulam}}}}

결정 공리는 [[얀 미치엘스키]]와 [[후고 스테인하우스]]가 1962년에 도입하였다.<ref>{{저널 인용| last=Mycielski | first=Jan | 저자링크=얀 미치엘스키 | author2-first=Hugo |author2-last=Steinhaus|저자링크2=후고 스테인하우스 | title=A mathematical axiom contradicting the axiom of choice | mr=0140430 | 날짜=1962 | journal=Bulletin de l’Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques | issn=0001-4117 | volume=10 | pages=1–3 | zbl=0106.00804|언어=en}}</ref><ref name="Larson">{{서적 인용|장url=http://www.users.miamioh.edu/larsonpb/Cabal_Determinacy.pdf|장=A brief history of determinacy|이름=Paul B.|성=Larson|zbl=1255.03010|제목=Sets and extensions in the twentieth century|총서=Handbook of the History of Logic|권=6|쪽=457–507|editor1-first=Dov M.|editor1-last=Gabbay|editor2-first=Akihiro|editor2-last=Kanamori|editor2-link=가나모리 아키히로|editor3-first=John|editor3-last=Woods|doi=10.1016/B978-0-444-51621-3.50006-2|날짜=2012|언어=en}}</ref><ref name="Maddy">{{저널 인용|성=Maddy|이름=Penelope|날짜=1988-09|제목=Believing the axioms II|저널=Journal of Symbolic Logic|권=53|호=3|쪽=736–764|jstor=2274569|issn=0022-4812|zbl=0656.03034|mr=0960996 |doi=10.2307/2274569|url=http://www.socsci.uci.edu/~pjmaddy/bio/Believing%20the%20Axioms%20(with%20corrections).pdf#page=32|언어=en}}</ref>{{rp|737}}

[[ZFC]]만을 사용한, 실수의 부분 집합의 결정 집합 여부에 대한 정리들의 역사는 다음과 같다.
* 1953년에 데이비드 게일({{llang|en|David Gale}})과 프랭크 스튜어트({{llang|en|Frank M. Stewart}})가 모든 [[열린집합]]이 결정 집합임을 증명하였다.<ref>{{서적 인용|이름=David|성=Gale|이름2=Frank M.|성2=Stewart|장=Infinite games with perfect information|제목=Contributions to the theory of games. Volume 2|총서=Annals of Mathematics Studies|권=28|출판사=Princeton University Press|쪽=245–266|url=http://press.princeton.edu/titles/2394.html|editor1-first=H. W.|editor1-last=Kuhn|editor2-first=A. W.|editor2-last=Tucker|날짜=1953|isbn=978-069107935-6|mr=0054922|zbl=0050.14305|언어=en}}</ref>
* 1955년에 필립 울프({{llang|en|Philip Wolfe}})는 [[보렐 위계|<math>\boldsymbol\Sigma_2^0</math> 집합]]이 결정 집합임을 증명하였다.<ref>{{저널 인용|이름=Philip|성=Wolfe|제목=The strict determinatenes of certain infinite games|저널=Pacific Journal of Mathematics|날짜=1955|권=5|호=S1|쪽=841–847|mr=0073909|zbl=0066.38003|url=https://projecteuclid.org/euclid.pjm/1171984839|issn=0030-8730|언어=en}}</ref>
* 1964년에 모턴 데이비스({{llang|en|Morton Davis}})는 [[보렐 위계|<math>\boldsymbol\Sigma_3^0</math> 집합]]이 결정 집합임을 증명하였다.<ref>{{서적 인용|장=Infinite games of perfect information|이름=Morton|성=Davis|제목=Advances in game theory|쪽=85–101|출판사=Princeton University Press|날짜=1964|editor1-first=M.|editor1-last=Dresher|editor2-first=L. S.|editor2-last=Shapley|editor3-first=A. W.|editor3-last=Tucker|url=http://press.princeton.edu/titles/2399.html|zbl=0133.13104|isbn=978-069107902-8|총서=Series in Annals of Mathematics Studies|권=52|언어=en}}</ref>
* 1972년에 제프리 브루스 패리스({{llang|en|Jeffrey Bruce Paris}})는 [[보렐 위계|<math>\boldsymbol\Sigma_4^0</math> 집합]]이 결정 집합임을 증명하였다.<ref>{{저널 인용|이름=Jeffrey Bruce|성=Paris|제목=ZF ⊦ Σ<sub>4</sub><sup>0</sup> determinateness|doi=10.2307/2272410|jstor=2272410|저널=Journal of Symbolic Logic|zbl=0264.02053|권=37|호=4|날짜=1972-12|issn=0022-4812|언어=en}}</ref>
* 1975년에 도널드 앤서니 마틴({{llang|en|Donald Anthony Martin}})이 모든 [[보렐 집합]]이 결정 집합임을 증명하였다.<ref name="Martin75">{{저널 인용
 | 성=Martin | 이름=Donald Anthony
 | title=Borel determinacy
 | url=https://archive.org/details/sim_annals-of-mathematics_1975-09_102_2/page/n180 | journal=Annals of Mathematics
 | volume=102
 | issue=2
 | pages=363–371
 | 날짜=1975-09 | jstor=1971035
 | doi=10.2307/1971035 | issn= 0003-486X | 언어=en
}}</ref>

=== 실수 정의 가능 결정 공리의 허용 ===
<math>L(\mathbb R)</math>에 제한한 결정 공리의 각종 흥미로운 성질들 및 [[큰 기수]]와의 관계가 밝혀지면서, 이후 일부 수학자들은
<math>L(\mathbb R)</math>에 제한한 결정 공리를 자유로이 가정하거나, 심지어 [[집합론]]의 공리로 제시하기도 하였다. 예를 들어, 이 내용을 다루는 집합론 교재들은 실수 정의 가능 결정 공리에 대하여 다음과 같이 적는다.
{{인용문2|지난 25년 동안 이루어진 집합론의 기초론에 대한 철저한 연구로 인하여, 오늘날에는 ‘정의 가능 결정성 원리’에 대한 압도적인 양의 증거가 존재한다 […]. 이 증거는 한편으로는 이 원리에 기초한 [[폴란드 공간]]의 ‘정의 가능’ 집합 이론의 구조적 일관성에서 유래하며, 다른 한편으로는 이 이론과 ‘[[큰 기수]]’ 이론 사이의 깊은 관계로부터 유래한다 […]. 앞으로 우리는 ‘정의 가능 결정성 원리’를 필요한 대로 자유로이 사용할 것이다.<br>{{lang|en|Following extensive studies in the foundations of set theory in the last 25 years, there is now overwhelming evidence of the validity of the "Principle of Definable Determinacy" […]. This evidence comes on the one hand from the structural coherence of the theory of “definable” sets in Polish spaces developed on the basis of this principle and on the other hand on the deep connections of this theory with that of the so-called “large cardinals” in set theory […]. We will be freely using various instances of “Definable Determinacy” as needed in the sequel.}}|<ref name="Kechris"/>{{rp|205–206, §26.B}}}}

{{인용문2|결정성 가설에 대한 직접적 직관을 갖는다고는 아무도 주장하지 않는다—이러한 가설들을 그럴듯하다고 선호하는 이들은 이 가설이 함의하는 결과들로부터 이 가설을 옹호한다. […] 이러한 결과들의 풍요로움과 내부 조화 말고도, 이론의 두 측면을 특히 언급할 수 있다. 첫째, 결정성을 사용하는 증명들은 자연스럽다 […]. [결정성을 사용하여 얻는] 새 결과들은 이미 알려진 명제들의 자연스러운 일반화이며, 그 증명들은 고전적 묘사 집합론을 새롭게 이해할 수 있게 한다. (반면, [[구성 가능성 공리]]를 가정한 증명들의 경우는 그렇지 않다 […]). 둘째, 결정성과 [[큰 기수]] 가설들 사이에는 놀라운 관계들이 존재하며, 이는 결정성과 [[큰 기수]] 둘 다에 신빙성을 부여한다. […] 오늘날에는 오직 몇몇 집합론자들만이 <math>\operatorname{Det}(L(\mathbb R))</math>를 매우 신빙성이 있다고 여기며, 아직 아무도 이를 확실히 믿을 수 있다고 여기지 않는다 […].<br>
{{lang|en|No one claims direct intuitions of this type either for or against determinacy hypothesis—those who have come to favor these hypotheses as plausible, argue from their consequences […]. In addition to the richness and internal harmony of these consequences, two aspects of the theory [..] deserve explicit mention. One is the naturalness of the proofs from determinacy […]. [T]he new results appear to be natural generalizations of known results and their proofs shed new light on classical descriptive set theory. (This is not the case with the proofs from <math>V=L</math> […]). The second point is the surprising connection between determinacy and large cardinal hypotheses […] which lends credence to both. […] At the present state of knowledge only few set theorists accept <math>\operatorname{Det}(L(\mathbb R))</math> as highly plausible and no one is quite ready to believe it beyond a reasonable doubt […]}}|<ref name="Moschovakis">{{서적 인용|성=Moschovakis|이름=Yiannis N.|제목=Descriptive set theory|url=http://www.math.ucla.edu/~ynm/lectures/dst2009/dst2009.pdf|판=2|isbn=978-0-8218-4813-5|총서=Mathematical Surveys and Monographs|권=155|날짜=2009|출판사=American Mathematical Society|언어=en}}</ref>{{rp|472, §8I}}}}

<math>L(\mathbb R)</math>에 제한한 결정 공리에 대하여, 결정 공리를 고안한 [[얀 미치엘스키]]는 훗날 다음과 같이 적었다.
{{인용문2|
[[선택 공리]]를 사용하여, 결정 공리가 거짓임을 쉽게 증명할 수 있다. 그러나 공리 <math>\operatorname{AD}^{L(\mathbb R)}</math>는 […] 여러 흥미로운 결과들을 함의한다. <math>\operatorname{AD}^{L(\mathbb R)}</math>를 가정할 경우, 모임 <math>L(\mathbb R)</math>는 [[폴란드 공간]] 위에서의 [[해석학 (수학)|해석학]]의 자연스러운 무대가 된다. […] 또한, [[사영 집합]]의 이론은 매우 정칙적인 형태를 취하게 된다. […]. 따라서 공리 <math>\operatorname{AD}^{L(\mathbb R)}</math>를 수용하는 것이 합리적이다.<br>
{{lang|en|It is easy to prove using the Axiom of Choice that <math>\operatorname{AD}</math> is false. But the Axiom <math>\operatorname{AD}^{L(\mathbb R)}</math> […] has many interesting consequences. Assuming <math>\operatorname{AD}^{L(\mathbb R)}</math> the class <math>L(\mathbb R)</math> becomes the natural universe of sets for mathematical analysis in Polish spaces. […] Also the theory of projective sets gets a very regular form […]. Therefore it is rational to accept the axiom <math>\operatorname{AD}^{L(\mathbb R)}</math>.}}
|<ref>{{저널 인용|제목=A system of axioms of set theory for the rationalists|이름=Jan|성=Mycielski|저자링크=얀 미치엘스키|url=http://www.ams.org/notices/200602/fea-mycielski.pdf|저널=Notices of the American Mathematical Society|날짜=2006-02|권=53|호=2|쪽=206–213|zbl=1102.03050|issn=0002-9920|언어=en}}</ref>{{rp|210}}}}

결정 공리와 [[선택 공리]] 사이의 모순에 대하여 대니얼 몰딘({{llang|en|R. Daniel Mauldin}})은 다음과 같이 적었다.
{{인용문2|
왜 [[선택 공리]]를 버리고 대신 결정 공리를 사용하지 않는가 — 이 경우 [[바나흐-타르스키 역설|구의 역설적 분해]]와 같은 인위적인 현상이 사라지고, 여러 ‘긍정적’ 결과를 얻을 수 있는데도 말인가? 그 이유는 이러한 결과들(과 [결정] 공리)를 적절한 [[모임 (집합론)|모임]][…](예를 들어, [[사영 집합]]들의 모임)에 제한하는 것이 더 자연스럽다고 느껴지기 때문이다. 이 경우, ([[선택 공리]]를 비롯한) 모든 집합들의 [[모임 (집합론)|모임]]에 대한 기초적 직관을 위배하지 않고, 기본적 이론의 유일성을 위배하지 않아도 된다.<br>{{lang|en|Why don’t we abandon the axiom of choice and accept in its place the axiom of determinacy, in spite of the fact that this removes such artificial phenomena as paradoxical decompositions of the sphere and yields so many “positive” consequences? The answer is that it seems more natural to restrict those consequences (and the axiom) to a suitable class […], e.g., the class of projective sets, without violating our basic intuitions about the class of all sets (of which the axiom of choice is a part) and without wrecking the unicity of our fundamental theory.}}|<ref name="Mauldin"/>{{rp|118, Problem 43}}}}

== 각주 ==
{{각주}}

== 외부 링크 ==
* {{웹 인용|url=http://plato.stanford.edu/entries/large-cardinals-determinacy/|제목=Large cardinals and determinacy|날짜=2013-05-22|성=Koellner|이름=Peter|웹사이트=Stanford Encyclopedia of Philosophy|출판사=[[스탠퍼드 대학교]]|언어=en}}
* {{nlab|id=axiom of determinacy|title=Axiom of determinacy}}
* {{서적 인용|url=http://www.cas.unt.edu/~rdb0003/thesis/thesis.pdf|제목=Borel determinacy and its metamathematics|이름=Ross|성=Bryant|기타=석사 학위 논문 (지도 교수 Steve Jackson)|날짜=2001-12|출판사=University of North Texas|언어=en}}
* {{서적 인용|url=http://scholarscompass.vcu.edu/etd/2189|제목=The axiom of determinacy|이름=Samantha|성=Stanton|기타=석사 학위 논문 (지도 교수 Andrew Lewis)|날짜=2010|출판사=Virginia Commonwealth University|언어=en}}
* {{웹 인용|url=https://gowers.wordpress.com/2013/08/23/determinacy-of-borel-games-i/|제목=Determinacy of Borel games I|이름=Timothy|성=Gowers|저자링크=윌리엄 티머시 가워스|웹사이트=Gowers’s Weblog|날짜=2013-08-23|언어=en}}
* {{웹 인용|url=https://gowers.wordpress.com/2013/08/31/determinacy-of-borel-games-ii/|제목=Determinacy of Borel games II|이름=Timothy|성=Gowers|저자링크=윌리엄 티머시 가워스|웹사이트=Gowers’s Weblog|날짜=2013-08-31|언어=en}}
* {{웹 인용|url=https://gowers.wordpress.com/2013/09/05/determinacy-of-borel-games-iii/|제목=Determinacy of Borel games III|이름=Timothy|성=Gowers|저자링크=윌리엄 티머시 가워스|웹사이트=Gowers’s Weblog|날짜=2013-09-05|언어=en}}
* {{웹 인용|url=https://gowers.wordpress.com/2013/09/10/determinacy-of-borel-games-iv/|제목=Determinacy of Borel games IV|이름=Timothy|성=Gowers|저자링크=윌리엄 티머시 가워스|웹사이트=Gowers’s Weblog|날짜=2013-09-10|언어=en}}
* {{웹 인용|url=https://gowers.wordpress.com/2013/09/16/determinacy-of-borel-games-v/|제목=Determinacy of Borel games V|이름=Timothy|성=Gowers|저자링크=윌리엄 티머시 가워스|웹사이트=Gowers’s Weblog|날짜=2013-09-16|언어=en}}
* {{웹 인용|url=http://mathoverflow.net/questions/129036/counterintuitive-consequences-of-the-axiom-of-determinacy|제목=Counterintuitive consequences of the axiom of determinacy|출판사=Math Overflow|언어=en}}

{{집합론}}

[[분류:집합론]]
[[분류:일반위상수학]]
[[분류:집합론 공리]]