Lexikon der Mathematik: komplexer Tangentialraum
Vektorraum über ℂ, den die Derivationen von \(\mathcal{O}_x\) an der Stelle x ∈ X eines analytischen Raumes bilden.
Dieser wird bezeichnet mit XTx und Tangentialraum an X an der Stelle x genannt. Es gilt:
Sei φ : (X, \({}_{X}\mathcal{O}\)) → (Y, \({}_{Y}\mathcal{O}\)) eine holomorphe Abbildung. Für jedes x ∈ X gibt es eine induzierte lineare Abbildung φ∗ : XTx → YTφ(x). Wenn φ injektiv (biholomorph) an der Stelle x ist, dann ist φ* eineindeutig (isomorph) an der Stelle x. φ* wird das Differential von φ genannt.
Weiterhin gilt folgende Basisaussage:
Sei x ∈ ℂ
in nTx und bilden eine Basis von nTx.
Ist (X, \({}_{X}\mathcal{O}\)) ein analytischer Raum und x ∈ X, dann ist XTx ein endlich-dimensionaler Raum. Wenn φ ein Isomorphismus von einer Umgebung von x auf eine Untervarietät von ℂ
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.