# Torus

Torus | |
---|---|

Dimensions | 2 |

Connected | Yes |

Compact | Yes |

Euler characteristic | 0 |

Orientable | Yes |

Genus | 1 |

Symmetry | O(2)×O(2) (4-space) O(2)×A _{1} (3-space) |

Torus (solid) | |
---|---|

Rank | 3 |

Notation | |

Toratopic notation | ((II)I) |

Elements | |

Faces | 1 torus (surface) |

Measures (edge length 1) | |

Volume | |

Related polytopes | |

Conjugate | None |

Abstract & topological properties | |

Orientable | Yes |

Properties | |

Symmetry | O(2)×A_{1} |

Convex | No |

A **torus** is the surface of revolution of a circle, visually forming the surface of a donut. It is a two-dimensional surface in 3D Euclidean space.

The circle's radius is called the *minor radius*, while the distance from the center of the circle to the center of the torus is called the *major radius* of the torus. If the major radius is greater than the minor radius, it is called a **ring torus**. If the major radius is equal to the minor radius, it is called a **horn torus**. If the minor radius is greater, causing self-intersection, it is a **spindle torus**.

It can also be formed by inflating a circle in one dimension.

It is represented as **((II)I)** in toratopic notation.

Its expanded rotatope is the duocylinder.

## Coordinates[edit | edit source]

Where *r* is the minor radius and *R* is the major radius:

Points on the surface of a torus are all points (*x*,*y*,*z*) such that

Points in the interior of a torus are all points (*x*,*y*,*z*) such that

## Clifford torus[edit | edit source]

The **Clifford torus** or **flat torus** is defined as the Cartesian product of two circles. (It is not required for the circles to have the same radius.) It requires 4D Euclidean space, but it is topologically two-dimensional and is homeomorphic to the usual torus.

The Clifford torus has a higher degree of symmetry than the usual torus ( versus ). The Clifford torus' symmetry group acts transitively on every point of the torus, so all points are indistinguishable (and the figure has zero curvature at all points). This is in contrast to the usual torus, whose symmetry group distinguishes points of negative and positive curvature.

In analogy to discretizing a circle into a convex regular polygon, the Clifford torus can be approximated by computing the comb product of any two convex regular polygons, forming the duocombs. The result is an isogonal and isotopic skew polyhedron in 4D space; it is in fact a regular skew polyhedron if the two convex regular polygons are congruent.