imported>SeemameeS am 23. März 2026 um 00:12 Uhr

2026-03-23T00:12:54Z

Neue Seite

Eine '''universelle Eigenschaft''' ist eine Methode der [[Mathematik]], und dort insbesondere der [[Abstrakte Algebra|abstrakten Algebra]], sich eine gewünschte Struktur ohne Angabe einer konkreten Konstruktion zu verschaffen. Dabei wird für Objekte einer bestimmten [[Kategorientheorie|Kategorie]] <math>\mathbf C</math>, z. B. der Kategorie der abstrakten [[Algebra (Struktur)|Algebren]], eine Eigenschaft festgelegt, z. B., dass es von einem Vektorraum <math>V</math> eine injektive Abbildung in die Algebra gebe.

Die ''Universalkonstruktion'' besteht nun darin, die Existenz eines „kleinsten“ Elements <math>U</math> der Kategorie zu behaupten, das die Eigenschaft erfüllt. Im Beispiel wäre das die [[Tensoralgebra]] <math>TV</math> von <math>V</math>. „Kleinstes“ zu sein bedeutet, dass es zu jedem Objekt <math>W</math> der Kategorie <math>\mathbf C</math>, das die geforderte Eigenschaft erfüllt, einen eindeutig bestimmten [[Morphismus]] <math>f \colon U \to W</math> gibt, der mit der Eigenschaft verträglich ist, im Beispiel mit der Einbettung von <math>V</math> vertauscht.

Das „kleinste“ Element muss nicht eindeutig bestimmt sein, jedoch sind alle „kleinsten“ Elemente, sofern existent, [[isomorph]]. Als Existenzbeweis kann eine konkrete Konstruktion angegeben werden, jedoch sind die Details so einer Konstruktion für die Theorie der Struktur meistens unwesentlich.

== Beispiele ==
* Der [[Normalteiler#Kanonischer Homomorphismus|kanonische]] [[Gruppenhomomorphismus|Homomorphismus]] einer [[Gruppe (Mathematik)|Gruppe]] auf die [[Faktorgruppe]] nach einem [[Normalteiler]]
* Die [[Tensoralgebra]], siehe oben
* Der [[Lineare Abbildung#Bild und Kern|Kern einer linearen Abbildung]]
* Die [[lineare Hülle]] einer [[Teilmenge]] eines [[Vektorraum]]s als kleinster [[Unterraum]], der diese Menge enthält
* Die [[affine Hülle]] einer Teilmenge eines [[Affiner Raum|affinen Raums]]
* Die [[konvexe Hülle]] einer Teilmenge eines affinen Raums
* Der [[Algebraischer Abschluss|algebraische Abschluss]] eines [[Körper (Algebra)|Körpers]]
* Die [[Termalgebra|freie Termalgebra]]
* Die [[abgeschlossene Hülle]] einer Teilmenge eines [[Topologischer Raum|topologischen Raums]]
* Das [[Innerer Punkt|Innere]] einer Teilmenge eines topologischen Raums als größte [[offene Menge]], die in der Teilmenge enthalten ist

== Motivation ==
Wofür sind universelle Eigenschaften gut?
Wenn eine gewisse Konstruktion eine universelle Eigenschaft erfüllt, so ergeben sich daraus weitere Erkenntnisse:
* Universelle Eigenschaften definieren Objekte bis auf Isomorphismen. Zu zeigen, dass zwei Objekte dieselbe universelle Eigenschaft erfüllen, ist somit eine mögliche Strategie, um deren Isomorphie zu zeigen.
* Die genauen Details der gegebenen Konstruktion sind möglicherweise komplex und äußerst technischer Natur, aber dank der universellen Eigenschaft kann man all diese Details vergessen: Alles, was man über das Konstrukt wissen muss, ist bereits in der universellen Eigenschaft enthalten. Wenn man die universelle Eigenschaft anstelle der konkreten Details verwendet, macht dies einen Beweis meist kurz und elegant.
* Sofern die universelle Konstruktion für jedes Objekt einer Kategorie durchgeführt werden kann, so erhalten wir einen [[Funktor (Mathematik)|Funktor]] in die Zielkategorie.
* Dieser Funktor ist obendrein rechts- oder linksadjungiert zu einem gegebenen Funktor. Aber solche Funktoren vertauschen grundsätzlich mit [[Kolimes|Kolimites]] bzw. [[Limes (Kategorientheorie)|Limites]]. Auf diese Weise folgt beispielsweise sofort, dass der Kern des [[Direktes Produkt|direkten Produktes]] zweier linearer Abbildungen dem Produkt der Kerne gleicht (kanonisch isomorph ist).

== Formale Definition ==
Sei <math>U \colon \mathbf D \to \mathbf C</math> ein Funktor von der [[Kategorie (Mathematik)|Kategorie]] <math>\mathbf D</math> in die Kategorie <math>\mathbf C</math> und sei <math>X</math> ein Objekt von <math>\mathbf C</math>. Ein ''universeller Morphismus'' von <math>X</math> nach <math>U</math> besteht aus einem Paar <math>(A,\phi)</math>, wobei <math>A</math> ein <math>\mathbf D</math>-Objekt und <matH>\phi \colon X \to U(A)</math> ein Morphismus in <math>\mathbf C</math> ist, sodass die folgende ''universelle Eigenschaft'' erfüllt ist:

Für jedes <math>\mathbf D</math>-Objekt <math>Y</math> und jeden <math>\mathbf C</math>-Morphismus <math>f \colon X \to U(Y)</math> gibt es ''genau einen'' Morphismus <math>g \colon A \to Y</math>, sodass <math>f = U(g) \circ \phi</math> gilt, d. h., sodass das folgende Diagramm [[Kommutatives Diagramm|kommutiert]]:<ref>{{Literatur |Autor=Saunders Mac Lane |Titel=Categories for the working mathematician |Nummer=5 |Auflage=2nd ed., Softcover version of original hardcover edition 1998 |Verlag=Springer |Ort=New York, NY |Datum=2010 |Reihe=Graduate texts in mathematics |NummerReihe=5 |ISBN=978-1-4419-3123-8 |Seiten=55 f.}}</ref>
[[Bild:UniversalProperty-03.png|center]]
Intuitiv bedeutet die Existenz von <math>g</math>, dass <math>A</math> „allgemein genug“ ist, während die Eindeutigkeit sicherstellt, dass <math>A</math> nicht „zu allgemein“ ist.

Man kann in dieser Definition auch sämtliche Pfeile umkehren, d. h., das [[Duale Kategorie|kategorientheoretische Dual]] betrachten. Ein universeller Morphismus von <math>U</math> nach <math>X</math> ist ein Paar <math>(A,\phi)</math>, wobei <math>A</math> ein <math>\mathbf D</math>-Objekt und <math>\phi \colon U(A) \to X</math> ein Morphismus in <math>\mathbf C</math> ist, sodass die folgende universelle Eigenschaft erfüllt ist:

Für jedes <math>\mathbf D</math>-Objekt <math>Y</math> und jeden <math>\mathbf C</math>-Morphismus <math>f \colon U(Y) \to X</math> gibt es ''genau einen'' Morphismus <math>g \colon Y \to A</math>, sodass <math>f = \phi \circ U(g)</math> gilt, d. h., sodass das folgende Diagramm kommutiert:<ref>{{Literatur |Autor=Saunders Mac Lane |Titel=Categories for the working mathematician |Nummer=5 |Auflage=2nd ed., Softcover version of original hardcover edition 1998 |Verlag=Springer |Ort=New York, NY |Datum=2010 |Reihe=Graduate texts in mathematics |NummerReihe=5 |ISBN=978-1-4419-3123-8 |Seiten=58}}</ref>
[[Bild:UniversalProperty-04.png|center]]

== Eigenschaften ==
=== Existenz und Eindeutigkeit ===
Die bloße Definition garantiert noch keine Existenz.
Zu einem Funktor <math>U</math> und einem Objekt <math>X</math> wie oben kann ein universeller Morphismus von <math>X</math> nach <math>U</math> existieren oder auch nicht.
Falls jedoch ein universeller Morphismus <math>(A,\phi)</math> existiert, so ist er bis auf Isomorphie eindeutig bestimmt.
Ist also <math>(A',\phi')</math> ein weiteres solches Paar, so gibt es einen Isomorphismus <math>g \colon A \to A'</math> mit <math>\phi' = U(g) \circ \phi</math>.<ref>{{Literatur |Autor=Saunders Mac Lane |Titel=Categories for the working mathematician |Nummer=5 |Auflage=2nd ed., Softcover version of original hardcover edition 1998 |Verlag=Springer |Ort=New York, NY |Datum=2010 |Reihe=Graduate texts in mathematics |NummerReihe=5 |ISBN=978-1-4419-3123-8 |Seiten=57}}</ref> Dies erkennt man, indem man die Definition der universellen Eigenschaft auf <math>(Y,f) = (A',\phi')</math> anwendet.

=== Äquivalente Formulierungen ===
Die Definition eines universellen Morphismus kann man auf verschiedene Weise formulieren.
Mit einem Funktor <math>U \colon \mathbf D \to \mathbf C</math> und einem <math>\mathbf C</math>-Objekt <math>X</math> sind die folgenden Aussagen äquivalent:
* <math>(A,\phi)</math> ist ein universeller Morphismus von <math>X</math> nach <math>U</math>.
* <math>(A,\phi)</math> ist ein [[Anfangsobjekt]] der [[Kommakategorie]] <math>(X \downarrow U)</math>.
* <math>(A,\phi)</math> ist eine [[Darstellbarkeit (Kategorientheorie)|Darstellung]] des Funktors <math>\operatorname{Hom}_{\mathbf C}(X,U({-}))</math>.
Entsprechend sind die dualen Aussagen äquivalent:
* <math>(A,\phi)</math> ist ein universeller Morphismus von <math>U</math> nach <math>X</math>.
* <math>(A,\phi)</math> ist ein [[Endobjekt]] der Kommakategorie <math>(U \downarrow X)</math>.
* <math>(A,\phi)</math> ist eine Darstellung des Funktors <math>\operatorname{Hom}_{\mathbf C}(U({-}),X)</math>.

=== Beziehung zu adjungierten Funktoren ===
Sei <math>(A_1,\phi_1)</math> ein universeller Morphismus von <math>X_1</math> nach <math>U</math> und <math>(A_2,\phi_2)</math> einer von <math>X_2</math> nach <math>U</math>.
Aufgrund der universellen Eigenschaft existiert zu jedem Morphismus <math>h \colon X_1 \to X_2</math> genau ein Morphismus <math>g \colon U(X_1) \to U(X_2)</math> mit <math>U(g) \circ \phi_1 = \phi_2 \circ h</math>.

Gibt es sogar zu ''jedem'' Objekt <math>X_i</math> der Kategorie <math>\mathbf C</math> einen universellen Morphismus nach <math>U</math>, so definiert die Zuordnung <math>X_i \mapsto A_i</math>, <math>h \mapsto g</math> einen Funktor <math>V \colon C \to D</math>.
Die Morphismen <math>\phi_i</math> bilden eine [[natürliche Transformation]] von <math>1_{\mathbf C}</math> (dem Identitätsfunktor auf <math>\mathbf C</math>) nach <math>U \circ V</math>.
Dann ist <math>(V,U)</math> ein Paar [[adjungierter Funktor]]en, und zwar ist <math>V</math> links-adjungiert zu <math>U</math> und <math>U</math> rechts-adjungiert zu <math>V</math>.<ref>{{Literatur |Autor=Saunders Mac Lane |Titel=Categories for the working mathematician |Nummer=5 |Auflage=2nd ed., Softcover version of original hardcover edition 1998 |Verlag=Springer |Ort=New York, NY |Datum=2010 |Reihe=Graduate texts in mathematics |NummerReihe=5 |ISBN=978-1-4419-3123-8 |Seiten=82 f.}}</ref>

Entsprechendes gilt [[mutatis mutandis]] im dualen Fall.

== Geschichte ==
Universelle Eigenschaften wurden im Zusammenhang mit verschiedenen topologischen Konstruktionen 1948 von [[Pierre Samuel]] eingeführt. Später nutzte [[Nicolas Bourbaki]] sie in großem Umfang.<ref>{{Literatur |Autor=Saunders Mac Lane |Titel=Categories for the working mathematician |Nummer=5 |Auflage=2nd ed., Softcover version of original hardcover edition 1998 |Verlag=Springer |Ort=New York, NY |Datum=2010 |Reihe=Graduate texts in mathematics |NummerReihe=5 |ISBN=978-1-4419-3123-8 |Seiten=77 f.}}</ref> Das eng verbundene Konzept der Adjungiertheit von Funktoren hat [[Daniel Marinus Kan|Daniel Kan]] unabhängig hiervon 1958 eingeführt.<ref>{{Literatur |Autor=Saunders Mac Lane |Titel=Categories for the working mathematician |Nummer=5 |Auflage=2nd. ed., Softcover version of original hardcover edition 1998 |Verlag=Springer |Ort=New York, NY |Datum=2010 |Reihe=Graduate texts in mathematics |NummerReihe=5 |ISBN=978-1-4419-3123-8 |Seiten=107 f.}}</ref>

== Einzelnachweise ==
<references />

[[Kategorie:Kategorientheorie]]

Universelle Eigenschaft - Versionsgeschichte

imported>SeemameeS am 23. März 2026 um 00:12 Uhr