View source for Torus

A body obtained from the rotation of a closed circle around an axis lying in the plane of this circle and not intersecting it. The centre of the circle describes a circle, called the axial circle of the torus, its centre is called the centre of the torus. The plane of the axial circle is called the equatorial plane of the torus, and the boundaries of the circles lying on the torus and obtained by its rotation from the given circle are said to be meridians of the torus.

The surface of the torus with as radius vector, in the Cartesian coordinates of the Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t0933501.png" />,

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t0933502.png" /></td> </tr></table>

(here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t0933503.png" /> are the intrinsic coordinates, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t0933504.png" /> is the radius of the rotating circle, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t0933505.png" /> is the radius of the axial circle, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t0933506.png" /> is the eccentricity), is often also called a torus. Its line element is

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t0933507.png" /></td> </tr></table>

and its curvature is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t0933508.png" />. A torus is a special case of a [[Surface of revolution|surface of revolution]] and of a [[Canal surface|canal surface]].

From the topological point of view, a torus is the product of two circles, and therefore a torus is a two-dimensional closed manifold of genus one. If this product is metrizable, then it can be realized in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t0933509.png" /> or in the elliptic space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t09335010.png" /> as a Clifford surface; its equation in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t09335011.png" />, for example, is

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t09335012.png" /></td> </tr></table>

A natural generalization of a torus is a multi-dimensional torus, i.e. the topological product of several copies of the circle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t09335013.png" />, i.e. of the manifold of all complex numbers equal to one in modulus. The natural smoothness on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t09335014.png" /> determines on the torus the structure of a smooth manifold, and the natural multiplicative structure induces on the torus the structure of a connected compact commutative real Lie group. These latter groups play an important part in the theory of Lie groups and they are also called tori (see [[Lie group, compact|Lie group, compact]]; [[Maximal torus|Maximal torus]]; [[Cartan subgroup|Cartan subgroup]]). An even-dimensional torus admits a complex structure; when certain conditions are satisfied such a structure transforms the torus into an [[Abelian variety|Abelian variety]] (see also [[Complex torus|Complex torus]]). In the structure theory of algebraic groups, a torus, like a real Lie group, has an important analogue, an [[Algebraic torus|algebraic torus]] (see also [[Algebraic group|Algebraic group]]; [[Linear algebraic group|Linear algebraic group]]). An algebraic torus is not a torus itself (if the ground field is that of the complex numbers), but presents a subgroup that is a torus and onto which it can be contracted (as a topological space). More accurately, an algebraic torus, as a Lie group, is isomorphic to the product of a certain torus and several copies of the multiplicative group of positive real numbers.



====Comments====


====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M. Berger,   "Geometry" , '''1–2''' , Springer  (1987)  (Translated from French)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  M. Berger,   B. Gostiaux,   "Differential geometry: manifolds, curves, and surfaces" , Springer  (1988)  (Translated from French)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  H.S.M. Coxeter,   "Introduction to geometry" , Wiley  (1969)  pp. 132; 356; 374</TD></TR></table>