โพลีโทป 4 รูปทรงสม่ำเสมอ


ในทางเรขาคณิตโพลีโทป 4 มิติแบบสม่ำเสมอ (หรือโพลีโครอนแบบสม่ำเสมอ ) [ 1 ] คือ โพลีโทป 4 มิติที่จุดยอดสลับกันได้และเซลล์ของโพลีโทปนี้เป็นโพลีเฮดราแบบสม่ำเสมอและหน้าเป็นรูปหลายเหลี่ยมปกติ
มี รูปทรง หลายเหลี่ยมนูนสม่ำเสมอ 4 มิติที่ไม่เป็น ปริซึม อยู่ 47 รูป นอกจากนี้ยังมีเซตอนันต์ของรูปทรงปริซึมนูนอีก 2 เซต พร้อมด้วยกรณีที่เกิดขึ้นเป็นปริซึมของรูปทรงหลายเหลี่ยมนูนสม่ำเสมออีก 17 กรณี และยังมีรูปทรงดาวที่ไม่เป็นนูนอีกจำนวนหนึ่งที่ไม่ทราบจำนวน
ประวัติการค้นพบ
- โพลีโทปปกติแบบ นูน :
- พ.ศ. 2395 (ค.ศ. 1852) : Ludwig Schläfliพิสูจน์ในต้นฉบับของเขาTheorie der vielfachen Kontinuitätว่ามีโพลีท็อปปกติ 6 ชิ้นใน 4 มิติและมีเพียง 3 ใน 5 มิติขึ้นไปเท่านั้น
- รูปทรงหลายเหลี่ยมดาวปกติ 4 เหลี่ยม ( เซลล์รูป ทรงหลายเหลี่ยมดาวและ/หรือรูปทรงจุดยอด )
- 1852 : ลุดวิก ชลาฟลียังค้นพบรูปหลายเหลี่ยมดาวปกติ 4 รูปจากทั้งหมด 10 รูป โดยตัดออก 6 รูปที่มีเซลล์หรือรูปทรงจุดยอด{ 5 / 2 5}และ{5, 5 / }
- พ.ศ. 2426 (ค.ศ. 1883 ) : Edmund Hessเสร็จสิ้นรายชื่อ 10 โพลีโทปปกติแบบไม่นูน 10 รายการในหนังสือของเขา (ในภาษาเยอรมัน) Einleitung in die Lehre von der Kugelteilung mit besonderer Berücksichtigung ihrer Anwendung auf die Theorie der Gleichflächigen und der gleicheckigen Polyeder Einleitung in die Lehre von der Kugelteilung mit besonderer Berücksichtigung ihrer Anwendung auf die Theorie der Gleichflächigen und der gleicheckigen Polyeder, von dr. เอ็ดมันด์ เฮสส์. Mit sechzehn lithographierten tafeln. .
- รูปทรงหลายเหลี่ยม กึ่งปกติ แบบนูน : (คำจำกัดความต่างๆ ก่อน หมวดหมู่ เอกภาพ ของ Coxeter )
- 1900 : Thorold Gossetได้ระบุรายชื่อของโพลีโทปนูนกึ่งปกติที่ไม่ใช่ปริซึมที่มีเซลล์ปกติ ( ทรงหลายเหลี่ยมเพลโต ) ในสิ่งพิมพ์ของเขาเรื่อง On the Regular and Semi-Regular Figures in Space of n Dimensionsในสี่มิติ สิ่งนี้ให้เซลล์ 5 เซลล์ที่ปรับแก้แล้วเซลล์600 เซลล์ที่ปรับแก้แล้วและเซลล์24 เซลล์แบบสั้น[ 2 ]
- 1910 : Alicia Boole Stottในการตีพิมพ์ของเธอเรื่อง การหักล้างทางเรขาคณิตของรูปทรงหลายเหลี่ยมกึ่งปกติจากรูปทรงหลายเหลี่ยมปกติและการเติมเต็มพื้นที่ได้ขยายคำจำกัดความโดยอนุญาตให้ใช้ รูป ทรงตันอาร์คิมีเดียนและ เซลล์ ปริซึมด้วย การสร้างนี้ได้ระบุรูปทรงหลายเหลี่ยมกึ่งปกติ 4 มิติจำนวน 45 รูป ซึ่งสอดคล้องกับรูปแบบที่ไม่ใช่ปริซึมที่ระบุไว้ด้านล่าง[ 3 ]เซลล์ 24 มิติแบบสนับและปริซึมแอนติขนาดใหญ่หายไปจากรายการของเธอ[ 4 ]
- 1911 : Pieter Hendrik Schouteตีพิมพ์การวิเคราะห์เชิงวิเคราะห์ของโพลีโทปที่ได้มาจากโพลีโทปปกติโดยใช้สัญลักษณ์ของ Boole-Stott นับโพลีโทปนูนสม่ำเสมอตามสมมาตรโดยอิงจาก5 เซลล์ 8 เซลล์ / 16 เซลล์และ24 เซลล์[ 5 ] [ 6 ]
- 1912 : EL Elteได้ขยายรายการของ Gosset อย่างอิสระด้วยการตีพิมพ์The Semiregular Polytopes of the Hyperspacesซึ่งเป็นโพลีโทปที่มีหน้ากึ่งปกติหนึ่งหรือสองประเภท[ 7 ]
- โพลีโทปนูนสม่ำเสมอ :
- ปี 1940 : การค้นคว้าได้รับการขยายความอย่างเป็นระบบโดยHSM Coxeterในผลงานตีพิมพ์ของเขาเรื่องRegular and Semi-Regular Polytopes
- โพลีโทป 4 มิติแบบนูนสม่ำเสมอ :
- ปี 1965 : ในที่สุด จอห์น ฮอร์ตัน คอนเวย์และไมเคิล กายก็ได้รวบรวมรายชื่อรูปทรงนูนทั้งหมดไว้ในผลงาน ตีพิมพ์เรื่อง Four-Dimensional Archimedean Polytopes , established by computer analysis โดยเพิ่มรูปทรงนูน 4 มิติที่ไม่ใช่แบบวิทอฟ (non-Wythoffian) เพียงรูปเดียว คือ แกรนด์แอนติปริซึม (grand antiprism)
- ในปี 1966 นอร์แมน จอห์นสันสำเร็จวิทยานิพนธ์ปริญญาเอกเรื่อง"ทฤษฎีของรูปทรงหลายเหลี่ยมและรังผึ้งสม่ำเสมอ"ภายใต้การดูแลของอาจารย์ที่ปรึกษา ค็อกซ์เตอร์ ซึ่งเป็นการวางรากฐานทฤษฎีพื้นฐานของรูปทรงหลายเหลี่ยมสม่ำเสมอสำหรับมิติ 4 และมิติที่สูงกว่า
- ในปี 1986ค็อกซ์เตอร์ได้ตีพิมพ์บทความเรื่องRegular and Semi-Regular Polytopes IIซึ่งรวมถึงการวิเคราะห์ โครงสร้าง snub 24-cell ที่มีเอกลักษณ์เฉพาะ และสมมาตรของ grand antiprism ที่ผิดปกติ
- 1998 [ 8 ] -2000 : โพลีโทป 4 ตัวได้รับการตั้งชื่ออย่างเป็นระบบโดยนอร์แมน จอห์นสัน และกำหนดโดยการนับดัชนีออนไลน์ของจอร์จ โอลเชฟสกี (ใช้เป็นพื้นฐานสำหรับรายการนี้) จอห์นสันตั้งชื่อโพลีโทป 4 ตัวว่าโพลีโครา เช่นเดียวกับโพลีเฮดราสำหรับโพลีโทป 3 ตัว จากรากศัพท์ภาษากรีกpoly ("มาก") และchoros ("ห้อง" หรือ "พื้นที่") [ 9 ]ชื่อของโพลีโคราที่เป็นเอกรูปเริ่มต้นด้วยโพลีโคราปกติ 6 ตัวที่มีคำนำหน้าตามวงแหวนในแผนภาพ Coxeter; truncation t , cantellation, t , runcination t โดยมีรูปแบบวงแหวนเดี่ยวเรียกว่า rectified และคำนำหน้า bi, tri เพิ่มเมื่อวงแหวนแรกอยู่บนโหนดที่สองหรือสาม[ 10 ] [ 11 ]
- 2004 : มาร์โค มอลเลอร์ ได้ตีพิมพ์หลักฐานว่าเซตคอนเวย์-กายสมบูรณ์ในวิทยานิพนธ์ของเขาVierdimensionale Archimedische Polytopeมอลเลอร์ได้นำระบบการตั้งชื่อของจอห์นสันมาแสดงในรายการของเขา[ 12 ]
- 2008 : The Symmetries of Things [ 13 ]ได้รับการตีพิมพ์โดยJohn H. Conwayและมีรายการพิมพ์ครั้งแรกของโพลีโทป 4 มิติแบบนูนสม่ำเสมอและโพลีโทปมิติสูงกว่าโดยตระกูลกลุ่ม Coxeter พร้อมด้วย ไดอะแกรม รูปจุดยอด ทั่วไป สำหรับ การเรียงสับเปลี่ยน ไดอะแกรม Coxeter แบบวงแหวนแต่ละแบบ —snub, grand antiprism และ duoprism—ซึ่งเขาเรียกว่า proprism สำหรับ product prism เขาใช้ รูปแบบการตั้งชื่อ ijk -ambo ของเขาเองสำหรับการเรียงสับเปลี่ยนวงแหวนที่มีดัชนีนอกเหนือจากการตัดทอนและ bitruncation และชื่อทั้งหมดของ Johnson ถูกรวมอยู่ในดัชนีหนังสือ
- รูปทรงหลายเหลี่ยมดาว 4 มิติแบบไม่ปกติและสม่ำเสมอ : (คล้ายกับรูปทรงหลายเหลี่ยมสม่ำเสมอแบบไม่นูน )
- พ.ศ. 2509 : จอห์นสันอธิบายปริซึมแอนติแบบเอกรูปที่ไม่นูน 3 รูปในปริภูมิ 4 มิติในวิทยานิพนธ์ของเขา[ 14 ]
- 1990-2006 : ในการค้นหาร่วมกัน จนถึงปี 2005 Jonathan Bowers และ George Olshevsky ได้ระบุโพลีโทป 4 มิติแบบสม่ำเสมอ (นูนและไม่นูน) รวมทั้งหมด 1845 ชิ้น[ 15 ]และค้นพบเพิ่มอีก 4 ชิ้นในปี 2006 รวมเป็น 1849 ชิ้น การนับนี้รวมถึงปริซึม 74 ชิ้นจากโพลีเฮดราแบบสม่ำเสมอที่ไม่ใช่ปริซึม 75 ชิ้น (เนื่องจากเป็นเซตจำกัด – ปริซึมลูกบาศก์ถูกยกเว้นเนื่องจากซ้ำกับเทสเซอแร็กต์) แต่ไม่รวมหมวดหมู่อนันต์ของดูโอปริซึมหรือปริซึมของแอนติปริซึม[ 16 ]
- 2020-2023 : พบโพลีโคราใหม่ 342 รายการ ทำให้จำนวนโพลีโทป 4 มิติที่รู้จักทั้งหมดเพิ่มขึ้นเป็น 2191 รายการ รายชื่อนี้ยังไม่ได้รับการพิสูจน์ว่าสมบูรณ์[ 16 ] [ 17 ]
โพลีโทป 4 เหลี่ยมปกติ
โพลีโทป 4 มิติปกติเป็นส่วนย่อยของโพลีโทป 4 มิติสม่ำเสมอ ซึ่งตรงตามข้อกำหนดเพิ่มเติมโพลีโทป 4 มิติปกติสามารถแสดงได้ด้วยสัญลักษณ์ Schläfli { p , q , r } โดยมีเซลล์ประเภท { p , q }, หน้าประเภท { p }, รูปทรงขอบประเภท { r } และรูปทรงจุดยอดประเภท { q , r }
การมีอยู่ของโพลีโทป 4 มิติปกติ { p , q , r } ถูกจำกัดโดยการมีอยู่ของโพลีเฮดราปกติ { p , q } ซึ่งกลายเป็นเซลล์ และ { q , r } ซึ่งกลายเป็นรูปทรงจุดยอด
การดำรงอยู่เป็นโพลีโทป 4 มิติแบบจำกัดขึ้นอยู่กับความไม่เท่าเทียมกัน: [ 18 ]
รูป ทรงหลายเหลี่ยมปกติ 4 มิติ 16 รูปซึ่งมีคุณสมบัติว่าเซลล์ หน้า ขอบ และจุดยอดทั้งหมดเท่ากันทุกประการ:
- โพลีโทปนูนปกติ 4 เซลล์ 6 แบบ ได้แก่5 เซลล์ {3,3,3}, 8 เซลล์ {4,3,3}, 16 เซลล์ {3,3,4}, 24 เซลล์ {3,4,3}, 120 เซลล์ {5,3,3} และ600 เซลล์ {3,3,5}
- ลีโทปดาวปกติ 4 รูปทรง 10 แบบ : ไอโคซาเฮดรอล 120 เซลล์ {3,5, 5/2 }, สเต ลเลตเล็ก 120 เซลล์ { 5 / }, เกรท 120 เซลล์ {5, 5 / } , แกรนด์ 120 เซลล์ 5,3, 5/2 , เกรทสเต ลเลต 120 เซลล์ { 5 / }, แกรนด์สเตลเลต 120 เซลล์ { 5 / , 5/2 }, แกรนด์แกรนด์ 120 เซลล์ {5, 5 / }, ไอโคซาเฮดรอล 120 เซลล์ 3, 5 / }, แกรนด์ 600 เซลล์ {3,3, 5/2 และแกรนด์แกรนด์สเตลเลต 120เซลล์{ 5/2 } ,3,3}.
โพลีโทป 4 มิติแบบนูนสม่ำเสมอ
สมมาตรของโพลีโทป 4 มิติแบบสม่ำเสมอในสี่มิติ
| กระจกทั้ง 24 บานของF สามารถแยกออกเป็น กลุ่ม D ที่ตั้งฉากกัน 2 กลุ่มได้: |
| กระจกทั้ง 10 บานของB × A สามารถแยกออกเป็นกลุ่มตั้งฉากได้ 4 A และD : |
มีกลุ่มจุด สมมาตรกระจกพื้นฐาน 5 กลุ่มใน 4 มิติ ได้แก่A = , B = , D = , F = , H = . [ 10 ]นอกจากนี้ยังมีกลุ่มปริซึม 3 กลุ่ม ได้แก่A A = , B A = , H A = , และกลุ่มปริซึมคู่ ได้แก่ I (p)×I (q) = . แต่ละกลุ่มถูกกำหนดโดยโดเมนพื้นฐานของเตตระเฮดรอน Goursatที่ล้อมรอบด้วยระนาบกระจก![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
แต่ละโพลีโทป 4 มิติแบบสะท้อนแสงสม่ำเสมอสามารถสร้างขึ้นได้ในกลุ่มจุดสะท้อนแสงหนึ่งกลุ่มหรือมากกว่าใน 4 มิติโดยใช้การสร้างแบบ Wythoffซึ่งแสดงด้วยวงแหวนรอบการเรียงสับเปลี่ยนของโหนดในแผนภาพ Coxeter ระนาบสะท้อนสามารถจัดกลุ่มได้ ดังที่เห็นได้จากโหนดสีที่แยกจากกันด้วยกิ่งคู่ กลุ่มสมมาตรในรูปแบบ [a,b,a] มีสมมาตรแบบขยาย[[a,b,a]]ซึ่งเพิ่มลำดับสมมาตรเป็นสองเท่า ซึ่งรวมถึง [3,3,3], [3,4,3] และ [ p ,2, p ] โพลีโทปสม่ำเสมอในกลุ่มเหล่านี้ที่มีวงแหวนสมมาตรประกอบด้วยสมมาตรแบบขยายนี้
หากกระจกทั้งหมดที่มีสีเดียวกันในรูปทรงหลายเหลี่ยมเอกรูปที่กำหนดนั้นไม่มีวงแหวน (ไม่ทำงาน) จะทำให้โครงสร้างนั้นมีสมมาตรต่ำลงโดยการลบกระจกที่ไม่ทำงานทั้งหมดออก หากโหนดทั้งหมดที่มีสีเดียวกันมีวงแหวน (ทำงาน) การดำเนินการ สลับสามารถสร้างรูปทรงหลายเหลี่ยม 4 มิติใหม่ที่มีสมมาตรแบบไครัลได้ โดยแสดงเป็นโหนดวงกลม "ว่างเปล่า" แต่โดยทั่วไปแล้วรูปทรงเรขาคณิตจะไม่สามารถปรับเปลี่ยนได้เพื่อสร้างโซลูชันเอกรูป
| กลุ่มเวล์ | คอนเวย์ควอเทอร์เนียน | โครงสร้างนามธรรม | คำสั่ง | แผนภาพค็อกซ์เตอร์ | สัญกรณ์ค็อกซ์เตอร์ | กลุ่มย่อยคอมมิวเทเตอร์ | หมายเลขค็อกซ์เตอร์ (ชั่วโมง) | กระจกm =2 h | ||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ไม่สามารถลดทอนได้ | ||||||||||||
| เอ | +1/60[I×I].21 | เอส | 120 | [3,3,3] | [3,3,3] + | 5 | 10 | |||||
| ดี | ±1/3[T×T].2 | 1/2. 2 S | 192 | [3 1,1,1 ] | [3 1,1,1 ] + | 6 | 12 | |||||
| บี | ±1/6[O×O].2 | 2 S = S ≀S | 384 | [4,3,3] | 8 | 4 | 12 | |||||
| เอฟ | ±1/2[O×O].2 | 3. 2 S | 1152 | [3,4,3] | [3 + ,4,3 + ] | 12 | 12 | 12 | ||||
| เอช | ±[I×I].2 | 2.(A ×A ).2 | 14400 | [5,3,3] | [5,3,3] + | 30 | 60 | |||||
| กลุ่มปริซึม | ||||||||||||
| เอเอ | +1/24[O×O].2 | S ×D | 48 | [3,3,2] = [3,3]×[ ] | [3,3] + | - | 6 | 1 | ||||
| บีเอ | ±1/24[O×O].2 | S ×D | 96 | [4,3,2] = [4,3]×[ ] | - | 3 | 6 | 1 | ||||
| H A | ±1/60[I×I].2 | A ×D | 240 | [5,3,2] = [5,3]×[ ] | [5,3] + | - | 15 | 1 | ||||
| กลุ่มดูโอปริซึม (ใช้ 2p, 2q สำหรับจำนวนเต็มคู่) | ||||||||||||
| I ( p )I ( q ) | ±1/2[D ×D ] | ดี ×ดี | 4 พีคิว | [ p ,2, q ] = [ p ]×[ q ] | [ p + ,2, q + ] | - | พี | q | ||||
| I ( 2p )I ( q ) | ±1/2[D ×D ] | D ×D | 8 พีคิว | [2 p ,2, q ] = [2 p ]×[ q ] | - | พี | พี | q | ||||
| I ( 2p )I ( 2q ) | ±1/2[D ×D ] | ดี ×ดี | 16 พีคิว | [2 p ,2,2 q ] = [2 p ]×[2 q ] | - | พี | พี | q | q | |||
การนับจำนวน
มีโพลีโทป 4 มิติแบบนูนสม่ำเสมอทั้งหมด 64 รูป ซึ่งรวมถึงโพลีโทป 4 มิติแบบนูนปกติ 6 รูป และไม่รวมเซตอนันต์ของดูโอปริซึมและ แอ นติปริซึม
- 5 รูปเป็นปริซึมทรงหลายเหลี่ยมที่อิงตามทรงหลายเหลี่ยมเพลโต (1 รูปซ้อนทับกับทรงหลายเหลี่ยมปกติ เนื่องจากไฮเปอร์ปริซึมทรงลูกบาศก์เป็นเทสเซอแร็กต์ )
- 13 เป็นปริซึมทรงหลายเหลี่ยมที่อิงตามทรงหลายเหลี่ยมของอาร์คิมีดีส
- [3,3,3] ปกติแบบ self-dual ( 5-cell )
- [3,4,3] ปกติแบบ self-dual ( 24-cell ) (ไม่รวม snub 24-cell)
- [3,3,4] ปกติ ( เทสเซอแร็กต์ / 16 เซลล์ ) (3 ตัวซ้อนทับกับกลุ่ม 24 เซลล์)
- 15 ตัวอยู่ในกลุ่ม H [3,3,5] ปกติ ( ตระกูล 120 เซลล์ / 600 เซลล์ )
- 1 รูปแบบ snub พิเศษในกลุ่ม [3,4,3] ( ตระกูล 24 เซลล์ )
- 1 โพลีโทป 4 เหลี่ยมพิเศษที่ไม่ใช่แบบวิธอฟฟ์ คือ แกรนด์แอนติปริซึม
- รวม: 68 − 4 = 64
รูปทรงหลายเหลี่ยม 4 มิติที่เป็นเอกรูปทั้ง 64 รูปทรงนี้ ได้รับการจัดทำดัชนีไว้ด้านล่างโดย George Olshevsky รูปทรงสมมาตรที่ซ้ำกันจะถูกระบุดัชนีไว้ในวงเล็บ
นอกจาก 64 เซตข้างต้นแล้ว ยังมีเซตปริซึมอนันต์อีก 2 เซตที่สร้างรูปทรงนูนที่เหลือทั้งหมด:
- เซตของปริซึมแอนติปริซึมแบบสม่ำเสมอ - sr{ p ,2}×{ } - ปริซึมทรงหลายเหลี่ยมของแอนติปริซึม สอง อัน
- เซตของผล คูณคาร์ทีเซียน ของรูปหลายเหลี่ยมสองรูปที่ มีความสม่ำเสมอ - { p }×{ q } - ผลคูณคาร์ทีเซียนของรูปหลายเหลี่ยมสองรูป
ตระกูลA
เซลล์ 5 เซลล์มี สมมาตร แบบเพนทาโคริกดิพลอยด์ [3,3,3] [ 10 ]ที่มีลำดับ 120 ซึ่งสมมาตรกับลำดับการเรียงสับเปลี่ยนขององค์ประกอบทั้งห้า เนื่องจากจุดยอดทุกคู่มีความสัมพันธ์กันในลักษณะเดียวกัน
มีการกำหนดกลุ่มเซลล์ (ส่วนต่างๆ) โดยจัดกลุ่มตามตำแหน่งในแผนภาพ Coxeter โดยการลบโหนดที่ระบุออก
| # | ชื่อโบเวอร์ส (และชื่อย่อ) | รูปจุดยอด | แผนภาพ Coxeterและสัญลักษณ์ชลาฟลี | จำนวนเซลล์ตามตำแหน่งที่ตั้ง | จำนวนองค์ประกอบ | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| ตำแหน่งที่ 3 (5) | ตำแหน่งที่ 2 (10) | ตำแหน่งที่ 1 (10) | ตำแหน่ง 0 (5) | เซลล์ | ใบหน้า | ขอบ | จุดยอด | ||||
| 1 | เพนทาโครอน5 เซลล์[ 10 ] (ปากกา) | (4) (3.3.3) | 5 | 10 | 10 | 5 | |||||
| 2 | เพนทาโครอน 5 เซลล์ แบบปรับแก้ (rap) | (3) (3.3.3.3) | (2) (3.3.3) | 10 | 30 | 30 | 10 | ||||
| 3 | เพนทาโครอนแบบ ตัดทอน 5 เซลล์ (ส่วนปลาย) | (3) (3.6.6) | (1) (3.3.3) | 10 | 30 | 40 | 20 | ||||
| 4 | เพนทาโครอนรูปสี่เหลี่ยมขนมเปียกปูนขนาดเล็ก 5 เซลล์ (srip) | (2) (3.4.3.4) | (2) (3.4.4) | (1) (3.3.3.3) | 20 | 80 | 90 | 30 | |||
| 7 | เพนทาโครอนรูปสี่เหลี่ยมขนมเปียกปูนขนาดใหญ่ แบบตัดทอน 5 เซลล์ (การจับ) | (2) (4.6.6) | (1) (3.4.4) | (1) (3.6.6) | 20 | 80 | 120 | 60 | |||
| 8 | runcitruncated 5-cell Prismatorhombated pentachoron (prip) | (1) (3.6.6) | (2) (4.4.6) | (1) (3.4.4) | (1) (3.4.3.4) | 30 | 120 | 150 | 60 | ||
| # | ชื่อโบเวอร์ส (และชื่อย่อ) | รูปจุดยอด | แผนภาพ Coxeterและสัญลักษณ์ชลาฟลี | จำนวนเซลล์ตามตำแหน่งที่ตั้ง | จำนวนองค์ประกอบ | |||||
|---|---|---|---|---|---|---|---|---|---|---|
| ตำแหน่ง 3-0 (10) | ตำแหน่ง 1-2 (20) | อัลท์ | เซลล์ | ใบหน้า | ขอบ | จุดยอด | ||||
| 5 | * แมงมุมปริซึมขนาดเล็ก 5 เซลล์ที่มีรูปร่างผิดปกติ (runcinated Small prismatodecachoron (spid)) | (2) (3.3.3) | (6) (3.4.4) | 30 | 70 | 60 | 20 | |||
| 6 | * เดคาคอรอน 5 เซลล์แบบตัดทอน (deca) | (4) (3.6.6) | 10 | 40 | 60 | 30 | ||||
| 9 | * ปลาปริสมาโตเดคาโครอนขนาดใหญ่ 5 เซลล์ที่ถูกตัดทอนทั้งหมด (วงศ์ Gippidae) | (2) (4.6.6) | (2) (4.4.6) | 30 | 150 | 240 | 120 | |||
| ไม่สม่ำเสมอ | omnisnub 5 เซลล์ Snub decachoron (snad) Snub pentachoron (snip) [ 19 ] | 90 | 300 | 270 | 60 | |||||
รูปทรงโพลีโทป 4 มิติที่เป็นเอกรูปทั้งสามแบบที่ทำเครื่องหมายด้วยเครื่องหมายดอกจัน*นั้นมีสมมาตรเพนทาโคริกแบบขยาย ที่สูงกว่า ซึ่งมีลำดับที่ 240 [[3,3,3]]เนื่องจากองค์ประกอบที่สอดคล้องกับองค์ประกอบใดๆ ของเซลล์ 5 เซลล์พื้นฐานสามารถแลกเปลี่ยนกับองค์ประกอบที่สอดคล้องกับองค์ประกอบของคู่ของมันได้ มีกลุ่มย่อยดัชนีขนาดเล็กหนึ่งกลุ่ม [3,3,3] +ลำดับ 60 หรือการเพิ่มเป็นสองเท่าของมัน[[3,3,3]] + , ลำดับที่ 120 กำหนดomnisnub 5-cellซึ่งแสดงไว้เพื่อความสมบูรณ์ แต่ไม่ใช่รูปแบบเดียวกัน
ครอบครัวB
ครอบครัวนี้มีสมมาตรแบบดิพลอยด์เฮกซาเดคาโคริก[ 10 ] [4,3,3] ที่มีลำดับ 24 × 16=384: 4!=24 การเรียงสับเปลี่ยนของแกนทั้งสี่ 2 4 =16 สำหรับการสะท้อนในแต่ละแกน มีกลุ่มย่อยดัชนีขนาดเล็ก 3 กลุ่ม โดยสองกลุ่มแรกสร้างโพลีโทป 4 มิติแบบสม่ำเสมอซึ่งซ้ำกันในครอบครัวอื่น ๆ ด้วย [1 + ,4,3,3], [4,(3,3) + ] และ [4,3,3] +ทั้งหมดมีลำดับ 192
การตัดทอนเทสเซอแร็กต์
| # | ชื่อ(ชื่อและชื่อย่อของโบเวอร์) | รูปจุดยอด | แผนภาพ Coxeterและสัญลักษณ์ชลาฟลี | จำนวนเซลล์ตามตำแหน่งที่ตั้ง | จำนวนองค์ประกอบ | |||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ตำแหน่งที่ 3 (8) | ตำแหน่งที่ 2 (24) | ตำแหน่งที่ 1 (32) | ตำแหน่ง 0 (16) | เซลล์ | ใบหน้า | ขอบ | จุดยอด | |||||
| 10 | เทสเซอแร็กต์หรือ เทสเซอแร็กต์ 8 เซลล์(tes) | (4) (4.4.4) | 8 | 24 | 32 | 16 | ||||||
| 11 | เทสเซอแร็กต์ที่แก้ไขแล้ว (rit) | (3) (3.4.3.4) | (2) (3.3.3) | 24 | 88 | 96 | 32 | |||||
| 13 | เทสเซอแร็กต์ที่ถูกตัดทอน (แทท) | (3) (3.8.8) | (1) (3.3.3) | 24 | 88 | 128 | 64 | |||||
| 14 | เทสเซอแร็กต์รูปวงกลมเทสเซอแร็กต์รูปสี่เหลี่ยมขนมเปียกปูนขนาดเล็ก (srit) | (2) (3.4.4.4) | (2) (3.4.4) | (1) (3.3.3.3) | 56 | 248 | 288 | 96 | ||||
| 15 | Runcinated tesseract (หรือ runcinated 16-cell )Small disprismatotesseractihexadecachoron (sidpith) | (1) (4.4.4) | (3) (4.4.4) | (3) (3.4.4) | (1) (3.3.3) | 80 | 208 | 192 | 64 | |||
| 16 | เทสเซอแร็กต์แบบบิตรันเคต (หรือแบบบิตรันเคต 16 เซลล์ )เทสเซอแร็กต์เฮกซาเดคาโครอน (ทาห์) | (2) (4.6.6) | (2) (3.6.6) | 24 | 120 | 192 | 96 | |||||
| 18 | เทสเซอแร็กต์แบบตัดทอนเทสเซอแร็กต์รูปสี่เหลี่ยมขนมเปียกปูนขนาดใหญ่ (กรวด) | (2) (4.6.8) | (1) (3.4.4) | (1) (3.6.6) | 56 | 248 | 384 | 192 | ||||
| 19 | Runcitruncated tesseract Prismatorhombated hexadecachoron (proh) | (1) (3.8.8) | (2) (4.4.8) | (1) (3.4.4) | (1) (3.4.3.4) | 80 | 368 | 480 | 192 | |||
| 21 | Omnitruncated tesseract (also omnitruncated 16-cell )Great disprismatotesseractihexadecachoron (gidpith) | (1) (4.6.8) | (1) (4.4.8) | (1) (4.4.6) | (1) (4.6.6) | 80 | 464 | 768 | 384 | |||
| # | ชื่อ(ตัวย่อแบบโบเวอร์ส) | รูปจุดยอด | แผนภาพ Coxeterและสัญลักษณ์ชลาฟลี | จำนวนเซลล์ตามตำแหน่งที่ตั้ง | จำนวนองค์ประกอบ | |||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ตำแหน่งที่ 3 (8) | ตำแหน่งที่ 2 (24) | ตำแหน่งที่ 1 (32) | ตำแหน่ง 0 (16) | อัลท์ | เซลล์ | ใบหน้า | ขอบ | จุดยอด | ||||
| [12] | ครึ่งเทสเซอแร็กต์เดมิเทสเซอแร็กต์= 16 เซลล์ (หกเหลี่ยม) | (4) (3.3.3) | (4) (3.3.3) | 16 | 32 | 24 | 8 | |||||
| [17] | เทสเซอแร็กต์แบบแคนติก = เทสเซอแร็กต์ แบบตัดทอน 16 เซลล์ (thex) | (4) (6.6.3) | (1) (3.3.3.3) | 24 | 96 | 120 | 48 | |||||
| [11] | เทสเซอแร็กต์แบบรันซิก = เทสเซอแร็กต์แบบปรับแก้ (ริท) | (3) (3.4.3.4) | (2) (3.3.3) | 24 | 88 | 96 | 32 | |||||
| [16] | เทสเซอแร็กต์รันซิแคนติก = เทสเซอแร็กต์บิตรันเคต (ทาห์) | (2) (3.4.3.4) | (2) (3.6.6) | 24 | 120 | 192 | 96 | |||||
| [11] | = เทสเซอแร็กต์ที่ถูกแก้ไข (หนู) | 24 | 88 | 96 | 32 | |||||||
| [16] | = เทสเซอแร็กต์ที่ถูกตัดทอนบิต (tah) | 24 | 120 | 192 | 96 | |||||||
| [23] | = เซลล์ 24 เซลล์ที่ได้รับการแก้ไข (rico) | 48 | 240 | 288 | 96 | |||||||
| [24] | = เซลล์ 24 เซลล์แบบตัดทอน (tico) | 48 | 240 | 384 | 192 | |||||||
| # | ชื่อ(ตัวย่อแบบโบเวอร์ส) | รูปจุดยอด | แผนภาพ Coxeterและสัญลักษณ์ชลาฟลี | จำนวนเซลล์ตามตำแหน่งที่ตั้ง | จำนวนองค์ประกอบ | |||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ตำแหน่งที่ 3 (8) | ตำแหน่งที่ 2 (24) | ตำแหน่งที่ 1 (32) | ตำแหน่ง 0 (16) | อัลท์ | เซลล์ | ใบหน้า | ขอบ | จุดยอด | ||||
| ไม่สม่ำเสมอ | omnisnub tesseract Snub tesseract (snet) [ 20 ] (หรือomnisnub 16-cell ) | (1) (3.3.3.3.4) | (1) (3.3.3.4) | (1) (3.3.3.3) | (1) (3.3.3.3.3) | (4) (3.3.3) | 272 | 944 | 864 | 192 | ||
การตัดทอน 16 เซลล์
| # | ชื่อ (ชื่อและชื่อย่อของโบเวอร์) | รูปจุดยอด | แผนภาพ Coxeterและสัญลักษณ์ชลาฟลี | จำนวนเซลล์ตามตำแหน่งที่ตั้ง | จำนวนองค์ประกอบ | |||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ตำแหน่งที่ 3 (8) | ตำแหน่งที่ 2 (24) | ตำแหน่งที่ 1 (32) | ตำแหน่ง 0 (16) | อัลท์ | เซลล์ | ใบหน้า | ขอบ | จุดยอด | ||||
| 12 | เฮกซาเดคาโครอน16 เซลล์[ 10 ] (เฮก) | (8) (3.3.3) | 16 | 32 | 24 | 8 | ||||||
| [22] | *เซลล์ 16 เซลล์ที่ได้รับการแก้ไขแล้ว(เหมือนกับเซลล์ 24 เซลล์ ) (ico) | (2) (3.3.3.3) | (4) (3.3.3.3) | 24 | 96 | 96 | 24 | |||||
| 17 | เฮกซาเดคาโครอน (thex) แบบตัดทอน 16 เซลล์ | (1) (3.3.3.3) | (4) (3.6.6) | 24 | 96 | 120 | 48 | |||||
| [23] | *เซลล์ 16 เซลล์แบบปรับแก้(เหมือนกับเซลล์ 24 เซลล์แบบปรับแก้ ) (rico) | (1) (3.4.3.4) | (2) (4.4.4) | (2) (3.4.3.4) | 48 | 240 | 288 | 96 | ||||
| [15] | ผลึก 16 เซลล์แบบรันซิเนต (หรือเทสเซอแร็กต์แบบรันซิเนต) (ซิดพิธ) | (1) (4.4.4) | (3) (4.4.4) | (3) (3.4.4) | (1) (3.3.3) | 80 | 208 | 192 | 64 | |||
| [16] | บิตรันเคท 16 เซลล์ (หรือบิตรันเคท เทสเซอแร็กต์ ) (ทาห์) | (2) (4.6.6) | (2) (3.6.6) | 24 | 120 | 192 | 96 | |||||
| [24] | *เซลล์ 16 เซลล์แบบย่อ(เหมือนกับเซลล์ 24 เซลล์แบบย่อ ) (tico) | (1) (4.6.6) | (1) (4.4.4) | (2) (4.6.6) | 48 | 240 | 384 | 192 | ||||
| 20 | Runcitruncated 16-cell Prismatorhombated tesseract (prit) | (1) (3.4.4.4) | (1) (4.4.4) | (2) (4.4.6) | (1) (3.6.6) | 80 | 368 | 480 | 192 | |||
| [21] | เซลล์ 16 เซลล์ที่ถูกตัดทอนทั้งหมด (หรือเทสเซอแร็กต์ที่ถูกตัดทอนทั้งหมด ) (กิดพิธ) | (1) (4.6.8) | (1) (4.4.8) | (1) (4.4.6) | (1) (4.6.6) | 80 | 464 | 768 | 384 | |||
| [31] | สลับเซลล์ 16 เซลล์ที่ถูกตัดทอน (เหมือนกับเซลล์ 24 เซลล์แบบสั้น ) (sadi) | (1) (3.3.3.3.3) | (1) (3.3.3) | (2) (3.3.3.3.3) | (4) (3.3.3) | 144 | 480 | 432 | 96 | |||
| ไม่สม่ำเสมอ | Runcic snub rectified 16-cell Pyritosnub tesseract (pysnet) | (1) (3.4.4.4) | (2) (3.4.4) | (1) (4.4.4) | (1) (3.3.3.3.3) | (2) (3.4.4) | 176 | 656 | 672 | 192 | ||
- (*) เช่นเดียวกับการจัดเรียงทรงสี่เหลี่ยมด้าน เท่าให้กลาย เป็นทรงแปดเหลี่ยมการจัดเรียงทรง 16 เซลล์ให้กลายเป็นทรง 24 เซลล์ ซึ่งเป็นสมาชิกปกติของตระกูลต่อไปนี้
เซลล์24 เซลล์ แบบตัดปลาย จะถูกทำซ้ำในตระกูลนี้เพื่อความสมบูรณ์ มันเป็นการสลับกันระหว่างเซลล์ 16 เซลล์แบบตัดปลายหรือเซลล์ 24 เซลล์แบบตัดปลายโดยมีกลุ่มสมมาตรครึ่งหนึ่งคือ [(3,3) + ,4] เซลล์ทรงแปดเหลี่ยมแบบตัดปลายจะกลายเป็นทรงยี่สิบเหลี่ยม ลูกบาศก์จะกลายเป็นทรงสี่เหลี่ยมด้านเท่า และมีการสร้างทรงสี่เหลี่ยมด้านเท่าใหม่ 96 รูปในช่องว่างจากจุดยอดที่ถูกลบออก
ตระกูลF
ครอบครัวนี้มีสมมาตรไอโคไซเทตราโคริกแบบดิพลอยด์ [ 10 ] [ 3,4,3] ลำดับ 24 × 48=1152: สมมาตร 48 แบบของทรงแปดเหลี่ยมสำหรับแต่ละเซลล์ 24 เซลล์ มีกลุ่มย่อยดัชนีขนาดเล็ก 3 กลุ่ม โดยคู่ไอโซมอร์ฟิกสองคู่แรกสร้างโพลีโทป 4 มิติที่สม่ำเสมอซึ่งซ้ำกันในครอบครัวอื่น ๆ ด้วย [3 + ,4,3], [3,4,3 + ] และ [3,4,3] +ทั้งหมดมีลำดับ 576
| # | ชื่อ | รูปจุดยอด | แผนภาพ Coxeterและสัญลักษณ์ชลาฟลี | จำนวนเซลล์ตามตำแหน่งที่ตั้ง | จำนวนองค์ประกอบ | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| ตำแหน่งที่ 3 (24) | ตำแหน่งที่ 2 (96) | ตำแหน่งที่ 1 (96) | ตำแหน่ง 0 (24) | เซลล์ | ใบหน้า | ขอบ | จุดยอด | ||||
| 22 | 24 เซลล์ (เหมือนกับ16 เซลล์ที่แก้ไขแล้ว ) Icositetrachoron [ 10 ] (ico) | (6) (3.3.3.3) | 24 | 96 | 96 | 24 | |||||
| 23 | เซลล์ 24 เซลล์ที่ปรับแก้แล้ว (เหมือนกับเซลล์ 16 เซลล์ที่ปรับแก้แล้ว ) เซลล์ไอโคไซเทตราโครอนที่ปรับแก้แล้ว (ริโค) | (3) (3.4.3.4) | (2) (4.4.4) | 48 | 240 | 288 | 96 | ||||
| 24 | เซลล์ 24 เซลล์ที่ถูกตัดทอน (เหมือนกับเซลล์ 16 เซลล์ที่ถูกตัดทอน ) ไอโคไซเทตราโครอนที่ถูกตัดทอน (ติโค) | (3) (4.6.6) | (1) (4.4.4) | 48 | 240 | 384 | 192 | ||||
| 25 | ไอโคซิเทตราโครอนรูปสี่เหลี่ยมขนมเปียกปูนขนาดเล็ก 24 เซลล์ (สริโค) | (2) (3.4.4.4) | (2) (3.4.4) | (1) (3.4.3.4) | 144 | 720 | 864 | 288 | |||
| 28 | cantitruncated 24-cell Great rhombated icositetrachoron (grico) | (2) (4.6.8) | (1) (3.4.4) | (1) (3.8.8) | 144 | 720 | 1152 | 576 | |||
| 29 | runcitruncated 24-cell Prismatorhombated icositetrachoron (prico) | (1) (4.6.6) | (2) (4.4.6) | (1) (3.4.4) | (1) (3.4.4.4) | 240 | 1104 | 1440 | 576 | ||
| # | ชื่อ | รูปจุดยอด | แผนภาพ Coxeterและสัญลักษณ์ชลาฟลี | จำนวนเซลล์ตามตำแหน่งที่ตั้ง | จำนวนองค์ประกอบ | |||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ตำแหน่งที่ 3 (24) | ตำแหน่งที่ 2 (96) | ตำแหน่งที่ 1 (96) | ตำแหน่ง 0 (24) | อัลท์ | เซลล์ | ใบหน้า | ขอบ | จุดยอด | ||||
| 31 | † snub 24-cell Snub disicositetrachoron (sadi) | (3) (3.3.3.3.3) | (1) (3.3.3) | (4) (3.3.3) | 144 | 480 | 432 | 96 | ||||
| ไม่สม่ำเสมอ | runcic ดูแคลน 24 เซลล์ Prismatorhombisnub icositetrachoron (prissi) | (1) (3.3.3.3.3) | (2) (3.4.4) | (1) (3.6.6) | (3) ไตรคัพ | 240 | 960 | 1008 | 288 | |||
| [25] | cantic snub 24-cell (เหมือนกับcantellated 24-cell ) (srico) | (2) (3.4.4.4) | (1) (3.4.3.4) | (2) (3.4.4) | 144 | 720 | 864 | 288 | ||||
| [29] | runcicantic snub 24-cell (เหมือนกับruncitruncated 24-cell ) (prico) | (1) (4.6.6) | (1) (3.4.4) | (1) (3.4.4.4) | (2) (4.4.6) | 240 | 1104 | 1440 | 576 | |||
- (†) เซลล์ 24 เซลล์แบบสั้นที่นี่ แม้จะมีชื่อเรียกทั่วไปว่า 24 เซลล์แบบสั้น แต่ก็ไม่ได้คล้ายคลึงกับลูกบาศก์แบบสั้นแต่อย่างใด แต่ได้มาจากการสลับเซลล์ 24 เซลล์แบบตัดทอนหมายเลขสมมาตร ของมัน มีเพียง 576 เท่านั้น ( กลุ่ม ไอโคไซเตตราโคริกไอออนิกที่ลดลง [3 + ,4,3])
เช่นเดียวกับเซลล์ 5 เซลล์ เซลล์ 24 เซลล์เป็นแบบคู่ตัวเอง ดังนั้นรูปแบบทั้งสามต่อไปนี้จึงมีสมมาตรเป็นสองเท่า ทำให้สมมาตรทั้งหมดเป็น 2304 ( สมมาตรไอโคไซเตตราโคริกแบบขยาย[[3,4,3]] ).
| # | ชื่อ | รูปจุดยอด | แผนภาพ Coxeterและสัญลักษณ์ชลาฟลี | จำนวนเซลล์ตามตำแหน่งที่ตั้ง | จำนวนองค์ประกอบ | ||||
|---|---|---|---|---|---|---|---|---|---|
| ตำแหน่ง 3-0 (48) | ตำแหน่ง 2-1 (192) | เซลล์ | ใบหน้า | ขอบ | จุดยอด | ||||
| 26 | runcinated 24-cell Small prismatotetracontoctachoron (spic) | (2) (3.3.3.3) | (6) (3.4.4) | 240 | 672 | 576 | 144 | ||
| 27 | Tetracontoctachoron 24 เซลล์แบบตัดทอน (ต่อ) | (4) (3.8.8) | 48 | 336 | 576 | 288 | |||
| 30 | omnitruncated 24-cell Great prismatotetracontoctachoron (gippic) | (2) (4.6.8) | (2) (4.4.6) | 240 | 1392 | 2304 | 1152 | ||
| # | ชื่อ | รูปจุดยอด | แผนภาพ Coxeterและสัญลักษณ์ชลาฟลี | จำนวนเซลล์ตามตำแหน่งที่ตั้ง | จำนวนองค์ประกอบ | |||||
|---|---|---|---|---|---|---|---|---|---|---|
| ตำแหน่ง 3-0 (48) | ตำแหน่ง 2-1 (192) | อัลท์ | เซลล์ | ใบหน้า | ขอบ | จุดยอด | ||||
| ไม่สม่ำเสมอ | omnisnub 24-cell Snub tetracontoctachoron (snoc) Snub icositetrachoron (sni) [ 21 ] | (2) (3.3.3.3.4) | (2) (3.3.3.3) | (4) (3.3.3) | 816 | 2832 | 2592 | 576 | ||
ตระกูลH
ครอบครัวนี้มีสมมาตรเฮกซาโคซิโคริกแบบดิพลอยด์ [ 10 ] [ 5,3,3] ลำดับ120 × 120 = 24 × 600 = 14400: 120 สำหรับแต่ละโดเดคาเฮดรา 120 อัน หรือ 24 สำหรับแต่ละเตตระเฮดรา 600 อัน มีกลุ่มย่อยดัชนีขนาดเล็กหนึ่งกลุ่ม [5,3,3] +ซึ่งทั้งหมดมีลำดับ 7200
การตัดทอน 120 เซลล์
| # | ชื่อ(ชื่อและชื่อย่อของโบเวอร์) | รูปจุดยอด | แผนภาพ Coxeterและสัญลักษณ์ชลาฟลี | จำนวนเซลล์ตามตำแหน่งที่ตั้ง | จำนวนองค์ประกอบ | |||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ตำแหน่งที่ 3 (120) | ตำแหน่งที่ 2 (720) | ตำแหน่งที่ 1 (1200) | ตำแหน่ง 0 (600) | อัลท์ | เซลล์ | ใบหน้า | ขอบ | จุดยอด | ||||
| 32 | 120 เซลล์ (hecatonicosachoron หรือ dodecacontachoron) [ 10 ] Hecatonicosachoron (สวัสดี) | (4) (5.5.5) | 120 | 720 | 1200 | 600 | ||||||
| 33 | เซลล์ 120 เซลล์ที่แก้ไขแล้วเฮคาโทนิโคซาโครอนที่แก้ไขแล้ว (ราฮี) | (3) (3.5.3.5) | (2) (3.3.3) | 720 | 3120 | 3600 | 1200 | |||||
| 36 | เฮคาโทนิโคซาโครอน แบบตัดทอน 120 เซลล์ (thi) | (3) (3.10.10) | (1) (3.3.3) | 720 | 3120 | 4800 | 2400 | |||||
| 37 | เซลล์ 120 เซลล์ รูปทรงสี่เหลี่ยมขนมเปียกปูนขนาดเล็ก เฮคาโทนิโคซาโครอน (สราฮี) | (2) (3.4.5.4) | (2) (3.4.4) | (1) (3.3.3.3) | 1920 | 9120 | 10800 | 3600 | ||||
| 38 | runcinated 120-cell (also runcinated 600-cell )Small disprismatohexacosihecatonicosachoron (sidpixhi) | (1) (5.5.5) | (3) (4.4.5) | (3) (3.4.4) | (1) (3.3.3) | 2640 | 7440 | 7200 | 2400 | |||
| 39 | bitruncated 120-cell (also bitruncated 600-cell )Hexacosihecatonicosachoron (xhi) | (2) (5.6.6) | (2) (3.6.6) | 720 | 4320 | 7200 | 3600 | |||||
| 42 | cantitruncated 120-cell Great rhombated hecatonicosachoron (grahi) | (2) (4.6.10) | (1) (3.4.4) | (1) (3.6.6) | 1920 | 9120 | 14400 | 7200 | ||||
| 43 | runcitruncated 120-cell Prismatorhombated hexacosichoron (prix) | (1) (3.10.10) | (2) (4.4.10) | (1) (3.4.4) | (1) (3.4.3.4) | 2640 | 13440 | 18000 | 7200 | |||
| 46 | omnitruncated 120-cell (also omnitruncated 600-cell )Great disprismatohexacosihecatonicosachoron (gidpixhi) | (1) (4.6.10) | (1) (4.4.10) | (1) (4.4.6) | (1) (4.6.6) | 2640 | 17040 | 28800 | 14400 | |||
| ไม่สม่ำเสมอ | omnisnub 120-cell Snub hecatonicosachoron (snixhi) [ 22 ] (เหมือนกับomnisnub 600-cell ) | 9840 | 35040 | 32400 | 7200 | |||||||
การตัดทอนเซลล์ 600 เซลล์
| # | ชื่อ(ตัวย่อแบบโบเวอร์ส) | รูปจุดยอด | แผนภาพ Coxeterและสัญลักษณ์ชลาฟลี | สมมาตร | จำนวนเซลล์ตามตำแหน่งที่ตั้ง | จำนวนองค์ประกอบ | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ตำแหน่งที่ 3 (120) | ตำแหน่งที่ 2 (720) | ตำแหน่งที่ 1 (1200) | ตำแหน่ง 0 (600) | เซลล์ | ใบหน้า | ขอบ | จุดยอด | |||||
| 35 | เฮกซาโคซิโครอน600 เซลล์[ 10 ] (เช่น) | [5,3,3] ลำดับที่ 14400 | (20) (3.3.3) | 600 | 1200 | 720 | 120 | |||||
| [47] | 20-ลดขนาด 600 เซลล์ = แกรนด์แอนติปริซึม (ช่องว่าง) | โครงสร้างที่ไม่ใช่แบบวิธอฟฟ์ | [[10,2 + ,10]] ลำดับที่ 400 ดัชนี 36 | (2) (3.3.3.5) | (12) (3.3.3) | 320 | 720 | 500 | 100 | |||
| [31] | 24-เซลล์ที่ลดลง 600 เซลล์ = Snub 24-เซลล์ (sadi) | โครงสร้างที่ไม่ใช่แบบวิธอฟฟ์ | [3 + ,4,3] ลำดับ 576 ดัชนี 25 | (3) (3.3.3.3.3) | (5) (3.3.3) | 144 | 480 | 432 | 96 | |||
| ไม่สม่ำเสมอ | bi-24-diminished 600-cell Bi-icositetradiminished hexacosichoron (bidex) | โครงสร้างที่ไม่ใช่แบบวิธอฟฟ์ | ลำดับที่ 144 ดัชนีที่ 100 | (6) tdi | 48 | 192 | 216 | 72 | ||||
| 34 | เซลล์ 600 เซลล์ที่ได้รับการแก้ไขเฮกซาโคซิโครอนที่ได้รับการแก้ไข (ร็อกซ์) | [5,3,3] | (2) (3.3.3.3.3) | (5) (3.3.3.3) | 720 | 3600 | 3600 | 720 | ||||
| ไม่สม่ำเสมอ | 120-diminished rectified 600-cell Swirlprismatodiminished rectified hexacosichoron (spidrox) | โครงสร้างที่ไม่ใช่แบบวิธอฟฟ์ | ลำดับที่ 1200 ดัชนีที่ 12 | (2) 3.3.3.5 | (2) 4.4.5 | (5) P4 | 840 | 2640 | 2400 | 600 | ||
| 41 | เซลล์ 600 เซลล์ที่ถูกตัดทอน เฮกซาโคซิโคโรนที่ถูกตัดทอน (tex) | [5,3,3] | (1) (3.3.3.3.3) | (5) (3.6.6) | 720 | 3600 | 4320 | 1440 | ||||
| 40 | เฮกซาโคซิโครอนรูปสี่เหลี่ยมขนมเปียกปูนขนาดเล็ก 600 เซลล์ (srix) | [5,3,3] | (1) (3.5.3.5) | (2) (4.4.5) | (1) (3.4.3.4) | 1440 | 8640 | 10800 | 3600 | |||
| [38] | runcinated 600-cell (หรือ runcinated 120-cell ) (sidpixhi) | [5,3,3] | (1) (5.5.5) | (3) (4.4.5) | (3) (3.4.4) | (1) (3.3.3) | 2640 | 7440 | 7200 | 2400 | ||
| [39] | บิตรันเคท 600 เซลล์ (และบิตรันเคท 120 เซลล์ ) (xhi) | [5,3,3] | (2) (5.6.6) | (2) (3.6.6) | 720 | 4320 | 7200 | 3600 | ||||
| 45 | cantitruncated 600-cell Great rhombated hexacosichoron (grix) | [5,3,3] | (1) (5.6.6) | (1) (4.4.5) | (2) (4.6.6) | 1440 | 8640 | 14400 | 7200 | |||
| 44 | runcitruncated 600-cell Prismatorhombated hecatonicosachoron (prahi) | [5,3,3] | (1) (3.4.5.4) | (1) (4.4.5) | (2) (4.4.6) | (1) (3.6.6) | 2640 | 13440 | 18000 | 7200 | ||
| [46] | omnitruncated 600-cell (หรือ omnitruncated 120-cell ) (gidpixhi) | [5,3,3] | (1) (4.6.10) | (1) (4.4.10) | (1) (4.4.6) | (1) (4.6.6) | 2640 | 17040 | 28800 | 14400 | ||
ตระกูลD
ตระกูลเดมิเทสเซอแร็กต์นี้[3 1,1,1 ] ไม่ได้แนะนำโพลีโทป 4 มิติแบบเอกรูปใหม่ แต่ควรค่าแก่การกล่าวซ้ำถึงโครงสร้างทางเลือกเหล่านี้ ตระกูลนี้มีลำดับ 12 × 16 = 192: 4!/2 = 12 การเรียงสับเปลี่ยนของแกนทั้งสี่ ครึ่งหนึ่งสลับกัน 2 4 = 16 สำหรับการสะท้อนในแต่ละแกน มีกลุ่มย่อยดัชนีขนาดเล็กหนึ่งกลุ่มที่สร้างโพลีโทป 4 มิติแบบเอกรูป [3 1,1,1 ] +ลำดับ 96
| # | ชื่อ (ตัวย่อแบบโบเวอร์ส) | รูปจุดยอด | แผนภาพค็อกซ์เตอร์ = = | จำนวนเซลล์ตามตำแหน่งที่ตั้ง | จำนวนองค์ประกอบ | |||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ตำแหน่ง 0 (8) | ตำแหน่งที่ 2 (24) | ตำแหน่งที่ 1 (8) | ตำแหน่งที่ 3 (8) | ตำแหน่ง Alt (96) | 3 | 2 | 1 | 0 | ||||
| [12] | เดมิเทสเซอแร็กต์ฮาล์ฟเทสเซอแร็กต์(เหมือนกับแบบ16 เซลล์ ) (หกเหลี่ยม) | (4) (3.3.3) | (4) (3.3.3) | 16 | 32 | 24 | 8 | |||||
| [17] | เทสเซอแร็กต์แคนติก(เหมือนกับ เทสเซอ แร็กต์ 16 เซลล์แบบตัดทอน ) (thex) | (1) (3.3.3.3) | (2) (3.6.6) | (2) (3.6.6) | 24 | 96 | 120 | 48 | ||||
| [11] | เทสเซอแร็กต์แบบรันซิก(เหมือนกับเทสเซอแร็กต์แบบปรับแก้ ) (ริท) | (1) (3.3.3) | (1) (3.3.3) | (3) (3.4.3.4) | 24 | 88 | 96 | 32 | ||||
| [16] | เทสเซอแร็กต์รันซิแคนติก(เหมือนกับเทสเซอแร็กต์บิตรันเคต ) (ทาห์) | (1) (3.6.6) | (1) (3.6.6) | (2) (4.6.6) | 24 | 96 | 96 | 24 | ||||
เมื่อโหนดสาขาที่แยกออกเป็น 3 กิ่งมีวงแหวนเหมือนกัน ความสมมาตรสามารถเพิ่มขึ้นได้ 6 เท่า เนื่องจาก [3[3 1,1,1 ]] = [3,4,3] และด้วยเหตุนี้โพลีโทปเหล่านี้จึงถูกทำซ้ำจากตระกูล24 เซลล์
| # | ชื่อ (ตัวย่อแบบโบเวอร์ส) | รูปจุดยอด | แผนภาพค็อกซ์เตอร์ = = | จำนวนเซลล์ตามตำแหน่งที่ตั้ง | จำนวนองค์ประกอบ | |||||
|---|---|---|---|---|---|---|---|---|---|---|
| ตำแหน่ง 0,1,3 (24) | ตำแหน่งที่ 2 (24) | ตำแหน่ง Alt (96) | 3 | 2 | 1 | 0 | ||||
| [22] | เซลล์ 16 เซลล์ที่ปรับแก้แล้ว(เหมือนกับเซลล์ 24 เซลล์ ) (ico) | (6) (3.3.3.3) | 48 | 240 | 288 | 96 | ||||
| [23] | เซลล์ 16 เซลล์แบบปรับแก้(เหมือนกับเซลล์ 24 เซลล์แบบปรับแก้ ) (rico) | (3) (3.4.3.4) | (2) (4.4.4) | 24 | 120 | 192 | 96 | |||
| [24] | เซลล์ 16 เซลล์ที่ถูกตัดทอน(เหมือนกับเซลล์ 24 เซลล์ที่ถูกตัดทอน ) (tico) | (3) (4.6.6) | (1) (4.4.4) | 48 | 240 | 384 | 192 | |||
| [31] | snub 24-cell (sadi) | (3) (3.3.3.3.3) | (1) (3.3.3) | (4) (3.3.3) | 144 | 480 | 432 | 96 | ||
ในที่นี้เซลล์ 24 เหลี่ยมแบบสนับ (snub 24-cell ) ซึ่งมีกลุ่มสมมาตร [3 1,1,1 ] +ในครั้งนี้ แสดงถึงการตัดทอนแบบสลับของเซลล์ 24 เหลี่ยมที่ถูกตัดทอน ทำให้เกิดทรงสี่เหลี่ยมด้านเท่าใหม่ 96 รูป ณ ตำแหน่งของจุดยอดที่ถูกลบออกไป แตกต่างจากลักษณะที่ปรากฏในกลุ่มก่อนหน้านี้ในฐานะโพลีโทป 4 เหลี่ยมแบบสนับบางส่วน เฉพาะในกลุ่มสมมาตรนี้เท่านั้นที่มันมีความคล้ายคลึงกับสนับของเคปเลอร์อย่างสมบูรณ์ นั่นคือลูกบาศก์สนับและทรงสิบสองเหลี่ยมสนับ
ปริซึมแอนติขนาดใหญ่
มีรูปทรงหลายเหลี่ยมนูนสม่ำเสมอ 4 มิติที่ไม่เป็นไปตามแบบวิทอฟฟ์อยู่หนึ่งรูป ซึ่งรู้จักกันในชื่อ แกรน ด์แอนติปริซึมประกอบด้วยแอนติปริซึมห้าเหลี่ยม 20 รูปเรียงตัว เป็นวงแหวนตั้งฉากสองวงเชื่อมต่อกัน ด้วยรูปทรงสี่เหลี่ยม ด้านเท่า 300 รูป มันมีความคล้ายคลึงอย่างคร่าวๆ กับ แอนติปริซึมสามมิติซึ่งประกอบด้วยรูปหลายเหลี่ยมขนานสองรูปที่เชื่อมต่อกันด้วยแถบสามเหลี่ยมอย่างไรก็ตาม แกรนด์แอนติปริซึมนั้นต่างจากแอนติปริซึมสามมิติตรงที่ไม่ใช่สมาชิกของตระกูลอนันต์ของรูปทรงหลายเหลี่ยมสม่ำเสมอ
สมมาตรของมันคือกลุ่ม Coxeter ที่ลดลงแบบไอออนิก [[10,2 + ,10]], อันดับ 400
| # | ชื่อ (ตัวย่อแบบโบเวอร์ส) | รูปภาพ | รูปจุดยอด | แผนภาพ Coxeterและสัญลักษณ์ชลาฟลี | เซลล์ตามประเภท | จำนวนองค์ประกอบ | สุทธิ | ||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| เซลล์ | ใบหน้า | ขอบ | จุดยอด | ||||||||
| 47 | แกรนด์แอนติปริซึม (ช่องว่าง) | ไม่มีสัญลักษณ์ | 300 ( 3.3.3 ) | 20 ( 3.3.3.5 ) | 320 | 20 {5} 700 {3} | 500 | 100 | |||
ปริซึมแบบสม่ำเสมอ 4 โพลีโทป
โพลีโทปปริซึมคือผลคูณคาร์ทีเซียน ของโพลีโทปสองรูปที่มีมิติต่ำกว่า ตัวอย่างที่คุ้นเคยคือ ปริซึม 3 มิติซึ่งเป็นผลคูณของรูปหลายเหลี่ยมและส่วนของเส้นตรงโพลีโทปปริซึมแบบสม่ำเสมอ 4 มิติประกอบด้วยตระกูลอนันต์สองตระกูล:
- ปริซึมทรงหลายเหลี่ยม : ผลคูณของส่วนของเส้นตรงและทรงหลายเหลี่ยมสม่ำเสมอ ตระกูลนี้มีจำนวนอนันต์เนื่องจากรวมถึงปริซึมที่สร้างขึ้นจากปริซึมสามมิติและแอนติปริซึมด้วย
- ปริซึมคู่ : ผลคูณของรูปหลายเหลี่ยมสองรูป
ปริซึมทรงหลายเหลี่ยมนูน
ตระกูลของรูปทรงหลายเหลี่ยม 4 มิติแบบปริซึมที่เห็นได้ชัดที่สุดคือปริซึมทรงหลายเหลี่ยม กล่าวคือ ผลคูณของทรงหลายเหลี่ยมกับส่วนของเส้นตรงเซลล์ของรูปทรงหลายเหลี่ยม 4 มิติดังกล่าวประกอบด้วยทรงหลายเหลี่ยมสม่ำเสมอสองทรงที่เหมือนกันวางอยู่บนระนาบ ขนาน ( เซลล์ ฐาน ) และชั้นของปริซึมที่เชื่อมต่อกัน ( เซลล์ ด้านข้าง ) ตระกูลนี้รวมถึงปริซึมสำหรับ ทรงหลายเหลี่ยมสม่ำเสมอที่ไม่ใช่ปริซึม 75 ทรง(ซึ่ง 18 ทรงเป็นทรงนูน หนึ่งในนั้นคือปริซึมลูกบาศก์ ซึ่งระบุไว้ข้างต้นในชื่อเทสเซอแร็ กต์ )
มีปริซึมทรงหลายเหลี่ยมนูน 18 แบบที่สร้างขึ้นจากทรงหลายเหลี่ยมเพลโต 5 แบบ และทรงหลายเหลี่ยมอาร์คิมีเดียน 13 แบบ รวมถึงตระกูลปริซึมและ แอ นติปริซึม สามมิติ จำนวนอนันต์ จำนวนสมมาตรของปริซึมทรงหลายเหลี่ยมมีค่าเป็นสองเท่าของทรงหลายเหลี่ยมพื้นฐาน
ปริซึมทรงสี่เหลี่ยมด้านเท่า: A × A
สมมาตรทรงสี่เหลี่ยมปริซึมนี้คือ [3,3,2] อันดับ 48 มีกลุ่มย่อยดัชนี 2 สองกลุ่มคือ [(3,3) + ,2] และ [3,3,2] +แต่กลุ่มที่สองไม่ได้สร้างโพลีโทป 4 มิติที่สม่ำเสมอ
| # | ชื่อ (ตัวย่อแบบโบเวอร์ส) | รูปภาพ | รูปจุดยอด | แผนภาพ Coxeterและสัญลักษณ์ชลาฟลี | เซลล์ตามประเภท | จำนวนองค์ประกอบ | สุทธิ | |||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| เซลล์ | ใบหน้า | ขอบ | จุดยอด | |||||||||
| 48 | ปริซึมทรงสี่เหลี่ยมด้านเท่า (เทเป) | 2 3.3.3 | 4 3.4.4 | 6 | 8 {3} 6 {4} | 16 | 8 | |||||
| 49 | ปริซึมทรงสี่เหลี่ยมด้านไม่เท่าตัดยอด (tuttip) | 2 3.6.6 | 4 3.4.4 | 4 4.4.6 | 10 | 8 {3} 18 {4} 8 {6} | 48 | 24 | ||||
| # | ชื่อ (ตัวย่อแบบโบเวอร์ส) | รูปภาพ | รูปจุดยอด | แผนภาพ Coxeterและสัญลักษณ์ชลาฟลี | เซลล์ตามประเภท | จำนวนองค์ประกอบ | สุทธิ | |||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| เซลล์ | ใบหน้า | ขอบ | จุดยอด | |||||||||
| [51] | ปริซึมทรงสี่เหลี่ยมด้านเท่าปรับแก้ (เหมือนกับปริซึมทรงแปดเหลี่ยม ) (ope) | 2 3.3.3.3 | 4 3.4.4 | 6 | 16 {3} 12 {4} | 30 | 12 | |||||
| [50] | ปริซึมทรงสี่เหลี่ยมด้านเท่าปลายแหลม (เหมือนกับปริซึมทรงลูกบาศก์แปด เหลี่ยม ) (cope) | 2 3.4.3.4 | 8 3.4.4 | 6 4.4.4 | 16 | 16 {3} 36 {4} | 60 | 24 | ||||
| [54] | ปริซึมทรงสี่เหลี่ยมด้านไม่เท่าตัดยอด (เหมือนกับปริซึมทรงแปดเหลี่ยมตัดยอด ) (tope) | 2 4.6.6 | 8 6.4.4 | 6 4.4.4 | 16 | 48 {4} 16 {6} | 96 | 48 | ||||
| [59] | ปริซึมทรงสี่เหลี่ยมด้านไม่เท่าแบบเฉียง (เหมือนกับปริซึมทรงยี่สิบเหลี่ยม ) (ipe) | 2 3.3.3.3.3 | 20 3.4.4 | 22 | 40 {3} 30 {4} | 72 | 24 | |||||
| ไม่สม่ำเสมอ | omnisnub tetrahedral antiprism Pyritohedral icosahedral antiprism (pikap) | 2 3.3.3.3.3 | 8 3.3.3.3 | 6+24 3.3.3 | 40 | 16+96 {3} | 96 | 24 | ||||
ปริซึมทรงแปดเหลี่ยม: B × A
สมมาตรของตระกูลปริซึมทรงแปดเหลี่ยมนี้คือ [4,3,2] อันดับ 96 มีกลุ่มย่อย 6 กลุ่มที่มีดัชนี 2 อันดับ 48 ซึ่งแสดงอยู่ในรูปหลายเหลี่ยม 4 มิติสลับกันดังต่อไปนี้สมมาตรคือ [(4,3) + ,2], [1 + , 4,3,2], [4,3,2 + ], [4,3 + ,2], [4,(3,2) + ] และ [4,3,2] +
| # | ชื่อ (ตัวย่อแบบโบเวอร์ส) | รูปภาพ | รูปจุดยอด | แผนภาพ Coxeterและสัญลักษณ์ชลาฟลี | เซลล์ตามประเภท | จำนวนองค์ประกอบ | สุทธิ | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| เซลล์ | ใบหน้า | ขอบ | จุดยอด | ||||||||||
| [10] | ปริซึมทรงลูกบาศก์ (เหมือนกับเทสเซอแร็กต์ ) (เหมือนกับดูโอปริซึม 4-4 ) (เทส) | 2 4.4.4 | 6 4.4.4 | 8 | 24 {4} | 32 | 16 | ||||||
| 50 | ปริซึมคิวโบกตาเฮดรัล (เหมือนกับปริซึมเตตระเฮดรัลแบบมีมุม ) (cope) | 2 3.4.3.4 | 8 3.4.4 | 6 4.4.4 | 16 | 16 {3} 36 {4} | 60 | 24 | |||||
| 51 | ปริซึมทรงแปดเหลี่ยม (เหมือนกับปริซึมทรงสี่เหลี่ยมด้านเท่าแบบปรับแก้ )(เหมือนกับปริซึมแอนติปริซึมทรงสามเหลี่ยม ) (ope) | 2 3.3.3.3 | 8 3.4.4 | 10 | 16 {3} 12 {4} | 30 | 12 | ||||||
| 52 | ปริซึมทรงลูกบาศก์แปดเหลี่ยมรูปสี่เหลี่ยมขนมเปียกปูน (เซอร์โคป) | 2 3.4.4.4 | 8 3.4.4 | 18 4.4.4 | 28 | 16 {3} 84 {4} | 120 | 48 | |||||
| 53 | ปริซึมทรงลูกบาศก์ตัดยอด (ticcup) | 2 3.8.8 | 8 3.4.4 | 6 4.4.8 | 16 | 16 {3} 36 {4} 12 {8} | 96 | 48 | |||||
| 54 | ปริซึมทรงแปดเหลี่ยมตัดยอด (เหมือนกับปริซึมทรงสี่เหลี่ยมตัดยอด ) (tope) | 2 4.6.6 | 6 4.4.4 | 8 4.4.6 | 16 | 48 {4} 16 {6} | 96 | 48 | |||||
| 55 | ปริซึมทรงลูกบาศก์แปดเหลี่ยมตัดยอด (gircope) | 2 4.6.8 | 12 4.4.4 | 8 4.4.6 | 6 4.4.8 | 28 | 96 {4} 16 {6} 12 {8} | 192 | 96 | ||||
| 56 | ปริซึมทรงลูกบาศก์แบบสั้น (สนิคคัพ) | 2 3.3.3.3.4 | 32 3.4.4 | 6 4.4.4 | 40 | 64 {3} 72 {4} | 144 | 48 | |||||
| [48] | ปริซึมทรงสี่เหลี่ยมด้านเท่า (เทเป) | 2 3.3.3 | 4 3.4.4 | 6 | 8 {3} 6 {4} | 16 | 8 | ||||||
| [49] | ปริซึมทรงสี่เหลี่ยมด้านไม่เท่าตัดยอด (tuttip) | 2 3.3.6 | 4 3.4.4 | 4 4.4.6 | 6 | 8 {3} 6 {4} | 16 | 8 | |||||
| [50] | ปริซึมทรงลูกบาศก์แปดเหลี่ยม (cope) | 2 3.4.3.4 | 8 3.4.4 | 6 4.4.4 | 16 | 16 {3} 36 {4} | 60 | 24 | |||||
| [52] | ปริซึมทรงลูกบาศก์แปดเหลี่ยมรูปสี่เหลี่ยมขนมเปียกปูน (เซอร์โคป) | 2 3.4.4.4 | 8 3.4.4 | 18 4.4.4 | 28 | 16 {3} 84 {4} | 120 | 48 | |||||
| [54] | ปริซึมทรงแปดเหลี่ยมตัดยอด (โทป) | 2 4.6.6 | 6 4.4.4 | 8 4.4.6 | 16 | 48 {4} 16 {6} | 96 | 48 | |||||
| [59] | ปริซึมทรงยี่สิบหน้า (ipe) | 2 3.3.3.3.3 | 20 3.4.4 | 22 | 40 {3} 30 {4} | 72 | 24 | ||||||
| [12] | 16 เซลล์ (หกเหลี่ยม) | 2+6+8 3.3.3.3 | 16 | 32 {3} | 24 | 8 | |||||||
| ไม่สม่ำเสมอ | ทรงสี่เหลี่ยมด้านเท่าออมนิสนับ = ทรงสี่เหลี่ยมด้านเท่าไพริโทเฮดรัลไอโคซาเฮดรัลแอนติปริซึม (พิคาป) | 2 3.3.3.3.3 | 8 3.3.3.3 | 6+24 3.3.3 | 40 | 16+96 {3} | 96 | 24 | |||||
| ไม่สม่ำเสมอ | Edge-snub octahedral hosochoron Pyritosnub alterprism (pysna) | 2 3.4.4.4 | 6 4.4.4 | 8 3.3.3.3 | 24 3.4.4 | 40 | 16+48 {3} 12+12+24+24 {4} | 144 | 48 | ||||
| ไม่สม่ำเสมอ | ปริซึมแอนติคิวบิกออมนิสนับ (สนิแคป) | 2 3.3.3.3.4 | 12+48 3.3.3 | 8 3.3.3.3 | 6 3.3.3.4 | 76 | 16+192 {3} 12 {4} | 192 | 48 | ||||
| ไม่สม่ำเสมอ | Runcic snub cubic hosochoron Truncated tetrahedral alterprism (tuta) | 2 3.6.6 | 6 3.3.3 | โดมทรงสามเหลี่ยม 8 หลัง | 16 | 52 | 60 | 24 | |||||
ปริซึมทรงยี่สิบหน้า: H × A
สมมาตรทรงยี่สิบหน้าปริซึมนี้คือ [5,3,2] อันดับ 240 มีกลุ่มย่อยดัชนี 2 สองกลุ่มคือ [(5,3) + ,2] และ [5,3,2] +แต่กลุ่มที่สองไม่ได้สร้างโพลีโครอนที่เป็นเอกรูป
| # | ชื่อ (ชื่อและชื่อย่อของโบเวอร์) | รูปภาพ | รูปจุดยอด | แผนภาพ Coxeterและสัญลักษณ์ชลาฟลี | เซลล์ตามประเภท | จำนวนองค์ประกอบ | สุทธิ | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| เซลล์ | ใบหน้า | ขอบ | จุดยอด | ||||||||||
| 57 | ปริซึมทรงสิบสองเหลี่ยม (โดป) | 2 5.5.5 | 12 4.4.5 | 14 | 30 {4} 24 {5} | 80 | 40 | ||||||
| 58 | ปริซึมทรงสิบสองเหลี่ยม (iddip) | 2 3.5.3.5 | 20 3.4.4 | 12 4.4.5 | 34 | 40 {3} 60 {4} 24 {5} | 150 | 60 | |||||
| 59 | ปริซึมทรงยี่สิบหน้า (เหมือนกับปริซึมทรงสี่เหลี่ยมด้านไม่เท่าแบบเฉียง ) (ipe) | 2 3.3.3.3.3 | 20 3.4.4 | 22 | 40 {3} 30 {4} | 72 | 24 | ||||||
| 60 | ปริซึมทรงสิบสองเหลี่ยมตัดยอด (ทิดดิป) | 2 3.10.10 | 20 3.4.4 | 12 4.4.10 | 34 | 40 {3} 90 {4} 24 {10} | 240 | 120 | |||||
| 61 | ปริซึมทรงสิบสองเหลี่ยมด้านเท่า (sriddip) | 2 3.4.5.4 | 20 3.4.4 | 30 4.4.4 | 12 4.4.5 | 64 | 40 {3} 180 {4} 24 {5} | 300 | 120 | ||||
| 62 | ปริซึมทรงยี่สิบหน้าตัด (tipe) | 2 5.6.6 | 12 4.4.5 | 20 4.4.6 | 34 | 90 {4} 24 {5} 40 {6} | 240 | 120 | |||||
| 63 | ปริซึมทรงสิบสองเหลี่ยมตัดยอด (griddip) | 2 4.6.10 | 30 4.4.4 | 20 4.4.6 | 12 4.4.10 | 64 | 240 {4} 40 {6} 24 {10} | 480 | 240 | ||||
| 64 | ปริซึมทรงสิบสองเหลี่ยมแบบสนับ (สนิดดิป) | 2 3.3.3.3.5 | 80 3.4.4 | 12 4.4.5 | 94 | 160 {3} 150 {4} 24 {5} | 360 | 120 | |||||
| ไม่สม่ำเสมอ | ปริซึมแอนติปริซึมทรงสิบสองเหลี่ยมออมนิสนูนปริซึมแอนติปริซึมทรงสิบสองเหลี่ยมสนับ (สนิดแดป) | 2 3.3.3.3.5 | 30+120 3.3.3 | 20 3.3.3.3 | 12 3.3.3.5 | 184 | 20+240 {3} 24 {5} | 220 | 120 | ||||
ดูโอปริซึม: [p] × [q]

ประการที่สองคือตระกูลอนันต์ของดูโอปริซึมเอก รูป ซึ่งเป็นผลคูณของ รูปหลายเหลี่ยมปกติสอง รูป แผนภาพค็อกซ์เตอร์-ไดน์กินของดูโอปริซึมคือรูปทรงจุดยอดของมันคือทรงสี่เหลี่ยมด้านเท่าดิสฟีนอยด์![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
ตระกูลนี้ทับซ้อนกับตระกูลแรก: เมื่อรูปหลายเหลี่ยม "ตัวประกอบ" หนึ่งในสองรูปเป็นรูปสี่เหลี่ยมจัตุรัส ผลคูณจะเทียบเท่ากับไฮเปอร์ปริซึมที่มีฐานเป็นปริซึมสามมิติ จำนวนสมมาตรของดูโอปริซึมที่มีตัวประกอบเป็นรูปpเหลี่ยมและ รูป qเหลี่ยม ("ดู โอปริซึม p,q ") คือ 4pq ถ้า p ≠ q ;ถ้าตัวประกอบทั้งสองเป็น รูป p เหลี่ยมจำนวนสมมาตรคือ 8p² เทสเซอแร็กต์ยังสามารถพิจารณาได้ว่าเป็นดูโอปริซึม 4,4 อีกด้วย
เวกเตอร์ fที่ขยายของ { p }×{ q } คือ ( p , p ,1)*( q , q ,1) = ( pq ,2 pq , pq + p + q , p + q )
- เซลล์: ปริซึมเหลี่ยม p q , ปริซึมเหลี่ยมq p
- หน้า: สี่เหลี่ยมจัตุรัส pqรูป, เหลี่ยม p qรูป, เหลี่ยม q pรูป
- ขอบ: 2pq
- จุดยอด: pq
ไม่มีสิ่งใดในสี่มิติที่เป็นแบบจำลองที่สม่ำเสมอสำหรับตระกูลอนันต์ของแอนติปริซึม สาม มิติ
เซตอนันต์ของปริซึมคู่ pq - - ปริซึมเหลี่ยม p q , ปริซึมเหลี่ยมq p :![]()
![]()
![]()
![]()
![]()
![]()
![]()
| ชื่อ | กราฟค็อกซ์เตอร์ | เซลล์ | รูปภาพ | สุทธิ |
|---|---|---|---|---|
| ปริซึมคู่ 3-3 (ไตรดิป) | ปริซึมสามเหลี่ยม 3+3 | |||
| ปริซึมคู่ 3-4 อัน (ทิสดิป) | ลูกบาศก์ 3 ลูกปริซึมสามเหลี่ยม 4 อัน | |||
| ปริซึมคู่ 4-4 (tes) (เหมือนกับเทสเซอแร็กต์) | ลูกบาศก์ 4+4 | |||
| ปริซึมคู่ 3-5 อัน (trapedip) | ปริซึมห้าเหลี่ยม 3 อันปริซึมสามเหลี่ยม 5 อัน | |||
| 4-5 ดูโอปริซึม (สควิปดิป) | ปริซึมห้าเหลี่ยม 4 อันลูกบาศก์ 5 อัน | |||
| 5-5 ดูโอปริซึม (pedip) | ปริซึมห้าเหลี่ยม 5+5 | |||
| ปริซึมคู่ 3-6 (thiddip) | ปริซึมหกเหลี่ยม 3 ชิ้นปริซึมสามเหลี่ยม 6 ชิ้น | |||
| 4-6 ดูโอปริซึม (ชิดดิป) | ปริซึมหกเหลี่ยม 4 อันลูกบาศก์ 6 อัน | |||
| 5-6 ดูโอปริซึม (ฟิดดิป) | ปริซึมหกเหลี่ยม 5 อันปริซึมห้าเหลี่ยม 6 อัน | |||
| ปริซึมคู่ 6-6 (hiddip) | ปริซึมหกเหลี่ยม 6+6 |
การสลับเป็นไปได้= ให้ตระกูลของดูโอแอนติปริซึมแต่โดยทั่วไปแล้วไม่สามารถทำให้สม่ำเสมอได้ p=q=2 เป็น กรณี นูน เพียงกรณีเดียว ที่สามารถทำให้สม่ำเสมอได้ ซึ่งให้เซลล์ 16 เซลล์ปกติ p=5, q=5/3 เป็นกรณีไม่นูนเพียงกรณีเดียวที่สามารถทำให้สม่ำเสมอได้ ซึ่งให้สิ่งที่เรียกว่า ดูโอ แอนติปริซึมขนาดใหญ่ ให้ ปริซึมปริซึมเหลี่ยม p-2q (การสลับขอบของดูโอปริซึม 2p-4q) แต่ไม่สามารถทำให้สม่ำเสมอได้ในทุกกรณี[ 23 ]![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
ปริซึมปริซึมรูปหลายเหลี่ยม: [p] × [ ] × [ ]
เซตอนันต์ของปริซึมปริซึมสม่ำเสมอจะทับซ้อนกับปริซึมคู่ 4-p: (p≥3) - - ลูกบาศก์p และปริซึมเหลี่ยม 4p - (ทั้งหมดเหมือนกับปริซึมคู่ 4-p ) โพลีโทปที่สองในอนุกรมคือสมมาตรที่ต่ำกว่าของ เทสเซอแร็กต์ปกติ{4}×{4}![]()
![]()
![]()
![]()
![]()
![]()
![]()
| ชื่อ | {3}×{4} | {4}×{4} | {5}×{4} | {6}×{4} | {7}×{4} | {8}×{4} | {p}×{4} |
|---|---|---|---|---|---|---|---|
| แผนภาพค็อกซ์ เตอร์ | |||||||
| ภาพ | |||||||
| เซลล์ | 3 {4}×{} 4 {3}×{} | 4 {4}×{} 4 {4}×{} | 5 {4}×{} 4 {5}×{} | 6 {4}×{} 4 {6}×{} | 7 {4}×{} 4 {7}×{} | 8 {4}×{} 4 {8}×{} | p {4}×{} 4 {p}×{} |
| สุทธิ |
ปริซึมแอนติปริซึมรูปหลายเหลี่ยม: [p] × [ ] × [ ]
เซตอนันต์ของปริซึมแอนติปริซึม สม่ำเสมอถูกสร้างขึ้นจาก แอนติปริซึมสม่ำเสมอขนานสองอัน): (p≥2) - - 2 p -ปริซึมแอนติปริซึมเหลี่ยม ซึ่งเชื่อมต่อกันด้วยปริซึมเหลี่ยม 2 pและปริซึมสามเหลี่ยม2p![]()
![]()
![]()
![]()
![]()
![]()
![]()
| ชื่อ | s{2,2}×{} | s{2,3}×{} | s{2,4}×{} | s{2,5}×{} | s{2,6}×{} | s{2,7}×{} | s{2,8}×{} | s{2,p}×{} |
|---|---|---|---|---|---|---|---|---|
| แผนภาพค็อกซ์เตอร์ | ||||||||
| ภาพ | ||||||||
| รูปจุดยอด | ||||||||
| เซลล์ | 2 s{2,2} (2) {2}×{}= {4} 4 {3}×{} | 2 s{2,3} 2 {3}×{} 6 {3}×{} | 2 s{2,4} 2 {4}×{} 8 {3}×{} | 2 s{2,5} 2 {5}×{} 10 {3}×{} | 2 s{2,6} 2 {6}×{} 12 {3}×{} | 2 s{2,7} 2 {7}×{} 14 {3}×{} | 2 s{2,8} 2 {8}×{} 16 {3}×{} | 2 s{2,p} 2 {p}×{} 2 p {3}×{} |
| สุทธิ |
ปริซึมแอนติปริซึม p- เหลี่ยมมีหน้าสามเหลี่ยม4p หน้า หน้าสี่เหลี่ยม 4pหน้า และ หน้า p-เหลี่ยม 4หน้า มี ขอบ 10pขอบ และจุดยอด4p จุด
การสลับที่ไม่สม่ำเสมอ











Coxeter แสดงให้เห็นเพียงสองวิธีแก้ปัญหาแบบเอกรูปสำหรับกลุ่ม Coxeter อันดับ 4 ที่มีวงแหวนสลับ กันทั้งหมด (แสดงด้วยโหนดวงกลมว่าง) วิธีแรกคือs{2 1,1,1 } ซึ่งแสดงถึงกลุ่มย่อยดัชนี 24 ( สมมาตร [2,2,2] + , อันดับ 8) ในรูปแบบของdemitesseract , , h{4,3,3} (สมมาตร [1 + ,4,3,3] = [3 1,1,1 ], อันดับ 192) วิธีที่สองคือs{3 1,1,1 } ซึ่งเป็นกลุ่มย่อยดัชนี 6 (สมมาตร [3 1,1,1 ] + , อันดับ 96) ในรูปแบบของsnub 24-cell , , s{3,4,3}, (สมมาตร [3 + ,4,3], อันดับ 576)![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
การสลับแบบอื่นๆ เช่นการสลับจากเทสเซอแร็กต์แบบตัดขอบทั้งหมดไม่สามารถทำให้สม่ำเสมอได้ เนื่องจากการแก้ปัญหาความยาวขอบที่เท่ากันโดยทั่วไปจะมีสมการเกินกำหนด (มีหกสมการแต่มีตัวแปรเพียงสี่ตัว) รูปทรงสลับที่ไม่สม่ำเสมอดังกล่าวสามารถสร้างเป็นโพลีโทป 4 มิติแบบทรานซิทีฟจุดยอดได้โดยการลบครึ่งเซตของจุดยอดหนึ่งในสองเซตของรูปทรงวงแหวนเต็ม แต่จะมีความยาวขอบไม่เท่ากัน เช่นเดียวกับการสลับแบบสม่ำเสมอ รูปทรงเหล่านี้จะมีสมมาตรครึ่งหนึ่งของรูปทรงสม่ำเสมอ เช่น [4,3,3] +ลำดับ 192 เป็นสมมาตรของ เทสเซอแร็ก ต์แบบตัดขอบทั้งหมดที่สลับกัน[ 24 ]![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
โครงสร้าง Wythoff ที่มีการสลับกันทำให้เกิด รูปทรง ที่จุดยอดสลับกันได้ซึ่งสามารถทำให้เป็นรูปสามเหลี่ยมด้านเท่าได้ แต่ไม่สม่ำเสมอเนื่องจากช่องว่างที่สลับกัน (รอบจุดยอดที่ถูกลบออก) ทำให้เกิดเซลล์ที่ไม่ปกติหรือกึ่งปกติ ชื่อที่เสนอสำหรับรูปทรงดังกล่าวคือรูปหลายเหลี่ยมแบบสเกลิฟอร์ม [ 25 ] หมวดหมู่นี้อนุญาตให้ใช้เซตย่อยของของแข็ง Johnsonเป็นเซลล์ได้ เช่นโดมสามเหลี่ยม
แต่ละรูปแบบการจัดเรียงจุดยอดภายในทรงตันจอห์นสันจะต้องมีอยู่ภายในรูปทรงจุดยอดนั้น ตัวอย่างเช่น พีระมิดฐานสี่เหลี่ยมมีรูปแบบการจัดเรียงจุดยอดสองแบบ คือ 3,3,4 รอบฐาน และ 3,3,3,3 ที่ยอด
ภาพคลี่และรูปทรงจุดยอดของรูปสามเหลี่ยมด้านเท่าแบบนูนทั้งสี่กรณีแสดงอยู่ด้านล่าง พร้อมทั้งรายชื่อเซลล์รอบจุดยอดแต่ละจุด
| แผนภาพค็อกซ์เตอร์ | s {2,4,3}, | s {3,4,3}, | คนอื่น | |
|---|---|---|---|---|
| ความสัมพันธ์ | 24 จาก 48 จุดยอดของปริซึมทรงลูกบาศก์แปดเหลี่ยมด้านเท่า | 288 จาก 576 จุดยอดของเซลล์ 24 เซลล์ที่ถูกตัดทอน | 72 จาก 120 จุดยอดของเซลล์ 600 เซลล์ | 600 จาก 720 จุดยอดของเซลล์ 600 เซลล์ที่ปรับแก้แล้ว |
| การฉายภาพ | ||||
| สุทธิ | ||||
| เซลล์ | ||||
| รูปจุดยอด | ||||
การหาอนุพันธ์ทางเรขาคณิตสำหรับโพลีโคราแบบเอกรูป Wythoffian ที่ไม่ใช่ปริซึม 46 แบบ
โพลีโทป 4 มิติแบบวิธอฟฟ์ 46 รูปนั้นรวมถึง โพลี โทป 4 มิติแบบนูนปกติ 6 รูป ส่วนอีก 40 รูปที่เหลือสามารถได้มาจากโพลีโคราปกติโดยใช้การดำเนินการทางเรขาคณิตซึ่งรักษา ความสมมาตรส่วนใหญ่หรือทั้งหมดของพวกมันไว้และดังนั้นจึงสามารถจำแนกได้ตามกลุ่มสมมาตรที่พวกมันมีร่วมกัน
การดำเนินการทางเรขาคณิตที่ใช้ในการสร้างรูปทรง 4 มิติแบบสม่ำเสมอทั้ง 40 รูป จากรูปทรง 4 มิติแบบปกติ คือ การดำเนินการ ตัดทอน รูปทรง 4 มิติอาจถูกตัดทอนที่จุดยอด ขอบ หรือหน้า ทำให้เกิดการเพิ่มเซลล์ที่สอดคล้องกับองค์ประกอบเหล่านั้น ดังแสดงในคอลัมน์ของตารางด้านล่าง
แผนภาพCoxeter-Dynkinแสดงกระจกทั้งสี่บานของกล้องคาไลโดสโคปแบบ Wythoffian เป็นจุดเชื่อมต่อ และขอบระหว่างจุดเชื่อมต่อจะถูกกำกับด้วยจำนวนเต็มที่แสดงมุมระหว่างกระจก ( π / n เรเดียนหรือ 180/ nองศา) จุดเชื่อมต่อที่มีวงกลมล้อมรอบแสดงว่ากระจกบานใดทำงานสำหรับแต่ละรูปทรง กระจกจะทำงานเมื่อจุดยอดไม่ได้อยู่บนกระจกบานนั้น
| แถว | การดำเนินการ | สัญลักษณ์ Schläfli | สมมาตร | แผนภาพค็อกซ์เตอร์ | คำอธิบาย |
|---|---|---|---|---|---|
| 1 | พ่อแม่ | t {p,q,r} | [p,q,r] | รูปแบบปกติเดิม {p,q,r} | |
| 2 | การแก้ไข | t {p,q,r} | ใช้กระบวนการตัดทอนจนกว่าขอบเดิมจะกลายเป็นจุด | ||
| 3 | การแปลงกระแสสลับเป็นกระแสตรง(Rectified dual) | t {p,q,r} | หน้าทั้งหมดถูกตัดให้เหลือเพียงจุด เหมือนกับภาพคู่ที่ปรับแก้แล้ว | ||
| 4 | ไตรเรกติฟิเคชัน( คู่ ) | t {p,q,r} | เซลล์ถูกตัดให้เหลือเพียงจุด คู่ปกติ {r,q,p} | ||
| 5 | การตัดทอน | t {p,q,r} | แต่ละจุดยอดจะถูกตัดออกเพื่อให้เหลือเพียงส่วนตรงกลางของขอบเดิมแต่ละด้าน ตรงตำแหน่งที่เคยเป็นจุดยอด จะปรากฏเซลล์ใหม่ขึ้นมา ซึ่งเป็นรูปทรงจุดยอด ของเซลล์แม่ แต่ละเซลล์เดิมก็จะถูกตัดออกในลักษณะเดียวกัน | ||
| 6 | การขับร้อง | t {p,q,r} | การตัดขอบและจุดยอด และกำหนดลำดับขั้นระหว่างรูปแบบปกติและรูปแบบปรับแก้คู่ | ||
| 7 | การย่อ (หรือการขยาย ) | t {p,q,r} | การตัดทอนที่ใช้กับเซลล์ หน้า และขอบ กำหนดลำดับขั้นระหว่างรูปทรงปกติและรูปทรงคู่ขนาน | ||
| 8 | การตัดบิต | t {p,q,r} | การตัดทอนระหว่างรูปแบบที่แก้ไขแล้วและรูปแบบที่แก้ไขแล้วคู่ | ||
| 9 | ไบแคนเทลเลชั่น | t {p,q,r} | คู่แบบแคนเทลเลท {r,q,p} | ||
| 10 | การตัดทอนสามส่วน | t {p,q,r} | คู่ที่ถูกตัดทอน {r,q,p} | ||
| 11 | การตัดทอน | t {p,q,r} | มีการใช้ ทั้งการหักล้างและการตัดทอนร่วมกัน | ||
| 12 | รันซิตรันเคชั่น | t {p,q,r} | มีการใช้การดำเนิน การ Runcination และTruncationร่วมกัน | ||
| 13 | รันซิแคนเทลเลชั่น | t {p,q,r} | Runcitruntated dual {r,q,p}. | ||
| 14 | การตัดทอนสองอัน | t {p,q,r} | คู่แบบตัดทอน {r,q,p} | ||
| 15 | การตัดทอนทั้งหมด (รันซิกันติรันเซชัน) | t {p,q,r} | การประยุกต์ใช้ตัวดำเนินการทั้งสามตัว | ||
| 16 | เมินเฉย | s{p,2q,r} | [p + ,2q,r] | การตัดทอนแบบสลับ | |
| 17 | การเมินเฉยแบบเพลงสวด | s {p,2q,r} | การตัดทอนสลับแบบมีเครื่องหมาย | ||
| 18 | การเมินเฉยของรันซิก | s {p,2q,r} | การตัดทอนสลับแบบรันซิเนต | ||
| 19 | การเมินเฉยแบบรันซิแคนติก | s {p,2q,r} | การตัดทอนสลับกันของรันซิแคนเทลเลต | ||
| 20 | การแก้ไข Snub | sr{p,q,2r} | [(p,q) + ,2r] | การแก้ไขแบบตัดทอนสลับกัน | |
| 21 | ht {2p,q,2r} | [(2p,q,2r,2 + )] | การรันสลับ | ||
| 22 | บิสนับ | 2s{2p,q,2r} | [2p,q + ,2r] | การตัดบิตแบบสลับ | |
| 23 | ออมนิสนับ | ht {p,q,r} | [p,q,r] + | การตัดทอนแบบสลับ | |
| 24 | ครึ่ง | h{2p,3,q} | [1 + ,2p,3,q] =[(3,p,3),q] | การสลับกันของเหมือนกับ | |
| 25 | บทเพลงสวด | h {2p,3,q} | เหมือนกัน | ||
| 26 | รันซิก | h {2p,3,q} | เหมือนกัน | ||
| 27 | รันซิแคนติก | h {2p,3,q} | เหมือนกัน | ||
| 28 | หนึ่งในสี่ | q{2p,3,2q} | [1 + ,2p,3,2q,1 + ] | เหมือนกัน |
ดูเพิ่มเติมที่โครงสร้างรังผึ้งนูนสม่ำเสมอซึ่งบางตัวอย่างแสดงให้เห็นถึงการดำเนินการเหล่านี้เมื่อนำไปใช้กับโครงสร้างรังผึ้งทรงลูกบาศก์ปกติ
ถ้าโพลีโทปสองรูปเป็นคู่กัน (เช่น เทสเซอแร็กต์และ 16-เซลล์ หรือ 120-เซลล์และ 600-เซลล์) การตัดบิตการตัดรันซินหรือการตัดออมนิทรันเคตแบบใดแบบหนึ่งจะให้ผลลัพธ์เป็นรูปทรงเดียวกันกับการดำเนินการเดียวกันกับอีกรูปหนึ่ง ดังนั้น ในกรณีที่ปรากฏเฉพาะคำกริยาในรูปกริยาช่อง 2 ในตาราง ควรเข้าใจว่าสามารถใช้ได้กับรูปต้นแบบทั้งสองรูป
สรุปการสร้างโดยใช้สมมาตรแบบขยาย
ตารางนี้แสดงโพลีโคราแบบเอกรูป 46 แบบที่สร้างขึ้นจากสมมาตร A , B , F , H ก็รวมอยู่ด้วยเช่นกัน แม้ว่าจะสร้างได้เพียงแบบซ้ำกันเท่านั้น การสลับกันจะถูกจัดกลุ่มตามสมมาตรไครัล มีการสลับกันทั้งหมด ยกเว้นเซลล์ 24 เซลล์แบบสนับ ซึ่งมีโครงสร้าง 3 แบบจากตระกูลที่แตกต่างกัน จำนวนในวงเล็บคือจำนวนซ้ำหรือแบบไม่สม่ำเสมอ แผนภาพค็อกเซเตอร์แสดงด้วยดัชนีตัวห้อย 1 ถึง 46 ตระกูลดูโอปริซึม 3-3 และ 4-4 รวมอยู่ด้วย โดยตระกูลที่สองนั้นเกี่ยวข้องกับตระกูล B
| กลุ่มค็อกซ์เตอร์ | สมมาตรแบบขยาย | โพลีโคร่า | สมมาตรแบบไครัลที่ขยายออกไป | รังผึ้งสลับ | ||
|---|---|---|---|---|---|---|
| [3,3,3] | [3,3,3] (ลำดับที่ 120) | 6 | ||||
| [2+[3,3,3]] | 3 | [2+[3,3,3]]+(order 120) | (1) | |||
| [3,31,1] | [3,31,1] | 0 | (none) | |||
| [1[3,31,1]]=[4,3,3] | (4) | |||||
| [3[31,1,1]]=[3,4,3] | (3) | [3[3,31,1]]+=[3,4,3]+(order 576) | (1) | |||
| [4,3,3] | [3[1+,4,3,3]]=[3,4,3] | (3) | ||||
| [4,3,3] | 12 | [1+,4,3,3]+(order 96) | (2) | |||
| [4,3,3]+(order 192) | (1) | |||||
| [3,4,3] | [3,4,3] | 6 | [2+[3+,4,3+]](order 576) | 1 | ||
| [2+[3,4,3]] | 3 | [2+[3,4,3]]+(order 1152) | (1) | |||
| [5,3,3] | [5,3,3] | 15 | [5,3,3]+(order 7200) | (1) | ||
| [3,2,3] | [3,2,3] | 0 | (none) | [3,2,3]+(order 18) | 0 | (none) |
| [2+[3,2,3]] | 0 | [2 + [3,2,3 ]] + (ลำดับที่ 36) | 0 | (ไม่มี) | ||
| [[ 3],2,3]=[6,2,3] = (ลำดับที่ 72) | 1 | [1[3,2,3 ]] = [[ 3],2,3] + =[6,2,3] + (ลำดับที่ 36) | (1) | |||
| [(2 + ,4)[3,2,3 ]] =[2 + [6,2,6 ]] = (ลำดับที่ 288) | 1 | [(2 + ,4)[3,2,3 ]] + =[2 + [6,2,6 ]] + (ลำดับ 144) | (1) | |||
| [4,2,4] | [4,2,4] (ลำดับที่ 64) | 0 | (ไม่มี) | [4,2,4] + (ลำดับที่ 32) | 0 | (ไม่มี) |
| [2 + [4,2,4 ]] (ลำดับที่ 128) | 0 | (ไม่มี) | [2 + [(4,2 + ,4,2 + ) ]] (ลำดับที่ 64) | 0 | (ไม่มี) | |
| [(3,3)[4,2*,4 ]] =[4,3,3] = (ลำดับที่ 384) | (1) | [(3,3)[4,2*,4 ]] + =[4,3,3] + (ลำดับ 192) | (1) | |||
| [[ 4],2,4]=[8,2,4] = (ลำดับที่ 128) | (1) | [1[4,2,4 ]] = [[ 4],2,4] + =[8,2,4] + (ลำดับที่ 64) | (1) | |||
| [(2 + ,4)[4,2,4 ]] =[2 + [8,2,8 ]] = (ลำดับ 512) | (1) | [(2 + ,4)[4,2,4 ]] + =[2 + [8,2,8 ]] + (ลำดับ 256) | (1) | |||
โพลีโคราดาวสม่ำเสมอ
นอกเหนือจากตระกูลปริซึมคู่และปริซึมตรงข้ามอนันต์ที่กล่าวถึงข้างต้น ซึ่งมีสมาชิกที่ไม่นูนจำนวนอนันต์แล้ว ยังมีการค้นพบโพลีโคราดาวแบบสม่ำเสมออีกมากมาย ในปี 1852 ลุดวิก ชลาฟลี ค้นพบ โพลีโคราดาว ปกติสี่แบบ ได้แก่ {5,3,5/2}, {5/2,3,5}, {3,3,5/2} และ {5/2,3,3} ในปี 1883 เอ็ดมุนด์ เฮสส์ ค้นพบอีกหกแบบ ได้แก่ {3,5,5/2}, {5/2,5,3}, {5,5/2,5}, {5/2,5,5/2}, {5,5/2,3} และ {3,5/2,5} ในวิทยานิพนธ์ปริญญาเอกของเขาในปี 1966 นอร์แมน จอห์นสันได้อธิบายถึงรูปทรงหลายเหลี่ยมดาวแบบแอนติปริซึมที่สม่ำเสมอ 3 รูปแบบ โดยรูปทรงเหล่านี้มีพื้นฐานมาจากรูป ทรงหลายเหลี่ยมไดไตร โกนัล 3 รูปที่ใช้ขอบและจุดยอดร่วมกันของรูปทรงสิบสองเหลี่ยมปกติ นับตั้งแต่นั้นมา นักวิจัยคนอื่นๆ รวมถึงโจนาธาน โบเวอร์สและจอร์จ โอลเชฟสกี ได้ค้นพบรูปทรงหลายเหลี่ยมดาวแบบสม่ำเสมออีกมากมาย ทำให้ปัจจุบันมีรูปทรงหลายเหลี่ยมดาวแบบสม่ำเสมอที่รู้จักทั้งหมด 2127 รูปแบบ (ไม่นับรวมเซตอนันต์ของรูปทรงปริซึมคู่ที่มีพื้นฐานมาจากรูปหลายเหลี่ยมดาว) ปัจจุบันยังไม่มีหลักฐานยืนยันความสมบูรณ์ของเซตนี้
ดูเพิ่มเติม
- รังผึ้งนูนสม่ำเสมอ - โพลีโทป 4 มิติอนันต์ที่เกี่ยวข้องในปริภูมิยูคลิด 3 มิติ
- รังผึ้งนูนสม่ำเสมอในปริภูมิไฮเปอร์โบลิก - โพลีโทป 4 มิติอนันต์ที่เกี่ยวข้องในปริภูมิไฮเปอร์โบลิก 3 มิติ
- ทรงหลายเหลี่ยมเฉียงปกติจำกัดของปริภูมิ 4 มิติ
- รังผึ้งแบบสม่ำเสมอของพาราคอมแพค
ลิงก์ภายนอก
- โพลีโทป 4 มิติแบบนูนสม่ำเสมอ
- รูปทรงหลายเหลี่ยมนูนสม่ำเสมอในสี่มิติโดย มาร์โค มอลเลอร์(ในภาษาเยอรมัน)รวมถึงชื่อเรียกอื่น ๆ ของรูปทรงเหล่านี้ เช่น ชื่อที่มาจาก โจนาธาน โบเวอร์ส, จอร์จ โอลเชฟสกี และนอร์แมน จอห์นสัน
- รูปหลายเหลี่ยมนูนปกติและกึ่งปกติ: ภาพรวมทางประวัติศาสตร์โดยสังเขป
- แอปเพล็ต Java3D พร้อมซอร์สโค้ด
- โพลีโทป 4 มิติแบบไม่นูนสม่ำเสมอ
- โพลีโคราแบบเดียวกันโดย โจนาธาน โบเวอร์ส
- Stella4D (ซอฟต์แวร์ Stella)สร้างมุมมองแบบโต้ตอบของรูปทรงหลายเหลี่ยมเอกรูปที่เป็นที่รู้จัก รวมถึงรูปทรงนูน 64 รูปแบบ และตระกูลปริซึมอนันต์
- คลิทซิง, ริชาร์ด. "โพลีโทปสม่ำเสมอ 4 มิติ "
- โพลีโทป 4 มิติและโพลีโทปคู่ของกลุ่มค็อกซ์เตอร์ W(A4) ที่แสดงโดยควอเทอร์เนียนวารสารนานาชาติว่าด้วยวิธีการทางเรขาคณิตในฟิสิกส์สมัยใหม่ เล่มที่ 9 ฉบับที่ 4 (2012) เมห์เม็ต โคคา, นาซิเฟ โอซเดส โคคา, มูดาฮีร์ อัล-อาจมี (2012)