서슬린 표현

수학에서, 현실의 집합의 서슬린 표현(더 정확히 말하면, 바이어 공간의 요소들)은 그 실의 집합인 투영법을 가진 나무다.보다 일반적으로 κ의^ω 부분집합 A는 κ × λ에 나무 T가 있으면 λ-Suslin이다.

κ × λ 나무에서 우리는 여기서 모든ⁱ i ∈ N에 대한 set × λ의ⁱ 결합의 부분집합 T를 의미한다(또는 set-therical 표기법에서 i < Ω).

여기서 p[T] = { f ∃g : (f,g) ∈ [T] }의 투영이며, 여기서 [T] = { (f, g ) ∀n ∈ Ω : (f(n), g(n) ∈ T}은 T를 통한 가지 집합이다.

[T]는 discrete × λ의^ω 제품 위상에 대한 폐쇄형 집합이므로(그리고^ωω and × λ의^ω 모든 폐쇄형 집합은 κ^ω × λ의 일부 나무에서 이 방법으로 온다), κ의^ω λ-Suslin 하위 집합은 × × λ의^ω 폐쇄형 하위 집합의 투영이다.

수슬린의 한 이야기가 공간을 명시하지 않고 설정될 때, 보통은 R의 수슬린 하위 세트를 의미하는데, 기술 집합 이론가들은 보통 Ω으로^ω 받아들인다.

참고 항목

• 수슬린 추기경
• 서슬린 작전

외부 링크

• R. 케처시드, CH, 2004년 하에서는 Ω에₁ 대한 Ω₁ 덴스의 강도.

이 세트 이론 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.

• v
• t