L'objet universel (limite) d'un système inverse (aussi appelé système projectif) muni de projections vers chaque objet du système, constitué de tuples compatibles par les applications de transition et vérifiant une propriété universelle vis‑à‑vis des applications vers le système.

Principe

Assembler des objets indexés par un diagramme dirigé (souvent cofiltré) avec des applications de transition et prendre le sous‑ensemble du produit formé des familles qui commutent avec toutes les transitions ; caractériser le résultat par la propriété universelle des cônes depuis tout autre objet.

Démonstration

Un exemple central est la limite projective du système Z/p^nZ muni des applications de réduction, qui donne l'anneau des entiers p-adiques Z_p ; les éléments de Z_p sont des suites (a_n) telles que a_{n+1} ≡ a_n (mod p^n) et les projections donnent les réductions compatibles.

Mauvaise application

Confondre limites projectives et limites inductives, ou former une « limite » sans imposer la compatibilité des composantes via les applications de transition ; une autre erreur est de supposer que les limites préservent des propriétés (exactitude, compacité) dans tous les contextes sans vérifier les hypothèses nécessaires.

Conséquence

On obtient un objet muni de projections canoniques vers chaque objet du système et satisfaisant une propriété universelle : tout autre objet qui se mappe de façon compatible vers le système se factorise de manière unique à travers la limite projective. Cela encode la résolution simultanée de toutes les contraintes aux étapes finies.

Inversion

La notion duale catégorique est la limite inductive (colimite) : tandis que les limites projectives imposent la compatibilité simultanée entre étapes, les limites inductives recollent librement les étapes le long des morphismes et satisfont une propriété universelle de colimite.

Limite

Existent dans toute catégorie complète, mais le comportement concret dépend de la catégorie ambiante ; en contextes topologiques ou algébriques, des structures additionnelles (topologie, exactitude) peuvent ne pas être préservées par la limite sauf sous conditions supplémentaires (par ex. condition de Mittag‑Leffler, compacité).

Tension sémantique

La tension vient de la double lecture : voir la limite projective comme un sous‑objet d'un produit (point de vue concret) ou comme une propriété universelle (point de vue abstrait) ; ces visions mettent en avant des aspects computationnels ou conceptuels différents.

Synthèse

Une limite projective est l'objet qui paramètre des familles compatibles dans un système inverse : elle se réalise comme un sous‑ensemble du produit vérifiant des contraintes de transition et se caractérise abstraitement par une propriété de factorisation universelle, incarnant l'idée de résoudre simultanément toutes les compatibilités aux étapes finies.