Volltorus

Volltorus

In der Mathematik ist ein Volltorus ein 3-dimensionales Gebilde mit genau einem Henkel. Es wird von einem Torus berandet.

Volltorus als Rotationskörper

Die Menge der Punkte, die von einer Kreislinie mit Radius $R$ den Abstand $a\le r$ für ein festes $r<R$ haben, ist ein Volltorus. Man erhält ihn also durch Rotation der Kreisfläche vom Radius $r$ um eine in der Kreisebene liegende und den Kreis nicht schneidende Rotationsachse, deren Abstand $R$ vom Kreismittelpunkt größer als der Radius der Kreisfläche ist.

Parametrisierung

Eine Parametrisierung des Volltorus ist

$\overrightarrow{X}(a,t,p)=\left(\begin{array}{c}x\\ y\\ z\end{array}\right)=R\cdot \left(\begin{array}{c}\cos (t)\\ \sin (t)\\ 0\end{array}\right)+a\cdot \left(\begin{array}{c}\cos (t)\cdot \cos (p)\\ \sin (t)\cdot \cos (p)\\ \sin (p)\end{array}\right)=\left(\begin{array}{c}(R+a\cdot \cos (p))\cos (t)\\ (R+a\cdot \cos (p))\sin (t)\\ a\cdot \sin (p)\end{array}\right)$

mit $0\le a\le r,0\le t\le 2\pi ,0\le p\le 2\pi$.

Volumen des Volltorus

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

$J_f=\frac{\partial (x,y,z)}{\partial (r,t,p)}=\left(\begin{array}{ccc}{\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{array}\right)=\left(\begin{array}{ccc}\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{array}\right)$

Daraus folgt:

$\det (J_f)=r\cdot (r\cos (p)+R)$

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

$V=\underset{V}{\int }\mathrm{d}V=\underset{\mathrm{\Gamma }}{\int }\det (J_f)\mathrm{d}\mathrm{\Gamma }=\underset{0}{\overset{2\pi }{\int }}\underset{0}{\overset{2\pi }{\int }}\underset{0}{\overset{r}{\int }}(Rr+r^2\cos (p))\mathrm{d}r\mathrm{d}p\mathrm{d}t=2{\pi }^2{r}^{2}R=\int A_O\mathrm{d}r$

Man erhält also für das Volumen des Volltorus $V=2{\pi }^2{r}^{2}R$.

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

Trägheitsmoment eines Volltorus

Das Trägheitsmoment eines Volltorus mit der Dichte $\rho$ bezüglich der $z$-Achse (Symmetrieachse) kann durch

$I=\rho \underset{T}{\int }(x^2+y^2){\mathrm{d}}^{3}x$

berechnet werden. Nun kann man die Transformation auf Toruskoordinaten durchführen. Dabei kommt zusätzlich die Jacobi-Determinante ins Integral.

$I=\rho \underset{t=0}{\overset{2\pi }{\int }}\underset{p=0}{\overset{2\pi }{\int }}\underset{r^{\prime }=0}{\overset{r}{\int }}|\det J_{\text{Torus}}|\cdot (R+r^{\prime }\cdot \cos (p){)}^2\mathrm{d}{r}^{\prime }\mathrm{d}p\mathrm{d}t=\rho \underset{t=0}{\overset{2\pi }{\int }}\underset{p=0}{\overset{2\pi }{\int }}\underset{r^{\prime }=0}{\overset{r}{\int }}{r}^{\prime }\cdot (R+r^{\prime }\cdot \cos (p){)}^3\mathrm{d}{r}^{\prime }\mathrm{d}p\mathrm{d}t$

Mit partiellem Integrieren und der Torusmasse $M$ erhält man:

$I=2{\pi }^2\cdot \rho \cdot R\cdot r^2(\frac{3}{4}\cdot r^2+R^2)$

$I=M\cdot (\frac{3}{4}\cdot r^2+R^2)$

Volltorus in der Topologie

Ein Volltorus ist ein Henkelkörper vom Geschlecht $g=1$. Der Rand des Volltorus ist ein Torus.

Topologisch ist ein Volltorus homöomorph zum Produkt $D^2\times S^1$ der Kreisscheibe mit der Kreislinie. Man kann den Volltorus als rotationssymmetrischen Volltorus in den ${ℝ}^3$ einbetten.

Seine topologischen Invarianten berechnen sich wie folgt:

${\pi }_1(S^1\times D^2)\cong {\pi }_1(S^1)\cong \mathbb{Z},$

$H_k(S^1\times D^2)\cong H_k(S^1)\cong \{\begin{array}{cc}\mathbb{Z}& \text{ falls }k=0,1\\ 0& \text{ sonst }\end{array}.$

Die 3-Sphäre, also der dreidimensionale Raum zusammen mit einem unendlich fernen Punkt, lässt sich als Vereinigung zweier Volltori darstellen, die sich lediglich in ihrer Oberfläche überlappen. Man erhält sie beispielsweise aus der Hopf-Faserung, indem man den Basisraum $S^2$ als Vereinigung von Nord- und Südhalbkugel auffasst; über beiden Hälften ist die Faserung trivial. Die Zerlegung der 3-Sphäre in zwei Volltori wird beispielsweise bei der Konstruktion der Reeb-Blätterung ausgenutzt.