Limite projective

En mathématiques, dans la formalisation du langage des catégories, la limite projective est une généralisation du produit. Cette notion est duale de celle de limite inductive.

Limite projective d'ensembles

Soient $(I, \leq)$ un ensemble ordonné, $(E_{i})_{i \in I}$ une famille d'ensembles indexée par $I$ , et pour chaque couple $(i, j) \in I^{2}$ tel que $i \leq j$ , une application $f_{i}^{j} : E_{j} \to E_{i}$ . On suppose que ces applications vérifient les deux propriétés suivantes :

$\forall i \in I, f_{i}^{i} = I d_{E_{i}}$ ;
$\forall (i, j, k) \in I^{3}, i \leq j \leq k \Rightarrow f_{i}^{j} \circ f_{j}^{k} = f_{i}^{k} .$

Une telle structure est appelée système projectif d'ensembles. On appelle limite projective de ce système, et l'on note $\lim_{\leftarrow} E_{i}$ l'ensemble

{(a_{i}) \in \prod_{i \in I} E_{i} | \forall i \leq j, a_{i} = f_{i}^{j} (a_{j})} .

Système projectif

La définition précédente d'un système projectif d'ensembles se généralise de la catégorie des ensembles à n'importe quelle catégorie C : soit $(I, \leq)$ un ensemble ordonné. On appelle système projectif d'objets de C indexé par I la donnée d'une famille $(E_{i})_{i \in I}$ d'objets de C et de morphismes $f_{i}^{j} : E_{j} \to E_{i}$ pour chaque couple d'indices $(i, j) \in I^{2}$ tel que $i \leq j$ , le tout vérifiant :

$\forall i \in I, f_{i}^{i} = I d_{E_{i}}$ ;
$\forall (i, j, k) \in I^{3}, i \leq j \leq k \Rightarrow f_{i}^{j} \circ f_{j}^{k} = f_{i}^{k} .$

Définition de la limite projective par une propriété universelle

Soit (X_i, f_ij) un système projectif dans une catégorie C. Une limite projective des X_i suivant les morphismes f_ij, ou, par abus de langage, une limite des X_i suivant I, ou encore tout simplement une limite projective des X_i, est, lorsqu'elle existe, un objet X de la catégorie C muni de flèches π_i de X à valeurs dans X_i vérifiant les relations de compatibilité π_i = f_ij ∘ π_j pour tous i ≤ j. De plus, la donnée (X, π_i) doit être universelle : pour tout autre objet Y muni d'une famille de flèches ψ_i vérifiant des compatibilités analogues, il existe une unique flèche u : Y → X telle que le diagramme :

soit commutatif pour tous i ≤ j.

Autrement dit, la limite projective représente le foncteur qui à un objet Y de la catégorie C associe l'ensemble $\lim_{\leftarrow} H o m (Y, X_{i})$ .

Lorsqu'elle existe, la limite projective est unique, à isomorphisme (unique) près. On parle donc couramment de la limite projective.

La limite projective est notée : $X = \lim_{\leftarrow} X_{i}$ .

Exemples

Si l'ordre sur I est l'égalité, un système projectif indexé par I est simplement une famille d'objets de la catégorie, et sa limite projective n'est autre que son produit.
En particulier, la limite projective du système indexé par l'ensemble vide est l'objet final.
Soit I un ensemble ordonné et $(E_{i})_{i \in I}$ une famille d'ensembles décroissante pour l'inclusion. Pour $i \leq j$ dans I, désignons par $f_{i}^{j}$ l'inclusion $x \mapsto x$ de $E_{j}$ dans $E_{i}$ . Cela définit un système projectif d'ensembles. Supposons I filtrant à gauche ou à droite, ce qui est le cas, par exemple si I = ℕ. (Plus généralement, il suffit de supposer que deux éléments de I peuvent toujours être reliés par une séquence d'éléments de I où chaque élément est comparable au suivant.) Si, de plus, I n'est pas vide, la limite projective du système projectif en question est canoniquement équipotente à l'intersection des $E_{i}$ . Plus précisément, l'intersection, munie de ses inclusions dans les $E_{i}$ , est une limite projective du système.
Dans une catégorie, la limite inductive est la limite projective de la catégorie duale.

Limite projective de structures algébriques

Dans la catégorie des magmas, des monoïdes, des groupes, des anneaux, des A-modules, des K-espaces vectoriels, on peut construire la limite de n'importe quel système projectif. (Dans celle des corps, pas toujours : il n'y a pas de produits.)

En effet, soient $(I, \leq)$ un ensemble ordonné et $(E_{i}, f_{i}^{j})$ un système projectif indexé par $I$ de magmas (ou de toute autre structure algébrique parmi la liste ci-dessus). Le produit cartésien $\prod_{i \in I} E_{i}$ peut être muni de la structure de produit direct pour laquelle les projections canoniques sont des morphismes. De plus la limite projective ensembliste est stable pour la loi produit (ou les diverses lois). Munie de cette (ou ces) loi(s), la limite projective ensembliste vérifie les axiomes de la structure algébrique en question, et la propriété universelle de la limite projective.

Exemple

Soit $p$ un nombre premier. Pour deux entiers naturels n ≤ m, l'inclusion $p^{m} ℤ \subset p^{n} ℤ$ d'idéaux de l'anneau $ℤ$ induit un morphisme canonique $f_{n}^{m} : ℤ / p^{m} ℤ \to ℤ / p^{n} ℤ$ . L'anneau des entiers p-adiques $ℤ_{p}$ est défini comme la limite du système projectif $(ℤ / p^{n} ℤ, f_{n}^{m})$ indexé par $ℕ$ . Un entier p-adique est alors une suite $(\overline{a_{n}})_{n \in ℕ}$ telle que $\overline{a_{n}} \in ℤ / p^{n} ℤ$ et que, si $n < m$ , $a_{n} \equiv a_{m} mod p^{n}$ .

Limite projective d'espaces topologiques

Soient $(I, \leq)$ un ensemble ordonné filtrant et $(E_{i})_{i \in I}$ un système projectif d'espaces topologiques, les applications $(f_{i}^{j})$ étant donc continues.

Le produit cartésien $\prod_{i \in I} E_{i}$ peut être muni de la topologie produit pour laquelle les projections canoniques sont continues. La topologie induite sur la limite projective ensembliste vérifie la propriété universelle de la limite projective.

La notion de limite projective a été introduite en 1936 par Norman Steenrod, dans sa thèse de doctorat où il a défini la limite projective d'un système projectif d'espaces topologiques.

Aspects fonctoriels

La définition ci-dessus d'un système projectif indexé par I dans une catégorie C n'est qu'une explicitation de la définition d'un foncteur contravariant de I (vu comme une catégorie) dans C (ou encore : un foncteur covariant de la catégorie duale I^op – associée à l'ordre dual – dans C).

Un morphisme de systèmes projectifs est une transformation naturelle entre deux tels foncteurs. Plus explicitement, un morphisme de $(E_{i}, f_{i}^{j})$ vers $(F_{i}, g_{i}^{j})$ est une famille (indexée elle aussi par $I$ ) de morphismes $h_{i} : E_{i} \to F_{i}$ telle que pour tous $j \geq i$ dans $I$ , les deux morphismes (de $E_{j}$ dans $F_{i}$ ) $h_{i} \circ f_{i}^{j}$ et $g_{i}^{j} \circ h_{j}$ soient égaux.

Ceci définit la catégorie $C^{I^{o p}}$ des systèmes projectifs indexés par I dans C (on dispose ainsi de la notion d'isomorphisme de tels systèmes).

À tout morphisme entre deux tels systèmes on associe alors canoniquement un morphisme entre leurs limites projectives, ce qui fait de la limite projective (lorsqu'elle est définie) un foncteur covariant de $C^{I^{o p}}$ dans $C$ . En particulier, deux systèmes isomorphes ont des limites isomorphes.

Généralisation

Dans une catégorie quelconque, pour que les limites projectives existent, il suffit que le produit existe et que les égaliseurs des doubles flèches existent.

Dans une catégorie C, étant donné deux flèches $f : X \to Y$ et $g : X \to Y$ , on appelle égaliseur de la double flèche $(f, g)$ , un objet E muni d'une flèche $e q : E \to X$ tel que toute flèche $m : O \to X$ pour laquelle $f \circ h = g \circ h$ soit de la forme $m = e q \circ u$ pour une unique flèche $u : O \to E$ . Dans une catégorie abélienne, l'égaliseur de deux flèches est simplement le noyau de leur différence.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Inverse limit » (voir la liste des auteurs).

↑ Certains auteurs définissent la limite projective uniquement lorsque $I$ est un ensemble ordonné filtrant (à droite) ; c'est le cas par exemple de Régine et Adrien Douady, Algèbre et théories galoisiennes [détail des éditions], Cassini, 2005, déf. 2.5.7 et 2.5.8, p. 42. N. Bourbaki, Éléments de mathématique n'impose pas cette restriction pour les limites projectives d'ensembles (E III.51 §7), d'espaces topologiques (TG I.28 § 4) ou de structures algébriques (A I.112 §10), mais seulement pour les limites inductives.
↑ Jean-Pierre Serre, Cours d'arithmétique, Presses Univ. de France puf, coll. « Le Mathématicien », 2007 (ISBN 978-2-13-041835-1), p. 23
↑ (en) Norman S. Steenrod, « Universal Homology Groups », American Journal of Mathematics, vol. 58, n^o 4,‎ 1936, p. 661-701 (lire en ligne [PDF]).

Voir aussi

Portail des mathématiques

[1] Certains auteurs définissent la limite projective uniquement lorsque $I$ est un ensemble ordonné filtrant (à droite) ; c'est le cas par exemple de Régine et Adrien Douady, Algèbre et théories galoisiennes [détail des éditions], Cassini, 2005, déf. 2.5.7 et 2.5.8, p. 42. N. Bourbaki, Éléments de mathématique n'impose pas cette restriction pour les limites projectives d'ensembles (E III.51 §7), d'espaces topologiques (TG I.28 § 4) ou de structures algébriques (A I.112 §10), mais seulement pour les limites inductives.

[2] Jean-Pierre Serre, Cours d'arithmétique, Presses Univ. de France puf, coll. « Le Mathématicien », 2007 (ISBN 978-2-13-041835-1), p. 23

[3] (en) Norman S. Steenrod, « Universal Homology Groups », American Journal of Mathematics, vol. 58, n^o 4,‎ 1936, p. 661-701 (lire en ligne [PDF]).

v · m Théorie des catégories
Catégories	abélienne préabélienne pseudo-abélienne (en) additive préadditive (en) cartésienne complète concrète dérivée discrète duale exacte fermée fibrée (en) libre (en) monoïdale monoïdale tressée *-autonome simpliciale triangulée
Catégories usuelles	Cat Rel Set Ord Mon Grp Ab Ring k-Mod Top k-Vect (en) hTop (en) Met (en) Sch
Objets	Groupe (en) Groupoïde Monoïde initial/final injectif (en) exponentiel projectif Sous-objet (en)
Morphismes	Automorphisme Épimorphisme Endomorphisme Isomorphisme Monomorphisme Morphisme zéro Section
Foncteurs	Catégorie de foncteurs Distributeur Équivalence de catégories Isomorphisme de catégories F-algèbre (en) F-coalgèbre Foncteur adjoint dominant dérivé exact Ext Hom représentable d'oubli plein et fidèle Préfaisceau Transformation naturelle
Adjonctions	Adjonction ⊗-Hom Catégorie de Kleisli Monade
Limites	Égaliseur Extension de Kan Fin Limite inductive Limite projective Noyau Produit Produit fibré Réunion disjointe Somme Somme amalgamée
Opérations	Enveloppe de Karoubi Nerf Squelette Symétrisation
Outils	Diagramme Diagramme commutatif Équivalence de Morita Lemme des cinq Lemme du serpent Lemme de Yoneda Propriété universelle
Extensions et catégories supérieures	Catégorification Catégorie enrichie 2-catégorie 2-Lemme de Yoneda (n,m)-catégorie (en) Quasi-catégorie Site Topos
Personnalités en théorie des catégories nLab Abstract nonsense