Torus

Die Menge der Punkte mit dem Abstand <math>r</math> von der Kreislinie mit Radius <math>R</math> bilden einen Rotationstorus.

Ein Torus (Plural Tori, von {{#invoke:Vorlage:lang|full|CODE=la |SCRIPTING=Latn |SERVICE=lateinisch}})<ref>Vorlage:Georges-1913-Latein</ref><ref>Es gibt einige andere heute nicht mehr gebräuchliche historische Verwendungen des Begriffs Torus: Vorlage:Herder-1854 Vorlage:Pierer-1857 {{#invoke:Vorlage:Literatur|f}}{{#ifeq: 0 | 0

                 | {{#if: 
                     | Vorlage:Meyers-1905 – veraltete Parametrisierung
                   }}

}} {{#invoke:Vorlage:Literatur|f}}{{#switch: 0

   |1|2=
   |#default={{#if:      
               | Vorlage:Brockhaus-1911 – Parameter veraltet
             }}

}} {{#invoke:Vorlage:Literatur|f}}{{#ifeq: {{#if:Torus|1}}{{#if:27|1}}

                | 11 |
                | Vorlage:Britannica 1911 – Pflichtparameter fehlt}}{{#if:  | Vorlage:Britannica 1911 – Veralteter Parameter  }}</ref> ist ein mathematisches Objekt aus der Geometrie und der Topologie. Er ist eine wulstartig geformte Fläche mit einem Loch, ähnlich der Gestalt eines Rettungsrings, Fahrradschlauchs oder Donuts. Auch ein O-Ring ({{#invoke:Vorlage:lang|full|CODE=fr|SCRIPTING=Latn|SERVICE=französisch}}, wörtlich: torische Dichtung) hat die Form eines Torus.

Beispiele für im dreidimensionalen Raum eingebettete Tori sind die Rotationstori. Rotationstori sind Rotationsflächen, die man erhält, indem man einen Kreis um eine Achse rotieren lässt, die in der Kreisebene liegt und den Kreis nicht schneidet. Falls man nicht nur die Kreislinie, sondern die gesamte Kreisfläche rotieren lässt, erhält man einen Volltorus.

Anders ausgedrückt wird ein Rotationstorus aus derjenigen Menge an Punkten gebildet, die von einer Kreislinie mit Radius <math>R</math> den festen Abstand <math>r</math> mit <math>r<R</math> haben.

Datei:Torus from rectangle.gif

Man erhält den Torus durch Verkleben gegenüberliegender Seiten eines Zylinders.

Ein Torus kann auch durch Identifizieren der Seiten eines Parallelogramms konstruiert werden. Dabei wird die rechte Kante des Parallelogramms mit seiner linken Kante und die obere mit der unteren Kante verheftet. Diese Topologie benutzen auch viele Computerspiele: Verlässt ein Spielobjekt auf einer Seite das Spielfeld, so taucht es auf der gegenüberliegenden Seite wieder auf.

Beide Konstruktionen sind Spezialfälle der allgemeinen mathematischen Definition, die einen Torus als das topologische Produkt zweier Kreise definiert. Dieser Begriff spielt in zahlreichen Gebieten der Mathematik eine Rolle, neben Topologie und Differentialgeometrie ist er unter anderem in der Fourier-Analysis, der Theorie dynamischer Systeme (invariante Tori in der Himmelsmechanik), der Funktionentheorie und der Theorie elliptischer Kurven von Bedeutung.

Rotationstori liefern eine konkrete rotationssymmetrische Realisierung dieser Fläche im dreidimensionalen euklidischen Raum. Von besonderer Wichtigkeit für viele Anwendungen in theoretischer Mathematik und Physik sind sogenannte flache Tori und ihre Einbettung in den vierdimensionalen Raum. Diese haben die Krümmung null und die maximal mögliche Symmetrie.

Der Torus ist eine zweidimensionale Fläche. Allgemeiner betrachtet man in der Mathematik auch den <math>n</math>-Torus, eine den zweidimensionalen Torus verallgemeinernde <math>n</math>-dimensionale Mannigfaltigkeit. Davon abweichend finden sich in der deutschsprachigen Literatur gelegentlich auch die Bezeichnungen Doppeltorus, Tripeltorus etc. für Flächen mit zwei, drei und mehr Löchern.

Volumen

Das Volumen des Volltorus, der vom Torus ummantelt wird, lässt sich als Volumenintegral über die Jacobi-Determinante (die Determinante der Funktionalmatrix) berechnen. Die Jacobi-Matrix zur Parametrisierung des Torus lässt sich wie folgt angeben:

<math>J_f = \frac{\partial \left(x,y,z \right)}{\partial \left(r, t, p \right)} =

\begin{pmatrix} \partial_r x & \partial_t x & \partial_p x \\ \partial_r y & \partial_t y & \partial_p y \\ \partial_r z & \partial_t z & \partial_p z \\ \end{pmatrix} = \begin{pmatrix} \cos(t) \cos(p) & - R \sin(t) - r \sin(t) \cos(p) & - r \cos(t) \sin(p) \\ \sin(t) \cos(p) & R \cos(t) + r \cos(t) \cos(p) & - r \sin(t) \sin(p) \\ \sin(p) & 0 & r \cos(p) \end{pmatrix} </math>

Daraus folgt:

<math>\det (J_f) = r \cdot \left(r \cos(p) + R\right)</math>

Die Funktionaldeterminante ist hier also gleich der Norm des Flächennormalenvektors.

<math>V = \int_{V} \mathrm dV = \int_{\Gamma} \det (J_f) \ \mathrm d\Gamma = \int_{0}^{2\pi}\int_{0}^{2\pi}\int_{0}^{r} \left(Rr+r^2\cos(p)\right) \ \mathrm dr \ \mathrm dp \ \mathrm dt = 2\pi^2 r^2 R</math>

Man erhält also für das Volumen des Volltorus <math>V = 2\pi^2 r^2 R</math>.

Die Formel für das Volumen lässt sich so interpretieren, dass die Kreisfläche <math>A_r = \pi r^2</math> mit dem Umfang <math>U_R = 2\pi R</math> multipliziert wird (siehe Zweite Guldinsche Regel). Dies kann man zum Verständnis in Analogie zum Zylindervolumen <math>V_\text{zyl} = \pi r^2 l</math> setzen. Mit dem Flächeninhalt der Oberfläche verhält es sich genauso, hier werden die Umfänge <math>U_r = 2\pi r</math> und <math>U_R = 2\pi R</math> miteinander multipliziert (siehe Erste Guldinsche Regel). Dies steht ebenfalls in Analogie zur Zylinderoberfläche <math>O_\text{zyl} = 2\pi r l</math>.

Betrachtet man nur den inneren Teil des Torus, der von der <math>z</math>-Achse einen Abstand kleiner gleich <math>R</math> hat, ergibt sich das Volumen

<math>\int_{0}^{2\pi}\int_{\tfrac{\pi}{2}}^{\tfrac{3\pi}{2}}\int_{0}^{r} \left(Rr + r^2\cos(p)\right) \ \mathrm dr \ \mathrm dp \ \mathrm dt = \pi r^2 \left(\pi R - \tfrac{4r}{3}\right)</math>

Der äußere Teil des Torus, der von der <math>z</math>-Achse einen Abstand größer gleich <math>R</math> hat, hat das Volumen

<math>\int_{0}^{2\pi}\int_{\tfrac{3\pi}{2}}^{\tfrac{\pi}{2}}\int_{0}^{r} \left(Rr + r^2\cos(p)\right) \ \mathrm dr \ \mathrm dp \ \mathrm dt = \pi r^2 \left(\pi R + \tfrac{4r}{3}\right)</math>

Oberfläche

Die Oberfläche des Torus mit der obigen Parameterdarstellung ist

Diese Formel lässt sich entweder mit der Ersten Guldinschen Regel herleiten aus

oder mit Hilfe des Oberflächenintegrals

<math>A_O = \iint \mathrm dA = \int_{t=0}^{2\pi} \int_{p=0}^{2\pi} r(R + r \cos(p)) \ \mathrm dp \ \mathrm dt</math>

berechnen. Dabei ist <math>\mathrm dA = r(R + r \cos(p)) \ \mathrm dp \ \mathrm dt</math> das Oberflächenelement des Torus in der obigen Parameterdarstellung.

Der Torus berandet einen 3-dimensionalen Volltorus. Das Volumen des Volltorus beträgt <math>V = 2\pi^2 r^2 R</math> (siehe Zweiten Guldinschen Regel).

Betrachtet man nur den inneren Teil des Torus, der von der <math>z</math>-Achse einen Abstand kleiner gleich <math>R</math> hat, ergibt sich die Oberfläche

<math>\int_{t=0}^{2\pi} \int_{p=\tfrac{\pi}{2}}^{\tfrac{3\pi}{2}} r(R + r \cos(p)) \ \mathrm dp \ \mathrm dt = 2\pi r \left(\pi R - 2r\right)</math>

Der äußere Teil des Torus, der von der <math>z</math>-Achse einen Abstand größer gleich <math>R</math> hat, hat die Oberfläche

<math>\int_{t=0}^{2\pi} \int_{p=\tfrac{3\pi}{2}}^{\tfrac{\pi}{2}} r(R + r \cos(p)) \ \mathrm dp \ \mathrm dt = 2\pi r \left(\pi R + 2r\right)</math>

Torus als Rotationsfläche

Datei:Torus 3d.png

Datei:Half Torus, Radial Cut.stl

Ein radial …

Datei:Half Torus, Diagonal Cut.stl

… und ein entlang der Kreislinie mit Radius <math>R</math> aufgeschnittener Torus in 3D

Ein Rotationstorus ist eine Rotationsfläche, die durch Rotation eines Kreises um eine in der Kreisebene liegende und den Kreis nicht schneidende Rotationsachse erzeugt wird.<ref>Ilja N. Bronstein, Konstantin A. Semendjajew: Taschenbuch der Mathematik. Harri Deutsch Verlag, 1983, ISBN 3-87144-492-8, S. 253.</ref><ref>Ulrich Graf, Martin Barner: Darstellende Geometrie. Quelle & Meyer, Heidelberg 1961, ISBN 3-494-00488-9, S. 202, 209.</ref><ref>C. Leopold: Geometrische Grundlagen der Architekturdarstellung. Verlag W. Kohlhammer, Stuttgart 2005, ISBN 3-17-018489-X, S. 123, 129.</ref> Ein Rotationstorus kann als Menge der Punkte beschrieben werden, die von einer Kreislinie mit Radius <math>R</math> den festen Abstand <math>r</math> haben, wobei <math>r<R</math> ist. In kartesischen Koordinaten <math>x,y,z</math> mit der {{#if:trim|<math>z</math>-Achse}} als Rotationsachse und den Mittelpunkten des rotierenden Kreises in der {{#if:trim|<math>xy</math>-Ebene}} wird er durch die Gleichung: <math>\left(\sqrt{x^2+y^2}-R\right)^2+z^2 = r^2</math>

beschrieben. Durch Beseitigen der Wurzel ergibt sich die Gleichung 4. Grades

<math>\left(x^2+y^2+z^2 + R^2 - r^2\right)^2 = 4R^2\left(x^2+y^2\right).</math>

Man kann in der Torusoberfläche eine toroidale Koordinate <math>t</math> und eine dazu senkrechte poloidale Koordinate <math>p</math> einführen. Man denkt sich den Torus als durch einen Kreis entstanden, der um eine in der Kreisebene liegende Achse rotiert wird. Den Radius des ursprünglichen Kreises nennen wir <math>r</math>, dieser Kreis bildet auch gleichzeitig eine Koordinatenlinie von <math>p</math>. Den Abstand des Kreismittelpunkts von der Achse nennen wir <math>R,</math> die Koordinatenlinien von <math>t</math> sind Kreise um die Drehachse. Beide Koordinaten sind Winkel und laufen von <math>0</math> bis <math>2\pi</math>.

Parametrisierung

Die Umrechnung von Toruskoordinaten in kartesische Koordinaten erfolgt so:

<math>\begin{pmatrix} x \\ y \\ z \end{pmatrix} = R \cdot \begin{pmatrix} \cos(t) \\ \sin(t) \\ 0 \end{pmatrix} + r \cdot \begin{pmatrix} \cos(t) \cdot \cos(p) \\ \sin(t) \cdot \cos(p) \\ \sin(p) \end{pmatrix}=\begin{pmatrix} (R + r \cdot \cos(p)) \cos(t) \\ (R + r \cdot \cos(p)) \sin(t) \\ r \cdot \sin(p) \end{pmatrix}</math>

Toruskoordinaten sind in der Kernfusionstechnologie von Bedeutung, siehe Kernfusionsreaktor.

Ebene Schnitte

Schnitte mit Ebenen, die die Rotationsachse enthalten, sind Kreispaare.
Schnitte mit Ebenen, die zur Rotationsachse senkrecht sind, sind Kreispaare oder ein Kreis oder leer.
Eine zur Rotationsachse parallele Ebene schneidet aus einem Torus eine spirische Kurve aus. In Sonderfällen kann dies eine Cassinische Kurve sein.
Eine geneigte Ebene, die zwei Erzeugerkreise berührt, schneidet Villarceau-Kreise aus.

Tori in der Darstellenden Geometrie

In der Darstellenden Geometrie verwendet man Teile eines Torus zur Konstruktion von Übergangsflächen zwischen Zylindern. Die Darstellung eines Torus durch seinen Umriss findet man in Umrisskonstruktionen.

Allgemeine Definition

Datei:Torus cycles.svg

Der 2-dimensionale Torus als Produkt zweier Kreise

Mit <math>\mathbb{S}^1</math> werde der Kreis (die 1-Sphäre) bezeichnet. Der <math>n</math>-Torus ist dann definiert durch

<math>\mathbb{T}^n := \underbrace{\mathbb{S}^1 \times \cdots \times \mathbb{S}^1}_{n\ \text{mal}}</math>,

wobei <math>\times</math> das Produkt topologischer Räume ist. Die im vorhergehenden Abschnitt beschriebene Rotationsfläche ist ein 2-Torus. Der 2-Torus wird meist einfach Torus genannt.<ref>John M. Lee: Introduction to Smooth Manifolds (= Graduate Texts in Mathematics 218.) Springer-Verlag, New York NY u. a. 2003, ISBN 0-387-95448-1, S. 8.</ref>

Topologische Eigenschaften

Struktur einer Mannigfaltigkeit

Der <math>n</math>-Torus ist eine topologische Mannigfaltigkeit. Dies folgt aus der Tatsache, dass der <math>n</math>-Torus das topologische Produkt aus <math>n</math> 1-Sphären ist und die 1-Sphäre selbst eine topologische Mannigfaltigkeit ist. Die 1-Sphäre ist zusätzlich auch eine differenzierbare Mannigfaltigkeit und, da das Produkt differenzierbarer Mannigfaltigkeiten wieder eine differenzierbare Mannigfaltigkeit ergibt, ist der <math>n</math>-Torus ebenfalls eine differenzierbare Mannigfaltigkeit.<ref>John M. Lee: Introduction to Smooth Manifolds (= Graduate Texts in Mathematics 218.) Springer-Verlag, New York NY u. a. 2003, ISBN 0-387-95448-1, S. 21.</ref> Die Dimension von <math>\mathbb{T}^n</math> ist gleich <math>n</math>.

Topologische Eigenschaften

Ebenfalls direkt aus der Definition folgt, dass der <math>n</math>-Torus kompakt ist. Außerdem ist er wegzusammenhängend. Im Gegensatz zur <math>n</math>-Sphäre ist der <math>n</math>-Torus für <math>n > 1</math> nicht einfach zusammenhängend.

Die Abbildung <math>q \colon \R^n \to \mathbb{T}^n</math>, definiert durch <math>(x_j)_j \mapsto (\exp(2 \pi \mathrm{i} x_j))_j</math>, ist die universelle Überlagerung des <math>n</math>-Torus.<ref>Tammo tom Dieck: Topologie. de Gruyter, Berlin 2000, ISBN 3-11-016236-9, S. 52.</ref>

Lie-Gruppe

Die 1-Sphäre, aufgefasst als Kreisgruppe, ist außerdem eine Lie-Gruppe. Da das Produkt mehrerer Lie-Gruppen mit der komponentenweisen Multiplikation wieder eine Lie-Gruppe ist, ist auch der <math>n</math>-Torus eine Lie-Gruppe.<ref>John M. Lee: Introduction to Smooth Manifolds (= Graduate Texts in Mathematics 218.) Springer-Verlag, New York NY u. a. 2003, ISBN 0-387-95448-1, S. 39.</ref>

Eingebettete Tori

Flache Tori

Datei:FLSCFLZ3 Flach Schlauch Flach Zylinder.jpg

Modell eines flachen Torus: Das Papier muss nur gebogen, nicht gestreckt werden.

Da die Kreislinie <math>\mathbb{S}^1</math> offensichtlich in den <math>\R^2</math> eingebettet werden kann, kann der {{#if:trim|<math>n</math>-Torus}} <math>\mathbb{T}^n := \mathbb{S}^1 \times \cdots \times \mathbb{S}^1 \subset \R^{2n}</math> als Teilmenge des euklidischen Raums <math>\R^{2n}</math> aufgefasst werden. Man betrachtet auf <math>\mathbb{T}^n</math> die riemannsche Metrik <math>g</math>, die durch die euklidische Metrik des Raums <math>\R^{2n}</math> auf dem {{#if:trim|<math>n</math>-Torus}} induziert wird. Diese Metrik <math>g</math> ist flach, das heißt, der {{#if:trim|<math>n</math>-Torus}} ist lokal isometrisch zu einer Umgebung des <math>\R^n</math>.<ref>John M. Lee: Introduction to Smooth Manifolds (= Graduate Texts in Mathematics 218.) Springer-Verlag, New York NY u. a. 2003, ISBN 0-387-95448-1, S. 289.</ref> Insbesondere ist daher seine Schnittkrümmung überall konstant null. Da der {{#if:trim|<math>n</math>-Torus}} kompakt und somit auch vollständig ist, ist er eine flache Mannigfaltigkeit. Man spricht daher auch von einem flachen {{#if:trim|<math>n</math>-Torus.}} Ein flacher {{#if:trim|2-Torus}} <math>\mathbb{T}^2 = \mathbb{S}^1 \times \mathbb{S}^1</math> kann nicht längentreu auf einen Rotationstorus im <math>\R^{3}</math> abgebildet werden, denn die Schnittkrümmung des Rotationstorus ist nicht überall null wie beim flachen {{#if:trim|2-Torus.}}

Es gibt neben der oben beschriebenen noch weitere flache Metriken auf dem Torus. Flache {{#if:trim|2-Tori}} können beschrieben werden durch ein Parallelogramm, dessen gegenüberliegende Seiten zusammengeklebt werden. Äquivalent dazu können flache Tori als topologische Faktorgruppen <math>\mathbb R^2/(\mathbb Z\cdot v+\mathbb Z\cdot w)</math> für zwei linear unabhängige Vektoren <math>v, w\in\mathbb R^2</math> beschrieben werden. Im Spezialfall <math>v=(1,0)</math> und <math>w=(0,1)</math> erhält man den Quotienten <math>\mathbb R^2/\mathbb Z^2\cong(\mathbb R/\mathbb Z)^2</math>.

Elliptische Kurven über den komplexen Zahlen lassen sich mittels der Weierstraßschen Parametrisierung als <math>\Complex/L</math> für ein Gitter <math>L\subset \Complex</math> darstellen und sind dadurch (mit einer translationsinvarianten Metrik) Beispiele für flache Tori. Der Modulraum der elliptischen Kurven oder äquivalent der flachen {{#if:trim|2-Tori}} ist die sogenannte Modulkurve.

Tori im dreidimensionalen Raum

Eine 2-mal differenzierbare Einbettung des Torus in den dreidimensionalen Raum kann nicht flach sein, weil die lokalen Extrema Punkte positiver Krümmung sein müssen. Nach dem Einbettungssatz von Nash gibt es jedoch fraktale (nur 1-mal differenzierbare) Einbettungen des flachen Torus in den dreidimensionalen Raum. Diese können auch numerisch konstruiert werden.<ref>V. Borrelli, S. Jabrane, F. Lazarus, B. Thibert: <templatestyles src="Webarchiv/styles.css" />{{#if:20120701000000

      | {{#ifeq: 20120701000000 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Flat tori in three-dimensional space and convex integration. | {{#invoke:WLink|getEscapedTitle|Flat tori in three-dimensional space and convex integration.}} | {{#invoke:Webarchiv|getdomain|http://math.univ-lyon1.fr/~borrelli/Hevea/PNAS_version_soumise.pdf}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20120701000000}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Flat tori in three-dimensional space and convex integration. | {{#invoke:WLink|getEscapedTitle|Flat tori in three-dimensional space and convex integration.}} | {{#invoke:Webarchiv|getdomain|http://math.univ-lyon1.fr/~borrelli/Hevea/PNAS_version_soumise.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20120701000000}} im Internet Archive{{#if: PDF | ; PDF }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Flat tori in three-dimensional space and convex integration. | {{#invoke:WLink|getEscapedTitle|Flat tori in three-dimensional space and convex integration.}} | {{#invoke:Webarchiv|getdomain|http://math.univ-lyon1.fr/~borrelli/Hevea/PNAS_version_soumise.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: PDF | ; PDF }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Flat tori in three-dimensional space and convex integration. | {{#invoke:WLink|getEscapedTitle|Flat tori in three-dimensional space and convex integration.}} | {{#invoke:Webarchiv|getdomain|http://math.univ-lyon1.fr/~borrelli/Hevea/PNAS_version_soumise.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: PDF | ; PDF }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Flat tori in three-dimensional space and convex integration. | {{#invoke:WLink|getEscapedTitle|Flat tori in three-dimensional space and convex integration.}} | {{#invoke:Webarchiv|getdomain|http://math.univ-lyon1.fr/~borrelli/Hevea/PNAS_version_soumise.pdf}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if: PDF | ; PDF }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Flat tori in three-dimensional space and convex integration. | {{#invoke:WLink|getEscapedTitle|Flat tori in three-dimensional space and convex integration.}} | {{#invoke:Webarchiv|getdomain|http://math.univ-lyon1.fr/~borrelli/Hevea/PNAS_version_soumise.pdf}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20120701000000|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://math.univ-lyon1.fr/~borrelli/Hevea/PNAS_version_soumise.pdf}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: Flat tori in three-dimensional space and convex integration.
    | {{#if: {{#invoke:WLink|isBracketedLink|Flat tori in three-dimensional space and convex integration.}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: PDF
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://math.univ-lyon1.fr/~borrelli/Hevea/PNAS_version_soumise.pdf%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://math.univ-lyon1.fr/~borrelli/Hevea/PNAS_version_soumise.pdf%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://math.univ-lyon1.fr/~borrelli/Hevea/PNAS_version_soumise.pdf }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }} In: Proc. Natl. Acad. Sci. USA, 2012, 109, no. 19, S. 7218–7223; abgerufen am 7. Juli 2022.</ref><ref>Mathématiques: première image d’un tore plat en 3D. CNRS, Pressemitteilung, 20. April 2012, abgerufen am 7. Juli 2022.</ref>

Ein Rotationstorus ist ein im <math>\R^3</math> eingebetteter 2-Torus, der als Menge der Punkte beschrieben werden kann, die von einer Kreislinie mit Radius <math>R</math> den festen Abstand <math>r</math> haben, wobei <math>r<R</math> ist.

Clifford-Tori

Ein Clifford-Torus ist ein spezieller in <math>S^3\subset \R^4</math> eingebetteter Torus. Nach der Identifizierung <math>\R^4 = \Complex^2</math> und <math>S^3 = \left\{(z,w)\in\Complex^2\colon |z|^2+|w|^2=1\right\}</math> lässt sich der Standard-Cliffordtorus beschreiben als

<math>T := \left\{(z,w)\in\Complex^2\colon |z| = |w| =\frac{1}{\sqrt{2}}\right\}\subset S^3</math>.

Weiters werden die Bilder von <math>T</math> unter Isometrien der Standard-Metrik <math>A\in O(3) = \operatorname{Isom}(S^3)</math> als Clifford-Tori bezeichnet.

Mittels stereographischer Projektion kann man Clifford-Tori auch als in den <math>\R^3</math> eingebettete Tori auffassen.

Ein Clifford-Torus ist eine Minimalfläche bzgl. der Standardmetrik auf der <math>S^3</math>. Die von Brendle bewiesene Lawson-Vermutung besagt, dass jeder als Minimalfläche in die <math>S^3</math> eingebettete Torus ein Clifford-Torus ist.

Konstruktion aus einem Quadrat oder Würfel

Konstruktion zweidimensionaler Tori aus einem Quadrat oder Parallelogramm

Datei:TorusAsSquare.svg

Den Torus erhält man aus einem Quadrat durch Verkleben gegenüberliegender Seiten.

Datei:VIDITO-2 vierdimensionaler Torus.gif

Eigenschaften des 3-Torus

Im Gegensatz zur Oberfläche einer Kugel kann der Torus ohne Singularitäten auf einer ebenen, rechteckigen Fläche abgebildet werden.

Dabei wird die rechte Kante des Rechtecks oder Quadrats mit seiner linken Kante verheftet und seine untere Kante wird mit seiner oberen Kante verheftet. Diese Konstruktion funktioniert auch mit einem beliebigen Parallelogramm. Diese Topologie besitzen auch viele Computerspiele, zum Beispiel Asteroids oder Pac-Man: Verlässt ein Spielobjekt auf einer Seite das Spielfeld, so taucht es auf der gegenüberliegenden Seite wieder auf.

Konstruktion höherdimensionaler Tori aus einem Würfel oder Parallelepiped

Beim dreidimensionalen Torus oder 3-Torus handelt es sich um einen Quader oder Würfel, dessen sechs gegenüberliegende Flächen paarweise miteinander verheftet sind.

Beim vierdimensionalen Torus oder 4-Torus handelt es sich um einen Tesserakt, dessen acht gegenüberliegende Würfel paarweise miteinander verheftet sind.

Allgemein ist der <math>n</math>-dimensionale Torus ein <math>n</math>-dimensionaler Würfel <math>[0,1]^n</math>, dessen gegenüberliegende <math>(n-1)</math>-Hyperwürfel paarweise miteinander identifiziert sind. Man kann ihn auch als <math>\mathbb R^n/\mathbb Z^n</math> darstellen.

Auch hier kann man statt eines <math>n</math>-dimensionalen Würfels ein beliebiges <math>n</math>-dimensionales Parallelepiped verwenden, um durch Identifizieren der Seiten einen <math>n</math>-dimensionalen Torus zu konstruieren.

Datei:WUERFEL6 Verheftungen des Tesseraktes zum 4-Torus.png

Sieben-Farben-Satz

{{#if: |

{{{Kopfzeile}}}

}}{{#ifeq: | vertical

|

[[Datei:{{#if: Projection color torus.png

                       | Projection color torus.png
                       | Vorlage:Platzhalterbild/file

}}|{{#if: | {{{Breite}}} | 150 }}px{{#if: | |alt={{{Alt1}}} }}{{#if: | |class={{{Class1}}} }}{{#if: | |{{{Beschreibung1}}} }}]]

{{#if: Vorlage:Mehrere Bilder/Align |

Die Oberfläche eines Torus kann so in 7 Gebiete aufgeteilt werden, dass sich jeweils zwei Gebiete berühren. Um diese Landkarte so einzufärben, dass keine zwei angrenzenden Gebiete dieselbe Farbe bekommen, sind daher 7 Farben nötig.

}}

[[Datei:{{#if: Torus 7color animated.gif

                       | Torus 7color animated.gif
                       | Vorlage:Platzhalterbild/file

}}|{{#if: | {{{Breite}}} | 150 }}px{{#if: | |alt={{{Alt2}}} }}{{#if: | |class={{{Class2}}} }}{{#if: | |{{{Beschreibung2}}} }}]]

{{#if: Vorlage:Mehrere Bilder/Align |

Animation eines Torus. Die Oberfläche ist in 7 Gebiete mit verschiedenen Farben aufgeteilt.

}}

{{#if: |

[[Datei:{{{Bild3}}}|{{#if: | {{{Breite}}} | 150 }}px{{#if: | |alt={{{Alt3}}} }}{{#if: | |class={{{Class3}}} }}{{#if: | |{{{Beschreibung3}}} }}]]

{{#if: Vorlage:Mehrere Bilder/Align |

{{{Untertitel3}}}

}}

      }}{{#if:

|

[[Datei:{{{Bild4}}}|{{#if: | {{{Breite}}} | 150 }}px{{#if: | |alt={{{Alt4}}} }}{{#if: | |class={{{Class4}}} }}{{#if: | |{{{Beschreibung4}}} }}]]

{{#if: Vorlage:Mehrere Bilder/Align |

{{{Untertitel4}}}

}}

      }}{{#if:

|

[[Datei:{{{Bild5}}}|{{#if: | {{{Breite}}} | 150 }}px{{#if: | |alt={{{Alt5}}} }}{{#if: | |class={{{Class5}}} }}{{#if: | |{{{Beschreibung5}}} }}]]

{{#if: Vorlage:Mehrere Bilder/Align |

{{{Untertitel5}}}

}}

}}

|

[[Datei:{{#if: Projection color torus.png

                     | Projection color torus.png
                     | Vorlage:Platzhalterbild/file

}}|{{#if: | {{{Breite}}} | {{#if: 480 | 480 | 150 }} }}px{{#if: | |alt={{{Alt1}}} }}{{#if: | |class={{{Class1}}} }}{{#if: | |{{{Beschreibung1}}} }}]]

{{#if:

                 |
                 | {{#if: Vorlage:Mehrere Bilder/Align

|

Die Oberfläche eines Torus kann so in 7 Gebiete aufgeteilt werden, dass sich jeweils zwei Gebiete berühren. Um diese Landkarte so einzufärben, dass keine zwei angrenzenden Gebiete dieselbe Farbe bekommen, sind daher 7 Farben nötig.

}}

}}

[[Datei:{{#if: Torus 7color animated.gif

                      | Torus 7color animated.gif
                      | Vorlage:Platzhalterbild/file

}}|{{#if: | {{{Breite}}} | {{#if: | | 150 }} }}px{{#if: | |alt={{{Alt2}}} }}{{#if: | |class={{{Class2}}} }}{{#if: | |{{{Beschreibung2}}} }}]]

{{#if:

                 |
                 | {{#if: Vorlage:Mehrere Bilder/Align

|

Animation eines Torus. Die Oberfläche ist in 7 Gebiete mit verschiedenen Farben aufgeteilt.

}}

}}

{{#if: |

[[Datei:{{{Bild3}}}|{{#if: | {{{Breite}}} | {{#if: | {{{Breite3}}} | 150 }} }}px{{#if: | |alt={{{Alt3}}} }}{{#if: | |class={{{Class3}}} }}{{#if: | |{{{Beschreibung3}}} }}]]

{{#if:

                     |
                     | {{#if: Vorlage:Mehrere Bilder/Align

|

{{{Untertitel3}}}

}}

}}

      }}{{#if:

|

[[Datei:{{{Bild4}}}|{{#if: | {{{Breite}}} | {{#if: | {{{Breite4}}} | 150 }} }}px{{#if: | |alt={{{Alt4}}} }}{{#if: | |class={{{Class4}}} }}{{#if: | |{{{Beschreibung4}}} }}]]

{{#if:

                     |
                     | {{#if: Vorlage:Mehrere Bilder/Align

|

{{{Untertitel4}}}

}}

}}

      }}{{#if:

|

[[Datei:{{{Bild5}}}|{{#if: | {{{Breite}}} | {{#if: | {{{Breite5}}} | 150 }} }}px{{#if: | |alt={{{Alt5}}} }}{{#if: | |class={{{Class5}}} }}{{#if: | |{{{Beschreibung5}}} }}]]

{{#if:

                     |
                     | {{#if: Vorlage:Mehrere Bilder/Align

|

{{{Untertitel5}}}

}}

}}

}}

{{#ifeq: | vertical

 |
 | {{#if:

|

Vorlage:Mehrere Bilder/Align

{{#if: |

Vorlage:Mehrere Bilder/Align

       }}{{#if:

|

Vorlage:Mehrere Bilder/Align

       }}{{#if:

|

Vorlage:Mehrere Bilder/Align

       }}
   }}

}}

{{#if:

|

{{{Fußzeile}}}

}}

{{#if: {{#invoke:Expr|TemplateBooland}}

    |
    | {{#ifeq: 0 | 0
        | 
      }}
  }}

Der Sieben-Farben-Satz für den Torus besagt, dass 7 Farben immer ausreichen, eine beliebige Landkarte auf der Oberfläche eines Torus so einzufärben, dass keine zwei angrenzenden Länder die gleiche Farbe bekommen.

Das bedeutet, dass jeder Graph, der in den Torus eingebettet werden kann, eine chromatische Zahl von höchstens 7 hat (siehe Knotenfärbung). Weil der vollständige Graph <math>K_7</math> in den Torus eingebettet werden kann, ist die chromatische Zahl gleich 7.<ref>{{#if: | {{{author}}} | Eric W. Weisstein }}: Torus Coloring. In: MathWorld (englisch). {{#if: TorusColoring | {{#ifeq: {{#property:P2812}} | TorusColoring | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}</ref><ref>Chelsey Poettker: Topology and the Four Color Theorem. (PDF; 400 kB) Southern Illinois University Edwardsville, 4. Mai 2010; abgerufen am 7. Juli 2022.</ref>

In der Ebene oder auf einer Kugeloberfläche reichen weniger Farben. Der Vier-Farben-Satz besagt, dass vier Farben immer ausreichen, eine beliebige Landkarte in der euklidischen Ebene so einzufärben, dass keine zwei angrenzenden Länder die gleiche Farbe bekommen.<ref>{{#if: | {{{author}}} | Eric W. Weisstein }}: Four-Color Theorem. In: MathWorld (englisch). {{#if: Four-ColorTheorem | {{#ifeq: {{#property:P2812}} | Four-ColorTheorem | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}</ref><ref>Neil Robertson, Daniel P. Sanders, Paul Seymour, Robin Thomas: The Four Color Theorem. Georgia Institute of Technology, 13. November 1995; abgerufen am 7. Juli 2022.</ref>

Algebraischer Torus

In der Theorie algebraischer Gruppen wird Torus in einem anderen Sinn verwendet. Dort ist damit eine Gruppe gemeint, die isomorph zu einem endlichen Produkt von Kopien der multiplikativen Gruppe eines Körpers ist. Zur Abgrenzung spricht man dann von einem algebraischen Torus im Gegensatz zu einem topologischen Torus.

So ist zum Beispiel in der torischen Geometrie, dem Studium torischer Varietäten, ein Torus üblicherweise ein algebraischer Torus.<ref>Oda: Lectures on Torus Embeddings and Applications. 1978, 1.1 Algebraic tori.</ref>

Anwendungsbeispiele

Datei:01 Rotationstorus-grün.gif

Horntorus, z. B. eine Figur der Würfelverdoppelung, zur Verdeutlichung ist der Horntorus dargestellt als eine Aneinanderreihung gleicher Kreise, Animation mit 15 s Pause.

Ein Rettungsring mit dem Außendurchmesser 76 Zentimeter und dem Innendurchmesser 44 Zentimeter hat die Form eines Torus. Er hat also den festen Abstand <math>r = (76 \ \mathrm{cm} - 44 \ \mathrm{cm}) / 4 = 8 \ \mathrm{cm}</math> von einer Kreislinie mit dem Radius <math>R = (76 \ \mathrm{cm} + 44 \ \mathrm{cm}) / 4 = 30 \ \mathrm{cm}</math>.

Daraus ergeben sich das Volumen und die Oberfläche:

Volumen: <math>V = 2 \cdot \pi^2 \cdot r^2 \cdot R = 2 \cdot \pi^2 \cdot (8 \ \mathrm{cm})^2 \cdot 30 \ \mathrm{cm} \approx 37899 \ \mathrm{cm^3} = 37{,}899 \ \mathrm{dm^3} = 0{,}037899 \ \mathrm{m^3}</math>

Oberfläche: <math>A_O = 4 \cdot \pi^2 \cdot r \cdot R = 4 \cdot \pi^2 \cdot 8 \ \mathrm{cm} \cdot 30 \ \mathrm{cm} \approx 9475 \ \mathrm{cm^2} = 94{,}75 \ \mathrm{dm^2} = 0{,}9475 \ \mathrm{m^2} </math>

Horntorus:<ref>{{#if: | {{{author}}} | Eric W. Weisstein }}: Horn Torus. In: MathWorld (englisch). {{#if: HornTorus | {{#ifeq: {{#property:P2812}} | HornTorus | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}</ref> Für die Würfelverdoppelung fand Archytas von Tarent eine nach ihm benannte Kurve. Dazu verwendete er neben einem halben Zylinder und einem Kegelausschnitt auch einen Horntorus. Darin ist der Abstand <math>R</math> des Kreismittelpunkts von der Achse (siehe Abschnitt Torus als Rotationsfläche) gleich dem Radius <math>r</math> des ursprünglichen Kreises.

Siehe auch

Literatur

Marcel Berger: Geometry I. Translated from the 1977 French original by M. Cole and S. Levy. Universitext. Springer-Verlag, Berlin 2009, ISBN 978-3-540-11658-5.
Anatole Katok, Vaughn Climenhaga: Lectures on surfaces. (Almost) everything you wanted to know about them. Student Mathematical Library, 46. American Mathematical Society, Providence RI / Mathematics Advanced Study Semesters, University Park PA 2008, ISBN 978-0-8218-4679-7.

Weblinks

[[wikt:{{#if:|{{{lang}}}:}}{{#if:Torus|Torus|{{#invoke:WLink|getArticleBase}}}}|Wiktionary: {{#if:|{{{2}}}|{{#if:Torus|Torus|{{#invoke:WLink|getArticleBase}}}}}}]]{{#switch: 1

|1|= – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen |0|-= |X|x= |#default= –

}}{{#if:| {{#ifeq: {{{lang}}} | de | {{#ifeq: 0 | 0 | }} | ({{#invoke:Multilingual|format|{{{lang}}}|slang=!|shift=m}}) }}}}

{{#invoke:TemplatePar|check

  |opt= 1= 2= lang= suffix=
  |template=Vorlage:Wiktionary
  |cat=Wikipedia:Vorlagenfehler/Schwesterprojekt
  }}

[{{canonicalurl:Commons:{{#if:Torus|Torus|{{#invoke:WLink|getArticleBase}}}}|uselang=de}} Commons: {{#if:|{{{2}}}|{{#if:Torus|Torus|{{#invoke:WLink|getArticleBase}}}}}}]{{#switch:1

|0|-= |X|x= |1|= – {{#ifeq:0|14|Sammlung von|Album mit}} Bildern{{#if:

    | {{#switch: {{#invoke:TemplUtl|faculty|{{#if:|{{{video}}}|1}}}}/{{#invoke:TemplUtl|faculty|{{#if:|{{{audio}}}|1}}}}
        |1/=  und Videos
        |1/1=, Videos und Audiodateien
        |/1=  und Audiodateien}}
    | , Videos und Audiodateien
  }}

|#default= – {{{suffix}}} }}{{#invoke:TemplatePar|check

  |opt= 1= 2= suffix= audio= video=
  |template=Vorlage:Commons
  |cat=Wikipedia:Vorlagenfehler/Schwesterprojekt

}}

{{#if: | {{{author}}} | Eric W. Weisstein }}: Torus. In: MathWorld (englisch). {{#if: Torus | {{#ifeq: {{#property:P2812}} | Torus | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}
Torus. Mathcurve.
Torus. Mathematische Basteleien.

Einzelnachweise