Die kanonische Abbildung von einem Produkt- oder faserartigen Objekt auf einen seiner Faktoren, die die Komponentenkoordinate auswählt, typischerweise bezeichnet πi : Πi X_i → X_j mit πj((x_i)_i) = x_j.

Prinzip

Eine bestimmte Koordinate oder Faktor aus einer kombinierten Struktur extrahieren und dabei die universelle Produkteigenschaft respektieren: Projektionen komponieren mit jeder faktor-erhaltenden Abbildung und belegen die Universalität des Produkts.

Demonstration

Für das kartesische Produkt A × B ist die erste Projektion π1 : A × B → A definiert durch π1(a,b) = a. Für f : X → A × B mit f(x) = (g(x), h(x)) gilt π1 ∘ f = g, was zeigt, dass π1 die A-Komponente zurückgewinnt.

Fehlanwendung

Annehmen, eine Projektion sei allgemein injektiv; das Projizieren eines Produkts vernichtet typischerweise Information (π1 ist surjektiv falls A nicht leer, aber nur injektiv falls B ein Einpunktmengen ist), was zu falschen Aussagen über Invertierbarkeit führt.

Konsequenz

Bietet komponentenweisen Zugriff, definiert Fasern (Urbilder von Punkten) und wirkt in universellen Konstruktionen (Produktkegel, Pullbacks) und kategorialen Limiten; Schnitte von Projektionen entsprechen faktorenabhängigen Auswahlfunktionen.

Umkehrung

Ein Schnitt (Rechtsinverse) einer Projektion hebt die Projektion auf ihrem Bild auf, indem er einen Faktor ins Produkt einbettet; eine Diagonale mappt ebenfalls Aspekte um, indem sie eine Koordinate in mehrere Faktoren dupliziert.

Abgrenzung

Voraussetzung ist ein Produkt oder eine produktähnliche Konstruktion, damit die Abbildung kanonisch ist; beliebige Surjektionen, die wie Koordinatenvergessen wirken, sind keine kanonischen Projektionen, sofern sie nicht die entsprechende universelle Eigenschaft erfüllen.

Semantische Spannung

Spannung zwischen Projektion und Injektion/Schnitt: Projektion verwirft komplementäre Faktorinformationen, während Injektionen oder Schnitte Faktoren wiedergewinnen oder einbetten; man muss zwischen kanonischer Projektion und beliebigen Koordinatenabbildungen unterscheiden.

Synthese

Eine Projektionsabbildung ist der kanonische Koordinatenselektor von einem Produkt- oder faserartigen Objekt auf einen gewählten Faktor, zentral für die Universalität des Produkts, Faseranalyse und die Trennung von Informationsentnahme und -einbettung.