Lexikon der Mathematik: Differentialform, komplexwertige
alternierende r-fache ℝ-lineare Abbildung ϕ : Tx0 × … × Tx0 → ℂ. Man bezeichnet die Differentialform dann auch exakter als r-dimensionale (komplexwertige) Differentialform.
Sei X eine n-dimensionale komplexe Mannigfaltigkeit. Die Menge aller k-mal differenzierbaren lokalen Funktionen (U, f) in x0 sei bezeichnet mit \({{\mathscr{D}}}_{{x}_{0}}^{k}\). Statt (U, f) schreibt man meist nur f. Ein (reeller) Tangentialvektor in x0 ist eine Abbildung \(D:{{\mathscr{D}}}_{{x}_{0}}^{k}\to {\mathbb{R}}\), für die gilt:
- D ist ℝ-linear,
- D (1) = 0,
- D (f · g) = 0, falls \(f\in {{\mathscr{D}}}_{{x}_{0}}^{1},g\in {{\mathscr{D}}}_{{x}_{0}}^{0}\) mit f (x0) = g(x0) = 0 ist.
Die Menge aller Tangentialvektoren in x0 wird mit Tx0 bezeichnet. Tx0 bildet einen reellen Vektorraum.
Die (vom gewählten Koordinatensystem abhängigen) partiellen Ableitungen
ergeben eine Basis von Tx0, also ist dimℝTx0 = 2n. Für komplexwertige lokale Funktionen f = g + ih in x0 und D ∈ Tx0 setzt man
D bleibt dann ℝ-linear. Unter einem komplexen Tangentialvektor in x0 versteht man eine ℂ-lineare Abbildung \(d:{{\mathscr{D}}}_{{x}_{0}}^{1}\to {\rm{{\mathbb{C}}}}\) mit den Derivationseigenschaften 2. und 3.. Die Menge aller komplexen Tangentialvektoren in x0 sei mit \({T}_{{x}_{0}}^{c}\) bezeichnet. Dann definiert man:
Die Elemente von \({T}_{{x}_{0}}^{^{\prime} }\) nennt man holomorphe Tangentialvektoren, \({T}_{{x}_{0}}^{^{\prime} }\) den holomorphen Tangential-raum, die Elemente von \({T}_{{x}_{0}}^{^{\prime\prime} }\) nennt man antiholomorphe Tangentialvektoren, \({T}_{{x}_{0}}^{^{\prime\prime} }\) den antiholomorphen Tangentialraum. Die partiellen Ableitungen
Man kann nun jedem Element \(D\in {T}_{{x}_{0}}\) komplexe Tangentialvektoren \({D}^{^{\prime} }\in {T}_{{x}_{0}}^{^{\prime} }\) und \({D}^{^{\prime\prime} }\in {T}_{{x}_{0}}^{^{\prime\prime} }\) zuordnen, so daß D = D′ + D″ ist: Ist
Offensichtlich ist D (f) = D′ (f) + D″ (f) für jedes \(f\in {{\mathscr{D}}}_{{x}_{0}}^{1}\). Man kann daher jeden reellen Tangential-vektor \(D\in {T}_{{x}_{0}}\) in der Form
schreiben. Ist c ∈ ℂ, so gilt
Eine r-dimensionale komplexwertige Differential-form in x0 ist eine alternierende ℝ-multilineare Abbildung
Die Menge aller r-dimensionalen komplexwertigen Differentialformen in x0 ist ein komplexer Vektorraum.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.