Darstellbarer Funktor

Darstellbarer Funktor

Darstellbarkeit ist ein Begriff aus dem mathematischen Teilgebiet der Kategorientheorie. Es beschreibt den Umstand, dass es für gewisse Konstruktionen "klassifizierende Objekte" gibt.

Definition

Ein kontravarianter Funktor F\colon C^{\mathrm{op}}\to\mathbf{Set} von einer Kategorie C in die Kategorie der Mengen heißt darstellbar, wenn es ein Paar (X,u) bestehend aus einem Objekt von C und einem Element u\in F(X) gibt, so dass

\mathrm{Hom}_C(T,X)\to F(T),\quad f\mapsto F(f)(u)

für alle Objekte T von C bijektiv ist. Man schreibt dann auch einfach

F(T) = HomC(T,X).

Ein kovarianter Funktor G\colon C\to\mathbf{Set} heißt darstellbar, wenn es ein analoges Paar (X,u) gibt, so dass

\mathrm{Hom}_C(X,T)\to G(T),\quad f\mapsto G(f)(u)

bijektiv ist.

Weitere Bezeichnungen:

  • Für ein Element von F(T) heißt der entsprechende Morphismus T\to X auch klassifizierender Morphismus.
  • X heißt darstellendes Objekt, auch wenn durch X selbst die natürliche Äquivalenz
F\cong\mathrm{Hom}_C({-},X) bzw. G\cong\mathrm{Hom}_C(X,{-})
noch nicht festgelegt ist.
  • u wird oft universell genannt, weil jedes Element von F(T) für irgendein Objekt T Bild von u unter F(f) mit einem geeigneten Morphismus
f\colon T\to X
ist. (Analoges gilt im Fall kovarianter Funktoren.)

Eigenschaften

  • Wird ein kontravarianter Funktor F wie oben einerseits durch (X1,u1), andererseits aber auch durch X2,u2 dargestellt, so gibt es genau einen Isomorphismus i\colon X_1\to X_2, für den F(i)(u2) = u1 gilt. Er ist der klassifizierende Morphismus von u_1\in F(X_1) bezüglich (X2,u2).
  • Darstellbare Funktoren sind linksexakt, d.h.
F(\mathrm{colim}\, X_i) = \lim F(X_i) bzw. G(\lim X_i)=\lim G(X_i).

Beispiele

  • Die Bildung der Potenzmenge \mathcal P(X) einer Menge kann als kontravarianter Funktor betrachtet werden: für eine Abbildung f\colon X\to Y von Mengen sei die induzierte Abbildung das Urbild von Teilmengen:
\mathcal P(Y)\to\mathcal P(X),\quad U\mapsto f^{-1}(U).
Dieser Funktor wird durch das Paar ({0,1},{1}) dargestellt wird. Die klassifizierende Abbildung einer Teilmenge U\subseteq X ist die charakteristische Funktion von U.
  • Die folgenden Vergißfunktoren sind darstellbar:
von nach dargestellt durch
Abelsche Gruppen Mengen (\mathbb Z,1)
Vektorräume über einem Körper K Mengen (K,1)
unitäre Ringe Mengen (\mathbb Z[T],T)
Topologische Räume Mengen ( * , * ) (ein einpunktiger Raum)
π1(X,x0) = [(S1, * ),(X,x0)].
H^1(S^1,\mathbb Z)\cong\mathbb Z
dargestellt wird. Allgemein gibt es darstellende Räume K(π,n) für die Funktoren Hn( − ,π) für beliebige abelsche Gruppen π und natürliche Zahlen n. Sie heißen Eilenberg-MacLane-Räume.

Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

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

  • Torsionsfrei — Torsion ist das Phänomen der kommutativen Algebra, also der Theorie der Moduln über kommutativen Ringen, das sie fundamental von der (einfacheren) Theorie der Vektorräume unterscheidet. Torsion ist verwandt mit dem Begriff des Nullteilers.… …   Deutsch Wikipedia

  • Torsionsgruppe — Torsion ist das Phänomen der kommutativen Algebra, also der Theorie der Moduln über kommutativen Ringen, das sie fundamental von der (einfacheren) Theorie der Vektorräume unterscheidet. Torsion ist verwandt mit dem Begriff des Nullteilers.… …   Deutsch Wikipedia

  • Torsionsuntergruppe — Torsion ist das Phänomen der kommutativen Algebra, also der Theorie der Moduln über kommutativen Ringen, das sie fundamental von der (einfacheren) Theorie der Vektorräume unterscheidet. Torsion ist verwandt mit dem Begriff des Nullteilers.… …   Deutsch Wikipedia

  • Torsionsuntermodul — Torsion ist das Phänomen der kommutativen Algebra, also der Theorie der Moduln über kommutativen Ringen, das sie fundamental von der (einfacheren) Theorie der Vektorräume unterscheidet. Torsion ist verwandt mit dem Begriff des Nullteilers.… …   Deutsch Wikipedia

  • Darstellbarkeit (Kategorientheorie) — Darstellbarkeit ist ein Begriff aus dem mathematischen Teilgebiet der Kategorientheorie. Es beschreibt den Umstand, dass es für gewisse Konstruktionen klassifizierende Objekte gibt. Inhaltsverzeichnis 1 Definition 2 Eigenschaften 3 Beispiele …   Deutsch Wikipedia

  • Torsion (Algebra) — Torsion ist das Phänomen der kommutativen Algebra, also der Theorie der Moduln über kommutativen Ringen, das sie fundamental von der (einfacheren) Theorie der Vektorräume unterscheidet. Torsion ist verwandt mit dem Begriff des Nullteilers.… …   Deutsch Wikipedia

Share the article and excerpts

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