กลับไปหน้าบทความ

อ่าน 2 นาที

ไม่มีชื่อบทความ

ใน ทางคณิตศาสตร์ การแทน แบบ Suslin ของเซตของ จำนวนจริง (หรือกล่าวให้แม่นยำยิ่งขึ้นคือ องค์ประกอบของ ปริภูมิ Baire ) คือ ต้นไม้ ที่มีการฉายภาพเป็นเซตของจำนวนจริงนั้น โดยทั่วไปแล้ว..

การเป็นตัวแทนของซัสลิน

ในทางคณิตศาสตร์ การแทน แบบ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.

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ ไม่มีชื่อบทความ

ใน ทางคณิตศาสตร์ การแทน แบบ Suslin ของเซตของ จำนวนจริง (หรือกล่าวให้แม่นยำยิ่งขึ้นคือ องค์ประกอบของ ปริภูมิ Baire ) คือ ต้นไม้ ที่มีการฉายภาพเป็นเซตของจำนวนจริงนั้น โดยทั่วไปแล้ว..

ลิงก์ภายนอก

R. Ketchersid, ความแข็งแกร่งของอุดมคติ ω -หนาแน่นบน ω ภายใต้ CH , 2004.