Einheitskugel

Einheitskugel (rot) und -sphäre (blau) für die euklidische Norm in zwei Dimensionen

Unter der Einheitskugel versteht man in der Mathematik die Kugel mit Radius eins um den Nullpunkt eines normierten Vektorraums. Dabei wird ein verallgemeinerter Begriff des Abstands zugrunde gelegt, so dass je nach Zusammenhang die Einheitskugel keine Ähnlichkeit mehr mit einer herkömmlichen Kugel haben muss. Diese Einheitssphäre ist der Rand der Einheitskugel, im zweidimensionalen reellen Vektorraum mit der euklidischen Norm ist dies der Einheitskreis.

Allgemeine Definition

Es sei $(X,\|{\cdot }\|)$ ein normierter Vektorraum. Dann nennt man die Menge der Punkte, deren Abstand vom Nullpunkt kleiner als eins ist, die offene Einheitskugel in $X$:

$B_{X}:=\{x\in X:\|x\|<1\}.$

Entsprechend bezeichnet

${\overline {B_{X}}}:=\{x\in X:\|x\|\leq 1\}$

die abgeschlossene Einheitskugel in $X$ sowie

$\partial B_{X}:=\{x\in X:\|x\|=1\}$

die Einheitssphäre in $X$.

Mittels Translation und Skalierung lassen sich in einem Raum beliebige Kugeln in die Einheitskugel überführen. Deshalb reicht es oft aus, bestimmte Aussagen nur für die Einheitskugel nachzuweisen, um die Gültigkeit für beliebige Kugeln zu folgern.

Einheitskugel in endlichdimensionalen Räumen

Einheitssphären im $\mathbb {R} ^{2}$

Im Falle des euklidischen Raumes $\mathbb {R} ^{n}$ definiert man die abgeschlossene Einheitskugel bezüglich der euklidischen Norm $\|x\|_{2}={\sqrt {x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}}}$ mittels ${\overline {B_{\mathbb {R} ^{n}}}}:=\{x\in \mathbb {R} ^{n}:\|x\|_{2}\leq 1\}.$

Einheitskugeln können alternativ im $\mathbb {R} ^{n}$ bezüglich anderer Normen definiert werden, beispielsweise der Summennorm (1-Norm) $\|x\|_{1}=|x_{1}|+|x_{2}|+\cdots +|x_{n}|$ oder der Maximumsnorm $\|x\|_{\infty }=\max\{|x_{1}|,|x_{2}|,\dots ,|x_{n}|\}$. Die geometrische Gestalt der Einheitskugel hängt von der gewählten Norm ab und ist nur mit der euklidischen Norm tatsächlich kugelförmig.

Volumen und Oberfläche

Das Volumen einer $n$-dimensionalen, euklidischen Einheitskugel ist

$V_{n}={\frac {2\pi ^{n/2}}{n\Gamma ({\frac {n}{2}})}}={\frac {\pi ^{n/2}}{\Gamma ({\frac {n}{2}}+1)}}$

Hierbei ist $\Gamma$ die Gammafunktion, eine analytische Fortsetzung der (verschobenen) Fakultät auf die reellen Zahlen. Für gerades $n$ vereinfacht sich die Formel zu $V_{n}={\tfrac {\pi ^{n/2}}{(n/2)!}}$. Die Oberfläche beträgt

$A_{n}=nV_{n}={\frac {n\pi ^{n/2}}{\Gamma (1+n/2)}}={\frac {2\pi ^{n/2}}{\Gamma (n/2)}}$

Es gelten folgende Rekursionen:

$V_{n}={\frac {2\pi }{n}}V_{n-2}$ für $n>1$.

$A_{n}={\frac {2\pi }{n-2}}A_{n-2}$ für $n>2$.

Bemerkenswert ist in diesem Zusammenhang, dass das Volumen der Einheitskugel in Abhängigkeit von der Raumdimension $n$ bis $n=5$ zunächst zunimmt, um dann wieder abzufallen – und sogar für $n\to \infty$ gegen 0 zu gehen. Die Oberfläche nimmt von der Raumdimension $n$ bis $n=7$ zunächst zu, und geht für $n\to \infty$ gegen 0.

Volumen und Oberfläche der Einheitskugel
Dimension	Volumen		Oberfläche
0	1	1	0	0
1	2	2	2	2
2	$\pi$	3,141	$2\pi$	6,283
3	${\frac {4}{3}}\pi$	4,189	$4\pi$	12,57
4	${\frac {1}{2}}\pi ^{2}$	4,935	$2\pi ^{2}$	19,74
5	${\frac {8}{15}}\pi ^{2}$	5,264	${\frac {8}{3}}\pi ^{2}$	26,32
6	${\frac {1}{6}}\pi ^{3}$	5,168	$\pi ^{3}$	31,01
7	${\frac {16}{105}}\pi ^{3}$	4,725	${\frac {16}{15}}\pi ^{3}$	33,07
8	${\frac {1}{24}}\pi ^{4}$	4,059	${\frac {1}{3}}\pi ^{4}$	32,47
9	${\frac {32}{945}}\pi ^{4}$	3,299	${\frac {32}{105}}\pi ^{4}$	29,69
10	Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{1}{120}\pi^5}	2,550	Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{1}{12}\pi^5}	25,50
12	Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{1}{720}\pi^6}	1,335	Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{1}{60}\pi^6}	16,02
20	Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{1}{3628800}\pi^{10}}	0,0258	Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{1}{181440}\pi^{10}}	0,516
25	Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{8192}{7905853580625}\pi^{12}}	0,000958	Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{8192}{316234143225}\pi^{12}}	0,0239

Die Einheitskugel bezüglich der Summennorm ist geometrisch ein Kreuzpolytop, ihr Volumen beträgt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tfrac{2^n}{n!}} .

Die Einheitskugel bezüglich der Maximumsnorm ist ein Hyperwürfel mit Kantenlänge 2, hat also das Volumen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2^n} .

Bemerkungen

• Die Einheitssphäre bildet den Rand der Einheitskugel. Entsprechend ist im zweidimensionalen die Einheitskugel nicht der Kreis, sondern die Kreisscheibe.

• Allgemeiner kann eine Einheitskugel in jedem metrischen Raum definiert werden. Zu beachten ist, dass dort nicht von vornherein ein Punkt als Nullpunkt ausgezeichnet sein muss und man deswegen nur bedingt von der Einheitskugel eines metrischen Raumes sprechen kann. Weiterhin sind gerade bei Metriken, die nicht norminduziert sind, die Einheitskugeln noch weiter von der Anschauung entfernt. Speziell gilt in einem Vektorraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} mit der diskreten Metrik: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B_X= \{0\}} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{B_X}= X} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \partial B_X= X \backslash \{0\} . }

• Bei der Betrachtung von Umgebungen wird die Einheitskugel auch als 1-Kugel oder 1-Ball bezeichnet.

Eigenschaften

• Die abgeschlossene Einheitskugel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{B_X}} ist konvex. (Die Konvexität folgt aus der Dreiecksungleichung.)
• Sie ist punktsymmetrisch zum Ursprung 0: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x\in \overline{B_X}\implies -x\in\overline{B_X}} .
• Umgekehrt wird in einem endlichdimensionalen Vektorraum durch jede abgeschlossene konvexe Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B} , die punktsymmetrisch zum Ursprung liegt und den Ursprung im Inneren enthält, eine Norm definiert, die diese Menge als Einheitskugel hat: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lVert x \rVert_B = \min\{\,t>0: \tfrac xt\in B \,\}} , für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x\ne0} (siehe Minkowski-Funktional).
• Die abgeschlossene Einheitskugel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{B_X}} ist genau dann kompakt, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} endlichdimensional ist.
• Die abgeschlossene Einheitskugel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{B_X}} ist genau dann schwach kompakt, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} reflexiv ist.
• Die abgeschlossene Einheitskugel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{B_{X^\prime}}} im topologischen Dualraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X^\prime} von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ist immer schwach-*-kompakt (Satz von Banach-Alaoglu).

Anwendungen in den Naturwissenschaften

In vielfältiger Art wird die Einheitskugel in den Geowissenschaften angewandt, insbesondere für Berechnungen auf der Erdkugel. Sie erfolgen mit sogenannten Kugeldreiecken und den Formeln der Sphärischen Trigonometrie, wenn eine Genauigkeit von etwa 0,1 % genügt, zum Beispiel bei der Geografie und Kartografie, Globenberechnungen und Navigation. Die wahren Distanzen erhält man aus den Kugelbögen durch Multiplikation mit dem Erdradius.

Für höhere Genauigkeit – vor allem in der Geodäsie – ist statt der Erdkugel das Erdellipsoid zu verwenden. Mit der Methode der Verebnung sind aber Dreiecksberechnungen auch sphärisch möglich.

Geologen verwenden für Richtungsanalysen von Gesteinsschichten oder Klüften eine Einheitskugel, die sie Lagenkugel nennen. In sie werden die Normalenvektoren der jeweiligen Ebenen eingetragen und danach in flächentreuer Azimutalprojektion dargestellt.

Auch astronomische Berechnungen werden seit jeher auf der Einheitskugel um den Beobachter durchgeführt. Sie entspricht dem freiäugigen Anblick des Himmelsgewölbes und wird Himmelskugel genannt, auf der die sphärische Astronomie eigene Koordinatensysteme für Winkelmessungen und Sternörter definiert hat. Ob der Kugelradius mit 1 oder mit ∞ angenommen wird, ist dabei ohne Belang.

Literatur

• Dirk Werner: Funktionalanalysis. 6., korrigierte Auflage. Springer-Verlag, Berlin 2007, ISBN 978-3-540-72533-6.
• Ivan I. Mueller: Spherical Astronomy as applied to Geodesy. Frederic Ungar Publ., New York 1969.