La aplicación canónica desde un producto o una estructura fibrada hacia uno de sus factores que selecciona la coordenada componente, típicamente denotada πi : Πi X_i → X_j con πj((x_i)_i) = x_j.

Principio

Extraer una coordenada o factor especificado de una estructura combinada respetando la propiedad universal del producto: las proyecciones se componen con cualquier aplicación que preserve factores y evidencian la universalidad del producto.

Demostración

Para el producto cartesiano A × B, la primera proyección π1 : A × B → A envía (a,b) a a. Si f : X → A × B está dada por f(x) = (g(x), h(x)), entonces π1 ∘ f = g, mostrando que π1 recupera la componente A.

Aplicación incorrecta

Asumir que una proyección es inyectiva en general; proyectar un producto suele perder información (π1 es suprayectiva si A no vacío pero no inyectiva salvo que B sea un singleton), llevando a afirmaciones incorrectas sobre invertibilidad.

Consecuencia

Proporciona acceso por coordenada, define fibras (preimágenes de puntos) y participa en construcciones universales (conos de producto, pullbacks) y límites categóricos; las secciones de proyecciones corresponden a elecciones dependientes del factor.

Inversión

Una sección (inversa por la derecha) de una proyección invierte la proyección sobre su imagen incrustando un factor en el producto; una aplicación diagonal también invierte aspectos al duplicar una coordenada en varios factores.

Límite

Requiere un producto o una construcción similar para ser canónica; las sobreyecciones arbitrarias que aparentan olvidar una coordenada no son proyecciones canónicas salvo que cumplan la propiedad universal adecuada.

Tensión semántica

Tensión entre proyección e inyección/sección: la proyección descarta información de factores complementarios, mientras que inyecciones o secciones recuperan o incrustan factores; hay que distinguir proyección canónica de mapas de coordenadas arbitrarios.

Síntesis

Una aplicación de proyección es el selector canónico de coordenada desde un producto o un objeto fibrado hacia un factor elegido, central para la universalidad del producto, el análisis de fibras y la distinción entre extracción e inserción de información.