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

อ่าน 1 นาที

คาร์ดินัลขนาดเล็ก

ใน ทางคณิตศาสตร์ จำนวนเชิงซ้อน ย่อย (subcompact cardinal) คือ จำนวนเชิงซ้อน ขนาดใหญ่ ชนิดหนึ่ง

คาร์ดินัลขนาดเล็ก

ในทางคณิตศาสตร์จำนวนเชิงซ้อนย่อย (subcompact cardinal) คือ จำนวนเชิงซ้อน ขนาดใหญ่ชนิดหนึ่ง

จำนวนเชิงคาร์ดินัลκเรียกว่าซับคอมแพ็กต์ก็ต่อเมื่อสำหรับทุกA  ⊂  H ( κ + ) จะมีการฝังตัวพื้นฐาน ที่ไม่เป็นศูนย์ j:( H ( μ + ), B ) → ( H ( κ + ), A ) (โดยที่H ( κ + ) คือเซตของเซตทั้งหมดที่มีจำนวนสมาชิกน้อยกว่าκ + ตามลำดับ ) ที่มีจุด วิกฤตμและ  j ( μ ) =  κ

ในทำนองเดียวกันκเป็นคาร์ดินัลกึ่งกระชับก็ต่อเมื่อสำหรับทุกA  ⊂  H ( κ + ) จะมีการฝังตัวพื้นฐานที่ไม่ธรรมดาj :( H ( κ + ), A ) → ( H ( μ + ), B ) ที่มีจุดวิกฤตκและ  j ( κ )  = μ

H ( λ ) ประกอบด้วยเซตทั้งหมดซึ่งการปิดแบบทรานซิทีฟมีจำนวนสมาชิกน้อย  กว่า λ

จำนวนคาร์ดินัลกึ่งกระชับทุกตัวมีจำนวนคาร์ดินัลย่อยกระชับ ความเป็นกึ่งกระชับเป็นการเสริมความแข็งแกร่งของความเป็นย่อยกระชับในแง่ที่ว่ามันฉายคุณสมบัติของจำนวนคาร์ดินัลขนาดใหญ่ขึ้นไปด้านบน ความสัมพันธ์นี้คล้ายคลึงกับความสัมพันธ์ระหว่าง จำนวน คาร์ดินัลที่ขยายได้กับจำนวนคาร์ดินัลซูเปอร์กระชับ ความเป็นกึ่งกระชับอาจถูกมองว่าเป็นเวอร์ชันที่แข็งแกร่งขึ้นหรือ "ตัวหนา" ของความสามารถในการขยาย 1 การมีอยู่ของจำนวนคาร์ดินัลย่อยกระชับบ่งบอกถึงการมีอยู่ของจำนวนคาร์ดินัลที่ขยายได้ 1 จำนวนมาก และด้วยเหตุนี้จึง มี จำนวนคาร์ดินัลซูเปอร์สตรอง จำนวนมาก การมีอยู่ของจำนวนคาร์ดินัลซูเปอร์กระชับ κบ่งบอกถึงการมีอยู่ของจำนวนคาร์ดินัลกึ่งกระชับจำนวนมาก

จำนวนคาร์ดินัลซับคอมแพ็กต์มีความสำคัญในฐานะจำนวนคาร์ดินัลที่เล็กที่สุดที่มีขนาดใหญ่ ซึ่งบ่งชี้ถึงความล้มเหลวของหลักการกำลังสองถ้า κ เป็นจำนวนคาร์ดินัลซับคอมแพ็กต์ หลักการกำลังสองจะล้มเหลวที่ κ แบบจำลองภายในแบบแคนอนิกที่ระดับจำนวนคาร์ดินัลซับคอมแพ็กต์จะสอดคล้องกับหลักการกำลังสองที่จำนวนคาร์ดินัลทั้งหมด ยกเว้นจำนวนคาร์ดินัลซับคอมแพ็กต์ (การมีอยู่ของแบบจำลองดังกล่าว ยังไม่ได้รับการพิสูจน์ แต่ไม่ว่าในกรณีใด หลักการกำลังสองก็สามารถบังคับใช้ได้สำหรับจำนวนคาร์ดินัลที่อ่อนกว่า)

ความกะทัดรัดกึ่งสมบูรณ์ (Quasicompactness) เป็นหนึ่งในคุณสมบัติของจำนวนคาร์ดินัลขนาดใหญ่ที่แข็งแกร่งที่สุดที่สามารถพบได้ในแบบจำลองภายในปัจจุบันที่ไม่ใช้ตัวขยายแบบยาว สำหรับแบบจำลองภายในปัจจุบัน การฝังตัวพื้นฐานที่รวมอยู่จะถูกกำหนดโดยผลกระทบต่อP ( κ ) (ตามที่คำนวณในขั้นตอนที่รวมการฝังตัว) โดยที่ κ คือจุดวิกฤต ซึ่งทำให้แบบจำลองเหล่านี้ไม่สามารถพบเห็นจำนวนคาร์ดินัลκ + ที่มีความกะทัดรัดอย่างแข็งแกร่ง ได้  

คาร์ดินัลแบบซับคอมแพ็กต์และควาซิคอมแพ็กต์ได้รับการนิยามโดยโรนัลด์ เจนเซน

ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Subcompact_cardinal&oldid=1242302462 "

สรุปเนื้อหา

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

ข้อมูลสำคัญเกี่ยวกับ คาร์ดินัลขนาดเล็ก

ใน ทางคณิตศาสตร์ จำนวนเชิงซ้อน ย่อย (subcompact cardinal) คือ จำนวนเชิงซ้อน ขนาดใหญ่ ชนิดหนึ่ง