나무 (집합론)

순서론과 집합론에서 나무(영어: tree)는 임의의 원소에 대하여 그 미만의 원소들로 구성된 부분 집합이 정렬 전순서 집합을 이루는 부분 순서 집합이다. 나무의 개념은 순서론적으로 특정 조건을 만족시키는 부분 순서 집합으로 정의할 수 있으며, 또 범주론적으로 순서수 위의 준층으로 생각할 수도 있다. 부분 순서 집합 ( T , ≤ ) {\displaystyle (T,\leq )} 가 다음 조건을 만족시킨다면, 나무라고 한다. 임의의 s ∈ T {\displaystyle s\in T} 에 대하여, 하집합 T s = { t ∈ T : t < s } {\displaystyle T_{s}=\{t\in T\colon t<s\}} 는 정렬 전순서 집합이다. 나무 T {\displaystyle T} 의 원소 t ∈ T {\displaystyle t\in T} 에 대하여, T t {\displaystyle T_{t}} 의 순서형인 순서수 ht T ⁡ ( t ) {\displaystyle \operatorname {ht} _{T}(t)} 를 t {\displaystyle t} 의 높이라고 한다. 이는 함수 ht T : T → Ord {\displaystyle \operatorname {ht} _{T}\colon T\to \operatorname {Ord} } 를 정의한다. 높이가 0인 원소는 극소 원소이며, 나무의 극소 원소를 뿌리(영어: root)라고 한다. 나무 T {\displaystyle T} 의 α {\displaystyle \alpha } 번째 단계(段階, 영어: level)는 높이 α {\displaystyle \alpha } 의 원소들의 집합이다. 이를 lv ⁡ ( T , α ) {\displaystyle \operatorname {lv} (T,\alpha )} 로 표기하자. 나무 T {\displaystyle T} 의 너비(영어: width)는 그 단계들의 크기들의 상한이다. 나무 T {\displaystyle T} 의 높이 ht ⁡ ( T ) {\displaystyle \operatorname {ht} (T)} 는 모든 원소들의 높이를 초과하는 최소의 순서수이다. ht ⁡ ( T ) = min { α ∈ Ord : ∀ t ∈ T : α > ht T ⁡ ( t ) } {\displaystyle \operatorname {ht} (T)=\min \left\{\alpha \in \operatorname {Ord} \colon \forall t\in T\colon \alpha >\operatorname {ht} _{T}(t)\right\}} 나무 T {\displaystyle T} 의 가지(영어: branch)는 극대 사슬이다. 나무의 가지 역시 정렬 전순서 집합을 이루며, 따라서 가지의 높이를 정의할 수 있다. T {\displaystyle T} 의 가지들의 집합을 Br ⁡ ( T ) {\displaystyle \operatorname {Br} (T)} 라고 하자. 나무 T {\displaystyle T} 가 다음 두 조건을 만족시킨다면, T {\displaystyle T} 를 정돈된 나무(整頓-, 영어: well pruned tree)라고 한다. 임의의 순서수 α < β < ht ⁡ T {\displaystyle \alpha <\beta <\operatorname {ht} T} 및 높이 α {\displaystyle \alpha } 의 원소 s ∈ T {\displaystyle s\in T} 에 대하여, s < t {\displaystyle s<t} 이자 ht T ⁡ ( t ) = β {\displaystyle \operatorname {ht} _{T}(t)=\beta } 인 원소 t ∈ T {\displaystyle t\in T} 가 존재한다. 뿌리가 유일하다. 임의의 순서수 λ {\displaystyle \lambda } 에 대하여, λ = { α ∈ Ord : α < λ } {\displaystyle \lambda =\{\alpha \in \operatorname {Ord} \colon \alpha <\lambda \}} 는 정렬 전순서 집합이므로 작은 얇은 범주로 간주할 수 있다. 높이 λ {\displaystyle \lambda } 이하의 나무는 λ {\displaystyle \lambda } 위의 준층이다. 즉, 함자 T : λ op → Set {\displaystyle T\colon \lambda ^{\operatorname {op} }\to \operatorname {Set} } 이다. 즉, 구체적으로 다음과 같은 데이터로 구성된다. 각 순서수 α < λ {\displaystyle \alpha <\lambda } 에 대하여, 집합 T ( α ) {\displaystyle T(\alpha )} . 이를 나무 T {\displaystyle T} 의 α {\displaystyle \alpha } 번째 단계라고 한다. 임의의 두 순서수 α ≤ β < λ {\displaystyle \alpha \leq \beta <\lambda } 에 대하여, 함수 f β α : S β → S α {\displaystyle f_{\beta \alpha }\colon S_{\beta }\to S_{\alpha }} . 이 데이터는 다음과 같은 함자 조건을 만족시켜야 한다. 임의의 세 순서수 α ≤ β ≤ γ < α {\displaystyle \alpha \leq \beta \leq \gamma <\alpha } 에 대하여, f β α ∘ f γ β = f γ α {\displaystyle f_{\beta \alpha }\circ f_{\gamma \beta }=f_{\gamma \alpha }} 임의의 α < λ {\displaystyle \alpha <\lambda } 에 대하여, f α α : S α → S α {\displaystyle f_{\alpha \alpha }\colon S_{\alpha }\to S_{\alpha }} 는 항등 함수이다. 이 경우, 분리 합집합 T = ⨆ α < λ T ( α ) {\displaystyle T=\bigsqcup _{\alpha <\lambda }T(\alpha )} 위에 다음과 같은 부분 순서를 줄 수 있다. ∀ s ∈ T ( α ) ∀ t ∈ T ( β ) : s ≤ t ⟺ ( α ≤ β ) ∧ ( f β α ( t ) = s ) {\displaystyle \forall s\in T(\alpha )\forall t\in T(\beta )\colon s\leq t\iff (\alpha \leq \beta )\land (f_{\beta \alpha }(t)=s)} 기수 κ {\displaystyle \kappa } 에 대하여, κ {\displaystyle \kappa } -아론샤인 나무(영어: κ {\displaystyle \kappa } -Aronszajn tree)는 다음 세 조건들을 만족시키는 나무 T {\displaystyle T} 이다.:69, Definition II.5.8:2 높이가 κ {\displaystyle \kappa } 이다. 모든 가지의 크기는 κ {\displaystyle \kappa } 미만이다. 모든 단계의 크기는 κ {\displaystyle \kappa } 미만이다. 만약 κ {\displaystyle \kappa } 가 주어지지 않았으면 κ = ℵ 1 {\displaystyle \kappa =\aleph _{1}} 을 뜻한다. 기수 κ {\displaystyle \kappa } 에 대하여, κ {\displaystyle \kappa } -수슬린 나무(Суслин-, 영어: Souslin tree)는 다음 조건을 만족시키는 나무이다.:69, Definition II.5.4 높이가 κ {\displaystyle \kappa } 이다. 모든 사슬의 크기는 κ {\displaystyle \kappa } 미만이다. 모든 반사슬의 크기는 κ {\displaystyle \kappa } 미만이다. 만약 κ {\displaystyle \kappa } 가 주어지지 않았으면 κ = ℵ 1 {\displaystyle \kappa =\aleph _{1}} 을 뜻한다. 모든 단계는 반사슬이므로, κ {\displaystyle \kappa } -수슬린 나무는 항상 κ {\displaystyle \kappa } -아론샤인 나무이다. 만약 κ {\displaystyle \kappa } 가 무한 기수라면, 모든 κ {\displaystyle \kappa } -수슬린 나무는 κ {\displaystyle \kappa } -아론샤인 나무이나, 그 역은 성립하지 않는다. 기수 κ {\displaystyle \kappa } 에 대하여, κ {\displaystyle \kappa } -쿠레파 나무(Курепа-, 영어: Kurepa tree)는 다음 조건을 만족시키는 나무이다.:74, Definition II.5.16 높이가 κ {\displaystyle \kappa } 이다. 크기 κ {\displaystyle \kappa } 의 가지의 수가 κ {\displaystyle \kappa } 초과이다. 모든 단계의 크기는 κ {\displaystyle \kappa } 미만이다. 만약 κ {\displaystyle \kappa } 가 주어지지 않았으면 κ = ℵ 1 {\displaystyle \kappa =\aleph _{1}} 을 뜻한다. " ℵ 1 {\displaystyle \aleph _{1}} -수슬린 나무(또는 수슬린 직선)가 존재하지 않는다"는 명제를 수슬린 가설(Суслин假說, 영어: Souslin’s hypothesis) S H {\displaystyle {\mathsf {SH}}} 이라고 한다.:66, Definition II.4.1:4 " ℵ 1 {\displaystyle \aleph _{1}} -쿠레파 나무가 존재한다"는 명제를 쿠레파 가설(Курепа假說, 영어: Kurepa hypothesis) K H {\displaystyle {\mathsf {KH}}} 라고 한다.:74, Definition 5.16 (역사적 이유로 인하여, 수슬린 가설과 쿠레파 가설의 정의는 서로 반대이다.) κ {\displaystyle \kappa } -특수 아론샤인 나무(영어: special Aronszajn tree)는 다음 조건을 만족시키는 κ {\displaystyle \kappa } -아론샤인 나무 T {\displaystyle T} 이다.:91, Exercise II(40) T {\displaystyle T} 는 κ {\displaystyle \kappa } 미만 개의 반사슬들의 합집합이다. 일부 나무들은 특정 전순서 집합과 밀접한 관계를 갖는다. 나무 T {\displaystyle T} 의 마디(영어: node)는 다음 조건을 만족시키는 부분 집합 N ⊆ T {\displaystyle N\subseteq T} 이다. ∀ a , b ∈ N : ( ↓ { a } ) ∖ { a } = ( ↓ { b } ) ∖ { b } {\displaystyle \forall a,b\in N\colon (\downarrow \{a\})\setminus \{a\}=(\downarrow \{b\})\setminus \{b\}} 나무 T {\displaystyle T} 가 주어졌으며, 각 마디 N ⊆ T {\displaystyle N\subseteq T} 에 대하여 N {\displaystyle N} 위의 전순서가 주어졌다고 하자. 그렇다면, 가지 집합 Br ⁡ ( T ) {\displaystyle \operatorname {Br} (T)} 위에 다음과 같은 전순서를 줄 수 있다. B ≤ B ′ ⟺ B α ≤ B α ′ {\displaystyle B\leq B'\iff B_{\alpha }\leq B'_{\alpha }} α = min { β < ht ⁡ T : B ( β ) ≠ B ′ ( β ) } {\displaystyle \alpha =\min\{\beta <\operatorname {ht} T\colon B(\beta )\neq B'(\beta )\}} 이를 T {\displaystyle T} 의 가지 공간(영어: branch space)이라고 한다. 임의의 기수 κ {\displaystyle \kappa } 에 대하여, 정돈된 나무 T {\displaystyle T} 가 κ {\displaystyle \kappa } -강상향 반사슬 조건을 만족시킨다면, L = Br ⁡ ( T ) {\displaystyle L=\operatorname {Br} (T)} 에 대하여, Open ⁡ ( L ) ∖ { ∅ } {\displaystyle \operatorname {Open} (L)\setminus \{\varnothing \}} 역시 κ {\displaystyle \kappa } -강상향 반사슬 조건을 만족시킨다. 증명: T {\displaystyle T} 가 정돈된 나무라고 하자. 즉, 모든 가지들의 높이가 ht ⁡ ( T ) {\displaystyle \operatorname {ht} (T)} 라고 하자. 귀류법을 사용하여, { ( B α , C α ) } α < κ {\displaystyle \{(B_{\alpha },C_{\alpha })\}_{\alpha <\kappa }} 가 κ {\displaystyle \kappa } 개의, 공집합이 아닌 서로소 열린구간들의 집합이라고 하자. 그렇다면, 각 α < κ {\displaystyle \alpha <\kappa } 에 대하여, D α ∈ ( B α , C α ) {\displaystyle D_{\alpha }\in (B_{\alpha },C_{\alpha })} 를 고르고, 또한 순서수열 δ α = max { d ( B α , D α ) , d ( D α , C α ) } {\displaystyle \delta _{\alpha }=\max \left\{d(B_{\alpha },D_{\alpha }),d(D_{\alpha },C_{\alpha })\right\}} 을 정의하자. 여기서 d ( B , C ) = min { ht ⁡ ( T ) ∖ { ht T ⁡ ( t ) } t ∈ B ∩ C } ∈ Ord {\displaystyle d(B,C)=\min \left\{\operatorname {ht} (T)\setminus \{\operatorname {ht} _{T}(t)\}_{t\in B\cap C}\right\}\in \operatorname {Ord} } 는 두 가지가 공유하지 않는 최소의 단계를 뜻하며, 만약 B ≠ C {\displaystyle B\neq C} 라면 잘 정의된다. 그렇다면, { D α ( δ α ) } α < κ ⊆ T {\displaystyle \{D_{\alpha }(\delta _{\alpha })\}_{\alpha <\kappa }\subseteq T} 는 T {\displaystyle T} 의, 크기 κ {\displaystyle \kappa } 의 (강상향) 반사슬을 이룬다. 따라서 T {\displaystyle T} 는 κ {\displaystyle \kappa } -강상향 반사슬 조건을 만족시키지 않는다. 최대·최소 원소를 갖지 않는 전순서 집합 ( L , ≤ ) {\displaystyle (L,\leq )} 이 주어졌으며, L {\displaystyle L} 의 (순서 위상에서의) 최소 조밀 집합의 크기가 κ {\displaystyle \kappa } 라고 하고, 또한 κ {\displaystyle \kappa } 가 무한 기수라고 하자. 그렇다면, L {\displaystyle L} 의, 공집합이 아닌 열린구간들의 집합 X = { ( a , b ) : a < b } {\displaystyle X=\{(a,b)\colon a<b\}} 위에 임의의 정렬 전순서 ≤ ∘ {\displaystyle \leq ^{\circ }} 를 부여하였을 때, 다음과 같은 원소열 = ( I α ) α < κ {\displaystyle =(I_{\alpha })_{\alpha <\kappa }} , I α = { x ∈ L : a α < x < b α } {\displaystyle I_{\alpha }=\{x\in L\colon a_{\alpha }<x<b_{\alpha }\}} 을 정의할 수 있다. I α {\displaystyle I_{\alpha }} 는 ⋃ β < α { a α , b β } {\displaystyle \textstyle \bigcup _{\beta <\alpha }\{a_{\alpha },b_{\beta }\}} 와 서로소인, ≤ ∘ {\displaystyle \leq ^{\circ }} -최소 열린구간이다. 그렇다면, { I α } α < κ {\displaystyle \{I_{\alpha }\}_{\alpha <\kappa }} 는 포함 관계에 대하여 부분 순서 집합을 이루며, 그 반대 부분 순서 집합 T {\displaystyle T} 는 L {\displaystyle L} 에 대응하는 나무이다. 다음 두 조건을 만족시키는 전순서 집합 L {\displaystyle L} 을 수슬린 직선(Суслин直線, 영어: Souslin line)이라고 한다. Open ⁡ ( L ) ∖ { ∅ } {\displaystyle \operatorname {Open} (L)\setminus \{\varnothing \}} 은 가산 강하향 반사슬 조건을 만족시킨다. 여기서 Open ⁡ ( L ) ∖ { ∅ } ⊆ P ( L ) {\displaystyle \operatorname {Open} (L)\setminus \{\varnothing \}\subseteq {\mathcal {P}}(L)} 은 (순서 위상에서) L {\displaystyle L} 의 공집합이 아닌 열린집합들의 집합족이다. 분해 가능 공간이 아니다. 정돈된 수슬린 직선(整頓-Суслин直線)은 다음 조건을 추가로 만족시키는 수슬린 직선이다.:90, Exercise II(30) L {\displaystyle L} 은 최소 원소와 최대 원소를 갖지 않는다. L {\displaystyle L} 은 선형 연속체이다. 만약 수슬린 직선이 존재한다면, 정돈된 수슬린 직선이 존재한다.:90, Exercise II(30) 다음이 성립한다.:72–74, Theorem II.5.13 정돈된 ℵ 1 {\displaystyle \aleph _{1}} -수슬린 나무에 대응하는 전순서 집합은 수슬린 직선이다. 정돈된 수슬린 직선에 대응하는 나무는 ℵ 1 {\displaystyle \aleph _{1}} -수슬린 나무이다. 따라서, 수슬린 나무의 존재와 수슬린 직선의 존재는 서로 동치이다. 나무에서, 모든 반사슬은 강상향 반사슬이다. 즉, 반사슬과 강상향 반사슬의 개념이 일치한다. 나무의 경우 다음 두 조건이 서로 동치이다. 하향 원순서 집합이다. 정확히 한 개의 뿌리를 갖는다. 다음 세 개념이 서로 동치이다. 전순서 집합인 나무 모든 단계가 한원소 집합이거나 공집합인 나무 정렬 전순서 집합 쾨니그 보조정리에 의하면, ℵ 0 {\displaystyle \aleph _{0}} -아론샤인 나무는 존재하지 않는다.:69, Lemma II.5.7 ZFC만으로, ℵ 1 {\displaystyle \aleph _{1}} -아론샤인 나무가 존재한다는 것을 증명할 수 있다.:70, Theorem II.5.9 그러나 ℵ 1 {\displaystyle \aleph _{1}} -수슬린 나무의 존재(수슬린 가설)는 (ZFC가 무모순적이라면) ZFC와 독립적이다. 만약 구성 가능성 공리 V = L {\displaystyle V=L} 이 참이라면, 모든 순서수 α {\displaystyle \alpha } 에 대하여 ℵ α + 1 {\displaystyle \aleph _{\alpha +1}} -수슬린 나무가 존재한다. 도달 불가능한 기수 κ {\displaystyle \kappa } 에 대하여 다음 두 조건이 서로 동치이다. κ {\displaystyle \kappa } -아론샤인 나무는 존재하지 않는다. 약콤팩트 기수이다. 또한, 다음이 성립한다. 만약 체르멜로-프렝켈 집합론이 무모순적이라면, 수슬린 가설은 선택 공리를 추가한 체르멜로-프렝켈 집합론과 독립적이다.:66, §II.4 수슬린 가설은 ZFC+일반화 연속체 가설과 무모순적이며, 또 연속체 가설의 부정과도 무모순적이다.:66, §II.4 마틴 공리와 연속체 가설의 부정 M A ∧ ¬ C H {\displaystyle {\mathsf {MA}}\land \lnot {\mathsf {CH}}} 은 수슬린 가설을 함의한다.:66 다이아몬드 원리 ♢ {\displaystyle \diamondsuit } 는 수슬린 가설의 부정을 함의한다. (구성 가능성 공리 V = L {\displaystyle V=L} 는 다이아몬드 원리를 함의하므로, 역시 수슬린 가설의 부정을 함의한다.) ZFC만으로, 모든 분해 가능 공간인 수슬린 직선은 R {\displaystyle \mathbb {R} } 와 순서 동형임을 증명할 수 있다. 이는 게오르크 칸토어가 증명하였다. 다음 데이터가 주어졌다고 하자. ZFC의 표준 추이적 모형 M {\displaystyle M} M {\displaystyle M} 속에서의 비가산 정칙 기수 κ ∈ Card M {\displaystyle \kappa \in \operatorname {Card} ^{M}} , κ > ω {\displaystyle \kappa >\omega } M {\displaystyle M} 속에서의 정돈된 κ {\displaystyle \kappa } -수슬린 나무 T ∈ M {\displaystyle T\in M} T {\displaystyle T} 의 포괄적 순서 아이디얼 G ⊆ T {\displaystyle G\subseteq T} 그렇다면, 강제법 모형 M [ G ] {\displaystyle M[G]} 를 생각할 수 있다. 그렇다면, 다음이 성립한다.:229, Theorem VII.8.4 M [ G ] {\displaystyle M[G]} 속에서, 나무 T {\displaystyle T} 는 κ {\displaystyle \kappa } -수슬린 나무가 아니다. 임의의 집합 X {\displaystyle X} 에 대하여, 자명한 부분 순서 a ≤ b ⟺ a = b {\displaystyle a\leq b\iff a=b} 를 주면, X {\displaystyle X} 는 나무를 이룬다. 그 높이는 만약 X {\displaystyle X} 가 공집합이라면 0이며, 만약 X {\displaystyle X} 가 공집합이 아니라면 1이다. 임의의 순서수 α {\displaystyle \alpha } 는 (폰 노이만 정의에서) 높이 α {\displaystyle \alpha } 의 나무를 이룬다. 임의의 순서수 α {\displaystyle \alpha } 와 집합 S {\displaystyle S} 에 대하여, S < α = ⨆ β < α S β {\displaystyle S^{<\alpha }=\bigsqcup _{\beta <\alpha }S^{\beta }} 는 β < α {\displaystyle \beta <\alpha } 에 대한 열 β → S {\displaystyle \beta \to S} 들의 집합이다. 여기에 부분 순서 ( s i ) i < β ≤ ( s i ′ ′ ) i ′ < β ′ ⟺ ( β ≤ β ′ ) ∧ ( s = s ′ ↾ β ) {\displaystyle (s_{i})_{i<\beta }\leq (s'_{i'})_{i'<\beta '}\iff (\beta \leq \beta ')\land (s=s'\upharpoonright \beta )} 를 부여하면, 이는 높이 α {\displaystyle \alpha } 의 나무를 이룬다. 이를 높이 α {\displaystyle \alpha } 의 완비 S {\displaystyle S} 진 나무(영어: complete S {\displaystyle S} -ary tree)라고 한다.:68, §II.5 만약 S {\displaystyle S} 가 한원소 집합이라면, 높이 α {\displaystyle \alpha } 의 완비 S {\displaystyle S} 진 나무는 α {\displaystyle \alpha } 와 순서 동형이다. 집합 S {\displaystyle S} 가 주어졌다고 하자. 그렇다면, 높이 ω {\displaystyle \omega } 의 완비 S {\displaystyle S} 진 나무 S < ω {\displaystyle S^{<\omega }} 를 생각하자. 그렇다면, S < ω {\displaystyle S^{<\omega }} 의 하집합은 나무를 이룬다. 묘사적 집합론(영어: descriptive set theory)에서는 위와 같은 나무들을 주로 사용한다.:5, Definition 2.1 이러한 나무 T ⊆ S < ω {\displaystyle T\subseteq S^{<\omega }} 의 경우, 높이 ω {\displaystyle \omega } 의 가지들의 집합은 보통 [ T ] {\displaystyle [T]} 로 표기하며, 나무의 몸통(영어: body 보디[*])이라고 한다.:5, Definition 2.1 이 경우, 자연스럽게 [ T ] ⊆ S ω {\displaystyle [T]\subseteq S^{\omega }} 가 된다. S {\displaystyle S} 를 이산 공간으로 간주하며, S ω {\displaystyle S^{\omega }} 를 그 가산 무한 곱공간으로 생각하자. 그렇다면, 임의의 부분 집합 A ⊆ S ω {\displaystyle A\subseteq S^{\omega }} 에 대하여 다음 두 조건이 서로 동치이다.:7, Proposition 2.4 A = [ T ] {\displaystyle A=[T]} 인 하집합 T ⊆ S < ω {\displaystyle T\subseteq S^{<\omega }} 가 존재한다. A {\displaystyle A} 는 S ω {\displaystyle S^{\omega }} 의 닫힌집합이다. 증명: 임의의 하집합 T ⊆ S < ω {\displaystyle T\subseteq S^{<\omega }} 에 대하여, 그 몸통의 여집합은 S ω ∖ [ T ] = ⋃ n < ω { s ∈ S ω : s ↾ n ∉ T } {\displaystyle S^{\omega }\setminus [T]=\bigcup _{n<\omega }\{s\in S^{\omega }\colon s\upharpoonright n\not \in T\}} 인데, 우변의 각 항들은 S ω {\displaystyle S^{\omega }} 의 열린집합이다. 반대로, 임의의 닫힌집합 A ⊆ S ω {\displaystyle A\subseteq S^{\omega }} 가 주어졌다고 하자. 그렇다면, 다음과 같은 나무를 생각하자. T = ⨆ n < ω { s ↾ n : s ∈ A } ⊆ S < ω {\displaystyle T=\bigsqcup _{n<\omega }\{s\upharpoonright n\colon s\in A\}\subseteq S^{<\omega }} 그렇다면, [ T ] = A {\displaystyle [T]=A} 가 된다. 정렬 전순서 집합 ( S , ≤ S ) {\displaystyle (S,\leq _{S})} 및 하집합 T ⊆ S < ω {\displaystyle T\subseteq S^{<\omega }} 에 대하여, 다음 두 조건이 서로 동치이다.:12, Proposition 2.12 [ T ] = ∅ {\displaystyle [T]=\varnothing } T {\displaystyle T} 위의 (사전식) 전순서 s ≤ KB t ⟺ s ≥ t ∨ s min { α : s α ≠ t α } < S t min { α : s α ≠ t α } {\displaystyle s\leq _{\operatorname {KB} }t\iff s\geq t\lor s_{\min\{\alpha \colon s_{\alpha }\neq t_{\alpha }\}}<_{S}t_{\min\{\alpha \colon s_{\alpha }\neq t_{\alpha }\}}} 는 정렬 전순서이다. 증명: 만약 s ∈ [ T ] {\displaystyle s\in [T]} 라면, ( s 0 ) > KB ( s 0 , s 1 ) > KB ( s 0 , s 1 , s 2 ) > KB ⋯ {\displaystyle (s_{0})>_{\operatorname {KB} }(s_{0},s_{1})>_{\operatorname {KB} }(s_{0},s_{1},s_{2})>_{\operatorname {KB} }\dotsb } 이므로 > KB {\displaystyle >_{\operatorname {KB} }} 는 정렬 전순서가 아니다. 반대로, 만약 s 0 , s 1 , s 2 , … ∈ T {\displaystyle s^{0},s^{1},s^{2},\dotsc \in T} s 0 > KB s 1 > KB s 2 > KB ⋯ {\displaystyle s^{0}>_{\operatorname {KB} }s^{1}>_{\operatorname {KB} }s^{2}>_{\operatorname {KB} }\dotsb } 라면, s 0 0 ≥ S s 0 1 ≥ S s 0 2 ≥ S ⋯ {\displaystyle s_{0}^{0}\geq _{S}s_{0}^{1}\geq _{S}s_{0}^{2}\geq _{S}\dotsb } 이다. ( S , ≤ S ) {\displaystyle (S,\leq _{S})} 가 정렬 전순서 집합이므로, a 0 = s 0 n 1 = s 0 n 1 + 1 = s 0 n 1 + 2 = ⋯ {\displaystyle a_{0}=s_{0}^{n_{1}}=s_{0}^{n_{1}+1}=s_{0}^{n_{1}+2}=\dotsb } n 1 < ω {\displaystyle n_{1}<\omega } 인 a 0 ∈ S {\displaystyle a_{0}\in S} 및 n 1 < ω {\displaystyle n_{1}<\omega } 가 존재한다. 이 경우, ( a 0 ) ≤ s n 1 {\displaystyle (a_{0})\leq s^{n_{1}}} 이므로 ( a 0 ) ∈ T {\displaystyle (a_{0})\in T} 이다. 마찬가지로, s 1 n 1 ≥ S s 1 n 1 + 1 ≥ S s 1 n 1 + 2 ≥ S ⋯ {\displaystyle s_{1}^{n_{1}}\geq _{S}s_{1}^{n_{1}+1}\geq _{S}s_{1}^{n_{1}+2}\geq _{S}\dotsb } 이므로, a 1 = s 1 n 2 = s 1 n 2 + 1 = s 1 n 2 + 2 = ⋯ {\displaystyle a_{1}=s_{1}^{n_{2}}=s_{1}^{n_{2}+1}=s_{1}^{n_{2}+2}=\dotsb } n 1 ≤ n 2 < ω {\displaystyle n_{1}\leq n_{2}<\omega } 라고 하자. 이 경우 ( a 0 , a 1 ) ≤ s n 2 {\displaystyle (a_{0},a_{1})\leq s^{n_{2}}} 이므로 ( a 0 , a 1 ) ∈ T {\displaystyle (a_{0},a_{1})\in T} 이다. 이를 반복하면 ( a 0 , a 1 , a 2 , … ) ∈ [ T ] {\displaystyle (a_{0},a_{1},a_{2},\dotsc )\in [T]} 를 얻는다. 게오르크 칸토어는 1895년에 최대·최소 원소를 갖지 않는, 분해 가능 선형 연속체가 항상 실수의 전순서 집합과 순서 동형임을 증명하였다.:§11, 510–512 미하일 수슬린은 1920년에 사후 출판된 원고에서 칸토어의 위 정리에서 분해 가능 공간 조건을 가산 강하향 반사슬 조건으로 약화시키면 어떻게 되는지 여부에 대한 문제를 제시하였다.:223 이 논문에서 수슬린 가설은 다음과 같이 3번 문제로 수록되어 있다. 이후 주로 쿠레파가 수슬린 나무의 개념을 도입하였고, 수슬린 가설을 수슬린 나무로서 서술할 수 있음을 보였다.:69, §II.5 이처럼 역사적으로 수슬린 가설은 전순서 집합의 이론에서 유래하였지만, 케네스 쿠넌은 다음과 같이 적었다. 아론샤인 나무는 1938년에 주로 쿠레파의 논문에서 최초로 등장하였다. 쿠레파는 이 개념을 "아론샤인 씨의 분기 집합"(프랑스어: ensemble ramifié de M. Aronszajn 앙상블 라미피에 드 므쇠 아론샤인[*])이라고 일컬었으며, 이 논문에서 다음과 같이 적었다. 쿠레파 나무 역시 주로 쿠레파가 도입하였다. 토마시 예흐(체코어: Tomáš J. Jech)와 스탠리 테넨바움이 수슬린 나무가 존재하는 강제법 모형을 제시하였다.:§2 곧 또한 로널드 비언 젠슨(영어: Ronald Björn Jensen)은 다이아몬드 원리를 가정하면 수슬린 나무가 존재함을 증명하였다.:§2 1971년에 로버트 솔로베이와 스탠리 테넨바움은 반복 강제법을 도입하여, 연속체 가설의 부정과 마틴 공리를 가정하면 수슬린 나무가 존재하지 않음을 증명하였다.:§3 같은 해에 잭 하워드 실버(영어: Jack Howard Silver)는 쿠레파 가설 역시 (ZFC가 무모순적이라면) ZFC와 독립적임을 증명하였다. 수슬린 문제에 대하여 메리 엘런 루딘은 다음과 같이 적었다. 즉, 수슬린 문제는 사실과 달리 "당연히 참"이거나 "당연히 거짓"인 것처럼 보인다는 것이다. 얀 미치엘스키는 수슬린 가설을 옹호하기 위하여 다음과 같이 적었다. Jech, Thomas J. (1971년 3월). “Trees”. 《The Journal of Symbolic Logic》 (영어) 36: 1–14. doi:10.2307/2271510. ISSN 0022-4812. JSTOR 2271510. MR 0284331. Zbl 0245.02054.  Todorčević, Stevo (1984). 〈Trees and linearly ordered sets〉. Kunen, Kenneth; Vaughan, Jerry E. 《Handbook of set-theoretic topology》 (영어). North-Holland. 235–293쪽. doi:10.1016/B978-0-444-86580-9.50009-4. ISBN 978-0-444-86580-9. MR 0776625. Zbl 0557.54021.  Kunen, Kenneth (1980). 《Set theory: an introduction to independence proofs》. Studies in Logic and the Foundations of Mathematics (영어) 102. North-Holland. ISBN 978-0-444-86839-8. MR 597342. Zbl 0534.03026. 2016년 9월 11일에 원본 문서에서 보존된 문서. 2016년 8월 17일에 확인함.  Dimitrić, R. M. (2000). “Algebraic equivalents of Kurepa’s hypotheses”. 《Modern Logic》 (영어) 8 (1–2): 28–46. MR 1834716. Zbl 1021.03038.  Devlin, Keith J.; Johnsbråten, Håvard (1974). 《The Souslin problem》. Lecture Notes in Mathematics (영어) 405. doi:10.1007/BFb0065979. ISBN 978-3-540-06860-0. ISSN 0075-8434.  Funk, Will; Lutzer, David (2005년 6월 1일). “Branch space representations of lines”. 《Topology and its Applications》 (영어) 151 (1–3): 187–214. doi:10.1016/j.topol.2003.12.020. ISSN 0166-8641.  Kurepa, Georges (1935). 《Ensembles ordonnés et ramifiés》 (프랑스어). 베오그라드 대학교. JFM 61.0980.01. Zbl 0014.39401.  Martin, Donald Anthony; Solovay, Robert (1970년 10월). “Internal Cohen extensions”. 《Annals of Mathematical Logic》 (영어) 2 (2): 143–178. doi:10.1016/0003-4843(70)90009-4. ISSN 0168-0072.  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.  Cantor, Georg (1895). “Beiträge zur Begründung der transfiniten Mengenlehre (Erster Artikel)”. 《Mathematische Annalen》 (독일어) 46 (4): 481–512. doi:10.1007/bf02124929. ISSN 0025-5831.  Sierpiński, W.; Knaster, B.; Kuratowski, C.; Souslin, M.; Steinhaus, H.; Mazurkiewicz, S.; Lusin, N.; Felsztyn, T. (1920). “Problèmes”. 《Fundamenta Mathematicae》 (프랑스어) 1: 223–224.  Kanamori, Akihiro (2011). 〈Historical remarks on Suslin’s problem〉 (PDF). Kennedy, Juliette; Kossak, Roman. 《Set theory, arithmetic, and foundations of mathematics. Theorems, philosophies》. Lecture Notes in Logic (영어) 36. Cambridge University Press. 1–12쪽. doi:10.1017/CBO9780511910616.002. ISBN 978-110700804-5. Zbl 1258.03067.  Kurepa, Georges (1938). “Ensembles linéares et une classe de tableaux ramifiés (tableaux ramifiés de M. Aronszajn)” (PDF). 《Publications de l’Institut mathématique de l’Académie serbe des sciences et des arts》 (프랑스어) 6: 129–160. ISSN 0350-1302. Zbl 0020.10802.  Jech, Tomáš (1967). “Non-provability of Souslin’s hypothesis”. 《Commentationes Mathematicae Universitatis Carolinae》 (영어) 8 (2): 291–305. ISSN 0010-2628. MR 0215729. Zbl 0204.00701.  Tennenbaum, Stanley (1968년 1월). “Souslin’s problem”. 《Proceedings of the National Academy of Sciences of the United States of America》 (영어) 59: 60–63. doi:10.1073/pnas.59.1.60. ISSN 0027-8424. MR 0224456. PMC 286001. PMID 16591594. Zbl 0172.29503.  Jensen, Ronald Björn (1968). “Souslin’s Hypothesis is incompatible with V=L”. 《Notices of the American Mathematical Society》 (영어) 16: 935–935. ISSN 0002-9920.  Solovay, Robert M.; Tennenbaum, Stanley (1971). “Iterated Cohen extensions and Souslin’s problem”. 《Annals of Mathematics》 (영어) 94 (2): 201–245. doi:10.2307/1970860. JSTOR 1970860. MR 0294139. Zbl 0244.02023.  Silver, Jack Howard (1971). 〈The independence of Kurepa's conjecture and two-cardinal conjectures in model theory〉. Scott, Dana S. 《Axiomatic set theory. Part 1》. Proceedings of Symposia in Pure Mathematics (영어) 13.1. American Mathematical Society. 383–390쪽. doi:10.1090/pspum/013.1/0277379. ISBN 978-0-8218-1413-0. MR 0277379. Zbl 0255.02068.  Rudin, Mary Ellen (1969년 12월). “Souslin’s conjecture”. 《The American Mathematical Monthly》 (영어) 76 (10): 1113–1119. ISSN 0002-9890. JSTOR 2317183. Zbl 0187.27302.  Mycielski, Jan (2006년 2월). “A system of axioms of set theory for the rationalists” (PDF). 《Notices of the American Mathematical Society》 (영어) 53 (2): 206–213. Zbl 1102.03050.  “Aronszajn tree”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.  “Suslin hypothesis”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.  “Suslin condition”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.  Weisstein, Eric Wolfgang. “Souslin’s hypothesis”. 《Wolfram MathWorld》 (영어). Wolfram Research.  Jespers, Michiel (2013년 8월 15일). 《Souslin’s hypothesis》 (PDF) (영어). 학사 학위 논문. 지도 교수 Klaas Pieter Hart. 레이던 대학교. 2014년 6월 13일에 원본 문서 (PDF)에서 보존된 문서. 2016년 8월 17일에 확인함.  Rinot, Assaf (2012년 8월 7일). “The P-Ideal dichotomy and the Souslin hypothesis” (영어).  Rinot, Assaf (2012년 8월 16일). “Kurepa trees and ineffable cardinals” (영어).  Rinot, Assaf (2013년 4월 1일). “Forcing with a Souslin tree makes 𝔭=ω1” (영어).  Rinot, Assaf (2013년 5월 29일). “A Kurepa tree from diamond-plus” (영어).  Rinot, Assaf (2016년 3월 17일). “Prolific Souslin trees” (영어).  Rinot, Assaf (2016년 6월 12일). “Prikry forcing may add a Souslin tree” (영어).  “Where did Nachman Aronszajn prove the existence of Aronszajn trees?” (영어). Math Overflow.  “Does every Aronszajn tree have a Suslin or a special subtree?” (영어). Math Overflow.  “On the independence of the Kurepa Hypothesis” (영어). Math Overflow.  “Is not SH + not CH consistent?” (영어). Math Overflow.