Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

5-cell

From Wikipedia, the free encyclopedia
Four-dimensional analogue of the tetrahedron
For the sequence of fifth element numbers of Pascal's triangle, seePentatope number.
icon
This articleneeds additional citations forverification. Please helpimprove this article byadding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "5-cell" – news ·newspapers ·books ·scholar ·JSTOR
(August 2024) (Learn how and when to remove this message)
This articlecontains an excessive amount of intricatedetail. Please helpimprove it byspinning off orrelocating relevant information and removing excessive detail that goes againstWikipedia's inclusion policy.(August 2024) (Learn how and when to remove this message)
5-cell
(4-simplex)
A 3D orthogonal projection of a 5-cell performing asimple rotation
TypeConvex regular 4-polytope
Schläfli symbol{3,3,3}
Coxeter diagram
Cells5{3,3}
Faces10 {3}
Edges10
Vertices5
Vertex figure
(tetrahedron)
Petrie polygonpentagon
Coxeter groupA4, [3,3,3]
DualSelf-dual
Propertiesconvex,isogonal,isotoxal,isohedral,projectively unique
Uniform index1

Ingeometry, the5-cell is the convex4-polytope withSchläfli symbol {3,3,3}. It is a 5-vertexfour-dimensional object bounded by five tetrahedral cells. It is also known as aC5,hypertetrahedron,pentachoron,[1]pentatope,pentahedroid,[2]tetrahedral pyramid, or4-simplex (Coxeter'sα4{\displaystyle \alpha _{4}} polytope),[3] the simplest possible convex 4-polytope, and is analogous to thetetrahedron in three dimensions and thetriangle in two dimensions. The 5-cell is a4-dimensional pyramid with a tetrahedral base and four tetrahedral sides.

Theregular 5-cell is bounded by fiveregular tetrahedra, and is one of the sixregular convex 4-polytopes (the four-dimensional analogues of thePlatonic solids). A regular 5-cell can be constructed from a regular tetrahedron by adding a fifth vertex one edge length distant from all the vertices of the tetrahedron. This cannot be done in 3-dimensional space. The regular 5-cell is a solution to the problem:Make 10 equilateral triangles, all of the same size, using 10 matchsticks, where each side of every triangle is exactly one matchstick, and none of the triangles and matchsticks intersect one another. No solution exists in three dimensions.

Properties

[edit]

The 5-cell is the 4-dimensionalsimplex, the simplest possible4-polytope. In other words, the 5-cell is apolychoron analogous to atetrahedron in high dimension.[4] It is formed by any five points which are not all in the samehyperplane (as a tetrahedron is formed by any four points which are not all in the same plane, and atriangle is formed by any three points which are not all in the same line). Any such five points constitute a 5-cell, though not usually a regular 5-cell. Theregular 5-cell is not found within any of the other regular convex 4-polytopes except one: the 600-vertex120-cell is acompound of 120 regular 5-cells.

The 5-cell isself-dual, meaning its dual polytope is 5-cell itself.[5] Its maximal intersection with 3-dimensional space is thetriangular prism. Its dichoral angle isarccos(1/4)104.47{\textstyle \arccos(-1/4)\approx 104.47^{\circ }}.[6]

It is the first in the sequence of 6 convex regular 4-polytopes, in order of volume at a given radius or number of vertexes.[7]

The convex hull of two 5-cells in dual configuration is thedisphenoidal 30-cell, dual of thebitruncated 5-cell.

As a configuration

[edit]

Thisconfiguration matrix represents the 5-cell. The rows and columns correspond to vertices, edges, faces, and cells. The diagonal numbers say how many of each element occur in the whole 5-cell. The nondiagonal numbers say how many of the column's element occur in or at the row's element. This self-dual polytope's matrix is identical to its 180 degree rotation.[8] Thek-faces can be read as rows left of the diagonal, while thek-figures are read as rows after the diagonal.[9]

Grünbaum's rotationally symmetrical 5-set Venn diagram, 1975
Elementk-facefkf0f1f2f3k-figs
( )f05464{3,3}
{ }f121033{3}
{3}f233102{ }
{3,3}f34645( )

All these elements of the 5-cell are enumerated inBranko Grünbaum'sVenn diagram of 5 points, which is literally an illustration of the regular 5-cell inprojection to the plane.


Geodesics and rotations

[edit]
A 3D projection of a 5-cell performing adouble rotation.

The 5-cell has onlydigon central planes through vertices. It has 10 digon central planes, where each vertex pair is an edge, not an axis, of the 5-cell. Each digon plane is orthogonal to 3 others, but completely orthogonal to none of them. The characteristicisoclinic rotation of the 5-cell has, as pairs of invariant planes, those 10 digon planes and their completely orthogonal central planes, which are 0-gon planes which intersect no vertices of the 5-cell.

Below, a spinning 5-cell is visualized with the fourth dimension squashed and displayed as colour. TheClifford torus is depicted in its rectangular (wrapping) form.

  • Visualization of 4D rotations
  • Simply rotating in X-Y plane
  • Simply rotating in Z-W plane
  • Double rotating in X-Y and Z-W planes with angular velocities in a 4:3 ratio
  • Left isoclinic rotation
  • Right isoclinic rotation

Projections

[edit]
Stereographic projection wireframe (edge projected onto a3-sphere)

The A4 Coxeter plane projects the 5-cell into a regularpentagon andpentagram. The A3 Coxeter plane projection of the 5-cell is that of asquare pyramid. The A2 Coxeter plane projection of the regular 5-cell is that of atriangular bipyramid (two tetrahedra joined face-to-face) with the two opposite vertices centered.

orthographic projections
Ak
Coxeter plane
A4A3A2
Graph
Dihedral symmetry[5][4][3]
Projections to 3 dimensions

The vertex-first projection of the 5-cell into 3 dimensions has atetrahedral projection envelope. The closest vertex of the 5-cell projects to the center of the tetrahedron, as shown here in red. The farthest cell projects onto the tetrahedral envelope itself, while the other 4 cells project onto the 4 flattened tetrahedral regions surrounding the central vertex.

The edge-first projection of the 5-cell into 3 dimensions has atriangular dipyramidal envelope. The closest edge (shown here in red) projects to the axis of the dipyramid, with the three cells surrounding it projecting to 3 tetrahedral volumes arranged around this axis at 120 degrees to each other. The remaining 2 cells project to the two halves of the dipyramid and are on the far side of the pentatope.

The face-first projection of the 5-cell into 3 dimensions also has a triangular dipyramidal envelope. The nearest face is shown here in red. The two cells that meet at this face project to the two halves of the dipyramid. The remaining three cells are on the far side of the pentatope from the 4D viewpoint, and are culled from the image for clarity. They are arranged around the central axis of the dipyramid, just as in the edge-first projection.

The cell-first projection of the 5-cell into 3 dimensions has a tetrahedral envelope. The nearest cell projects onto the entire envelope, and, from the 4D viewpoint, obscures the other 4 cells; hence, they are not rendered here.

Irregular 5-cells

[edit]

In the case ofsimplexes such as the 5-cell, certain irregular forms are in some sense more fundamental than the regular form. Although regular 5-cells cannot fill 4-space or the regular 4-polytopes, there are irregular 5-cells which do. Thesecharacteristic 5-cells are thefundamental domains of the differentsymmetry groups which give rise to the various 4-polytopes.

Orthoschemes

[edit]

A4-orthoscheme is a 5-cell where all 10 faces areright triangles. (The 5 vertices form 5 tetrahedralcells face-bonded to each other, with a total of 10 edges and 10 triangular faces.) Anorthoscheme is an irregularsimplex that is theconvex hull of atree in which all edges are mutually perpendicular. In a 4-dimensional orthoscheme, the tree consists of four perpendicular edges connecting all five vertices in a linear path that makes three right-angled turns. The elements of an orthoscheme are also orthoschemes (just as the elements of a regular simplex are also regular simplexes). Each tetrahedral cell of a 4-orthoscheme is a3-orthoscheme, and each triangular face is a 2-orthoscheme (a right triangle).

Orthoschemes are thecharacteristic simplexes of the regular polytopes, because each regular polytope isgenerated by reflections in the bounding facets of its particular characteristic orthoscheme.[10] For example, the special case of the 4-orthoscheme with equal-length perpendicular edges is the characteristic orthoscheme of the4-cube (also called thetesseract or8-cell), the 4-dimensional analogue of the 3-dimensional cube. If the three perpendicular edges of the 4-orthoscheme are of unit length, then all its edges are of length1,2,3, or4, precisely thechord lengths of the unit 4-cube (the lengths of the 4-cube's edges and its various diagonals). Therefore this 4-orthoscheme fits within the 4-cube, and the 4-cube (like every regular convex polytope) can bedissected into instances of its characteristic orthoscheme.

A 3-cube dissected into six3-orthoschemes. Three are left-handed and three are right handed. A left and a right meet at each square face.

A 3-orthoscheme is easily illustrated, but a 4-orthoscheme is more difficult to visualize. A 4-orthoscheme is atetrahedral pyramid with a 3-orthoscheme as its base. It has four more edges than the 3-orthoscheme, joining the four vertices of the base to its apex (the fifth vertex of the 5-cell). Pick out any one of the 3-orthoschemes of the six shown in the 3-cube illustration. Notice that it touches four of the cube's eight vertices, and those four vertices are linked by a 3-edge path that makes two right-angled turns. Imagine that this 3-orthoscheme is the base of a 4-orthoscheme, so that from each of those four vertices, an unseen 4-orthoscheme edge connects to a fifth apex vertex (which is outside the 3-cube and does not appear in the illustration at all). Although the four additional edges all reach the same apex vertex, they will all be of different lengths. The first of them, at one end of the 3-edge orthogonal path, extends that path with a fourth orthogonal1 edge by making a third 90 degree turn and reaching perpendicularly into the fourth dimension to the apex. The second of the four additional edges is a2 diagonal of a cube face (not of the illustrated 3-cube, but of another of the tesseract's eight 3-cubes). The third additional edge is a3 diagonal of a 3-cube (again, not the original illustrated 3-cube). The fourth additional edge (at the other end of the orthogonal path) is along diameter of the tesseract itself, of length4. It reaches through the exact center of the tesseract to theantipodal vertex (a vertex of the opposing 3-cube), which is the apex. Thus thecharacteristic 5-cell of the 4-cube has four1 edges, three2 edges, two3 edges, and one4 edge.

The 4-cube can bedissected into 24 such 4-orthoschemes eight different ways, with six 4-orthoschemes surrounding each of four orthogonal4 tesseract long diameters. The 4-cube can also be dissected into 384smaller instances of this same characteristic 4-orthoscheme, just one way, by all of its symmetry hyperplanes at once, which divide it into 384 4-orthoschemes that all meet at the center of the 4-cube.

More generally, any regular polytope can be dissected intog instances of its characteristic orthoscheme that all meet at the regular polytope's center.[11] The numberg is theorder of the polytope, the number of reflected instances of its characteristic orthoscheme that comprise the polytope when asingle mirror-surfaced orthoscheme instance is reflected in its own facets. More generally still, characteristic simplexes are able to fill uniform polytopes because they possess all the requisite elements of the polytope. They also possess all the requisite angles between elements (from 90 degrees on down). The characteristic simplexes are thegenetic codes of polytopes: like aSwiss Army knife, they contain one of everything needed to construct the polytope by replication.

Every regular polytope, including the regular 5-cell, has its characteristic orthoscheme. There is a 4-orthoscheme which is thecharacteristic 5-cell of the regular 5-cell. It is atetrahedral pyramid based on thecharacteristic tetrahedron of the regular tetrahedron. The regular 5-cell can be dissected into 120 instances of this characteristic 4-orthoscheme just one way, by all of its symmetry hyperplanes at once, which divide it into 120 4-orthoschemes that all meet at the center of the regular 5-cell.

Characteristics of the regular 5-cell[12]
edge[13]arcdihedral[14]
𝒍521.581{\displaystyle {\sqrt {\tfrac {5}{2}}}\approx 1.581}104°30′40″π2η{\displaystyle \pi -2\eta }75°29′20″π2ψ{\displaystyle \pi -2\psi }
𝟀1100.316{\displaystyle {\sqrt {\tfrac {1}{10}}}\approx 0.316}75°29′20″2η{\displaystyle 2\eta }60°π3{\displaystyle {\tfrac {\pi }{3}}}
𝝉[a]1300.183{\displaystyle {\sqrt {\tfrac {1}{30}}}\approx 0.183}52°15′20″π2η{\displaystyle {\tfrac {\pi }{2}}-\eta }60°π3{\displaystyle {\tfrac {\pi }{3}}}
𝟁2150.103{\displaystyle {\sqrt {\tfrac {2}{15}}}\approx 0.103}52°15′20″π2η{\displaystyle {\tfrac {\pi }{2}}-\eta }60°π3{\displaystyle {\tfrac {\pi }{3}}}
0R3/l{\displaystyle _{0}R^{3}/l}3200.387{\displaystyle {\sqrt {\tfrac {3}{20}}}\approx 0.387}75°29′20″2η{\displaystyle 2\eta }90°π2{\displaystyle {\tfrac {\pi }{2}}}
1R3/l{\displaystyle _{1}R^{3}/l}1200.224{\displaystyle {\sqrt {\tfrac {1}{20}}}\approx 0.224}52°15′20″π2η{\displaystyle {\tfrac {\pi }{2}}-\eta }90°π2{\displaystyle {\tfrac {\pi }{2}}}
2R3/l{\displaystyle _{2}R^{3}/l}1600.129{\displaystyle {\sqrt {\tfrac {1}{60}}}\approx 0.129}52°15′20″π2η{\displaystyle {\tfrac {\pi }{2}}-\eta }90°π2{\displaystyle {\tfrac {\pi }{2}}}
0R4/l{\displaystyle _{0}R^{4}/l}1=1.0{\displaystyle {\sqrt {1}}=1.0}
1R4/l{\displaystyle _{1}R^{4}/l}380.612{\displaystyle {\sqrt {\tfrac {3}{8}}}\approx 0.612}
2R4/l{\displaystyle _{2}R^{4}/l}160.408{\displaystyle {\sqrt {\tfrac {1}{6}}}\approx 0.408}
3R4/l{\displaystyle _{3}R^{4}/l}116=0.25{\displaystyle {\sqrt {\tfrac {1}{16}}}=0.25}
η{\displaystyle \eta }37°44′40″arc sec 42{\displaystyle {\tfrac {{\text{arc sec }}4}{2}}}

The characteristic 5-cell (4-orthoscheme) of the regular 5-cell has four more edges than its base characteristic tetrahedron (3-orthoscheme), which join the four vertices of the base to its apex (the fifth vertex of the 4-orthoscheme, at the center of the regular 5-cell). The four edges of each 4-orthoscheme which meet at the center of a regular 4-polytope are of unequal length, because they are the four characteristic radii of the regular 4-polytope: a vertex radius, an edge center radius, a face center radius, and a cell center radius. If the regular 5-cell has unit radius and edge length52{\displaystyle {\sqrt {\tfrac {5}{2}}}}, its characteristic 5-cell's ten edges have lengths110{\displaystyle {\sqrt {\tfrac {1}{10}}}},130{\displaystyle {\sqrt {\tfrac {1}{30}}}},215{\displaystyle {\sqrt {\tfrac {2}{15}}}} around its exterior right-triangle face (the edges opposite thecharacteristic angles 𝟀, 𝝉, 𝟁),[a] plus320{\displaystyle {\sqrt {\tfrac {3}{20}}}},120{\displaystyle {\sqrt {\tfrac {1}{20}}}},160{\displaystyle {\sqrt {\tfrac {1}{60}}}} (the other three edges of the exterior 3-orthoscheme facet the characteristic tetrahedron, which are thecharacteristic radii of the regular tetrahedron), plus1{\displaystyle {\sqrt {1}}},38{\displaystyle {\sqrt {\tfrac {3}{8}}}},16{\displaystyle {\sqrt {\tfrac {1}{6}}}},116{\displaystyle {\sqrt {\tfrac {1}{16}}}} (edges which are the characteristic radii of the regular 5-cell). The 4-edge path along orthogonal edges of the orthoscheme is130{\displaystyle {\sqrt {\tfrac {1}{30}}}},215{\displaystyle {\sqrt {\tfrac {2}{15}}}},160{\displaystyle {\sqrt {\tfrac {1}{60}}}},116{\displaystyle {\sqrt {\tfrac {1}{16}}}}, first from a regular 5-cell vertex to a regular 5-cell edge center, then turning 90° to a regular 5-cell face center, then turning 90° to a regular 5-cell tetrahedral cell center, then turning 90° to the regular 5-cell center.

Isometries

[edit]

There are many lower symmetry forms of the 5-cell, including these found as uniform polytopevertex figures:

Symmetry[3,3,3]
Order 120
[3,3,1]
Order 24
[3,2,1]
Order 12
[3,1,1]
Order 6
~[5,2]+
Order 10
NameRegular 5-cellTetrahedralpyramidTriangular pyramidal pyramid
Schläfli{3,3,3}{3,3}∨( ){3}∨{ }{3}∨( )∨( )
Example
Vertex
figure

5-simplex

Truncated 5-simplex

Bitruncated 5-simplex

Cantitruncated 5-simplex

Omnitruncated 4-simplex honeycomb

Thetetrahedral pyramid is a special case of a5-cell, apolyhedral pyramid, constructed as a regulartetrahedron base in a 3-spacehyperplane, and anapex pointabove the hyperplane. The foursides of the pyramid are made oftriangular pyramid cells.

Manyuniform 5-polytopes havetetrahedral pyramidvertex figures withSchläfli symbols ( )∨{3,3}.

Symmetry [3,3,1], order 24
Schlegel
diagram
Name
Coxeter
{ }×{3,3,3}
{ }×{4,3,3}
{ }×{5,3,3}
t{3,3,3,3}
t{4,3,3,3}
t{3,4,3,3}

Other uniform 5-polytopes have irregular 5-cell vertex figures. The symmetry of a vertex figure of auniform polytope is represented by removing the ringed nodes of the Coxeter diagram.

Symmetry[3,2,1], order 12[3,1,1], order 6[2+,4,1], order 8[2,1,1], order 4
Schläfli{3}∨{  }{3}∨( )∨( ){ }∨{ }∨( )
Schlegel
diagram
Name
Coxeter
t12α5
t12γ5
t012α5
t012γ5
t123α5
t123γ5
Symmetry[2,1,1], order 2[2+,1,1], order 2[ ]+, order 1
Schläfli{ }∨( )∨( )∨( )( )∨( )∨( )∨( )∨( )
Schlegel
diagram
Name
Coxeter
t0123α5
t0123γ5
t0123β5
t01234α5
t01234γ5

Construction

[edit]

As a Boerdijk–Coxeter helix

[edit]
The 5-cell Boerdijk–Coxeter helix

A 5-cell can be constructed as aBoerdijk–Coxeter helix of five chained tetrahedra, folded into a 4-dimensional ring.[15][failed verification] The 10 triangle faces can be seen in a 2D net within atriangular tiling, with 6 triangles around every vertex, although folding into 4-dimensions causes edges to coincide. The purple edges form aregular pentagon which is thePetrie polygon of the 5-cell. The blue edges connect every second vertex, forming apentagram which is theClifford polygon of the 5-cell. The pentagram's blue edges are chords of the 5-cell'sisocline, the circular rotational path its vertices take during anisoclinic rotation, also known as aClifford displacement.

Net

[edit]
Net of five tetrahedra (one hidden)

When a net of five tetrahedra is folded up in 4-dimensional space such that each tetrahedron is face bonded to the other four, the resulting 5-cell has a total of 5 vertices, 10 edges, and 10 faces. Four edges meet at each vertex, and three tetrahedral cells meet at each edge. This makes the six tetrahedron as itscell.[6]

Coordinates

[edit]

The simplest set ofCartesian coordinates is(2,0,0,0),(0,2,0,0),(0,0,2,0),(0,0,0,2),(ϕ,ϕ,ϕ,ϕ),(2,0,0,0),(0,2,0,0),(0,0,2,0),(0,0,0,2),(\phi ,\phi ,\phi ,\phi ),with edge length22{\displaystyle 2{\sqrt {2}}}, whereϕ{\displaystyle \phi } is thegolden ratio.[16] While these coordinates are not origin-centered, subtracting(1,1,1,1)/(21ϕ){\displaystyle (1,1,1,1)/(2-{\tfrac {1}{\phi }})} from each translates the 4-polytope'scircumcenter to the origin with radius2(ϕ1/(21ϕ))=1651.7888{\displaystyle 2(\phi -1/(2-{\tfrac {1}{\phi }}))={\sqrt {\tfrac {16}{5}}}\approx 1.7888}, with the following coordinates:(2ϕ3,1,1,1)/(1ϕ2),(1,2ϕ3,1,1)/(1ϕ2)(1,1,2ϕ3,1)/(1ϕ2)(1,1,1,2ϕ3)/(1ϕ2)(2ϕ,2ϕ,2ϕ,2ϕ)/(1ϕ2){\displaystyle {\begin{aligned}\left({\tfrac {2}{\phi }}-3,1,1,1\right)/({\tfrac {1}{\phi }}-2),&\quad \left(1,{\tfrac {2}{\phi }}-3,1,1\right)/({\tfrac {1}{\phi }}-2)\\\left(1,1,{\tfrac {2}{\phi }}-3,1\right)/({\tfrac {1}{\phi }}-2)&\quad \left(1,1,1,{\tfrac {2}{\phi }}-3\right)/({\tfrac {1}{\phi }}-2)\\\left({\tfrac {2}{\phi }},{\tfrac {2}{\phi }},{\tfrac {2}{\phi }},{\tfrac {2}{\phi }}\right)/({\tfrac {1}{\phi }}-2)\end{aligned}}}

The following set of origin-centered coordinates with the same radius and edge length as above can be seen as a hyperpyramid with aregular tetrahedral base in 3-space:

(1,1,1,15){\displaystyle \left(1,1,1,{\frac {-1}{\sqrt {5}}}\right)}
(1,1,1,15){\displaystyle \left(1,-1,-1,{\frac {-1}{\sqrt {5}}}\right)}
(1,1,1,15){\displaystyle \left(-1,1,-1,{\frac {-1}{\sqrt {5}}}\right)}
(1,1,1,15){\displaystyle \left(-1,-1,1,{\frac {-1}{\sqrt {5}}}\right)}
(0,0,0,45){\displaystyle \left(0,0,0,{\frac {4}{\sqrt {5}}}\right)}

Scaling these or the previous set of coordinates by54{\displaystyle {\tfrac {\sqrt {5}}{4}}} giveunit-radius origin-centered regular 5-cells with edge lengths52{\displaystyle {\sqrt {\tfrac {5}{2}}}}. The hyperpyramid has coordinates:

(5,5,5,1)/4{\displaystyle \left({\sqrt {5}},{\sqrt {5}},{\sqrt {5}},-1\right)/4}
(5,5,5,1)/4{\displaystyle \left({\sqrt {5}},-{\sqrt {5}},-{\sqrt {5}},-1\right)/4}
(5,5,5,1)/4{\displaystyle \left(-{\sqrt {5}},{\sqrt {5}},-{\sqrt {5}},-1\right)/4}
(5,5,5,1)/4{\displaystyle \left(-{\sqrt {5}},-{\sqrt {5}},{\sqrt {5}},-1\right)/4}
(0,0,0,1){\displaystyle \left(0,0,0,1\right)}

Coordinates for the vertices of another origin-centered regular 5-cell with edge length 2 and radius851.265{\displaystyle {\sqrt {\tfrac {8}{5}}}\approx 1.265} are:

(110, 16, 13, ±1){\displaystyle \left({\frac {1}{\sqrt {10}}},\ {\frac {1}{\sqrt {6}}},\ {\frac {1}{\sqrt {3}}},\ \pm 1\right)}
(110, 16, 23, 0){\displaystyle \left({\frac {1}{\sqrt {10}}},\ {\frac {1}{\sqrt {6}}},\ {\frac {-2}{\sqrt {3}}},\ 0\right)}
(110, 32, 0, 0){\displaystyle \left({\frac {1}{\sqrt {10}}},\ -{\sqrt {\frac {3}{2}}},\ 0,\ 0\right)}
(225, 0, 0, 0){\displaystyle \left(-2{\sqrt {\frac {2}{5}}},\ 0,\ 0,\ 0\right)}

Scaling these by58{\displaystyle {\sqrt {\tfrac {5}{8}}}} to unit-radius and edge length52{\displaystyle {\sqrt {\tfrac {5}{2}}}} gives:

(3,5,10,±30)/(43){\displaystyle \left({\sqrt {3}},{\sqrt {5}},{\sqrt {10}},\pm {\sqrt {30}}\right)/(4{\sqrt {3}})}
(3,5,40,0)/(43){\displaystyle \left({\sqrt {3}},{\sqrt {5}},-{\sqrt {40}},0\right)/(4{\sqrt {3}})}
(3,45,0,0)/(43){\displaystyle \left({\sqrt {3}},-{\sqrt {45}},0,0\right)/(4{\sqrt {3}})}
(1,0,0,0){\displaystyle \left(-1,0,0,0\right)}

The vertices of a 4-simplex (with edge2 and radius 1) can be more simply constructed on ahyperplane in 5-space, as (distinct) permutations of (0,0,0,0,1)or (0,1,1,1,1); in these positions it is afacet of, respectively, the5-orthoplex or therectified penteract.

Compound

[edit]

The compound of two 5-cells in dual configurations can be seen in this A5Coxeter plane projection, with a red and blue 5-cell vertices and edges. This compound has [[3,3,3]] symmetry, order 240. The intersection of these two 5-cells is a uniformbitruncated 5-cell. =.

This compound can be seen as the 4D analogue of the 2Dhexagram {6/2} and the 3Dcompound of two tetrahedra.

Related polytopes and honeycombs

[edit]

The pentachoron (5-cell) is the simplest of 9uniform polychora constructed from the [3,3,3]Coxeter group.

Schläfli{3,3,3}t{3,3,3}r{3,3,3}rr{3,3,3}2t{3,3,3}tr{3,3,3}t0,3{3,3,3}t0,1,3{3,3,3}t0,1,2,3{3,3,3}
Coxeter
Schlegel
1k2 figures inn dimensions
SpaceFiniteEuclideanHyperbolic
n345678910
Coxeter
group
E3=A2A1E4=A4E5=D5E6E7E8E9 =E~8{\displaystyle {\tilde {E}}_{8}} = E8+E10 =T¯8{\displaystyle {\bar {T}}_{8}} = E8++
Coxeter
diagram
Symmetry
(order)
[3−1,2,1][30,2,1][31,2,1][[32,2,1]][33,2,1][34,2,1][35,2,1][36,2,1]
Order121201,920103,6802,903,040696,729,600
Graph--
Name1−1,2102112122132142152162
2k1 figures inn dimensions
SpaceFiniteEuclideanHyperbolic
n345678910
Coxeter
group
E3=A2A1E4=A4E5=D5E6E7E8E9 =E~8{\displaystyle {\tilde {E}}_{8}} = E8+E10 =T¯8{\displaystyle {\bar {T}}_{8}} = E8++
Coxeter
diagram
Symmetry[3−1,2,1][30,2,1][[31,2,1]][32,2,1][33,2,1][34,2,1][35,2,1][36,2,1]
Order1212038451,8402,903,040696,729,600
Graph--
Name2−1,1201211221231241251261

It is in the {p,3,3} sequence ofregular polychora with atetrahedralvertex figure: thetesseract {4,3,3} and120-cell {5,3,3} of Euclidean 4-space, and thehexagonal tiling honeycomb {6,3,3} of hyperbolic space.

{p,3,3} polytopes
SpaceS3H3
FormFiniteParacompactNoncompact
Name{3,3,3}{4,3,3}{5,3,3}{6,3,3}{7,3,3}{8,3,3}...{∞,3,3}
Image
Cells
{p,3}

{3,3}

{4,3}

{5,3}

{6,3}

{7,3}

{8,3}

{∞,3}

It is one of three {3,3,p}regular 4-polytopes with tetrahedral cells, along with the16-cell {3,3,4} and600-cell {3,3,5}. Theorder-6 tetrahedral honeycomb {3,3,6} of hyperbolic space also has tetrahedral cells.

{3,3,p} polytopes
SpaceS3H3
FormFiniteParacompactNoncompact
Name{3,3,3}
{3,3,4}

{3,3,5}
{3,3,6}

{3,3,7}
{3,3,8}

...{3,3,∞}

Image
Vertex
figure

{3,3}

{3,4}


{3,5}

{3,6}


{3,7}

{3,8}


{3,∞}

It is self-dual like the24-cell {3,4,3}, having apalindromic {3,p,3}Schläfli symbol.

{3,p,3} polytopes
SpaceS3H3
FormFiniteCompactParacompactNoncompact
{3,p,3}{3,3,3}{3,4,3}{3,5,3}{3,6,3}{3,7,3}{3,8,3}...{3,∞,3}
Image
Cells
{3,3}

{3,4}

{3,5}

{3,6}

{3,7}

{3,8}

{3,∞}
Vertex
figure

{3,3}

{4,3}

{5,3}

{6,3}

{7,3}

{8,3}

{∞,3}
{p,3,p} regular honeycombs
SpaceS3Euclidean E3H3
FormFiniteAffineCompactParacompactNoncompact
Name{3,3,3}{4,3,4}{5,3,5}{6,3,6}{7,3,7}{8,3,8}...{∞,3,∞}
Image
Cells
{3,3}

{4,3}

{5,3}

{6,3}

{7,3}

{8,3}

{∞,3}
Vertex
figure

{3,3}

{3,4}

{3,5}

{3,6}

{3,7}

{3,8}

{3,∞}

Notes

[edit]
  1. ^ab(Coxeter 1973) uses the greek letter 𝝓 (phi) to represent one of the threecharacteristic angles 𝟀, 𝝓, 𝟁 of a regular polytope. Because 𝝓 is commonly used to represent thegolden ratio constant ≈ 1.618, for which Coxeter uses 𝝉 (tau), we reverse Coxeter's conventions, and use 𝝉 to represent the characteristic angle.

Citations

[edit]
  1. ^Johnson 2018, p. 249.
  2. ^Ghyka 1977, p. 68.
  3. ^Coxeter 1973, p. 120, §7.2. see illustration Fig 7.2A.
  4. ^Miyazaki & Ishii 2021, p. 46.
  5. ^Diudea 2018, p. 41.
  6. ^abAkiyama, Hitotumatu & Sato 2012.
  7. ^Coxeter 1973, pp. 292–293, Table I(ii): The sixteen regular polytopes {p,q,r} in four dimensions.
  8. ^Coxeter 1973, p. 12, §1.8. Configurations.
  9. ^"Pen".
  10. ^Coxeter 1973, pp. 198–202, §11.7 Regular figures and their truncations.
  11. ^Kim & Rote 2016, pp. 17–20, §10 The Coxeter Classification of Four-Dimensional Point Groups.
  12. ^Coxeter 1973, pp. 292–293, Table I(ii); "5-cell, 𝛼4".
  13. ^Coxeter 1973, p. 139, §7.9 The characteristic simplex.
  14. ^Coxeter 1973, p. 290, Table I(ii); "dihedral angles".
  15. ^Banchoff 2013.
  16. ^Coxeter 1991, p. 30, §4.2. The Crystallographic regular polytopes.

References

[edit]

External links

[edit]
Wikiversity has learning resources about5-cell
Convex
5-cell8-cell16-cell24-cell120-cell600-cell
  • {3,3,3}
  • pentachoron
  • 4-simplex
  • {4,3,3}
  • tesseract
  • 4-cube
  • {3,3,4}
  • hexadecachoron
  • 4-orthoplex
  • {3,4,3}
  • icositetrachoron
  • octaplex
  • {5,3,3}
  • hecatonicosachoron
  • dodecaplex
  • {3,3,5}
  • hexacosichoron
  • tetraplex
Star
icosahedral
120-cell
small
stellated
120-cell
great
120-cell
grand
120-cell
great
stellated
120-cell
grand
stellated
120-cell
great grand
120-cell
great
icosahedral
120-cell
grand
600-cell
great grand
stellated 120-cell
  • {3,5,5/2}
  • icosaplex
  • {5/2,5,3}
  • stellated dodecaplex
  • {5,5/2,5}
  • great dodecaplex
  • {5,3,5/2}
  • grand dodecaplex
  • {5/2,3,5}
  • great stellated dodecaplex
  • {5/2,5,5/2}
  • grand stellated dodecaplex
  • {5,5/2,3}
  • great grand dodecaplex
  • {3,5/2,5}
  • great icosaplex
  • {3,3,5/2}
  • grand tetraplex
  • {5/2,3,3}
  • great grand stellated dodecaplex
Fundamental convexregular anduniform polytopes in dimensions 2–10
FamilyAnBnI2(p) /DnE6 /E7 /E8 /F4 /G2Hn
Regular polygonTriangleSquarep-gonHexagonPentagon
Uniform polyhedronTetrahedronOctahedronCubeDemicubeDodecahedronIcosahedron
Uniform polychoronPentachoron16-cellTesseractDemitesseract24-cell120-cell600-cell
Uniform 5-polytope5-simplex5-orthoplex5-cube5-demicube
Uniform 6-polytope6-simplex6-orthoplex6-cube6-demicube122221
Uniform 7-polytope7-simplex7-orthoplex7-cube7-demicube132231321
Uniform 8-polytope8-simplex8-orthoplex8-cube8-demicube142241421
Uniform 9-polytope9-simplex9-orthoplex9-cube9-demicube
Uniform 10-polytope10-simplex10-orthoplex10-cube10-demicube
Uniformn-polytopen-simplexn-orthoplexn-cuben-demicube1k22k1k21n-pentagonal polytope
Topics:Polytope familiesRegular polytopeList of regular polytopes and compoundsPolytope operations
Retrieved from "https://en.wikipedia.org/w/index.php?title=5-cell&oldid=1334528837"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2026 Movatter.jp