Sphäre (Mathematik)
Unter einer Sphäre versteht man in der Mathematik die Oberfläche einer Kugel und die Verallgemeinerung davon auf beliebig hohe Dimensionen. Von erheblicher Bedeutung für viele Untersuchungen ist hierbei die Einheitssphäre, also die Oberfläche der Einheitskugel im n-dimensionalen euklidischen Raum. Allgemeiner wird, insbesondere in Topologie und Differentialgeometrie, auch jeder zur Kugeloberfläche homöomorphe topologische Raum als Sphäre bezeichnet, siehe Topologische Sphäre.
Definition
Einheitssphäre
Die Einheitssphäre 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 S^{n-1}} ist die Menge der Punkte im 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 n} -dimensionalen euklidischen Raum 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 \R^n} mit Abstand eins vom Ursprung. Sie ist definiert als
- 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 S^{n-1} := \{ x\in \R^n \colon \| x \|_2 = 1 \}} ,
wobei 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 \|\cdot\|_2} die euklidische Norm ist. Die Einheitssphäre 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 S^{n-1}} kann als Rand der 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 B^n} aufgefasst werden und wird daher auch mit 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^n} bezeichnet.
Allgemeine Sphären
Ist nun ein beliebiger Punkt im 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 n} -dimensionalen Raum, dann ist die 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 (n-1)} -Sphäre 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 S_r^{n-1}(z)} mit Radius 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 r} um diesen Punkt definiert durch
- .
Jede Sphäre 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 S_r^{n-1}(z)} entsteht aus der zugehörigen Einheitssphäre 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 S^{n-1}} durch Skalierung mit dem Faktor 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 r} und Translation um den Vektor .
Beispiele
Der abgeschlossenen n-dimensionalen Einheitskugel des 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 \R^n} lässt sich jeweils eine (n-1)-dimensionale Sphäre als Randmannigfaltigkeit zuordnen:
- Die 1-Kugel 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^1} ist das Intervall [−1,1]. Dementsprechend besteht die 0-Sphäre 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 S^0} nur aus den beiden Punkten +1 und −1. Sie ist als einzige Sphäre nicht zusammenhängend.
- Die 2-Kugel 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^2} ist die Kreisscheibe mit Radius 1 in der Ebene. Die 1-Sphäre ist die Einheitskreislinie, also der Rand des Einheitskreises. Die Einheitskreislinie ist zusammenhängend, aber nicht einfach zusammenhängend. Sie lässt sich durch komplexe Zahlen vom Betrag 1 beschreiben und erhält durch deren Multiplikation eine Gruppenstruktur, die Kreisgruppe.
- Die 3-Kugel 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^3} ist die Vollkugel im dreidimensionalen Raum. Die 2-Sphäre 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 S^2} ist die Oberfläche der Einheitskugel. Sie ist einfach zusammenhängend – wie alle höherdimensionalen Sphären. Sie wird durch Kugelkoordinaten beschrieben.
- Die 3-Sphäre ist nicht mehr anschaulich vorstellbar. Sie ist eine 3-dimensionale Untermannigfaltigkeit im 4-dimensionalen Raum . Die 3-Sphäre lässt sich als Menge der Quaternionen vom Betrag 1 auffassen und erhält durch deren Multiplikation eine Gruppenstruktur, welche gerade entspricht.
Inhalt und Volumen
Der Flächeninhalt beziehungsweise das Volumen einer beliebigen (n−1)-Sphäre vom Radius im euklidischen Raum lässt sich mit der Formel
berechnen, wobei das Volumen der -dimensionalen Einheitskugel 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 \Gamma} die Gammafunktion bezeichnen.
Die Sphäre in der Topologie und Geometrie
In der Mathematik, insbesondere in Differentialgeometrie und Topologie, wird der Begriff Sphäre in der Regel mit einer anderen (allgemeineren) Bedeutung verwendet: die n-dimensionale Sphäre ist die n-dimensionale topologische Mannigfaltigkeit, die homöomorph zur Einheitssphäre im ist.
Eine wie oben definierte Sphäre 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 S_r^{n-1}(z) := \{ x\in \R^n \colon \| x - z \|_2 = r \}} mit der von der euklidischen Metrik des 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 \R^n} induzierten riemannschen Metrik wird in der Differentialgeometrie als runde Sphäre bezeichnet.
Verallgemeinerungen
Sphären in normierten Räumen
Allgemeiner lässt sich der Begriff der Sphäre in normierten Räumen fassen. Ist 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 V} ein Vektorraum über den reellen oder komplexen Zahlen mit zugehöriger Norm 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 \| \cdot \|} , dann ist die Normsphäre 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 S_r(v)} um den Vektor 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 v \in V} mit Radius 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 r} definiert als die Menge[1]
- .
Die so entstehenden Sphären sind zwar punktsymmetrisch bezüglich 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 v} , aber nicht mehr notwendigerweise rund (wie im Fall der euklidischen Norm), sondern können beispielsweise auch Ecken und Kanten besitzen (wie im Fall der Maximumsnorm und der Summennorm). Ist 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 v = 0} der Nullvektor und der Radius , so spricht man wieder von einer Einheitssphäre. Alle Normsphären entstehen aus der zugehörigen Einheitssphäre durch Skalierung mit dem Faktor und Translation um den Vektor . Die Einheitssphäre ist wiederum der Rand der zugehörigen Einheitskugel.
Sphären in metrischen Räumen
Noch weiter lassen sich Sphären in metrischen Räumen fassen. Ist 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} eine beliebige Menge mit einer Metrik , dann ist die metrische Sphäre 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 S_r(x)} um den Punkt 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 X} mit Radius 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 r} definiert als die Menge[2]
- 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 S_r(x) := \{ y \in X \colon d(x,y) = r \}} .
Im Gegensatz zu Sphären in normierten Räumen sind metrische Sphären im Allgemeinen nicht translationsinvariant und dementsprechend hat die metrische Einheitssphäre keine besondere Bedeutung mehr. In bestimmten metrischen Räumen kann die Einheitssphäre sogar leer sein. Weiterhin kann eine metrische Sphäre im Allgemeinen nicht mehr als der Rand der zugehörigen metrischen Kugel angesehen werden.
Literatur
- I. S. Sharadze: Sphere. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 978-1-55608-010-4 (englisch, online).