# Three-torus

Last updated

The three-dimensional torus, or triple torus, is defined as the Cartesian product of three circles,

$\mathbb {T} ^{3}=S^{1}\times S^{1}\times S^{1}.$ In contrast, the usual torus is the Cartesian product of two circles only.

The triple torus is a three-dimensional compact manifold with no boundary. It can be obtained by "gluing" the three pairs of opposite faces of a cube, where being "glued" can be intuitively understood to mean that when a particle moving in the interior of the cube reaches a point on a face, it goes through it and appears to come forth from the corresponding point on the opposite face. (After gluing the first pair of opposite faces the cube looks like a thick washer, after gluing the second pair the flat faces of the washer it looks like a hollow torus, the last gluing the inner surface of the hollow torus to the outer surface is physically impossible in three-dimensional space so it has to happen in four dimensions.

## Related Research Articles In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex. In topology, a branch of mathematics, the Klein bottle is an example of a non-orientable surface; it is a two-dimensional manifold against which a system for determining a normal vector cannot be consistently defined. Informally, it is a one-sided surface which, if traveled upon, could be followed back to the point of origin while flipping the traveler upside down. Other related non-orientable objects include the Möbius strip and the real projective plane. Whereas a Möbius strip is a surface with boundary, a Klein bottle has no boundary. For comparison, a sphere is an orientable surface with no boundary. In the part of mathematics referred to as topology, a surface is a two-dimensional manifold. Some surfaces arise as the boundaries of three-dimensional solids; for example, the sphere is the boundary of the solid ball. Other surfaces arise as graphs of functions of two variables; see the figure at right. However, surfaces can also be defined abstractly, without reference to any ambient space. For example, the Klein bottle is a surface that cannot be embedded in three-dimensional Euclidean space. In geometry, a tetrahedron, also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the ordinary convex polyhedra and the only one that has fewer than 5 faces. In geometry, a torus is a surface of revolution generated by revolving a circle in three-dimensional space about an axis that is coplanar with the circle. In mathematics, the graph of a function f is the set of ordered pairs (x, y), where f(x) = y. In the common case where x and f(x) are real numbers, these pairs are Cartesian coordinates of points in two-dimensional space and thus form a subset of this plane.

In mathematics, homology is a general way of associating a sequence of algebraic objects, such as abelian groups or modules, to other mathematical objects such as topological spaces. Homology groups were originally defined in algebraic topology. Similar constructions are available in a wide variety of other contexts, such as abstract algebra, groups, Lie algebras, Galois theory, and algebraic geometry. In four-dimensional geometry, the 24-cell is the convex regular 4-polytope with Schläfli symbol {3,4,3}. It is also called C24, or the icositetrachoron, octaplex (short for "octahedral complex"), icosatetrahedroid, octacube, hyper-diamond or polyoctahedron, being constructed of octahedral cells. In mathematics, the real projective plane is an example of a compact non-orientable two-dimensional manifold; in other words, a one-sided surface. It cannot be embedded in standard three-dimensional space without intersecting itself. It has basic applications to geometry, since the common construction of the real projective plane is as the space of lines in R3 passing through the origin.

A torus bundle, in the sub-field of geometric topology in mathematics, is a kind of surface bundle over the circle, which in turn is a class of three-manifolds. In mathematics, a 3-manifold is a space that locally looks like Euclidean 3-dimensional space. A 3-manifold can be thought of as a possible shape of the universe. Just as a sphere looks like a plane to a small enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below.

In mathematics, a surface bundle over the circle is a fiber bundle with base space a circle, and with fiber space a surface. Therefore the total space has dimension 2 + 1 = 3. In general, fiber bundles over the circle are a special case of mapping tori. In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or n-manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to the Euclidean space of dimension n. In geometry of 4 dimensions or higher, a duoprism is a polytope resulting from the Cartesian product of two polytopes, each of two dimensions or higher. The Cartesian product of an n-polytope and an m-polytope is an (n+m)-polytope, where n and m are 2 (polygon) or higher. The duocylinder, or double cylinder, is a geometric object embedded in 4-dimensional Euclidean space, defined as the Cartesian product of two disks of respective radii r1 and r2: Three-dimensional space is a geometric setting in which three values are required to determine the position of an element. This is the informal meaning of the term dimension.

In mathematics, a differentiable manifold of dimension n is called parallelizable if there exist smooth vector fields In geometric topology, the Clifford torus is the simplest and most symmetric flat embedding of the cartesian product of two circles S1a and S1b. It is named after William Kingdon Clifford. It resides in R4, as opposed to in R3. To see why R4 is necessary, note that if S1a and S1b each exist in their own independent embedding spaces R2a and R2b, the resulting product space will be R4 rather than R3. The historically popular view that the cartesian product of two circles is an R3 torus in contrast requires the highly asymmetric application of a rotation operator to the second circle, since that circle will only have one independent axis z available to it after the first circle consumes x and y. In mathematics, especially in the area of mathematical analysis known as dynamical systems theory, a linear flow on the torus is a flow on the n-dimensional torus In four-dimensional geometry, the cubinder is one way to generalise the 3D cylinder to 4D. Like the duocylinder and spherinder, it is also analogous to a cylinder in 3-space, which is the Cartesian product of a disk with a line segment.

• Thurston, William P. (1997), Three-dimensional Geometry and Topology, Volume 1, Princeton University Press, p. 31, ISBN   9780691083049 .
• Weeks, Jeffrey R. (2001), The Shape of Space (2nd ed.), CRC Press, p. 13, ISBN   9780824748371 .