{{위키데이터 속성 추적}}
[[순서론]]과 [[집합론]]에서 '''나무'''({{llang|en|tree}})는 임의의 원소에 대하여 그 미만의 원소들로 구성된 [[부분 집합]]이 [[정렬 전순서 집합]]을 이루는 [[부분 순서 집합]]이다.<ref name="Jech71">{{저널 인용|mr=0284331 | zbl=0245.02054 | doi=10.2307/2271510|last=Jech|first= Thomas J.|title=Trees |journal=The Journal of Symbolic Logic|volume= 36|날짜=1971-03|pages= 1–14|jstor=2271510|issn=0022-4812|언어=en}}</ref><ref>{{서적 인용|mr=0776625|last=Todorčević|first= Stevo|장=Trees and linearly ordered sets|title= Handbook of set-theoretic topology|pages= 235–293|publisher= North-Holland |year=1984|doi=10.1016/B978-0-444-86580-9.50009-4 | isbn=978-0-444-86580-9 | editor1-first=Kenneth | editor1-last=Kunen | editor1-link=케네스 쿠넌|editor2-first=Jerry E. | editor2-last=Vaughan | zbl=0557.54021 | 언어=en}}</ref>

== 정의 ==
나무의 개념은 [[순서론]]적으로 특정 조건을 만족시키는 [[부분 순서 집합]]으로 정의할 수 있으며, 또 [[범주론]]적으로 [[순서수]] 위의 [[준층]]으로 생각할 수도 있다.

=== 순서론적 정의 ===
[[부분 순서 집합]] <math>(T,\le)</math>가 다음 조건을 만족시킨다면, '''나무'''라고 한다.
* 임의의 <math>s\in T</math>에 대하여, [[하집합]] <math>T_s=\{t\in T\colon t<s\}</math>는 [[정렬 전순서 집합]]이다.

나무 <math>T</math>의 원소 <math>t\in T</math>에 대하여, <math>T_t</math>의 순서형인 [[순서수]] <math>\operatorname{ht}_T(t)</math>를 <math>t</math>의 '''높이'''라고 한다. 이는 [[함수]]
:<math>\operatorname{ht}_T\colon T\to\operatorname{Ord}</math>
를 정의한다. 높이가 0인 원소는 [[극소 원소]]이며, 나무의 [[극소 원소]]를 '''뿌리'''({{llang|en|root}})라고 한다.

나무 <math>T</math>의 <math>\alpha</math>번째 '''단계'''(段階, {{llang|en|level}})는 높이 <math>\alpha</math>의 원소들의 집합이다. 이를 <math>\operatorname{lv}(T,\alpha)</math>로 표기하자. 나무 <math>T</math>의 '''너비'''({{llang|en|width}})는 그 단계들의 [[집합의 크기|크기]]들의 [[상한]]이다.

나무 <math>T</math>의 '''높이''' <math>\operatorname{ht}(T)</math>는 모든 원소들의 높이를 초과하는 최소의 [[순서수]]이다.
:<math>\operatorname{ht}(T)=\min\left\{\alpha\in\operatorname{Ord}\colon \forall t\in T\colon\alpha>\operatorname{ht}_T(t)\right\}</math>

나무 <math>T</math>의 '''가지'''({{llang|en|branch}})는 [[극대 원소|극대]] [[사슬 (순서론)|사슬]]이다. 나무의 가지 역시 [[정렬 전순서 집합]]을 이루며, 따라서 가지의 '''높이'''를 정의할 수 있다. <math>T</math>의 가지들의 집합을 <math>\operatorname{Br}(T)</math>라고 하자.

나무 <math>T</math>가 다음 두 조건을 만족시킨다면, <math>T</math>를 '''정돈된 나무'''(整頓-, {{llang|en|well pruned tree}})라고 한다.
* 임의의 순서수 <math>\alpha<\beta<\operatorname{ht}T</math> 및 높이 <math>\alpha</math>의 원소 <math>s\in T</math>에 대하여, <math>s<t</math>이자 <math>\operatorname{ht}_T(t)=\beta</math>인 원소 <math>t\in T</math>가 존재한다.
* 뿌리가 유일하다.

=== 범주론적 정의 ===
임의의 순서수 <math>\lambda</math>에 대하여,
:<math>\lambda=\{\alpha\in\operatorname{Ord}\colon\alpha<\lambda\}</math>
는 [[정렬 전순서 집합]]이므로 [[작은 범주|작은]] [[얇은 범주]]로 간주할 수 있다.

높이 <math>\lambda</math> 이하의 '''나무'''는 <math>\lambda</math> 위의 [[준층]]이다. 즉, [[함자 (수학)|함자]]
:<math>T\colon \lambda^{\operatorname{op}} \to \operatorname{Set}</math>
이다. 즉, 구체적으로 다음과 같은 데이터로 구성된다.
* 각 순서수 <math>\alpha<\lambda</math>에 대하여, 집합 <math>T(\alpha)</math>. 이를 나무 <math>T</math>의 <math>\alpha</math>번째 '''단계'''라고 한다.
* 임의의 두 순서수 <math>\alpha\le\beta<\lambda</math>에 대하여, 함수 <math>f_{\beta\alpha}\colon S_\beta\to S_\alpha</math>.
이 데이터는 다음과 같은 [[함자 (수학)|함자]] 조건을 만족시켜야 한다.
* 임의의 세 순서수 <math>\alpha\le\beta\le\gamma<\alpha</math>에 대하여, <math>f_{\beta\alpha}\circ f_{\gamma\beta}=f_{\gamma\alpha}</math>
* 임의의 <math>\alpha<\lambda</math>에 대하여, <math>f_{\alpha\alpha}\colon S_\alpha\to S_\alpha</math>는 [[항등 함수]]이다.

이 경우, [[분리 합집합]]
:<math>T=\bigsqcup_{\alpha<\lambda}T(\alpha)</math>
위에 다음과 같은 [[부분 순서]]를 줄 수 있다.
:<math>\forall s\in T(\alpha)\forall t\in T(\beta)\colon s\le t\iff (\alpha\le \beta) \land (f_{\beta\alpha}(t)=s)</math>

== 종류 ==
기수 <math>\kappa</math>에 대하여, '''<math>\kappa</math>-아론샤인 나무'''({{llang|en|<math>\kappa</math>-Aronszajn tree}})는 다음 세 조건들을 만족시키는 나무 <math>T</math>이다.<ref name="Kunen"/>{{rp|69, Definition II.5.8}}<ref name="Jech71"/>{{rp|2}}
* 높이가 <math>\kappa</math>이다.
* 모든 가지의 [[집합의 크기|크기]]는 <math>\kappa</math> 미만이다.
* 모든 단계의 [[집합의 크기|크기]]는 <math>\kappa</math> 미만이다.
만약 <math>\kappa</math>가 주어지지 않았으면 <math>\kappa=\aleph_1</math>을 뜻한다.

기수 <math>\kappa</math>에 대하여, '''<math>\kappa</math>-수슬린 나무'''(Суслин-, {{llang|en|Souslin tree}})는 다음 조건을 만족시키는 나무이다.<ref name="Kunen"/>{{rp|69, Definition II.5.4}}
* 높이가 <math>\kappa</math>이다.
* 모든 [[사슬 (순서론)|사슬]]의 [[집합의 크기|크기]]는 <math>\kappa</math> 미만이다.
* 모든 [[반사슬]]의 [[집합의 크기|크기]]는 <math>\kappa</math> 미만이다.
만약 <math>\kappa</math>가 주어지지 않았으면 <math>\kappa=\aleph_1</math>을 뜻한다. 모든 단계는 [[반사슬]]이므로, <math>\kappa</math>-수슬린 나무는 항상 <math>\kappa</math>-아론샤인 나무이다.

만약 <math>\kappa</math>가 [[무한 기수]]라면, 모든 <math>\kappa</math>-수슬린 나무는 <math>\kappa</math>-아론샤인 나무이나, 그 역은 성립하지 않는다.

기수 <math>\kappa</math>에 대하여, '''<math>\kappa</math>-쿠레파 나무'''(Курепа-, {{llang|en|Kurepa tree}})는 다음 조건을 만족시키는 나무이다.<ref name="Kunen"/>{{rp|74, Definition II.5.16}}<ref>{{저널 인용|제목=Algebraic equivalents of Kurepa’s hypotheses|이름=R. M.|성=Dimitrić|저널=Modern Logic|권=8|호=1–2|쪽=28–46|mr=1834716|zbl=1021.03038|url=http://projecteuclid.org/euclid.rml/1081878063|날짜=2000|언어=en}}</ref>
* 높이가 <math>\kappa</math>이다.
* 크기 <math>\kappa</math>의 가지의 수가 <math>\kappa</math> 초과이다.
*  모든 단계의 [[집합의 크기|크기]]는 <math>\kappa</math> 미만이다.
만약 <math>\kappa</math>가 주어지지 않았으면 <math>\kappa=\aleph_1</math>을 뜻한다.

{| class="wikitable"
! 이름 !! 높이 조건 !! 가지 조건 !! 단계 조건
|-
! <math>\kappa</math>-수슬린 나무
|rowspan=3| 높이가 <math>\kappa</math>이다.
|rowspan=2| 모든 가지의 [[집합의 크기|크기]]는 <math>\kappa</math> 미만이다.
|| 모든 [[반사슬]]의 [[집합의 크기|크기]]는 <math>\kappa</math> 미만이다.
|-
! <math>\kappa</math>-아론샤인 나무
|rowspan=2| 모든 단계의 [[집합의 크기|크기]]는 <math>\kappa</math> 미만이다.
|-
! <math>\kappa</math>-쿠레파 나무
|| 크기 <math>\kappa</math>의 가지의 수가 <math>\kappa</math> 초과이다.
|}

"<math>\aleph_1</math>-수슬린 나무(또는 수슬린 직선)가 존재하지 않는다"는 명제를 '''수슬린 가설'''(Суслин假說, {{llang|en|Souslin’s hypothesis}}) <math>\mathsf{SH}</math>이라고 한다.<ref>{{서적 인용|성=Devlin|이름=Keith J.|author2-first=Håvard|author2-last=Johnsbråten|날짜=1974|제목=The Souslin problem|총서=Lecture Notes in Mathematics|권=405|doi=10.1007/BFb0065979|isbn=978-3-540-06860-0|issn=0075-8434|언어=en}}</ref><ref name="Kunen"/>{{rp|66, Definition II.4.1}}<ref name="Jech71"/>{{rp|4}} "<math>\aleph_1</math>-쿠레파 나무가 존재한다"는 명제를 '''쿠레파 가설'''(Курепа假說, {{llang|en|Kurepa hypothesis}}) <math>\mathsf{KH}</math>라고 한다.<ref name="Kunen"/>{{rp|74, Definition 5.16}} (역사적 이유로 인하여, 수슬린 가설과 쿠레파 가설의 정의는 서로 반대이다.)

'''<math>\kappa</math>-특수 아론샤인 나무'''({{llang|en|special Aronszajn tree}})는 다음 조건을 만족시키는 <math>\kappa</math>-아론샤인 나무 <math>T</math>이다.<ref name="Kunen"/>{{rp|91, Exercise II(40)}}
* <math>T</math>는 <math>\kappa</math> 미만 개의 [[반사슬]]들의 합집합이다.

== 구성 ==
일부 나무들은 특정 [[전순서 집합]]과 밀접한 관계를 갖는다.

=== 나무에 대응하는 전순서 집합 ===
나무 <math>T</math>의 '''마디'''({{llang|en|node}})는 다음 조건을 만족시키는 [[부분 집합]] <math>N\subseteq T</math>이다.
:<math>\forall a,b\in N\colon (\downarrow\{a\})\setminus\{a\}=(\downarrow\{b\})\setminus\{b\}</math>
나무 <math>T</math>가 주어졌으며, 각 마디 <math>N\subseteq T</math>에 대하여 <math>N</math> 위의 [[전순서]]가 주어졌다고 하자. 그렇다면, 가지 집합 <math>\operatorname{Br}(T)</math> 위에 다음과 같은 [[전순서]]를 줄 수 있다.
:<math>B\le B'\iff B_\alpha\le B'_\alpha</math>
:<math>\alpha=\min\{\beta<\operatorname{ht}T\colon B(\beta)\ne B'(\beta)\}</math>
이를 <math>T</math>의 '''가지 공간'''({{llang|en|branch space}})이라고 한다.<ref>{{저널 인용|제목=Branch space representations of lines|doi=10.1016/j.topol.2003.12.020|저널=Topology and its Applications|권=151|호=1–3|날짜=2005-06-01|쪽=187–214|이름=Will|성=Funk|이름2=David|성2=Lutzer|issn=0166-8641|언어=en}}</ref>

임의의 기수 <math>\kappa</math>에 대하여, 정돈된 나무 <math>T</math>가 <math>\kappa</math>-[[강상향 반사슬 조건]]을 만족시킨다면, <math>L=\operatorname{Br}(T)</math>에 대하여, <math>\operatorname{Open}(L)\setminus\{\varnothing\}</math> 역시 <math>\kappa</math>-[[강상향 반사슬 조건]]을 만족시킨다.
<div class="mw-collapsible mw-collapsed toccolours">
'''증명:'''
<div class="mw-collapsible-content">
<math>T</math>가 정돈된 나무라고 하자. 즉, 모든 가지들의 높이가 <math>\operatorname{ht}(T)</math>라고 하자.
[[귀류법]]을 사용하여,
:<math>\{(B_\alpha,C_\alpha)\}_{\alpha<\kappa}</math>
가 <math>\kappa</math>개의, [[공집합]]이 아닌 [[서로소 집합|서로소]] 열린구간들의 집합이라고 하자. 그렇다면, 각 <math>\alpha<\kappa</math>에 대하여, <math>D_\alpha\in(B_\alpha,C_\alpha)</math>를 고르고, 또한 순서수열
:<math>\delta_\alpha=\max\left\{d(B_\alpha,D_\alpha),d(D_\alpha,C_\alpha)\right\}</math>
을 정의하자. 여기서
:<math>d(B,C)=\min\left\{\operatorname{ht}(T)\setminus\{\operatorname{ht}_T(t)\}_{t\in B\cap C}\right\}\in\operatorname{Ord}</math>
는 두 가지가 공유하지 않는 최소의 단계를 뜻하며, 만약 <math>B\ne C</math>라면 잘 정의된다.

그렇다면,
:<math>\{D_\alpha(\delta_\alpha)\}_{\alpha<\kappa}\subseteq T</math>
는 <math>T</math>의, 크기 <math>\kappa</math>의 ([[강상향 반사슬|강상향]]) [[반사슬]]을 이룬다. 따라서 <math>T</math>는 <math>\kappa</math>-[[강상향 반사슬 조건]]을 만족시키지 않는다.
</div></div>

=== 전순서 집합에 대응하는 나무 ===
최대·최소 원소를 갖지 않는 [[전순서 집합]] <math>(L,\le)</math>이 주어졌으며, <math>L</math>의 ([[순서 위상]]에서의) 최소 [[조밀 집합]]의 [[집합의 크기|크기]]가 <math>\kappa</math>라고 하고, 또한 <math>\kappa</math>가 [[무한 기수]]라고 하자. 그렇다면, <math>L</math>의, [[공집합]]이 아닌 [[열린구간]]들의 집합 <math>X=\{(a,b)\colon a<b\}</math> 위에 임의의 [[정렬 전순서 집합|정렬 전순서]] <math>\le^\circ</math>를 부여하였을 때, 다음과 같은 원소열 <math>=(I_\alpha)_{\alpha<\kappa}</math>, <math>I_\alpha=\{x\in L\colon a_\alpha<x<b_\alpha\}</math>을 정의할 수 있다.
* <math>I_\alpha</math>는 <math>\textstyle\bigcup_{\beta<\alpha}\{a_\alpha,b_\beta\}</math>와 서로소인, <math>\le^\circ</math>-[[최소 원소|최소]] 열린구간이다.
그렇다면, <math>\{I_\alpha\}_{\alpha<\kappa}</math>는 포함 관계에 대하여 [[부분 순서 집합]]을 이루며, 그 [[반대 순서|반대 부분 순서 집합]] <math>T</math>는 <math>L</math>에 대응하는 나무이다.

=== 수슬린 직선 ===
다음 두 조건을 만족시키는 [[전순서 집합]] <math>L</math>을 '''수슬린 직선'''(Суслин直線, {{llang|en|Souslin line}})이라고 한다.<ref name="Kunen"/>
* <math>\operatorname{Open}(L)\setminus\{\varnothing\}</math>은 [[가산 강하향 반사슬 조건]]을 만족시킨다. 여기서 <math>\operatorname{Open}(L)\setminus\{\varnothing\}\subseteq\mathcal P(L)</math>은 ([[순서 위상]]에서) <math>L</math>의 [[공집합]]이 아닌 [[열린집합]]들의 집합족이다.
* [[분해 가능 공간]]이 아니다.
'''정돈된 수슬린 직선'''(整頓-Суслин直線)은 다음 조건을 추가로 만족시키는 수슬린 직선이다.<ref name="Kunen"/>{{rp|90, Exercise II(30)}}
* <math>L</math>은 [[최소 원소]]와 [[최대 원소]]를 갖지 않는다.
* <math>L</math>은 [[선형 연속체]]이다.
만약 수슬린 직선이 존재한다면, 정돈된 수슬린 직선이 존재한다.<ref name="Kunen"/>{{rp|90, Exercise II(30)}}

다음이 성립한다.<ref name="Kunen">{{서적 인용|title=Set theory: an introduction to independence proofs|성=Kunen|이름=Kenneth|저자링크=케네스 쿠넌|publisher=North-Holland|날짜=1980|isbn=978-0-444-86839-8|url=http://store.elsevier.com/Set-Theory-An-Introduction-To-Independence-Proofs/K_-Kunen/isbn-9780444868398/|총서=Studies in Logic and the Foundations of Mathematics|권=102|zbl=0534.03026|mr=597342|언어=en|확인날짜=2016-08-17|보존url=https://web.archive.org/web/20160911102401/http://store.elsevier.com/Set-Theory-An-Introduction-To-Independence-Proofs/K_-Kunen/isbn-9780444868398/|보존날짜=2016-09-11|url-status=dead}}</ref>{{rp|72–74, Theorem II.5.13}}
* 정돈된 <math>\aleph_1</math>-수슬린 나무에 대응하는 전순서 집합은 수슬린 직선이다.
* 정돈된 수슬린 직선에 대응하는 나무는 <math>\aleph_1</math>-수슬린 나무이다.
따라서, 수슬린 나무의 존재와 수슬린 직선의 존재는 서로 [[동치]]이다.<ref name="Kurepa">{{서적 인용|last=Kurepa|first=Georges|저자링크=주로 쿠레파|날짜=1935|title=Ensembles ordonnés et ramifiés|출판사=[[베오그라드 대학교]]|url=http://elibrary.matf.bg.ac.rs/handle/123456789/326 | jfm=61.0980.01 | zbl=0014.39401|언어=fr }}</ref>

== 성질 ==
=== 순서론적 성질 ===
나무에서, 모든 [[반사슬]]은 [[강상향 반사슬]]이다. 즉, [[반사슬]]과 [[강상향 반사슬]]의 개념이 일치한다.

나무의 경우 다음 두 조건이 서로 [[동치]]이다.
* [[하향 원순서 집합]]이다.
* 정확히 한 개의 뿌리를 갖는다.

다음 세 개념이 서로 [[동치]]이다.
* [[전순서 집합]]인 나무
* 모든 단계가 [[한원소 집합]]이거나 [[공집합]]인 나무
* [[정렬 전순서 집합]]

=== 논리학적 성질 ===
[[쾨니그 보조정리]]에 의하면, <math>\aleph_0</math>-아론샤인 나무는 존재하지 않는다.<ref name="Kunen"/>{{rp|69, Lemma II.5.7}} [[ZFC]]만으로, <math>\aleph_1</math>-아론샤인 나무가 존재한다는 것을 증명할 수 있다.<ref name="Kunen"/>{{rp|70, Theorem II.5.9}} 그러나 <math>\aleph_1</math>-수슬린 나무의 존재(수슬린 가설)는 ([[ZFC]]가 [[무모순적]]이라면) [[ZFC]]와 독립적이다.

만약 [[구성 가능성 공리]] <math>V=L</math>이 참이라면, 모든 순서수 <math>\alpha</math>에 대하여 <math>\aleph_{\alpha+1}</math>-수슬린 나무가 존재한다.

[[도달 불가능한 기수]] <math>\kappa</math>에 대하여 다음 두 조건이 서로 [[동치]]이다.
* <math>\kappa</math>-아론샤인 나무는 존재하지 않는다.
* [[약콤팩트 기수]]이다.

또한, 다음이 성립한다.
* 만약 [[체르멜로-프렝켈 집합론]]이 무모순적이라면, 수슬린 가설은 [[선택 공리]]를 추가한 [[체르멜로-프렝켈 집합론]]과 독립적이다.<ref name="Kunen"/>{{rp|66, §II.4}}
* 수슬린 가설은 ZFC+[[일반화 연속체 가설]]과 무모순적이며, 또 [[연속체 가설]]의 부정과도 무모순적이다.<ref name="Kunen"/>{{rp|66, §II.4}}
* [[마틴 공리]]와 [[연속체 가설]]의 부정 <math>\mathsf{MA}\land\lnot\mathsf{CH}</math>은 수슬린 가설을 함의한다.<ref name="Kunen"/>{{rp|66}}<ref>{{저널 인용|이름=Donald Anthony|성=Martin|author2-first=Robert|author2-last=Solovay|author2-link=로버트 솔로베이|제목=Internal Cohen extensions|저널=Annals of Mathematical Logic|권=2|호=2|쪽=143–178|doi=10.1016/0003-4843(70)90009-4|날짜=1970-10|issn=0168-0072|언어=en}}</ref>
* [[다이아몬드 원리]] <math>\diamondsuit</math>는 수슬린 가설의 부정을 함의한다. ([[구성 가능성 공리]] <math>V=L</math>는 다이아몬드 원리를 함의하므로, 역시 수슬린 가설의 부정을 함의한다.)

ZFC만으로, 모든 [[분해 가능 공간]]인 수슬린 직선은 <math>\mathbb R</math>와 순서 동형임을 증명할 수 있다. 이는 [[게오르크 칸토어]]가 증명하였다.

=== 강제법 ===
다음 데이터가 주어졌다고 하자.
* [[ZFC]]의 [[표준 추이적 모형]] <math>M</math>
* <math>M</math> 속에서의 [[비가산]] [[정칙 기수]] <math>\kappa\in\operatorname{Card}^M</math>, <math>\kappa>\omega</math>
* <math>M</math> 속에서의 정돈된 <math>\kappa</math>-수슬린 나무 <math>T\in M</math>
* <math>T</math>의 [[포괄적 순서 아이디얼]] <math>G\subseteq T</math>
그렇다면, [[강제법 모형]] <math>M[G]</math>를 생각할 수 있다. 그렇다면, 다음이 성립한다.<ref name="Kunen"/>{{rp|229, Theorem VII.8.4}}
* <math>M[G]</math> 속에서, 나무 <math>T</math>는 <math>\kappa</math>-수슬린 나무가 아니다.

== 예 ==
=== 자명한 나무 ===
임의의 집합 <math>X</math>에 대하여, 자명한 [[부분 순서]] <math>a\le b\iff a=b</math>를 주면, <math>X</math>는 나무를 이룬다. 그 높이는 만약 <math>X</math>가 공집합이라면 0이며, 만약 <math>X</math>가 공집합이 아니라면 1이다.

임의의 [[순서수]] <math>\alpha</math>는 (폰 노이만 정의에서) 높이 <math>\alpha</math>의 나무를 이룬다.

=== 완비 나무 ===
임의의 [[순서수]] <math>\alpha</math>와 집합 <math>S</math>에 대하여,
:<math>S^{<\alpha}=\bigsqcup_{\beta<\alpha}S^\beta</math>
는 <math>\beta<\alpha</math>에 대한 열 <math>\beta\to S</math>들의 집합이다. 여기에 [[부분 순서]]
:<math>(s_i)_{i<\beta}\le(s'_{i'})_{i'<\beta'}\iff (\beta\le\beta')\land (s=s'\restriction\beta)</math>
를 부여하면, 이는 높이 <math>\alpha</math>의 나무를 이룬다. 이를 높이 <math>\alpha</math>의 '''완비 <math>S</math>진 나무'''({{llang|en|complete <math>S</math>-ary tree}})라고 한다.<ref name="Kunen"/>{{rp|68, §II.5}} 만약 <math>S</math>가 [[한원소 집합]]이라면, 높이 <math>\alpha</math>의 완비 <math>S</math>진 나무는 <math>\alpha</math>와 순서 동형이다.

=== 묘사적 집합론에서의 나무 ===
집합 <math>S</math>가 주어졌다고 하자. 그렇다면, 높이 <math>\omega</math>의 완비 <math>S</math>진 나무 <math>S^{<\omega}</math>를 생각하자. 그렇다면, <math>S^{<\omega}</math>의 [[하집합]]은 나무를 이룬다.

묘사적 집합론({{llang|en|descriptive set theory}})에서는 위와 같은 나무들을 주로 사용한다.<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|5, Definition 2.1}} 이러한 나무 <math>T\subseteq S^{<\omega}</math>의 경우, 높이 <math>\omega</math>의 가지들의 집합은 보통 <math>[T]</math>로 표기하며, 나무의 '''몸통'''({{llang|en|body|보디}})이라고 한다.<ref name="Kechris"/>{{rp|5, Definition 2.1}} 이 경우, 자연스럽게 <math>[T]\subseteq S^\omega</math>가 된다.

<math>S</math>를 [[이산 공간]]으로 간주하며, <math>S^\omega</math>를 그 [[가산 무한]] [[곱공간]]으로 생각하자. 그렇다면, 임의의 부분 집합 <math>A\subseteq S^\omega</math>에 대하여 다음 두 조건이 서로 [[동치]]이다.<ref name="Kechris"/>{{rp|7, Proposition 2.4}}
* <math>A=[T]</math>인 [[하집합]] <math>T\subseteq S^{<\omega}</math>가 존재한다.
* <math>A</math>는 <math>S^\omega</math>의 [[닫힌집합]]이다.
<div class="mw-collapsible mw-collapsed toccolours">
'''증명:'''
<div class="mw-collapsible-content">
임의의 [[하집합]] <math>T\subseteq S^{<\omega}</math>에 대하여, 그 몸통의 [[여집합]]은
:<math>S^\omega\setminus[T]=\bigcup_{n<\omega}\{s\in S^\omega\colon s\restriction n\not\in T\}</math>
인데, 우변의 각 항들은 <math>S^\omega</math>의 [[열린집합]]이다.

반대로, 임의의 [[닫힌집합]] <math>A\subseteq S^\omega</math>가 주어졌다고 하자. 그렇다면, 다음과 같은 나무를 생각하자.
:<math>T=\bigsqcup_{n<\omega}\{s\restriction n\colon s\in A\}\subseteq S^{<\omega}</math>
그렇다면, <math>[T]=A</math>가 된다.
</div></div>

[[정렬 전순서 집합]] <math>(S,\le_S)</math> 및 [[하집합]] <math>T\subseteq S^{<\omega}</math>에 대하여, 다음 두 조건이 서로 [[동치]]이다.<ref name="Kechris" />{{rp|12, Proposition 2.12}}
* <math>[T]=\varnothing</math>
* <math>T</math> 위의 ([[사전식 순서|사전식]]) [[전순서]] <math>s\le_{\operatorname{KB}}t\iff s\ge t\lor s_{\min\{\alpha\colon s_\alpha\ne t_\alpha\}}<_St_{\min\{\alpha\colon s_\alpha\ne t_\alpha\}}</math>는 [[정렬 전순서]]이다.
{{증명}}
만약 <math>s\in[T]</math>라면,
:<math>(s_0)>_{\operatorname{KB}}(s_0,s_1)>_{\operatorname{KB}}(s_0,s_1,s_2)>_{\operatorname{KB}}\dotsb</math>
이므로 <math>>_{\operatorname{KB}}</math>는 [[정렬 전순서]]가 아니다.

반대로, 만약
:<math>s^0,s^1,s^2,\dotsc\in T</math>
:<math>s^0>_{\operatorname{KB}}s^1>_{\operatorname{KB}}s^2>_{\operatorname{KB}}\dotsb</math>
라면,
:<math>s^0_0\ge_Ss^1_0\ge_Ss^2_0\ge_S\dotsb</math>
이다. <math>(S,\le_S)</math>가 [[정렬 전순서 집합]]이므로,
:<math>a_0=s^{n_1}_0=s^{n_1+1}_0=s^{n_1+2}_0=\dotsb</math>
:<math>n_1<\omega</math>
인 <math>a_0\in S</math> 및 <math>n_1<\omega</math>가 존재한다. 이 경우, <math>(a_0)\le s^{n_1}</math>이므로 <math>(a_0)\in T</math>이다. 마찬가지로,
:<math>s^{n_1}_1\ge_Ss^{n_1+1}_1\ge_Ss^{n_1+2}_1\ge_S\dotsb</math>
이므로,
:<math>a_1=s^{n_2}_1=s^{n_2+1}_1=s^{n_2+2}_1=\dotsb</math>
:<math>n_1\le n_2<\omega</math>
라고 하자. 이 경우 <math>(a_0,a_1)\le s^{n_2}</math>이므로 <math>(a_0,a_1)\in T</math>이다. 이를 반복하면
:<math>(a_0,a_1,a_2,\dotsc)\in[T]</math>
를 얻는다.
{{증명 끝}}

== 역사 ==
=== 19세기~20세기 초 ===
[[게오르크 칸토어]]는 1895년에 최대·최소 원소를 갖지 않는, [[분해 가능 공간|분해 가능]] [[선형 연속체]]가 항상 [[실수]]의 [[전순서 집합]]과 순서 동형임을 증명하였다.<ref>{{저널 인용|성=Cantor |이름=Georg |저자링크=게오르크 칸토어|year=1895 |url=http://www.digizeitschriften.de/dms/resolveppn/?PID=GDZPPN00225557X |title=Beiträge zur Begründung der transfiniten Mengenlehre (Erster Artikel) |journal=Mathematische Annalen |volume=46 | 호=4 | pages=481–512 |doi=10.1007/bf02124929 | issn=0025-5831 | 언어=de }}</ref>{{rp|§11, 510–512}} [[미하일 수슬린]]은 1920년에 사후 출판된 원고에서 칸토어의 위 정리에서 [[분해 가능 공간]] 조건을 [[가산 강하향 반사슬 조건]]으로 약화시키면 어떻게 되는지 여부에 대한 문제를 제시하였다.<ref>{{저널 인용|title=Problèmes |이름=W.|성=Sierpiński|저자링크=바츠와프 시에르핀스키|author2-first=B.|author2-last=Knaster|authorlink3=카지미에시 쿠라토프스키|author3-first=C.|author3-last=Kuratowski|author4-first=M.|author4-last=Souslin|author4-link=미하일 수슬린|authorlink5=후고 스테인하우스|author5-first=H.|author5-last=Steinhaus|author6-first=S.|author6-last=Mazurkiewicz|authorlink6=스테판 마주르키에비치|authorlink7=니콜라이 루진|author7-first=N.|author7-last=Lusin|author8-first=T.|author8-last=Felsztyn |journal=Fundamenta Mathematicae |volume=1 |날짜=1920 |page=223–224 | url=http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.bwnjournal-article-fmv1i1p223bwm | 언어=fr}}</ref>{{rp|223}}<ref name="Kanamori">{{서적 인용|장=Historical remarks on Suslin’s problem|이름=Akihiro|성=Kanamori|저자링크=가나모리 아키히로|zbl=1258.03067|장url=http://math.bu.edu/people/aki/18.pdf|제목=Set theory, arithmetic, and foundations of mathematics. Theorems, philosophies|isbn=978-110700804-5|doi=10.1017/CBO9780511910616.002|출판사=Cambridge University Press|editor1-first=Juliette|editor1-last=Kennedy|editor2-first=Roman|editor2-last=Kossak|쪽=1–12|날짜=2011|총서=Lecture Notes in Logic|권=36|언어=en}}</ref> 이 논문에서 수슬린 가설은 다음과 같이 3번 문제로 수록되어 있다.
{{인용문2|3) [[전순서 집합|(전)순서 집합]]에서 건너뜀이나 틈이 없으며 [즉, 완비 조밀 순서이며], (하나 이상의 원소를 갖는) 겹치지 않는 [[구간]]들의 집합이 항상 [[가산 집합|가산]]이라면, 이는 항상 (표준적) 실연속체인가? M. 수슬린 씨의 문제.<br>
{{lang|fr|3) Un ensemble ordonné (linéairement) sans sauts ni lacunes et tel que tout ensemble de ses intervalles (contenant plus qu’un élément) n’empiétant pas les uns sur les autres est au plus dénumerable, est-il nécessairement un continue linéaire (ordinaire)? Problème de M. M. Souslin.}}
}}
이후 [[주로 쿠레파]]가 수슬린 나무의 개념을 도입하였고, 수슬린 가설을 수슬린 나무로서 서술할 수 있음을 보였다.<ref name="Kurepa"/><ref name="Kunen"/>{{rp|69, §II.5}} 이처럼 역사적으로 수슬린 가설은 [[전순서 집합]]의 이론에서 유래하였지만, [[케네스 쿠넌]]은 다음과 같이 적었다.
{{인용문2|수슬린 가설을 비롯한 여러 [[조합론]]적 명제들은 나무에 대한 명제로 이해하는 것이 가장 낫다.<br>{{lang|en|Suslin’s Hypothesis, as well as a number of other combinatorial statements, are best understood as assertions about trees.}}|<ref name="Kunen"/>{{rp|68, §II.5}}}}

아론샤인 나무는 1938년에 [[주로 쿠레파]]의 논문에서 최초로 등장하였다.<ref name="Kurepa38">{{저널 인용|url=http://elib.mi.sanu.ac.rs/files/journals/publ/6/14.pdf|제목=Ensembles linéares et une classe de tableaux ramifiés (tableaux ramifiés de M. Aronszajn)|이름=Georges|성=Kurepa|저자링크=주로 쿠레파|저널=Publications de l’Institut mathématique de l’Académie serbe des sciences et des arts|issn=0350-1302|권=6|날짜=1938|쪽=129–160|zbl=0020.10802|언어=fr}}</ref> 쿠레파는 이 개념을 "아론샤인 씨의 분기 집합"({{llang|fr|ensemble ramifié de M. Aronszajn|앙상블 라미피에 드 므쇠 아론샤인}})이라고 일컬었으며, 이 논문에서 다음과 같이 적었다.
{{인용문2|
한동안 나는 [<nowiki></nowiki>[[전순서 집합]]으로부터 구성된 아론샤인 나무]의 존재의 문제에 대하여 시달렸다. [[바르샤바]]를 떠나기 며칠 전 (1937년 4월 말) 나는 이 문제를 긍정적으로 해결했다고 생각하였으며, 이에 대한 논문을 작성하여 《푼다멘타 마테마티카이》 편집부에 투고하였다. 열흘 뒤에 나는 내 증명 속의 오류를 발견하였으며, 이 오류는 내 박사 학위 논문에도 있던 것이었다 […].

이 명제의 증명을 고칠 수 없어서 나는 [[나흐만 아론샤인|아론샤인]] 씨와 의논하였다. 아론샤인 씨는 이를 성공적으로 증명하였으며, 또한, 재미있게도, 그가 내게 그의 멋진 증명을 보여준 이틀 뒤, 내가 [[아르노 당주아|당주아]] 씨와의 대화 도중에 알게 된 것은, 그 유명한 기하학자 역시, 수슬린 문제와 씨름하는 과정에서, 1936년 봄에 이 명제를 이미 증명했다는 것이었다.

{{lang|fr|Depuis un moment, je fus hanté par le problème de l’existence d’un [arbre de Aronszajn composé d’ensembles linéares fermés], et, quelques jours avant de partir de Varsovie (vers la fin du mois d’avril 1937), j’avais cru avoir résolu la question par l’affirmative et avais composé là-dessus un article et transmis à la Rédaction des ''Fundamenta Mathematicae''. Une dizaine de jours après, j’avais découvert une faute dans ma démostration, faute qui se trouve aussi dans ma Thèse […].

N’ayant pas pu rétablir la démonstration de la proposition ci-dessus, je me suis adressé à M. Aronszajn; M. Aronszajn y a réussi, et, fait curieux, deux jours après qu’il avait bien voulu m’exposer sa belle démonstration, j’ai appris, lors d'une conversation avec M. Denjoy, que, de sa part, l’illustre géomètre, en s’occupant du problème de Souslin, avait été, dès [l]e printemps 1936, en possession de la [p]roposition […].}}
|<ref name="Kurepa38"/>{{rp|132}}}}

쿠레파 나무 역시 [[주로 쿠레파]]가 도입하였다.

=== 20세기 중반~21세기 ===
토마시 예흐({{llang|cs|Tomáš J. Jech}})<ref>{{저널 인용|mr=0215729|zbl=0204.00701|last=Jech|first= Tomáš|title=Non-provability of Souslin’s hypothesis|journal=Commentationes Mathematicae Universitatis Carolinae |volume=8 |호=2|year=1967 |pages=291–305|url=http://dml.cz/handle/10338.dmlcz/105112|issn=0010-2628|언어=en}}</ref>와 [[스탠리 테넨바움]]<ref>{{저널 인용|mr=0224456|last=Tennenbaum|first= Stanley|저자링크=스탠리 테넨바움|title=Souslin’s problem|journal=Proceedings of the National Academy of Sciences of the United States of America|volume= 59 |날짜=1968-01|pages= 60–63|doi=10.1073/pnas.59.1.60|pmc=286001|pmid=16591594
|zbl=0172.29503|issn=0027-8424|언어=en}}</ref>이 수슬린 나무가 존재하는 [[강제법 모형]]을 제시하였다.<ref name="Kanamori"/>{{rp|§2}} 곧 또한 로널드 비언 젠슨({{llang|en|Ronald Björn Jensen}})은 [[다이아몬드 원리]]를 가정하면 수슬린 나무가 존재함을 증명하였다.<ref>{{저널 인용|이름=Ronald Björn|성=Jensen|날짜=1968|제목=Souslin’s Hypothesis is incompatible with ''V''=''L''|저널=Notices of the American Mathematical Society|권=16|쪽=935–935|issn=0002-9920|언어=en}}</ref><ref name="Kanamori"/>{{rp|§2}}

1971년에 [[로버트 솔로베이]]와 [[스탠리 테넨바움]]은 [[반복 강제법]]을 도입하여, [[연속체 가설]]의 부정과 [[마틴 공리]]를 가정하면 수슬린 나무가 존재하지 않음을 증명하였다.<ref>{{저널 인용|title=Iterated Cohen extensions and Souslin’s problem |last=Solovay |first=Robert M. | 저자링크=로버트 솔로베이 |성2=Tennenbaum | 이름2= Stanley |저자링크2=스탠리 테넨바움 |volume=94 |year=1971 |pages=201–245 |doi=10.2307/1970860 |issue=2|저널=Annals of Mathematics |jstor=1970860 | zbl = 0244.02023 | mr= 0294139 |언어=en}}</ref><ref name="Kanamori"/>{{rp|§3}}

같은 해에 잭 하워드 실버({{llang|en|Jack Howard Silver}})는 쿠레파 가설 역시 (ZFC가 [[무모순적]]이라면) [[ZFC]]와 독립적임을 증명하였다.<ref>{{서적 인용|MR=0277379 | zbl=0255.02068
|last=Silver|first= Jack Howard
|장=The independence of Kurepa's conjecture and two-cardinal conjectures in model theory|날짜= 1971 |title=Axiomatic set theory. Part 1 |series=Proceedings of Symposia in Pure Mathematics|volume= 13.1 |pages= 383–390 |editor1-first=Dana S.|editor1-last=Scott|editorlink=데이나 스콧|publisher=American Mathematical Society|isbn=978-0-8218-1413-0|doi=10.1090/pspum/013.1/0277379|언어=en}}</ref>

수슬린 문제에 대하여 [[메리 엘런 루딘]]은 다음과 같이 적었다.
{{인용문2|이 문제를 처음 접하는 수학자들은 보통 "수슬린 나무는 존재할 수 없다"고 직감하거나 또는 반대로 "수슬린 나무를 구성하는 알고리즘을 제시할 수 있다"고 직감한다.
{{lang|en|The uninitiated mathematician usually feels strongly either that there can be no Souslin tree or, just as strongly, that he should be able to describe an algorithm for the construction of a Souslin tree.}}
|<ref>{{저널 인용|제목=Souslin’s conjecture|이름=Mary Ellen|성=Rudin|저자링크=메리 엘런 루딘|저널=The American Mathematical Monthly|권=76|호=10|날짜=1969-12|쪽=1113–1119|jstor=2317183|issn=0002-9890|zbl=0187.27302|언어=en}}</ref>}}
즉, 수슬린 문제는 사실과 달리 "당연히 참"이거나 "당연히 거짓"인 것처럼 보인다는 것이다.

[[얀 미치엘스키]]는 수슬린 가설을 옹호하기 위하여 다음과 같이 적었다.
{{인용문2|수학에서는 [수슬린 가설]을 위배하는 [[전순서 집합]]이 등장하지 않는다. 따라서, 집합론을 자연스럽게 단순화하기 위하여, 우리는 [수슬린 가설]을 [공리로서] 받아들이기로 한다.<br>{{lang|en|[W]e do not meet in mathematics any linear orders violating [Suslin’s hypothesis]. So we accept [Suslin’s hypothesis] [as an axiom] since it simplifies set theory in a natural way.}}|<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|언어=en}}</ref>{{rp|209}}}}

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

== 외부 링크 ==
* {{eom|title=Aronszajn tree}}
* {{eom|title=Suslin hypothesis}}
* {{eom|title=Suslin condition}}
* {{매스월드|id=SouslinsHypothesis|title=Souslin’s hypothesis}}
* {{서적 인용|제목=Souslin’s hypothesis|이름=Michiel|성=Jespers|날짜=2013-08-15|url=https://www.math.leidenuniv.nl/scripties/JespersBach.pdf|기타=학사 학위 논문. 지도 교수 Klaas Pieter Hart|출판사=[[레이던 대학교]]|언어=en|access-date=2016-08-17|archive-date=2014-06-13|archive-url=https://web.archive.org/web/20140613041559/http://www.math.leidenuniv.nl/scripties/JespersBach.pdf|url-status=dead}}
* {{웹 인용|url=http://blog.assafrinot.com/?p=1830|제목=The P-Ideal dichotomy and the Souslin hypothesis|이름=Assaf|성=Rinot|날짜=2012-08-07|언어=en}}
* {{웹 인용|url=http://blog.assafrinot.com/?p=1964|제목=Kurepa trees and ineffable cardinals|이름=Assaf|성=Rinot|날짜=2012-08-16|언어=en}}
* {{웹 인용|url=http://blog.assafrinot.com/?p=2636|제목=Forcing with a Souslin tree makes 𝔭=''ω''<sub>1</sub>|이름=Assaf|성=Rinot|날짜=2013-04-01|언어=en}}
* {{웹 인용|url=http://blog.assafrinot.com/?p=3119|제목=A Kurepa tree from diamond-plus|이름=Assaf|성=Rinot|날짜=2013-05-29|언어=en}}
* {{웹 인용|url=http://blog.assafrinot.com/?p=4070|제목=Prolific Souslin trees|이름=Assaf|성=Rinot|날짜=2016-03-17|언어=en}}
* {{웹 인용|url=http://blog.assafrinot.com/?p=4222|제목=Prikry forcing may add a Souslin tree|이름=Assaf|성=Rinot|날짜=2016-06-12|언어=en}}
* {{웹 인용|url=http://mathoverflow.net/questions/114210/where-did-nachman-aronszajn-prove-the-existence-of-aronszajn-trees|제목=Where did Nachman Aronszajn prove the existence of Aronszajn trees?|출판사=Math Overflow|언어=en}}
* {{웹 인용|url=http://mathoverflow.net/questions/162657/does-every-aronszajn-tree-has-a-suslin-or-a-special-subtree|제목=Does every Aronszajn tree have a Suslin or a special subtree?|출판사=Math Overflow|언어=en}}
* {{웹 인용|url=http://mathoverflow.net/questions/68533/on-the-independence-of-the-kurepa-hypothesis|제목=On the independence of the Kurepa Hypothesis|출판사=Math Overflow|언어=en}}
* {{웹 인용|url=http://mathoverflow.net/questions/178147/is-not-sh-not-ch-consistent|제목=Is not SH + not CH consistent?|출판사=Math Overflow|언어=en}}

{{전거 통제}}

[[분류:순서론]]
[[분류:집합론]]