Reperbündel

In der Mathematik im Teilgebiet der Differentialgeometrie ist das Reperbündel beziehungsweise das Rahmenbündel ein Hauptfaserbündel, das einem Vektorbündel zugeordnet ist. Anschaulich erklärt entspricht das Reperbündel der Menge aller Basen des zugeordneten Vektorbündels. Die Elemente eines Reperbündels werden als Reper bzw. Rahmen bezeichnet. Von besonderem Interesse ist das Reperbündel, das dem Tangentialbündel einer glatten Mannigfaltigkeit zugeordnet wird.

Präziser ausgedrückt ist die Faser eines Reperbündels die Menge aller geordneten Basen. Somit operiert die allgemeine lineare Gruppe auf einem Reperbündel mittels Basiswechsel, wodurch das Reperbündel die Struktur eines $\mathrm{GL}(n)$-Hauptfaserbündels erhält.

Auf einem Prähilbertraum, also einem Vektorraum mit Skalarprodukt, ist der Begriff der Orthonormalbasis definiert. Entsprechend kann man einem Vektorbündel mit einer Fasermetrik ein orthonormales Reperbündel (bzw. Rahmenbündel) zuordnen, die Elemente des Raums heißen dann orthonormale Reper.

Definition

Es sei ${\pi }_{ℰ}:ℰ\to B$ ein Vektorbündel des Ranges $n$ über dem topologischen Raum $B$. Mit ${\pi }_{\mathrm{GL}(ℰ)}:\mathrm{GL}(ℰ)\to B$ wird im Folgenden das Vektorbündel bezeichnet, dessen Faser über dem Punkt $x\in B$ dem Raum aller invertierbaren linearen Abbildungen von ${ℝ}^n$ nach ${ℰ}_x$ entspricht. Das Vektorbündel $\mathrm{GL}(ℰ)$ ist ein Hauptfaserbündel bezüglich der allgemeinen linearen Gruppe $\mathrm{GL}(n)$ und der Gruppenaktion $(p\cdot g)(v):=p(g\cdot v)$ mit $p:{ℝ}^n\to {ℰ}_x$, $g\in \mathrm{GL}(n)$ und $v\in {ℝ}^n$. Außerdem ist $ℰ$ natürlich isomorph zu dem zu $\mathrm{GL}(ℰ)$ bezüglich der Gruppe $\mathrm{GL}(n)$ assoziierten Bündel. Das heißt also $ℰ\cong \mathrm{GL}(ℰ){\times }_{\mathrm{GL}(n)}{ℝ}^n$.

Das konstruierte Hauptfaserbündel ${\pi }_{\mathrm{GL}(ℰ)}:\mathrm{GL}(ℰ)\to B$ mit den zuvor genannten Eigenschaften wird Reperbündel genannt. Die Elemente eines Reperbündels werden als Reper bezeichnet.

Orthogonales Reperbündel

Sei nun ${\pi }_{ℰ}:ℰ\to B$ ein Vektorbündel mit einer Metrik, so dass die Fasern des Bündels ein Prähilbertraum sind. Dann können auch orthonormale Basen auf den Prähilberträumen betrachtet werden.

Ein orthonormales Reperbündel von $ℰ$ ist dann die Menge aller orthonormalen Vektorraumbasen über jedem Punkt $x$ des Basisraums $B$. Das orthonormale Reperbündel kann auch analog zu dem gewöhnlichen Reperbündel als zu dem zu $O(ℰ)$ bezüglich der orthogonalen Gruppe $O(n)$ assoziierten Bündel definiert werden. Es gilt also $ℰ\cong O(ℰ){\times }_{O(n)}{ℝ}^n$, wobei $O(ℰ)$ also das Vektorbündel ist, dessen Fasern die Menge alle geordneten orthonormalen Basen ist.

Somit ist auch das orthonormale Reperbündel ein Hauptfaserbündel mit der orthogonalen Gruppe $O(n)$ als Strukturgruppe.

Literatur

• Vorlage:Literatur