Differentialformen ed

...sind toll!

Der Raum sei eine differenzierbare Mannigfaltigkeit \( M \) . Alle weiteren Definitionen (Koordinaten, Basen, Felder,...) siehe Riemannsche Geometrie. Wer es einfacher mag, kann sich auch einen \( \mathbb{R}^n \) hernehmen.

Table of Contents

äußere (Grassmann) Algebra ed

...zuerst die Theorie an einem Punkt, also in einem Tangential-(Vektor)-Raum.

äußeres Produkt ed

Definition
Man nehme einen Vektorraum \( V \) mit Basis \( \{ e_i \} \) und Dimension n. Hierauf lässt sich rein abstrakt ein äußeres Produkt ( \( x \wedge y \) ) definieren durch ( \( x, y, v_i \in V \) ):
assoziativ, bilinear
\( x \wedge x = 0 \) (antisymmetrisch) (die anderen beiden sind Folgen hieraus)
\( x \wedge y = - y \wedge x \)
\( v_1 \wedge \cdots \wedge v_k = 0 \) , falls die \( v_i \) nicht linear unabhängig sind

Räume von Produkten
Der Raum, der von Produkten zweier Vektoren aufgespannt wird, ist \( \bigwedge^2(V) := \langle x \wedge y | x,y \in V \rangle \) , der Raum der Produkte k vieler Vektoren ist \( \bigwedge^k(V) \) . Es gilt \( \dim \bigwedge^k(V) = { n \choose k } \) und somit \( \bigwedge^k(V) = \emptyset, \mathrm{falls} \ k\gt n \) , denn es gibt höchstens n linear unabhängige Vektoren. Man definiert noch \( \bigwedge^1(V) := V, \bigwedge^0(V) := \mathbb R \) .

Als äußere Algebra oder Grassmann-Algebra wird nun die direkte Summe der äußeren Produkträume bezeichnet:

\( \bigwedge(V) := \oplus_{k=0}^n \bigwedge^k(V) \)

Anmerkung
Ähnlich den Tensorprodukten lassen sich schon in \( \bigwedge^2(V) \) nicht mehr alle Elemente in das äußere Produkt zweier Vektoren zerlegen, im Allgemeinen sind hierzu schon Linearkombinationen nötig.

Basis ed

Die Basis jedes \( \bigwedge^k(V) \) wird gebildet von den äußeren Produkten k vieler Basisvektoren \( e_{i_1} \wedge \cdots \wedge e_{i_k} \) , wobei für die Indizes \( i_1 \lt \cdots \lt i_k \) gilt, da gleiche Indizes Null ergeben und unterschiedliche Indizes immer angeordnet werden (Antisymmetrie!).

Elemente \( a \in \bigwedge^2(V) \) können nun durch eine Komponentenmatrix ausgedrückt werden, die man der Einfachheit antisymmetrisch wählt, es gilt dann

\( a = \sum_{i\lt j}^n a^{ij} e_i \wedge e_j = \frac 12 \sum_{i,j=1}^n a^{ij} e_i \wedge e_j =: \frac 12 a^{ij} e_i \wedge e_j \)

Rang ed

(nicht so wichtig)

Die äußeren Produkträume \( \bigwedge^k(V) \) entsprechen den antisymmetrischen Tensoren der Stufe k. Ähnlich der Tensorstufe wird der Rang des äußeren Produktes als k definiert.

Ein Element der (gesammten) äußeren Algebra \( \bigwedge(V) \) kann in Linearkombinationen von Elementen der einzelnen Produkträumen zerlegt werden, der Rang ist dann der höchste Rang der Teil-Elemente.

alternierende Multilinearformen ed

Der Dualraum zu \( V \) sei

\( V^\star := \{ f : V \rightarrow \mathbb R | \mathrm{linear} \} \)
(also der Raum der Funktionen, die Vektoren linear auf reelle Zahlen abbilden). Man kann zeigen, dass
\( \dim V^\star = \dim V \) .

Analog definiert man nun auch auf dem Dualalraum das äußere Produkt \( \bigwedge(V^\star) \) .

Ist auf \( V \) eine Basis \( \{ e_i \} \) gegeben, so wird für den Dualraum die Dualbasis \( \{ \tilde e^i \} \) verwendet, für die gilt:

\( \tilde e^i ( e_j ) = \delta^i_j \) .

natürliches inneres Produkt ed

engl: interior product

Es existiert eine natürliche Abbildung, die einen Vektor und einen Dualvektor auf eine reelle Zahl abbildet, indem der Vektor einfach in den Dualvektor eingesetzt wird. Hierfür gilt:

\( f(v) = (f_i \tilde e^i)(v^j e\j) = f_i v^j \delta^j_i = f_i v^i \)

Entsprechend kann dieses Produkt auf die Räume der äußeren Produkte \( \bigwedge^k(V) \) und \( \bigwedge^k(V^\star) \) ausgeweitet werden:

\( (\alpha \in V^\star) \ \ i_\alpha : \bigwedge^k(V) \rightarrow \bigwedge^{k-1}(V) \)

Für ein \( \omega \in \bigwedge^k(V^\star) \) gilt

Hodge Dualität ed

ab hier veraltet!...

1-Formen ed

Grundlagen ed

Aus der Riemannschen Geometrie stammen folgende Objekte:

$  \lbrace \partial_i \rbrace  $  und  $  \lbrace dx^i \rbrace  $  seien die Basisfelder der Tangential- und Kotangentialräume  $  T_pM  $  und  $  T^\ast_pM  $ .

Eine 1-Form \( \omega \) kann (für jeden Punkt \( p \in M \) ) in Koordinaten zerlegt werden: \( \omega = \omega_i dx^i \) . Die Basiszerlegung wird dabei durch \( \omega ( \partial_i ) = ( \omega_k dx^k ) ( \partial_i ) = \omega_k dx^k ( \partial^i ) = \omega_i \delta^k_i = \omega_i \) vollzogen. Also insgesamt \( \omega = \omega ( \partial_i ) dx^i \) .

äußeres Produkt ed

Seien \( X , Y \in \mathfrak{X}(M) \) Vektorfelder.

Zwei Basis-1-Formen \( dx^i , dx^k \) wird durch das äußere Produkt eine 2-Form zugeordnet: \( dx^i \wedge dx^k \) mit \( ( dx^i \wedge dx^k ) ( X , Y ) = dx^i ( X ) \cdot dx^k ( Y ) - dx^k ( X ) \cdot dx^i ( Y ) = X^i Y^k - X^k Y^i \) . Also speziell \( ( dx^i \wedge dx^k ) ( \partial_m , \partial_p ) = \delta^i_m \cdot \delta^k_p - \delta^i_p \cdot \delta^k_m \) .

Diese 2-Form ist antisymmetrisch: \( dx^i \wedge dx^k = - dx^k \wedge dx^i \) .

Das äußere Produkt kann sich auf beliebige 1-Formen \( \omega , \theta \) verallgemeinern, da sich diese als Linearkombinationen von Basis-1-Formen schreiben lassen. Es gilt

$  ( \omega \wedge \theta ) ( X , Y ) = \omega ( X ) \cdot \theta ( Y ) - \omega ( Y ) \cdot \theta ( X ) =

 \det \left( \begin{array}{cc}
   \omega ( X ) & \omega ( Y ) \\
   \theta ( X ) & \theta ( Y ) \\
 \end{array} \right)
$ .

Durch die \( dx^i \wedge dx^k \) ist eine Basis der 2-Formen gegeben. Jede 2-Form \( \omega \) lässt sich darstellen als \( \omega = \sum_{ i \lt k } \omega_{ik} dx^i \wedge dx^k \) . Wegen der Antisymmetrie reicht es hier, über \( i \lt k \) zu summieren. Es gilt die Koordinatenentwicklung \( \omega_{ik} = \omega ( \partial_i , \partial_k ) \) .

Anmerkung: Statt der Summation über den halben Index-Bereich, kann auch ein Vorfaktor \( \tfrac 1 2 \) eingebaut werden. Wird beides unterlassen, treten Widersprüche aus (selbst nachrechnen!).

äußere Ableitung ed

In der Riemannschen Geometrie kann eine 0-Form (Skalarfeld) als eine Abbildung zwischen 2 Mannigfaltigkeiten \( f : M \rightarrow N = \mathbb{R} \) angesehen werden, weswegen das Differential \( df \) definiert ist und eine lineare Abbildung zwischen den Tangentialräumen definiert: \( df_p : T_pM \rightarrow T_{ f ( p ) }N \cong \mathbb{R} \) . Global ist das Differential einer 0-Form also eine Abbildung \( df : \mathfrak{X}(M) \rightarrow \mathfrak{F}(M) \) also ein 1-Form.

Für ein Vektorfeld \( X \) entspricht \( df ( X ) = X ( f ) \) der Richtungsableitung von f in Richtung \( X \) .

Die Basisentwicklung dieses Differentials lautet \( df = df ( \partial_i ) dx^i = \partial_i ( f ) dx^i = \frac{ \partial f }{ \partial x^i } dx^i \) , was an die Formel für das totale Differential erinnert.

allgemeine Differenzialformen ed

Anwendungen ed

Elektrodynamik ed

$  dF = 0, d(\ast F) = j  $  (^_^)

Categories: Mathematik, Physik