Difference between revisions of "Ring torus"
(→Related surfaces) |
|||
Line 30: | Line 30: | ||
* [[Horn torus]] is a related construct where <math>c = a</math>, i.e., the case of a circle being revolved about its tangent line. This is topologically not even a manifold. | * [[Horn torus]] is a related construct where <math>c = a</math>, i.e., the case of a circle being revolved about its tangent line. This is topologically not even a manifold. | ||
* [[Spindle torus]] is a related construct where <math>c < a</math>, i.e., the case of a circle being revolved about a line intersecting it. A spindle torus has an ''inner'' and ''outer'' surface respectively called a [[lemon]] (the surface of revolution of a [[circular lens]]) and an [[apple]]. The spindle torus is topologically not even a manifold, but, taken individually, the lemon and the apple are topologically both 2-spheres. | * [[Spindle torus]] is a related construct where <math>c < a</math>, i.e., the case of a circle being revolved about a line intersecting it. A spindle torus has an ''inner'' and ''outer'' surface respectively called a [[lemon]] (the surface of revolution of a [[circular lens]]) and an [[apple]]. The spindle torus is topologically not even a manifold, but, taken individually, the lemon and the apple are topologically both 2-spheres. | ||
+ | |||
+ | ==Fundamental forms and curvatures== | ||
+ | |||
+ | For the table below, we consider the parametric description: | ||
+ | |||
+ | <math>x = (c + a \cos v)\cos u, y = (c + a \cos v)\sin u, z = a \sin v</math> | ||
+ | |||
+ | {| class="sortable" border="1" | ||
+ | ! Quantity !! Meaning in general !! Value | ||
+ | |- | ||
+ | | <math>E,F,G</math> for [[first fundamental form]] using this parametrization || The Riemannian metric is given by <math>ds^2 = E \, du^2 + 2F \, du \, dv + G \, dv^2</math> || {{fillin}} | ||
+ | |- | ||
+ | | <math>e,f,g</math> for [[second fundamental form]] using this parametrization || {{fillin}} || {{fillin}} | ||
+ | |- | ||
+ | | [[principal curvature]]s using this parametrization || eigenvalues of the [[shape operator]] || {{fillin}} | ||
+ | |- | ||
+ | | [[mean curvature]] || arithmetic mean of the principal curvatures = half the trace of the shape operator || {{fillin}} | ||
+ | |- | ||
+ | | [[Gaussian curvature]] || product of the principal curvatures = determinant of shape operator || {{fillin}} | ||
+ | |} | ||
+ | |||
+ | ==Verification of theorems== | ||
+ | |||
+ | ===Gauss-Bonnet theorem=== | ||
+ | |||
+ | {{fillin}} |
Revision as of 06:53, 12 August 2011
Contents
Definition
The ring torus is a form of embedding of the torus in three-dimensional Euclidean space. This surface type is not unique up to isometry or even up to similarity transformations, but rather, depends on two parameters for a description up to isometry and on one parameter for a description up to similarity transformations.
A ring torus can be defined as the surface obtained by revolving a circle about a line in its plane that does not intersect it.
To describe a ring torus up to isometry, we need two parameters:
- The radius of the circle being revolved, which we call the tube radius and denote by .
- The perpendicular distance from the center of the circle being revolved to the axis of revolution, which we denote by .
The condition that the axis of revolution does not intersect the circle being revolved is equivalent to the condition .
Implicit and parametric descriptions
Degree of generality | Implicit description | What the parameters mean | Parametric description | What the additional parameters mean | Comment |
---|---|---|---|---|---|
Arbitrary | Fill this in later | ||||
Up to rigid motions (rotations, translations, reflections) | , where are positive and . | is the radius of the central circle (spine) of the ring torus, and is the tube radius of the ring torus. This describes the ring torus where the axis of revolution is the -axis. | is an angle giving local polar coordinates for the point any fixed location of the circle being rotated. is the angle giving polar coordinates for the center of the circle, on the spine circle. | ||
Up to similarity transformations | We could rescale the above to normalize either one of and to 1, but we cannot normalize both simultaneously. |
Related surfaces
Note that neither of the surfaces below is topologically a torus.
- Horn torus is a related construct where , i.e., the case of a circle being revolved about its tangent line. This is topologically not even a manifold.
- Spindle torus is a related construct where , i.e., the case of a circle being revolved about a line intersecting it. A spindle torus has an inner and outer surface respectively called a lemon (the surface of revolution of a circular lens) and an apple. The spindle torus is topologically not even a manifold, but, taken individually, the lemon and the apple are topologically both 2-spheres.
Fundamental forms and curvatures
For the table below, we consider the parametric description:
Quantity | Meaning in general | Value |
---|---|---|
for first fundamental form using this parametrization | The Riemannian metric is given by | Fill this in later |
for second fundamental form using this parametrization | Fill this in later | Fill this in later |
principal curvatures using this parametrization | eigenvalues of the shape operator | Fill this in later |
mean curvature | arithmetic mean of the principal curvatures = half the trace of the shape operator | Fill this in later |
Gaussian curvature | product of the principal curvatures = determinant of shape operator | Fill this in later |
Verification of theorems
Gauss-Bonnet theorem
Fill this in later