TOPICS
Search

Torus


torusTorusSquare

An (ordinary) torus is a surface having genus one, and therefore possessing a single "hole" (left figure). The single-holed "ring" torus is known in older literature as an "anchor ring." It can be constructed from a rectangle by gluing both pairs of opposite edges together with no twists (right figure; Gardner 1971, pp. 15-17; Gray 1997, pp. 323-324). The usual torus embedded in three-dimensional space is shaped like a donut, but the concept of the torus is extremely useful in higher dimensional space as well.

In general, tori can also have multiple holes, with the term n-torus used for a torus with n holes. The special case of a 2-torus is sometimes called the double torus, the 3-torus is called the triple torus, and the usual single-holed torus is then simple called "the" or "a" torus.

A second definition for the n-torus relates to dimensionality. In one dimension, a line bends into circle, giving the 1-torus. In two dimensions, a rectangle wraps to a usual torus, also called the 2-torus. In three dimensions, the cube wraps to form a 3-manifold, or 3-torus. In each case, the n-torus is an object that exists in dimension n+1. One of the more common uses of n-dimensional tori is in dynamical systems. A fundamental result states that the phase space trajectories of a Hamiltonian system with n degrees of freedom and possessing n integrals of motion lie on an n-dimensional manifold which is topologically equivalent to an n-torus (Tabor 1989).

Torus coloring of an ordinary (one-holed) torus requires 7 colors, consistent with the Heawood conjecture.

Let the radius from the center of the hole to the center of the torus tube be c, and the radius of the tube be a. Then the equation in Cartesian coordinates for a torus azimuthally symmetric about the z-axis is

 (c-sqrt(x^2+y^2))^2+z^2=a^2,
(1)

and the parametric equations are

x=(c+acosv)cosu
(2)
y=(c+acosv)sinu
(3)
z=asinv
(4)

for u,v in [0,2pi). Three types of torus, known as the standard tori, are possible, depending on the relative sizes of a and c. c>a corresponds to the ring torus (shown above), c=a corresponds to a horn torus which is tangent to itself at the point (0, 0, 0), and c<a corresponds to a self-intersecting spindle torus (Pinkall 1986). If no specification is made, "torus" is taken to mean ring torus.

The torus surface is implemented in the Wolfram Language as Torus[{x, y, z}, {c-a, c+a}], and the solid torus as FilledTorus[{x, y, z}, {c-a, c+a}].

The three standard tori are illustrated below, where the first image shows the full torus, the second a cut-away of the bottom half, and the third a cross section of a plane passing through the z-axis.

StandardTori

The standard tori and their inversions are cyclides. If the coefficient of sinv in the formula for z is changed to b!=a, an elliptic torus results.

TorusDimensions

To compute the metric properties of the ring torus, define the inner and outer radii by

r=c-a
(5)
R=c+a.
(6)

Solving for a and c gives

a=1/2(R-r)
(7)
c=1/2(R+r).
(8)

Then the surface area of this torus is

S=(2pia)(2pic)
(9)
=4pi^2ac
(10)
=pi^2(R+r)(R-r),
(11)

and the volume can be computed from Pappus's centroid theorem

V=(pia^2)(2pic)
(12)
=2pi^2a^2c
(13)
=1/4pi^2(R+r)(R-r)^2.
(14)

The volume can also be found by integrating the Jacobian computed from the parametric equations of the solid,

x=(c+r^'cosv)cosu
(15)
y=(c+r^'cosv)sinu
(16)
z=r^'sinv,
(17)

which simplifies to

 J=|(partial(x,y,z))/(partial(u,v,r^'))|=r^'(c+r^'cosv),
(18)

giving

V=int_0^(2pi)int_0^(2pi)int_0^ar^'(c+r^'cosv)dr^'dudv
(19)
=2pi^2a^2c,
(20)

as before.

The moment of inertia tensor of a solid torus with mass M is given by

 I=[(5/8a^2+1/2c^2)M 0 0; 0 (5/8a^2+1/2c^2)M 0; 0 0 (3/4a^2+c^2)M].
(21)

The coefficients of the first fundamental form are

E=(c+acosv)^2
(22)
F=0
(23)
G=a^2
(24)

and the coefficients of the second fundamental form are

e=-(c+acosv)cosv
(25)
f=0
(26)
g=-a,
(27)

giving Riemannian metric

 ds^2=(c+acosv)^2du^2+a^2dv^2,
(28)

area element

 dA=a(c+acosv)du ^ dv
(29)

(where du ^ dv is a wedge product), and Gaussian and mean curvatures as

K=(cosv)/(a(c+acosv))
(30)
H=-(c+2acosv)/(2a(c+acosv))
(31)

(Gray 1997, pp. 384-386).

A torus with a hole in its surface can be turned inside out to yield an identical torus. A torus can be knotted externally or internally, but not both. These two cases are ambient isotopies, but not regular isotopies. There are therefore three possible ways of embedding a torus with zero or one knot.

TorusCirclesVillarceauCircleXSections

An arbitrary point P on a torus (not lying in the xy-plane) can have four circles drawn through it. The first circle is in the plane of the torus and the second is perpendicular to it. The third and fourth circles are called Villarceau circles (Villarceau 1848, Schmidt 1950, Coxeter 1969, Melnick 1983).


See also

Apple Surface, Boy Surface, Cross-Cap, Cyclide, Double Torus, Elliptic Torus, Genus, Horn Torus, Impossible Torus, Klein Bottle, Klein Quartic, Lemon Surface, Ring Torus, Spindle Torus, Spiric Section, Standard Tori, Toric Section, Torispherical Dome, Toroid, Torus Coloring, Torus Cutting, Torus Dissection, Triple Torus, Villarceau Circles Explore this topic in the MathWorld classroom

Explore with Wolfram|Alpha

References

Beyer, W. H. CRC Standard Mathematical Tables, 28th ed. Boca Raton, FL: CRC Press, pp. 131-132, 1987.Coxeter, H. S. M. Introduction to Geometry, 2nd ed. New York: Wiley, pp. 132-133, 1969.Gardner, M. Martin Gardner's Sixth Book of Mathematical Games from Scientific American. New York: Scribner's, 1971.Geometry Center. "The Torus." http://www.geom.umn.edu/zoo/toptype/torus/.Gray, A. "Tori." §13.4 in Modern Differential Geometry of Curves and Surfaces with Mathematica, 2nd ed. Boca Raton, FL: CRC Press, pp. 304-306 and 384-386, 1997.Harris, J. W. and Stocker, H. "Torus." §4.10.5 in Handbook of Mathematics and Computational Science. New York: Springer-Verlag, p. 113, 1998.JavaView. "Classic Surfaces from Differential Geometry: Torus." http://www-sfb288.math.tu-berlin.de/vgp/javaview/demo/surface/common/PaSurface_Torus.html.Melzak, Z. A. Invitation to Geometry. New York: Wiley, pp. 63-72, 1983.Pinkall, U. "Cyclides of Dupin." Ch. 3, §3 in Mathematical Models from the Collections of Universities and Museums: Commentary. (Ed. G. Fischer). Braunschweig, Germany: Vieweg, pp. 28-30, 1986.Pinkall, U. "Dupinsche Zykliden." Ch. 3, §3 in Mathematische Modelle aus den Sammlungen von Universitäten und Museen: Kommentarband (Ed. G. Fischer). Braunschweig, Germany: Vieweg, pp. 30-33, 1986.Schmidt, H. Die Inversion und ihre Anwendungen. Munich, Germany: Oldenbourg, p. 82, 1950.Tabor, M. Chaos and Integrability in Nonlinear Dynamics: An Introduction. New York: Wiley, pp. 71-74, 1989.Villarceau, M. "Théorème sur le tore." Nouv. Ann. Math. 7, 345-347, 1848.

Cite this as:

Weisstein, Eric W. "Torus." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Torus.html

Subject classifications