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