HOME

TheInfoList



OR:

In the
geometry Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician w ...
of 4 dimensions, the 3-3 duoprism or triangular duoprism is a four-dimensional convex polytope.


Descriptions

The
duoprism In geometry of 4 dimensions or higher, a double prism or duoprism is a polytope resulting from the Cartesian product of two polytopes, each of two dimensions or higher. The Cartesian product of an -polytope and an -polytope is an -polytope, wher ...
is a 4-polytope that can be constructed using
Cartesian product In mathematics, specifically set theory, the Cartesian product of two sets and , denoted , is the set of all ordered pairs where is an element of and is an element of . In terms of set-builder notation, that is A\times B = \. A table c ...
of two polygons. In the case of 3-3 duoprism is the simplest among them, and it can be constructed using Cartesian product of two triangles. The resulting duoprism has 9 vertices, 18 edges, and 15 faces—which include 9
square In geometry, a square is a regular polygon, regular quadrilateral. It has four straight sides of equal length and four equal angles. Squares are special cases of rectangles, which have four equal angles, and of rhombuses, which have four equal si ...
s and 6 triangles. Its cell has 6
triangular prism In geometry, a triangular prism or trigonal prism is a Prism (geometry), prism with 2 triangular bases. If the edges pair with each triangle's vertex and if they are perpendicular to the base, it is a ''right triangular prism''. A right triangul ...
. It has
Coxeter diagram Harold Scott MacDonald "Donald" Coxeter (9 February 1907 – 31 March 2003) was a British-Canadian geometer and mathematician. He is regarded as one of the greatest geometers of the 20th century. Coxeter was born in England and educated ...
, and symmetry , order 72. The hypervolume of a uniform 3-3 duoprism with edge length a is V_4 = a^4. This is the square of the area of an equilateral triangle, A = a^2. The 3-3 duoprism can be represented as a graph with the same number of vertices and edges. Like the Berlekamp–van Lint–Seidel graph and the unknown solution to Conway's 99-graph problem, every edge is part of a unique triangle and every non-adjacent pair of vertices is the diagonal of a unique square. It is a
toroidal graph In the mathematical field of graph theory, a toroidal graph is a graph that can be embedded on a torus. In other words, the graph's vertices and edges can be placed on a torus such that no edges intersect except at a vertex that belongs to bo ...
, a
locally linear graph In graph theory, a locally linear graph is an undirected graph in which every edge belongs to exactly one triangle. Equivalently, for each vertex of the graph, its neighborhood (graph theory), neighbors are each adjacent to exactly one other neigh ...
, a
strongly regular graph In graph theory, a strongly regular graph (SRG) is a regular graph with vertices and degree such that for some given integers \lambda, \mu \ge 0 * every two adjacent vertices have common neighbours, and * every two non-adjacent vertices h ...
with parameters (9,4,1,2), the 3\times 3
rook's graph In graph theory, a rook's graph is an undirected graph that represents all legal moves of the rook chess piece on a chessboard. Each vertex of a rook's graph represents a square on a chessboard, and there is an edge between any two squares sh ...
, and the
Paley graph In mathematics, Paley graphs are undirected graphs constructed from the members of a suitable finite field by connecting pairs of elements that differ by a quadratic residue. The Paley graphs form an infinite family of conference graphs, which yiel ...
of order 9. This graph is also the
Cayley graph In mathematics, a Cayley graph, also known as a Cayley color graph, Cayley diagram, group diagram, or color group, is a Graph (discrete mathematics), graph that encodes the abstract structure of a group (mathematics), group. Its definition is sug ...
of the group G=\langle a,b:a^3=b^3=1,\ ab=ba\rangle\simeq C_3\times C_3 with generating set S=\. The minimal distance graph of a 3-3 duoprism may be ascertained by the
Cartesian product of graphs In graph theory, the Cartesian product of graphs and is a graph such that: * the vertex set of is the Cartesian product ; and * two vertices and are adjacent in if and only if either ** and is adjacent to in , or ** and is adjace ...
between two identical both
complete graph In the mathematical field of graph theory, a complete graph is a simple undirected graph in which every pair of distinct vertices is connected by a unique edge. A complete digraph is a directed graph in which every pair of distinct vertices i ...
s K_3 .


3-3 duopyramid

The dual polyhedron of a 3-3 duoprism is called a 3-3
duopyramid In geometry of 4 dimensions or higher, a double pyramid, duopyramid, or fusil is a polytope constructed by 2 orthogonal polytopes with edges connecting all pairs of vertices between the two. The term fusil is used by Norman Johnson as a rhomb ...
or triangular duopyramid., page 45: "The dual of a p,q-duoprism is called a p,q-duopyramid." It has 9
tetragonal disphenoid In geometry, a disphenoid () is a tetrahedron whose four faces are congruent acute-angled triangles. It can also be described as a tetrahedron in which every two edges that are opposite each other have equal lengths. Other names for the same s ...
cells, 18 triangular faces, 15 edges, and 6 vertices. It can be seen in orthogonal projection as a 6-gon circle of vertices, and edges connecting all pairs, just like a
5-simplex In five-dimensional geometry, a 5-simplex is a self-dual regular 5-polytope. It has six vertices, 15 edges, 20 triangle faces, 15 tetrahedral cells, and 6 5-cell facets. It has a dihedral angle of cos−1(), or approximately 78.46°. The ...
seen in projection. The
regular complex polygon In geometry, a regular complex polygon is a generalization of a regular polygon in real coordinate space, real space to an analogous structure in a Complex number, complex Hilbert space, where each real dimension is accompanied by an imaginary nu ...
23, also 3+3 has 6 vertices in \mathbb^2 with a real representation in \mathbb^4 matching the same
vertex arrangement In geometry, a vertex arrangement is a set of points in space described by their relative positions. They can be described by their use in polytopes. For example, a ''square vertex arrangement'' is understood to mean four points in a plane, equa ...
of the 3-3 duopyramid. It has 9 2-edges corresponding to the connecting edges of the 3-3 duopyramid, while the 6 edges connecting the two triangles are not included. It can be seen in a hexagonal projection with 3 sets of colored edges. This arrangement of vertices and edges makes a
complete bipartite graph In the mathematical field of graph theory, a complete bipartite graph or biclique is a special kind of bipartite graph where every vertex of the first set is connected to every vertex of the second set..Electronic edition page 17. Graph theory ...
with each vertex from one triangle is connected to every vertex on the other. It is also called a Thomsen graph or 4-''cage''.


See also

* 3-4 duoprism *
Tesseract In geometry, a tesseract or 4-cube is a four-dimensional hypercube, analogous to a two-dimensional square and a three-dimensional cube. Just as the perimeter of the square consists of four edges and the surface of the cube consists of six ...
(4-4 duoprism) *
Duocylinder The duocylinder, also called the double cylinder or the bidisc, is a geometric object embedded in 4-dimensional Euclidean space, defined as the Cartesian product of two disks of respective radii ''r''1 and ''r''2: :D = \left\ It is similar t ...


References

*
Coxeter Harold Scott MacDonald "Donald" Coxeter (9 February 1907 – 31 March 2003) was a British-Canadian geometer and mathematician. He is regarded as one of the greatest geometers of the 20th century. Coxeter was born in England and educated ...
, ''The Beauty of Geometry: Twelve Essays'', Dover Publications, 1999, (Chapter 5: Regular Skew Polyhedra in three and four dimensions and their topological analogues) ** Coxeter, H. S. M. ''Regular Skew Polyhedra in Three and Four Dimensions.'' Proc. London Math. Soc. 43, 33-62, 1937. * John H. Conway, Heidi Burgiel, Chaim Goodman-Strauss, ''The Symmetries of Things'' 2008, (Chapter 26) * Norman Johnson ''Uniform Polytopes'', Manuscript (1991) ** N.W. Johnson: ''The Theory of Uniform Polytopes and Honeycombs'', Ph.D. Dissertation, University of Toronto, 1966 * {{PolyCell , urlname =section6.html, title = Catalogue of Convex Polychora, section 6


External links


The Fourth Dimension Simply Explained
mdash;describes duoprisms as "double prisms" and duocylinders as "double cylinders"

– glossary of higher-dimensional terms
Exploring Hyperspace with the Geometric Product
Uniform 4-polytopes