Universelle Eigenschaft

Universelle Eigenschaft

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

Die Universalkonstruktion besteht nun darin, die Existenz eines "kleinsten" Elements U der Kategorie zu behaupten, das die Eigenschaft erfüllt. Im Beispiel wäre das die Tensoralgebra TV von V. "Kleinstes" zu sein bedeutet, dass zu jedem Objekt W der Kategorie \mathbf C, das die geforderte Eigenschaft erfüllt, einen eindeutig bestimmten Morphismus f:U→W gibt, der mit der Eigenschaft verträglich ist, im Beispiel mit der Einbettung von V vertauscht.

Das "kleinste" Element muss nicht eindeutig bestimmt sein, jedoch sind alle "kleinsten" Elemente, sofern existent, isomorph. Als Existenzbeweis wird meistens eine konkrete Konstruktion angegeben, jedoch sind meistens die Details der Konstruktion für die Theorie der Struktur unwesentlich.

Inhaltsverzeichnis

Beispiele

  • die Tensoralgebra, siehe oben.
  • der Kern einer linearen Abbildung.
  • die lineare Hülle einer Teilmenge eines Vektorraums als kleinster Unterraum, der diese Menge enthält.
  • die affine Hülle einer Teilmenge eines affinen Raums.
  • die konvexe Hülle einer Teilmenge eines affinen Raums.
  • der topologische Abschluss einer Teilmenge eines topologischen Raums.
  • das Innere einer Teilmenge eines topologischen Raums als größte offene Menge, die in der Teilmenge enthalten ist.

Motivation

Wofür sind universelle Eigenschaften gut? Hat man einmal erkannt, dass eine gewisse Konstruktion eine universelle Eigenschaft erfüllt, so gewinnt man hieraus

  • Universelle Eigenschaften definieren Objekte bis auf eindeutige 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 X einer Kategorie \mathbf C durchgeführt werden kann, so erhalten wir einen Funktor in die Zielkategorie.
  • Dieser Funktor ist obendrein rechts- oder linksadjungiert zu einem gegebenen Funktor. Aber solche Funktoren vertauschen grundsätzlich mit Kolimites bzw. Limites. Auf diese Weise folgt beispielsweise sofort, dass der Kern des direkten Produktes zweier linearer Abbildungen dem Produkt der Kerne gleicht (kanonisch isomorph ist).

Formale Definition

Sei U\colon \mathbf D\to \mathbf C ein Funktor von der Kategorie \mathbf D in die Kategorie \mathbf C und sei X ein Objekt von \mathbf C. Ein universeller Morphismus von X nach U besteht aus einem Paar (A,ϕ), wobei A ein \mathbf D-Objekt und \phi\colon X\to U(A) ein Morphismus in \mathbf C ist, so dass die folgende universelle Eigenschaft erfüllt ist:

  • Für jedes \mathbf D-Objekt Y und jeden \mathbf C-Morphismus f\colon X\to U(Y), gibt es genau einen Morphismus g\colon A\to Y, so dass f=U(g)\circ\phi gilt, d. h. so dass das folgende Diagramm kommutiert:
UniversalProperty-03.png

Intuitiv bedeutet die Existenz von g, dass A „allgemein genug“ ist, während die Eindeutigkeit sicherstellt, dass A nicht „zu allgemein“ ist. Man kann in dieser Definition auch sämtliche Pfeile umkehren, d. h. das kategorientheoretische Dual betrachten. Ein universeller Morphismus von U nach X ist ein Paar (A,ϕ), wobei A ein \mathbf D-Objekt und \phi\colon U(A)\to X ein Morphismus in \mathbf C ist, so dass die folgende universelle Eigenschaft erfüllt ist:

  • Für jedes \mathbf D-Objekt Y und jeden \mathbf C-Morphismus f\colon U(Y)\to X, gibt es genau einen Morphismus g\colon Y\to A, so dass f=\phi\circ U(g) gilt, d. h. so dass das folgende Diagramm kommutiert:
UniversalProperty-04.png

Eigenschaften

Existenz und Eindeutigkeit

Die bloße Definition garantiert noch keine Existenz. Zu einem Funktor U und einem Objekt X wie oben kann ein universeller Morphismus von X nach U existieren oder auch nicht. Falls jedoch ein universeller Morphismus (A,ϕ) existiert, so ist er bis auf eindeutige Isomorphie eindeutig. Ist also (A',ϕ') ein weiteres solches Paar, so gibt es einen eindeutigen Isomorphismus g\colon A\to A' mit \phi'=U(g)\circ\phi. Dies erkennt man leicht, indem man die Definition der universellen Eigenschaft auf (Y,f) = (A',ϕ') anwendet.

Äquivalente Formulierungen

Die Definition eines universellen Morphismus kann auf verschiedene Weise formulieren. Mit einem Funktor U\colon \mathbf D\to \mathbf C und einem \mathbf C-Objekt X sind die folgenden Aussagen äquivalent:

Entsprechend sind die dualen Aussagen äquivalent:

  • (A,ϕ) ist ein universeller Morphismus von U nach X
  • (A,ϕ) ist ein Endobjekt der Kommakategorie (U\downarrow X)
  • (A,ϕ) ist eine Darstellung des Funktors \operatorname{Hom}_{\mathbf C}(U({-}),X)

Beziehung zu adjungierten Funktoren

Sei (A11) ein universeller Morphismus von X1 nach U und (A22) einer von X2 nach U. Aufgrund der universellen Eigenschaft existiert zu jedem Morphismus h\colon X_1\to X_2 genau ein Morphismus g\colon U(X_1)\to U(X_2) mit U(g)\circ\phi_1=\phi_2\circ h.

Gibt es sogar zu jedem Objekt Xi der Kategorie \mathbf C einen universellen Morphismus nach U, so definiert die Zuordnung X_i\mapsto A_i, h\mapsto g einen Funktor V\colon C\to D. Die Morphismen ϕi bilden eine natürliche Transformation von 1_{\mathbf C} (dem Identitätsfunktor auf \mathbf C) nach U\circ V. Dann ist (V,U) ein Paar adjungierter Funktoren, und zwar ist V links-adjungiert zu U und U rechts-adjungiert zu V.

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. Das eng verbundene Konzept der Adjungiertheit von Funktoren hat Daniel Kan unabhängig hiervon 1958 eingeführt.

Siehe auch


Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Universelle Überlagerung — Y ist eine Überlagerung von , die paarweise disjunkten Mengen Si werden homöomorph auf U abgebildet. Die Faser des Punktes x besteht aus den Punkten yi. In der …   Deutsch Wikipedia

  • Universelle Algebra — Der Begriff algebraische Struktur, missverständlich auch „universelle Algebra“, „allgemeine Algebra“ oder „Algebra“ genannt, bezeichnet ein mathematisches Objekt. Das Synonym allgemeine Algebra bezeichnet gleichzeitig auch den Teilbereich der… …   Deutsch Wikipedia

  • Alliance Israélite universelle — Alliance Israélite universelle, ein 1860 zu Paris gegründeter, über die ganze Erde ausgedehnter Verein, dessen aus 63 Mitgliedern (25 in Paris selbst wohnhaft) bestehendes Zentralkomitee seinen Sitz in Paris hat, und der es sich zur Aufgabe… …   Meyers Großes Konversations-Lexikon

  • Bruchring — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. In der Algebra ist Lokalisierung eine Methode, einem Ring R… …   Deutsch Wikipedia

  • Lokalisation (Ringtheorie) — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. In der Algebra ist Lokalisierung eine Methode, einem Ring R… …   Deutsch Wikipedia

  • Totalquotientenring — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. In der Algebra ist Lokalisierung eine Methode, einem Ring R… …   Deutsch Wikipedia

  • Produkt von Moduln — In vielen Gebieten der Mathematik spielen direkte Produkte (– oder einfach – Produkte) und Koprodukte der betrachteten Objekte eine besondere Rolle. Die Konstruktion solcher Produkte von Objektfamilien fußt oft auf dem kartesischen Produkt von… …   Deutsch Wikipedia

  • Inverser Limes — In der Algebra oder allgemeiner der Kategorientheorie ist der projektive Limes (oder inverse Limes oder einfach Limes) eine Konstruktion, mit der man verschiedene in gewisser Weise zusammengehörende Strukturen verbinden kann. Das Ergebnis dieses… …   Deutsch Wikipedia

  • Projektiver Limes — In der Algebra oder allgemeiner der Kategorientheorie ist der projektive Limes (oder inverse Limes oder einfach Limes) eine Konstruktion, mit der man verschiedene in gewisser Weise zusammengehörende Strukturen verbinden kann. Das Ergebnis dieses… …   Deutsch Wikipedia

  • Stone-Čech-Kompaktifizierung — Die Stone–Čech Kompaktifizierung ist eine Konstruktion der Topologie zur Einbettung eines topologischen Raumes X in einen kompakten Hausdorff Raum. Die Stone–Čech Kompaktifizierung βX eines topologischen Raumes X ist der größte kompakte Hausdorff …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”