Wikipedia (Deutsch) – Lokale Kopie - Benutzerbeiträge [de]

Tangentialraum

2025-06-29T20:56:17Z

80.109.197.172: /* Richtungen der Tangentialvektoren */ Tippfehler korrigiert

{{Dieser Artikel|befasst sich mit dem Tangentialraum einer abstrakten differenzierbaren Mannigfaltigkeit. Für den Tangentialraum einer Untermannigfaltigkeit des <math>\R^3</math> siehe [[Tangentialebene]].}}
[[Datei:Tangentialvektor.svg|200px|mini|Tangentialvektor an <math>M</math> in <math>x \in M</math> definiert als Geschwindigkeitsvektor einer Kurve <math>\gamma</math> durch <math> x</math> sowie Tangentialraum an den Punkt <math>x</math>]]

In der [[Differentialgeometrie]] ist ein '''Tangentialraum''' (auch Tangentenraum genannt) <math>T_xM</math> ein [[Vektorraum]], der eine [[differenzierbare Mannigfaltigkeit]] <math>M</math> am Punkt <math>x</math> linear approximiert. Sei <math> \gamma\colon (-\varepsilon,\varepsilon) \to M </math> eine differenzierbare Kurve mit <math>\gamma(0)=x</math> und dem Kurvenparameter <math>t</math>, dann ist:
:<math> v= \frac{d\gamma}{dt}(0)\in T_xM</math>
ein '''Tangentialvektor'''. Die Tangentialvektoren in einem Punkt <math>x\in M</math> spannen einen Vektorraum auf, den Tangentialraum <math>T_xM</math>. Siehe auch [[Tangentialbündel]].

In der [[Algebraische Geometrie|algebraischen Geometrie]] muss man diesen Definitionsansatz modifizieren, um singuläre Punkte und wechselnde Dimensionen zu berücksichtigen.

''Dieser Artikel befasst sich nur mit dem Tangentialraum über einer differenzierbaren Mannigfaltigkeit im Sinne der Differentialgeometrie.''

== Übersicht ==

Am einfachsten ist eine differenzierbare Mannigfaltigkeit zu veranschaulichen, die als [[Untermannigfaltigkeit]] in einen [[Euklidischer Raum|Euklidischen Raum]] (z. B. den <math>\R^3</math>) eingebettet ist. Als Beispiel soll die [[Sphäre]] (= Kugeloberfläche) <math>S^2</math> im <math>\R^3</math> dienen. Der Tangentialraum in einem Punkt <math>p \in S^2</math> ist dann die Ebene durch den Nullpunkt, die parallel zur [[Tangentialebene]] der Kugel im Punkt <math>p</math> ist.

Ein [[Vektorfeld]] ordnet jedem Punkt <math>p</math> einer Mannigfaltigkeit <math>M</math> einen Vektor aus dem zugehörigen Tangentialraum <math>T_pM</math> zu. Zum Beispiel könnte man mit einem Vektorfeld die Windstärke und -richtung auf der Erdoberfläche angeben.

Alle Tangentialräume einer Mannigfaltigkeit <math>M</math> werden als [[Tangentialbündel]] von <math>M</math> zusammengefasst; das Tangentialbündel ist selbst eine Mannigfaltigkeit; seine Dimension ist doppelt so groß wie die von <math>M</math>.

== Formale Definitionen ==

In der Literatur ist es üblich, gleich drei verschiedene Definitionen anzugeben, die einer geometrischen, einer algebraischen und einer theoretisch-physikalischen (auf [[Tensor]]en hinarbeitenden) Sichtweise entsprechen. Der anschauliche geometrische Zugang erweist sich in der Anwendung jedoch als der am mühsamsten zu handhabende.

Die beiden auf die geometrische Definition folgenden algebraischen Definitionen des Tangentialraums funktionieren allerdings nur für Mannigfaltigkeiten der Klasse <math>C^\infty</math>, aber nicht für <math>C^k</math> mit <math>k<\infty</math>.

=== Geometrische Definition: Richtungsfelder von Kurven ===

Gegeben seien eine <math>n</math>-dimensionale <math>C^k</math>-Mannigfaltigkeit <math>M</math> mit <math>k \geq 1</math>, ein Punkt <math>p</math> aus <math>M</math>, eine [[Offene Menge|offene]] Umgebung <math>U</math> von <math>p</math> und eine [[Atlas (Mathematik)|Karte]] <math>\varphi \colon U \to \R^n</math>.

Ist <math>\gamma \colon (-1,1) \to M</math> mit <math>\gamma(0) = p</math> eine differenzierbare Kurve in <math>M</math>, so ist <math>\varphi \circ \gamma \colon (-1,1) \to \R^n</math> eine differenzierbare Kurve im <math>\R^n</math>. Die Ableitung <math>(\varphi \circ \gamma)'(0)</math> existiert also.
Diese Ableitung ist ein Vektor im <math>\R^n</math>. Kurven <math>\gamma_i</math>, für die <math>(\varphi \circ \gamma_i)'(0)</math> übereinstimmt, bilden eine [[Äquivalenzklasse]]. Eine solche Äquivalenzklasse nennt man einen Tangentialvektor von <math>M</math> in <math>p</math> und schreibt dafür <math>\gamma'(0)</math>. Der Tangentialraum <math>T_pM</math> ist die Menge aller dieser Tangentialvektoren; man kann zeigen, dass er nicht von der Wahl der Karte <math>\varphi</math> abhängt.

Es bleibt zu zeigen, dass <math>T_pM</math> durch Erklärung von Vektoraddition und [[Skalarmultiplikation]] zu einem [[Vektorraum]] wird. Dazu definiert man die Abbildung <math>(\mathrm{d}\varphi)|_p\colon T_pM \to \R^n</math> durch <math>\mathrm{d}\varphi|_p(\gamma'(0)) = (\varphi \circ \gamma)'(0)</math>, wobei die Funktion <math>\gamma</math> auf der rechten Seite ein beliebiger Repräsentant der Äquivalenzklasse <math>\gamma'(0)</math> ist. Man zeigt nun, dass diese Abbildung [[Bijektion|bijektiv]] ist und überträgt mit ihrer Hilfe die Vektorraumoperationen von <math>\R^n</math> nach <math>T_pM</math>; man zeigt außerdem, dass diese Konstruktion von der Wahl der Karte <math>\varphi</math> unabhängig ist.

=== Erste algebraische Definition: verallgemeinerte Ableitungen ===

Sei <math>M</math> eine <math>C^\infty</math>-Mannigfaltigkeit. Eine Funktion <math>g \colon M \to \R</math> gehört zur Klasse <math>C^\infty(M)</math>, falls <math>g \circ \varphi^{-1}</math> für jede Karte <math>\varphi \colon U \to \R^n</math> unendlich oft differenzierbar ist. Das so definierte <math>C^\infty(M)</math> ist eine [[assoziative Algebra]].

Fixieren wir einen Punkt <math>p</math> in <math>M</math>. Eine [[Derivation (Mathematik)|Derivation]] an <math>p</math> ist eine [[lineare Abbildung]] <math>D \colon C^\infty(M) \to \R</math>, die für alle <math>g</math> und <math>h</math> in <math>C^\infty(M)</math> die (analog zur [[Produktregel]]) folgende Eigenschaft hat:
<math>D(gh)=D(g)h(p) + g(p)D(h)</math>.
Diese Derivationen bilden auf natürliche Weise einen reellen [[Vektorraum]]; dies ist der Tangentialraum <math>T_pM</math>.

Die Beziehung zwischen den zuvor definierten Tangentialvektoren und den Derivationen ist wie folgt: falls <math>\gamma</math> eine Kurve mit Tangentialvektor <math>\gamma'(0)</math> ist, dann ist die entsprechende Derivation <math>D(g)=(g\circ \gamma)'(0)</math> (mit der Ableitung im üblichen Sinne, da <math>g \circ \gamma</math> eine Funktion von <math>(-1,1)</math> nach <math>\R</math> ist).

=== Zweite algebraische Definition: Dualraum von ''I/I²'' ===

Sei <math>M</math> wieder eine <math>C^\infty</math>-Mannigfaltigkeit und <math>p</math> ein Punkt in <math>M</math>. Betrachten wir nun das [[Ideal (Ringtheorie)|Ideal]] <math>I</math> von <math>C^\infty(M)</math>, das aus allen glatten Funktionen <math>g</math> besteht, die <math>p</math> auf <math>0</math> abbilden. Dann sind <math>I</math> und <math>I^2=\left\{x\cdot y\mid x,y\in I\right\}</math> reelle Vektorräume, und <math>T_pM</math> wird als der [[Dualraum]] des [[Faktorraum|Quotientenraums]] <math>I/I^2</math> definiert.
<math>I/I^2</math> wird auch als [[Kotangentialraum]] <math>T_p^*M</math> bezeichnet (siehe [[#Kotangentialraum|unten]]).

Während diese Definition die abstrakteste ist, ist sie auch diejenige, die man am leichtesten auf andere Situationen übertragen kann, beispielsweise auf [[Algebraische Varietät|Varietäten]], wie sie in der [[Algebraische Geometrie|algebraischen Geometrie]] betrachtet werden.

Sei <math>D</math> eine Derivation an <math>p</math>. Dann ist <math>D(g)=0</math> für jedes <math>g</math> in <math>I^2</math> (denn es existieren <math>x,y\in I</math> mit <math>g=xy</math>, somit <math>D(g)=D(xy)=D(x)y(p)+x(p)D(y)=0</math>), womit <math>D</math> eine lineare Abbildung <math>I/I^2\to\R</math> induziert. Umgekehrt ist <math>D(g)=r((g - g(p)) + I^2)</math> eine Derivation, wenn <math>r\colon I/I^2\to\R</math> eine lineare Abbildung ist.
Dies zeigt, dass sich der über Derivationen und der über <math>I/I^2</math> definierte Tangentialraum entsprechen.

=== Tangentialraum in der algebraischen Geometrie ===
{{Hauptartikel|Zariski-Tangentialraum}}
Die beiden algebraischen Definitionen funktionieren genauso auch für algebraische Varietäten, wobei hier der Tangentialraum auch als [[Zariski-Tangentialraum]] bezeichnet wird. Im Unterschied zu Mannigfaltigkeiten können algebraische Varietäten aber Singularitäten haben, dort hat dann der Tangentialraum eine höhere Dimension als in glatten Punkten.

== Eigenschaften ==

Wenn <math>M</math> eine [[offene Teilmenge]] des <math>\R^n</math> ist, so kann man <math>M</math> in natürlicher Weise als eine <math>C^\infty</math>-Mannigfaltigkeit betrachten. Alle Karten sind hierbei die Identität, und die Tangentialräume werden mit dem <math>\R^n</math> identifiziert.

=== Tangentialvektoren als Richtungsableitungen ===

Eine Sichtweise von Tangentialvektoren ist, sie als Richtungsableitungen zu sehen. Für einen Vektor <math>v</math> im <math>\R^n</math> definiert man die Richtungsableitung einer glatten Funktion <math>f \colon \R^n \to \R</math> an einem Punkt <math>p</math> durch
:<math>D_v f(p) = \frac{d}{dt}\bigg|_{t=0}f(p+tv)=\sum_{i=1}^{n}v^i\frac{\partial f}{\partial x^i}(p)</math>
Diese Abbildung ist offenbar eine Derivation. Tatsächlich ist sogar jede Derivation von <math>C^\infty</math>(<math>\R^n</math>) von dieser Form. So existiert eine Bijektion zwischen Vektoren (als Tangentialvektor am Punkt <math>p</math> gedacht) und den Derivationen.

Da Tangentialvektoren an einer allgemeinen Mannigfaltigkeit als Derivationen definiert werden können, ist es nur natürlich, sie auch als Richtungsableitungen zu sehen. Konkret kann man für einen Tangentialvektor <math>v</math> von <math>M</math> an einem Punkt <math>p</math> (als Derivation gesehen) die Richtungsableitung in Richtung <math>v</math> für <math>f \colon M \to \R</math> Element von <math>C^\infty(M)</math> wie folgt definieren:
:<math>D_v(f)=v(f)</math>
Sehen wir <math>v</math> im Sinne der geometrischen Definition des Tangentialraums als <math>v=\gamma'(0)</math> für eine Kurve <math>\gamma</math>, schreiben wir
:<math>D_v(f)=(f \circ \gamma)'(0)</math>.

=== Die Totalableitung einer Abbildung ===
{{Siehe auch|Pushforward}}
Jede differenzierbare Abbildung <math>f\colon M \to N</math> zwischen zwei differenzierbaren Mannigfaltigkeiten induziert eine [[lineare Abbildung]]
:<math>\mathrm df_p\colon T_pM \to T_{f(p)}N</math>
zwischen den entsprechenden Tangentialräumen, definiert durch
:<math>\mathrm df_p(\gamma'(0)) := (f \circ \gamma)'(0)</math>
für die geometrische Definition des Tangentialraums und
:<math>\mathrm df_p(D)(g) := D(g \circ f)</math>
für die Definition mittels Derivationen.

Die lineare Abbildung <math>\mathrm df_p</math> wird mit ''Differential'', ''Ableitung'', ''Totalableitung'' oder auch ''Tangentialabbildung'' bezeichnet. Auch hier variieren die Notationen stark. Benutzt werden vor allem: <math>\mathrm df_p</math>, <math>\mathrm Df_p</math>, <math>f_*</math> und <math>f'(p)</math>.

In einem gewissen Sinne ist die Totalableitung die beste lineare Approximation von <math>f</math> in einer Umgebung von <math>p</math>. In lokalen Koordinaten kann man die Totalableitung als Jacobische Matrix darstellen.

Ist die Tangentialabbildung [[Surjektive Funktion|surjektiv]], hat also die [[Jacobi-Matrix]] überall vollen Rang, so nennt man die zugrundeliegende Funktion [[Submersion]]; ist die Tangentialabbildung injektiv, [[Immersion (Mathematik)|Immersion]].

Ein wichtiges Resultat bezüglich Tangentialabbildungen ist der ''Satz'':
:Genau dann, wenn <math>f\colon M \to N</math> ein lokaler [[Diffeomorphismus]] bei <math>p</math> in <math>M</math> ist, ist <math>\mathrm df_p\colon T_p M \to T_{f(p)} N</math> ein linearer [[Isomorphismus]].

Dies ist eine Verallgemeinerung des Satzes über inverse Funktionen auf Abbildungen zwischen Mannigfaltigkeiten.

=== Richtungen der Tangentialvektoren ===
Falls <math>M</math> eine glatte [[Mannigfaltigkeit mit Rand]] ist und <math>p\in\partial M</math>, dann können die Vektoren im Tangentialraum <math>T_pM</math> in drei Klassen aufgeteilt werden:
* <math>v\in T_pM\setminus T_p\partial M</math> heißt ''nach innen gerichtet'' für ein <math>\varepsilon>0</math>, wenn eine glatte Kurve <math>\gamma\colon[0,\varepsilon)\to M</math> existiert mit <math>\gamma(0)=p</math> und <math>\gamma'(\varepsilon)=v</math>.
* <math>v\in T_pM\setminus T_p\partial M</math> heißt ''nach aussen gerichtet'' für ein <math>\varepsilon>0</math>, wenn eine glatte Kurve <math>\gamma\colon(-\varepsilon,0]\to M</math> existiert mit <math>\gamma(0)=p</math> und <math>\gamma'(-\varepsilon)=v</math>.
* die Restlichen sind ''tangent zum Rand''.<ref>{{Literatur |Autor=John M. Lee |Hrsg=Springer |Titel=Introduction to Smooth Manifolds |Auflage=2. |Datum= |Seiten=118}}</ref>

== Kotangentialraum ==
{{Hauptartikel|Kotangentialraum}}
Da der Tangentialraum <math>T_pM</math> am Punkt <math>p</math> der Mannigfaltigkeit die Struktur eines Vektorraums trägt, kann man den [[Dualraum]] von ihm bilden. Dieser Raum wird Kotangentialraum genannt und gewöhnlicherweise mit <math>T^*_pM</math> notiert. Der letzten Definition folgend ist der Raum also isomorph zu <math>\textstyle I/I^2</math>. Der Kotangentialraum spielt in der Differentialgeometrie ebenfalls eine sehr wichtige Rolle. So kann man zum Beispiel das [[Totales Differential|totale Differential]]
:<math>{\rm d}f(p) \colon T_pM\to\R</math> von <math>f \in C^\infty(M)</math>
als eine lineare Abbildung verstehen, welche jedem Tangentialvektor die [[Richtungsableitung]] in seiner Richtung zuordnet. Das totale Differential <math>{\rm d}f(p)</math> ist somit ein Element des Kotangentialraums <math>T^*_pM</math> von <math>M</math> am Punkt <math>p</math>.

== Literatur ==

* [[Theodor Bröcker]]: ''Analysis.'' Band 3. BI-Wissenschafts-Verlag, Mannheim u. a. 1992, ISBN 3-411-15851-4.
* [[Klaus Jänich]]: ''Vektoranalysis.'' 5. Auflage. Springer Verlag, Berlin u. a. 2005, ISBN 3-540-23741-0 (''Springer-Lehrbuch'').
* R. Abraham, [[Jerrold Marsden|Jerrold E. Marsden]], T. Ratiu: ''Manifolds, Tensor Analysis and Applications.'' Springer-Verlag, Berlin u. a. 2003, ISBN 0-201-10168-8.

== Einzelnachweise ==
<references />

[[Kategorie:Differentialtopologie]]
[[Kategorie:Vektorraum]]

Freier Modul

2025-06-14T10:27:36Z

80.109.197.172: /* Anmerkungen */ Erklärung hinzugefügt

Im [[Mathematik|mathematischen]] Teilgebiet der [[Algebra]] ist ein '''freier Modul''' ein [[Modul (Mathematik)|Modul]], der eine [[Basis (Modul)|Basis]] besitzt. Damit ist der Begriff des freien Moduls eine Verallgemeinerung der Begriffe [[Vektorraum]] oder [[freie abelsche Gruppe]].

== Definition ==
Eine Familie <math> B := \{b_i \mid i\in I\} </math> von Elementen eines Moduls (oder allgemeiner eines Linksmoduls) <math> F </math> über einem [[Ring (Algebra)|Ring]] <math>R</math> heißt ''linear unabhängig'' oder ''frei'', wenn für jede endliche Indexmenge
<math> \textstyle J\subseteq I </math> und alle <math> \textstyle r_i \in R</math> gilt:
: <math> \sum_{i\in J} r_i \cdot b_i = 0 \;\Rightarrow\; \forall i\in J\colon\, r_i=0. </math>

Erzeugen die <math>\{ b_i \mid i \in I \} </math> zugleich den Modul <math> F </math>, so heißt <math>B</math> eine ''Basis'' (von <math> F </math>) und der Modul <math> F </math> heißt der freie <math>R</math>-Modul über <math>B</math> oder auch einfach ''frei''.

== Anmerkungen ==
=== Erste Beispiele und Gegenbeispiele ===
# Jeder Ring <math>R</math> mit Einselement ist über sich selbst frei. Das heißt, <math> R_R </math> ist freier Rechtsmodul. Entsprechend ist <math> _RR </math> ein freier Linksmodul.
# Ist <math> 1<n \in \N </math>, so ist der <math>\Z</math>-Modul <math> \Z/n\Z </math> nicht frei. Der Grund ist, dass für jede [[Restklasse]] <math>b+n\Z \in \Z/n\Z</math> gilt, dass <math>n \cdot (b+n\Z) = 0 + n\Z</math>. Keine Menge von Restklassen kann also linear unabhängig sein.
# Der <math>\Z</math>-Modul <math> \Q </math> ist [[torsionsfrei]], aber nicht frei (freie Moduln sind immer torsionsfrei).
# Ist <math>n</math> eine natürliche Zahl, so ist <math> R^n =\left\{\begin{pmatrix} r_1,\dots, r_n\end{pmatrix}\mid r_1,\dots r_n \in R\right\}</math> ein freier Modul. Eine Basis ist die Familie <math> (e_i \mid i \in \{1,\dots, n\})</math>. Dabei ist die <math>i</math>-te Komponente von <math> e_i </math> gleich <math> 1 </math>, alle anderen Komponenten sind <math>0</math>. Dieses Beispiel ordnet sich folgender Situation unter: Ist <math>I</math> eine beliebige Menge, und <math> (F_i|i \in I) </math> eine Familie von Moduln, so ist das [[Produkt von Moduln#Koprodukt von Moduln|Koprodukt]] <math>\bigoplus_{i \in I}F_i</math> genau dann frei, wenn alle <math> F_i </math> frei sind. Insbesondere ist <math> R^{(I)} </math> frei.
# Das Produkt einer Familie von freien Moduln ist im Allgemeinen nicht frei. So ist beispielsweise <math> \Z^{\N} </math> nicht frei.<ref>Tsit-Yuen Lam: ''Lectures on modules and rings.'' GTM 189, Springer, 1999, ISBN 0-387-98428-3, S. 22 f.</ref>
# Der [[Polynomring]] <math> \textstyle R[X] </math> über dem Ring <math> R </math> ist ein freier Modul mit Basis <math> (X^i |i \in \N) </math>.
# Die Menge der positiven rationalen Zahlen <math> \Q^{+} </math> ist bezüglich der Multiplikation eine kommutative Gruppe. Wegen der eindeutigen Primfaktorzerlegung lässt sich jedes <math> r \in \Q^{+} </math> eindeutig schreiben <math> r=p_1^{z_1}\cdots p_n^{z_n} </math> mit Primzahlen <math> p_1, \dots, p_n </math>. Es ist also <math> \Q^{+} </math> eine freie abelsche Gruppe mit abzählbarer Basis.
# Der Ring <math> R </math> ist genau dann ein [[Schiefkörper]], wenn jeder Modul über diesem Ring frei ist.

=== Der Rang eines freien Moduls ===
Viele der Sätze über Basen von Vektorräumen gelten bei freien Moduln nicht mehr:
# Ist <math> \textstyle V </math> ein Vektorraum über dem Körper <math> K </math> mit einer Basis von <math> \textstyle n </math> Elementen, so ist jedes System von <math> \textstyle n </math> freien Elementen auch ein Erzeugendensystem, also eine Basis. Über Ringen gilt das im Allgemeinen nicht: So ist beispielsweise im <math>\Z</math>-Modul <math>\Z</math> die Menge <math> \textstyle \{2\} </math> frei, aber keine Basis.
# Ist <math>V</math> ein Vektorraum, so sind je zwei Basen gleich mächtig. Dies gilt noch bei kommutativen Ringen. Ist also der Ring <math> R </math> kommutativ und <math> R^n \cong R^m </math>, so ist <math> n=m </math>. Einen kurzen relativ elementaren Beweis hierzu findet man in dem Buch von Jens Carsten Jantzen und [[Joachim Schwermer]].<ref>Jens Carsten Jantzen, Joachim Schwermer: ''Algebra'', Springer, 2006, ISBN 3-540-21380-5, [[doi:10.1007/3-540-29287-X]], Seite 165</ref> Über nicht kommutativen Ringen <math>R </math> ist der Satz im Allgemeinen falsch. Ein Beispiel ist die Menge der <math>R</math>-Endomorphismen eines freien <math>R</math>-Moduls mit unendlicher Basis. Man kann daher den Rang eines freien Moduls nicht allgemein definieren. Ringe, bei denen je zwei Basen eines freien Moduls gleich mächtig sind, heißen ''IBN''-Ringe.<ref>Siehe hierzu den Artikel [[:en:Invariant basis number]]</ref> [[Noetherscher Ring|Noethersche Ringe]] haben diese Eigenschaft.
# Es gilt allgemeiner: Ist <math> \rho \colon R \rightarrow S </math> ein Homomorphismus von Ringen und ist <math> S </math> ein IBN-Ring, so auch <math> R </math>. Gibt es also beispielsweise von <math> R </math> einen Ringhomomorphismus nach einem noetherschen Ring <math> S </math>, so ist <math> R </math> ein IBN-Ring.

== Eigenschaften freier Moduln ==
=== Allgemeine Eigenschaften ===
# Ist <math> (m_i|i \in I)</math> eine Familie von Elementen aus dem Modul <math> M </math>, so gibt es genau einen [[Modulhomomorphismus|Homomorphismus]] <math> R^{(I)}= \bigoplus_{i \in I}R e_i \rightarrow M </math> mit <math> f(e_i) = m_i </math>. Dabei ist <math> (e_i|i \in I) </math> eine Basis (im Zweifel die kanonische) von <math> R^{(I)} </math>. Erzeugt die Familie <math> (m_i|i \in I) </math> den Modul <math> M </math>, so ist <math> f </math> ein Epimorphismus. Jeder Modul ist also epimorphes Bild eines freien Moduls.
# Ist <math> F </math> ein freier Modul und <math> f\colon M \rightarrow F </math> ein Epimorphismus, so ist <math> \operatorname{Kern}(f) </math> [[Untermodul|direkter Summand]] in <math> M </math>. Es gibt ein <math> g\colon F \rightarrow M </math> mit <math> f\circ g = \mathbf{1}_F </math>.
# Die Aussage 1. kann allgemeiner und zugleich genauer ausgedrückt werden. Zu jeder Menge <math> X </math> gehört der freie Modul <math> \mathbf{F}(X):= R^{(X)} </math> und die kanonische injektive Abbildung <math> \Phi(X)\colon X \ni x \mapsto e_x \in R^{(X)} </math>. Ist <math> Y </math> eine weitere Menge und <math> \alpha\colon X \rightarrow Y </math> eine Abbildung zwischen den Mengen, so gibt es zu der Familie <math> (e_{\alpha(x)}| x\in X) </math> genau einen Homomorphismus <math> \mathbf{F}(\alpha)\colon \mathbf{F}(X) \rightarrow \mathbf{F}(Y) </math>, so dass <math> \mathbf{F}(\alpha) \circ \Phi(X)= \Phi(Y) \circ \alpha </math> gilt. Das heißt, folgendes Diagramm ist kommutativ:[[Datei:Funktorinfreiesobjekt.png|rechts]] Sind <math> \alpha\colon X \rightarrow Y\, \beta\colon Y \rightarrow Z </math> Abbildungen, so ist <math> \mathbf{F}(\alpha \circ \beta) = \mathbf{F}(\alpha) \circ \mathbf{F}(\beta) </math>. In der Sprache der [[Kategorientheorie]] lässt sich das so ausdrücken: <math> \mathbf{F} </math> ist ein treuer Funktor von der Kategorie der Mengen in die Kategorie der freien Moduln. <math> \Phi </math> ist ein funktorieller Monomorphismus zwischen dem Identitätsfunktor und dem Funktor <math> \mathbf{F} </math>.
# Wie in 3. gehört zu jedem Modul <math> M </math> der freie Modul <math> F(M) = R^{(M)}=\bigoplus_{m \in M}R e_m </math>. Dazu gehört der eindeutig bestimmte Epimorphismus <math> \Psi(M):F(M) \ni e_m\mapsto m \in M </math>. Für alle <math> \alpha\colon M \rightarrow N </math> ist <math> \Psi(N)\circ F(\alpha)= \alpha\circ \Psi(N) </math>. Es ist <math> \Psi </math> ein funktorieller Epimorphismus zwischen dem Funktor <math> \mathbf{F} </math> und dem Identitätsfunktor.

=== Freie Moduln über besonderen Ringen ===
# Über [[Hauptidealring]]en ist jeder Untermodul eines freien Moduls wieder frei.
# Über [[Lokaler Ring|lokalen Ringen]] sind alle [[Untermodul|direkte Summanden ]] von freien Moduln (das sind [[Projektives Objekt|projektive Moduln]]) frei.

== Konstruktion ==
Zu jeder Menge <math>S</math> und jedem Ring <math>R</math> gibt es den freien <math>R</math>-Linksmodul <math>FS</math> über <math>S</math>. Sein Träger ist die Menge der formalen Linearkombinationen von <math>S</math>-Elementen, kodiert etwa als <math>FS := \{v\colon S \to R \mid \{s\in S \mid v(s) \neq 0\} \text{ endlich}\}</math>.
Addition und Skalarmultiplikation erfolgen dabei punktweise:
{|
|-
| style="width:1.2em;" | || style="width:1.3em;" | <math>+</math> || <math>\colon</math> || style="width:11em;" | <math>FS\times FS \to FS</math> || <math>(v+w)(s) := v(s)+w(s)</math>
|-
| || <math>\cdot</math> || <math>\colon</math> || <math>R\times FS \to FS</math> || <math> (r\cdot v)(s) := r\cdot v(s)</math>
|}
Die Elemente von <math>S</math> sind hierbei keine Elemente von <math>FS</math>. Wenn <math>R</math> eine <math>1=:e</math> (oder auch nur eine Links-Erzeugende <math>e</math> mit <math>\Z e + R e = R</math>) hat, so lassen sie sich aber einbetten mittels
{|
|-
| style="width:1.2em;" | || style="width:1.3em;" | <math>\eta_S</math> || <math>\colon</math> || style="width:11em;" | <math>S \to FS</math> || <math>\eta_S(s) :</math> || <math>S \to R</math>
|-
| || || || || || <math>t \mapsto \begin{cases}e & s=t \\ 0 & \text{sonst.}\end{cases}</math>
|}

Der freie <math>R</math>-Rechtsmodul ist der freie <math>R^\text{op}</math>-Linksmodul, wobei <math>R^\text{op}</math> den [[Gegenring]] von <math>R</math> bezeichnet.

== Abschwächungen ==
Das folgende Diagramm setzt die Freiheit eines Moduls <math>M</math> über einem kommutativen Ring <math>A</math> mit den Eigenschaften [[Projektiver Modul|projektiv]], [[Flachheit (Algebra)|flach]] und [[Torsion (Algebra)|torsionsfrei]] in Beziehung:
: [[Datei:Moduleigenschaften kommutative Algebra.svg]]

== Siehe auch ==
* [[Basis (Vektorraum)]]
* [[Projektives Objekt]]

== Literatur ==
* Tsit-Yuen Lam: ''Lectures on modules and rings.'' GTM 189, Springer, 1999, ISBN 0-387-98428-3.
* Friedrich Kasch: ''Moduln und Ringe.'' Teubner, Stuttgart 1977, ISBN 3-519-02211-7.
* Robert Wisbauer: ''Grundlagen der Modul- und Ringtheorie.'' Reinhard Fischer, München 1988, ISBN 3-88927-044-1.

== Einzelnachweise ==
<references/>

[[Kategorie:Modul (Mathematik)]]
[[Kategorie:Algebra]]

Ṳ

2023-04-21T12:10:46Z

80.109.197.172:

{{Zeichen|Ṳṳ}}
Das '''Ṳ''' (kleingeschrieben ṳ) ist ein [[Buchstabe]] des [[Lateinisches Schriftsystem|lateinischen Schriftsystems]]. Er besteht aus einem [[U]] mit einem untergesetzten [[Trema]].

Das Ṳ wird zur Verschriftlichung von [[Min Dong]], einer [[Chinesische Sprache|chinesischen Sprache]], verwendet. Die [[Umschrift]], die dafür verwendet wird, kennt vier Buchstaben mit untergesetztem Trema. Von denen wird das Ṳ wie das [[Ü|deutsche Ü]] gesprochen (IPA: {{IPA-Zeichen|y}}). Das Trema ist deswegen untergesetzt, damit über dem Zeichen noch [[Diakritisches Zeichen|Diakritika]] zur Markierung des [[Chinesische Sprachen#Tonalität|Tons]] positioniert werden können.

[[Unicode]] enthält das Ṳ an den [[Codepunkt|Codepunkten]] U+1E72 ([[Majuskel|Großbuchstabe]]) und U+1E73 ([[Minuskel|Kleinbuchstabe]]).

{{NaviBlock|Navigationsleiste Lateinisches Alphabet|Navigationsleiste U-Diakritika}}
[[Kategorie:Lateinischer Buchstabe|U..]]