# Duocylinder

Duocylinder
Stereographic projection of the Duocylinder's ridge (see below). The ridge is rotating on XW plane.

The duocylinder, or double cylinder, is a geometric object embedded in 4-dimensional Euclidean space, defined as the Cartesian product of two disks of radius r:

$D = \{ (x,y,z,w) | x^2+y^2\leq r^2,\ z^2+w^2\leq r^2 \}$

It is analogous to a cylinder in 3-space, which is the Cartesian product of a disk with a line segment.

## Geometry

### Bounding 3-manifolds

The duocylinder is bounded by two mutually perpendicular 3-manifolds with torus-like surfaces, described by the equations:

$x^2 + y^2 = r^2, z^2 + w^2 \leq r^2$

and

$z^2 + w^2 = r^2, x^2 + y^2 \leq r^2$

The duocylinder is so called because these two bounding 3-manifolds may be thought of as 3-dimensional cylinders 'bent around' in 4-dimensional space such that they form closed loops in the XY and ZW planes. The duocylinder has rotational symmetry in both of these planes.

### The ridge

The ridge of the duocylinder is the 2-manifold that is the boundary between the two bounding tori. It is in the shape of a Clifford torus, which is the Cartesian product of two circles. Intuitively, it may be constructed as follows: Roll a 2-dimensional rectangle into a cylinder, so that its top and bottom edges meet. Then roll the cylinder in the plane perpendicular to the 3-dimensional hyperplane that the cylinder lies in, so that its two circular ends meet.

The resulting shape is topologically equivalent to a Euclidean 2-torus (a doughnut shape). However, unlike the latter, all parts of its surface are identically deformed. On the doughnut, the surface around the 'doughnut hole' is deformed with negative curvature while the surface outside is deformed with positive curvature.

The ridge of the duocylinder may be thought of as the actual global shape of the screens of video games such as Asteroids, where going off the edge of one side of the screen leads to the other side. It cannot be embedded without distortion in 3-dimensional space, because it requires two degrees of freedom in addition to its inherent 2-dimensional surface in order for both pairs of edges to be joined.

### Projections

Parallel projections of the duocylinder into 3-dimensional space and its cross-sections with 3-dimensional space both form cylinders. Perspective projections of the duocylinder form torus-like shapes with the 'doughnut hole' filled in.

### Relation to other shapes

The duocylinder is the limiting shape of duoprisms as the number of sides in the constituent polygonal prisms approach infinity. The duoprisms therefore serve as good polytopic approximations of the duocylinder.

In 3-space, a cylinder can be considered intermediate between a cube and a sphere. In 4-space there are three intermediate forms between the tesseract (1-ball × 1-ball × 1-ball × 1-ball) and the hypersphere (4-ball). They are the cubinder (2-ball × 1-ball × 1-ball), the duocylinder (2-ball × 2-ball) and the spherinder (3-ball × 1-ball). These constructions correspond to the five partitions of 4, the number of dimensions.

## References

• The Fourth Dimension Simply Explained, Henry P. Manning, Munn & Company, 1910, New York. Available from the University of Virginia library. Also accessible online: The Fourth Dimension Simply Explained—contains a description of duoprisms and duocylinders (double cylinders)

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Duoprism — Set of uniform p,q duoprisms Example 16,16 duoprism Schlegel diagram Projection from the center of one 16 gonal prism, and all but one of the opposite 16 gonal prisms are shown. Type Prismatic uniform polychoron Schläfli symbol {p}x{q} Coxeter …   Wikipedia

• Grand antiprism — (Schlegel diagram wireframe) Type Uniform polychoron Uniform index 47 Cells 100+200 (3.3.3) …   Wikipedia

• Polychoron — In geometry, a four dimensional polytope is sometimes called a polychoron (plural: polychora), from the Greek root poly , meaning many , and choros meaning room or space .It is also called a 4 polytope or polyhedroid. The two dimensional analogue …   Wikipedia

• List of mathematical shapes — Following is a list of some mathematically well defined shapes. See also list of polygons, polyhedra and polytopes and list of geometric shapes.0D with no surface*point1D with 0D surface*interval *line2D with 1D surface*Bézier curve: ( As + Bt )… …   Wikipedia

• Rotational symmetry — Generally speaking, an object with rotational symmetry is an object that looks the same after a certain amount of rotation. An object may have more than one rotational symmetry; for instance, if reflections or turning it over are not counted, the …   Wikipedia

• Fourth dimension — [ tesseract rotating around a plane in 4D.] In physics and mathematics, a sequence of n numbers can be understood as a location in an n dimensional space. When n =4, the set of all such locations is called 4 dimensional space, or, colloquially,… …   Wikipedia

• List of mathematics articles (D) — NOTOC D D distribution D module D D Agostino s K squared test D Alembert Euler condition D Alembert operator D Alembert s formula D Alembert s paradox D Alembert s principle Dagger category Dagger compact category Dagger symmetric monoidal… …   Wikipedia

• Clifford torus — In geometric topology, the Clifford torus is a special kind of torus sitting inside R4. Alternatively, it can be seen as a torus sitting inside C2 since C2 is topologically the same space as R4. Furthermore, every point of the Clifford torus lies …   Wikipedia