Faserprodukt

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten (Unterschied zur vorletzten Version).

Das Faserprodukt ist ein Begriff aus dem mathematischen Teilgebiet der Kategorientheorie, der in vielen Bereichen benutzt wird. Zentrale Bedeutung kommt dem Faserprodukt in der algebraischen Geometrie zu.

Der Begriff des Faserproduktes ist dual zum Begriff des push-outs.

[Bearbeiten] Faserprodukt von Mengen

Sind ξ: X → S und υ: Y → S zwei Abbildungen von Mengen, so ist das Faserprodukt von X und Y über S die Teilmenge

$\{(x,y)\in X\times Y\mid \xi(x)=\upsilon(y)\}$

des kartesischen Produktes von X und Y.

[Bearbeiten] Faserprodukte in beliebigen Kategorien

Sind Morphismen ξ: X → S und υ: Y → S in einer Kategorie gegeben, so heißt ein Objekt X ×_S Y zusammen mit Morphismen

$\mathrm{pr}_1\colon X\times_SY\to X$ und $\mathrm{pr}_2\colon X\times_SY\to Y,$

den kanonischen Projektionen, ein Faserprodukt von X und Y über S, wenn die folgende universelle Eigenschaft erfüllt ist:

Zu jedem Paar von Morphismen (f: T → X, g: T → Y) von einem Testobjekt T nach X bzw. Y, für das

ξ f = υ g

(als Morphismen T → S)

gilt, gibt es genau einen Morphismus

$c\colon T\to X\times_SY,$

so dass

$f=\mathrm{pr}_1\circ c$ und $g=\mathrm{pr}_2\circ c$

gilt.

Anders formuliert: die Funktoren

$\mathrm{Hom}(T,X\times_SY)$ und $\mathrm{Hom}(T,X)\times_{\mathrm{Hom}(T,S)}\mathrm{Hom}(T,Y)$

sind via pr₁ und pr₂ natürlich äquivalent.

Gelegentlich werden auch derartige Paare von Morphismen (f: T → X, g: T → Y) von einem Objekt T nach X bzw. Y, für die

ξ f = υ g

(als Morphismen T → S)

gilt, als Pullback-Kegel bezeichnet; Morphismen von Pullback-Kegeln sind über entsprechende kommutative Diagramme definiert. Das Faserprodukt ist dann das Endobjekt der Kategorie der Pullback-Kegel.

[Bearbeiten] Eigenschaften

Ist X → Y ein beliebiger Morphismus, so ist

$X\times_YY=X.$

Sind ξ und υ injektive Mengenabbildungen (allgemein Monomorphismen), so ist das Faserprodukt der Schnitt (der Bilder) von X und Y.
Ist S eine einpunktige Menge (allgemein ein Endobjekt), so ist das Faserprodukt gleich dem kartesischen Produkt. Allgemein gibt es einen Monomorphismus

$X\times_SY\to X\times Y$

(falls beide Konstruktionen existieren).

Für eine asymmetrische Sichtweise des Faserproduktes siehe Basiswechsel (Faserprodukt). In diesem Zusammenhang wird das Faserprodukt auch pull-back genannt.

[Bearbeiten] Beispiele

Das Faserprodukt ist ein spezieller Limes. Aus allgemeinen Gründen ist daher in den folgenden Kategorien die zugrundeliegende Menge des Faserproduktes gleich dem Faserprodukt der zugrundeliegenden Mengen:

Gruppen, abelsche Gruppen, Ringe, Moduln, Vektorräume, topologische Räume, Banachräume.