การเป็นตัวแทนของซัสลิน
ในทางคณิตศาสตร์ การแทน แบบSuslinของเซตของจำนวนจริง (หรือกล่าวให้แม่นยำยิ่งขึ้นคือ องค์ประกอบของปริภูมิ Baire ) คือต้นไม้ที่มีการฉายภาพเป็นเซตของจำนวนจริงนั้น โดยทั่วไปแล้ว เซตย่อยAของκ ωจะเป็นλ -Suslinถ้ามีต้นไม้Tบนκ × λเช่นนั้นA = p[ T ] [ 1 ]
โดยต้นไม้บนκ × λเราหมายถึงเซตย่อยT ⊆ ⋃ ( κ n × λ n ) ที่ปิดภายใต้เซกเมนต์เริ่มต้น และ p[ T ] = { f ∈ κ ω | ∃ g ∈ λ ω : ( f , g ) ∈ [ T ] } คือการฉายภาพของTโดยที่ [ T ] = { ( f , g )∈ κ ω × λ ω | ∀ n < ω : ( f | n , g | n ) ∈ T } คือเซตของกิ่งที่ผ่านT
เนื่องจาก [ T ] เป็นเซตปิดสำหรับโทโพโลยีผลคูณบนκ ω × λ ωโดยที่κและλมีโทโพโลยีแบบไม่ต่อเนื่อง ( และเซตปิดทั้งหมดใน κ ω × λ ω มาจากต้นไม้บางต้นบน κ × λในลักษณะนี้) ดังนั้น เซตย่อย λ -Suslin ของκ ωจึงเป็นการฉายภาพของเซตย่อยปิดในκ ω × λ ω
เมื่อพูดถึงเซตซัสลินโดยไม่ระบุปริภูมิ โดยทั่วไปมักหมายถึงเซตย่อยซัสลินของRซึ่งนักทฤษฎีเซตเชิงพรรณนามักถือว่าเป็นเซตω ω
ดูเพิ่มเติม
ลิงก์ภายนอก
- R. Ketchersid, ความแข็งแกร่งของอุดมคติ ω -หนาแน่นบน ω ภายใต้ CH , 2004.