Limite projective - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

- Introduction - Ensemble ordonné filtrant - Système projectif - Limite projective d'ensembles - Exemples - Propriété universelle de la limite projective - Limite projective d'espaces topologiques - Limite projective de structures algébriques - Généralisation

Introduction

En mathématiques, formalisée dans le langage des catégories, la limite projective est la notion duale de celle de limite inductive et généralise celle de produit.

Ensemble ordonné filtrant

Soit $(I,\leq)$ un ensemble ordonné (partiellement ordonné en général). On dit que $(I,\leq)$ est un ensemble ordonné filtrant ssi

$\forall (i,j)\in I^2,\exists k\in I, i\leq k\ et\ j\leq k$

Système projectif

Soit $(I,\leq)$ un ensemble ordonné filtrant. Soit C une catégorie. On appelle système projectif d'objets de C indexés 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 = Id_ {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$ .

Limite projective d'ensembles

Soit $(I,\leq)$ un ensemble ordonné filtrant. Soit $(E_i)_{i\in I}$ une famille d'ensembles indexée par $I$ . On suppose que pour chaque couple $(i,j)\in I^2$ tel que $i\leq j$ , on dispose d'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 = Id_ {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 l'ensemble

Exemples

Soit $E$ un ensemble et ( une famille décroissante de sous-ensemble de $E$ . pour , on considère l'injection canonique . cela constitue un système projectif.

Et, à bijection près, on a

Dans une catégorie, la limite inductive est la limite projective de la catégorie opposée.

Propriété universelle de la limite projective

Soit (X_i, f_ij) un système projectif dans une catégorie C. La limite projective X, lorsqu'elle existe, est un objet 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. La limite projective est notée : . On parlera de limite projective des X_i suivant les morphismes f_ij, ou par abus de langage, de limite suivant I, voire tout simplement de limite projective des X_i.

Lorsqu'elle existe, la limite projective est unique, à isomorphisme (unique) près.

Autrement dit, la limite projective représente le foncteur qui à un objet Y de la catégorie C associe l'ensemble .

Limite projective d'espaces topologiques

Soit $(I,\leq)$ un ensemble ordonné filtrant. Soit $(E_i)_{i\in I}$ un système projectif d'espaces topologiques, les applications ) étant continues.

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

Limite projective de structures algébriques

Dans la catégorie des magmas, des monoïdes, des groupes, des anneaux (mais pas des corps), des A-modules, des K-espaces vectoriels, on peut construire la limte projective.

Soit $(I,\leq)$ un ensemble ordonné filtrant. Soit $(E_i)_{i\in I}$ un système projectif de magmas (ou de toute autre structure algèbrique parmi la liste ci-dessus), les applications ) étant des morphismes. 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 diverse lois). Elle vérifie la propriété universelle de la limite projective.

Exemple

L'anneau des entiers p-adiques $\mathbb Z_p$ est défini comme la limite projective des anneaux $\mathbb Z/p^n\mathbb Z$ , indexés par $\mathbb{N}$ et reliés par les morphismes de réduction modulo p. Un entier p-adique est alors une suite $(a_n)_{n\ge 1}$ telle que $a_n \in \mathbb Z/p^n\mathbb Z$ et que, si $n < m$ , .

Généralisation

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

Dans une catégorie C, étant donné deux flèches $f:X\to Y$ et . On appelle noyau de la double flèche $(f, g)$ , un objet N muni d'une flèche tel que pour toute flèche telle que , il existe une unique flèche telle que . Le noyau est défini de façon plus simple dans les catégories abéliennes.