La application canonique d'un produit ou d'une structure fibrée vers l'un de ses facteurs qui sélectionne la coordonnée composante, généralement notée πi : Πi X_i → X_j avec πj((x_i)_i) = x_j.

Principe

Extraire une coordonnée ou un facteur spécifié d'une structure combinée tout en respectant la propriété universelle des produits : les projections se composent avec toute application préservant les facteurs et attestent l'universalité du produit.

Démonstration

Pour le produit cartésien A × B, la première projection π1 : A × B → A envoie (a,b) sur a. Si f : X → A × B est définie par f(x) = (g(x), h(x)), alors π1 ∘ f = g, montrant que π1 récupère la composante A.

Mauvaise application

Supposer qu'une projection est injective en général ; projeter un produit entraîne généralement une perte d'information (π1 est surjective si A non vide mais n'est injective que si B est singleton), conduisant à de fausses affirmations d'inversibilité.

Conséquence

Permet l'accès par coordonnée, définit les fibres (préadimages de points) et participe aux constructions universelles (cônes de produit, tirés en arrière) et aux limites catégoriques ; les sections de projections correspondent à des choix de sélection dépendant des facteurs.

Inversion

Une section (une réciproque à droite) d'une projection inverse la projection sur son image en immergeant un facteur dans le produit ; une application diagonale inverse aussi certains aspects en dupliquant une coordonnée dans plusieurs facteurs.

Limite

Exige un produit ou une construction de type produit pour être canonique ; des surjections arbitraires ressemblant à un oubli de coordonnée ne sont pas des projections canoniques sauf si elles satisfont la propriété universelle appropriée.

Tension sémantique

Tension entre projection et injection/section : la projection sacrifie l'information des facteurs complémentaires, tandis que les injections ou sections récupèrent ou plongent les facteurs ; il faut distinguer la projection canonique des applications de coordonnées quelconques.

Synthèse

Une application de projection est le sélecteur de coordonnée canonique d'un produit ou d'un objet fibré vers un facteur choisi, centrale pour l'universalité du produit, l'analyse des fibres et la distinction entre extraction et immersion d'information.