Idéal (théorie des ensembles)

Dans la théorie des ensembles, un idéal est un ensemble partiellement ordonné d'ensembles considérés comme « petits » ou « négligeables ». Chaque sous-ensemble d'un élément de l'idéal doit également être dans l'idéal (cela codifie l'idée selon laquelle un idéal est une notion de petitesse), et l'union de deux éléments quelconques de l'idéal doit également être dans l'idéal.

Plus formellement, étant donné un ensemble $E$ , un idéal $I$ sur $E$ est un sous-ensemble non vide de ${\mathcal {P}}(E)$ (l'ensemble des parties de $E$ ) vérifiant les trois conditions suivantes :

$\varnothing \in I$
si $A\in I$ et $B\subseteq A,$ alors $B\in I$ (ou plus simplement, si $A\in I$ , alors ${\mathcal {P}}(A)\subset I$ )
si $A,B\in I$ alors $A\cup B\in I$ (stabilité par union)

Certains auteurs ajoutent une quatrième condition : $E\notin I$ (en fait, si on a $E\in I$ , la deuxième condition force $I={\mathcal {P}}(E)$ ). Les idéaux vérifiant cette condition supplémentaire sont appelés des idéaux propres.

Les idéaux au sens de la théorie des ensembles sont exactement les idéaux au sens de la théorie de l'ordre, où l'ordre considéré est l'inclusion des ensembles. En outre, ce sont exactement les idéaux au sens de la théorie des anneaux sur l'anneau de Boole formé par l'ensemble des parties de l'ensemble sous-jacent. La notion duale de celle d'idéal est la notion de filtre.

Terminologie

Un élément d'un idéal $I$ est dit $I-nul$ ou simplement nul ou négligeable s'il n'y a pas d'ambiguïté sur l'idéal considéré.

Si $I$ est un idéal sur $E$ , alors un sous-ensemble de $X$ est dit $I-positif$ (ou simplement positif) s'il n'est pas un élément de $I.$ L'ensemble des sous-ensembles positifs de $E$ est noté $I^{+}.$

Si $I$ est un idéal propre sur $E$ et que pour chaque $A\subseteq E$ soit $A\in I$ ou $E\setminus A\in I,$ alors $I$ est un idéal premier.

Exemples d'idéaux

Exemples généraux

On fixe un ensemble quelconque $E$ dans la suite. Par ailleurs, on dira en l'absence d'ambiguïté qu'un ensemble forme un idéal s'il forme un idéal sur $E$ .

Soit $E$ et $B\subset E$ . Alors ${\mathcal {P}}(B)$ est un idéal
L'ensemble des parties finies de $E$ est un idéal
L'ensemble des sous-ensembles des ensembles de mesure nulle dans un espace mesuré est un idéal sur l'ensemble sous-jacent de cet espace
L'ensemble des ensemble de mesure fini sur un espace mesuré est un idéal sur l'ensemble sous-jacent de cet espace.
Une bornologie sur un ensemble $E$ est un idéal qui recouvre $E$
On dit qu'un ensemble non vide ${\mathcal {B}}$ de sous-ensembles de $E$ est un idéal propre sur $E$ si son dual dans $E$ (qu'on définit comme suit : $E\setminus {\mathcal {B}}:=\{E\setminus B:B\in {\mathcal {B}}\}$ ), est un filtre propre sur $E$ (c'est-à-dire un filtre différent de ${\mathcal {P}}(E)$ ). Par exemple, le dual de ${\mathcal {P}}(E)$ est lui-même. Ainsi, un tel ensemble non vide est un idéal sur $E$ si et seulement si son dual est un dual idéal sur $E$ .

Idéaux sur les nombres naturels

L'idéal de tous les ensembles finis d'entiers naturels est noté $Fin$ .
L'idéal sommable sur les nombres naturels, noté ${\mathcal {I}}_{1/n},$ est la collection de tous les ensembles $A$ d'entiers naturels tels que la somme $\sum _{n\in A}{\frac {1}{n+1}}$ soit fini.
L'ideal des ensembles de densité asymptotique nulle sur $\mathbb {N}$ , noté ${\mathcal {Z}}_{0},$ est l'ensemble de tous les ensembles $A\subset \mathbb {N}$ de densité asymptotique nulle, c'est-à-dire tels que la proportion d'éléments de $A$ entre $0$ et $n$ tend vers zéro lorsque $n$ tend vers l’infini.

Idéaux sur les nombres réels

L'idéal mesuré est l'ensemble de tous les ensembles $A$ de nombres réels de mesure de Lebesgue nulle.
L'idéal maigre est l'ensemble de tous les ensembles maigres de nombres réels.

Idéaux sur d'autres ensembles

Si $\lambda$ est un nombre ordinal de cofinalité indénombrable, l'idéal non-stationnaire sur $\lambda$ est l'ensemble de tous les sous-ensembles de $\lambda$ qui ne sont pas stationnaires . Cet idéal a été étudié de manière approfondie par W. Hugh Woodin.

Opérations sur les idéaux

Étant donnés les idéaux $I$ et $J$ sur les ensembles $E$ et $F$ respectivement, on définit l'idéal produit $I\times J$ sur le produit cartésien $X\times Y,$ comme suit : $I\times J=\lbrace A\subset X\times Y\;|\;\{x\in X\;|\;\{y\;|\;(x,y)\in A\}\not \in J\}\in I\rbrace$

L'idée est qu'un ensemble est $I\times J$ -positif s'il existe un ensemble $I$ -positif dont chaque élément correspond dans $A$ à un ensemble $J$ -positif.

Un idéal $I$ sur un ensemble $E$ induit une relation d'équivalence sur ${\mathcal {P}}(E)$ , l'ensemble des parties de $E$ , de la manière suivante : on dit que $A$ et $B$ sont équivalents (pour $A,B\subset E$ ) si et seulement si la différence symétrique de $A$ et $B$ est un élément de $I$ . Le quotient de ${\mathcal {P}}(E)$ par cette relation d'équivalence est une algèbre de Boole, notée ${\mathcal {P}}(E)/I$ .

À chaque idéal correspond un filtre, appelé son filtre dual. Si $I$ est un idéal sur $E$ , alors le filtre dual de $I$ est l'ensemble dont les éléments sont les complémentaires dans $E$ des éléments de $I$ .

Relations entre idéaux

Si $I$ et $J$ sont des idéaux sur $E$ et $F$ respectivement, $I$ et $J$ sont isomorphes au sens Rudin et Keisler s'ils sont identique à le renommage des éléments de leurs ensembles sous-jacents près. Plus formellement, l'exigence est qu'il existe des ensembles $A$ et $B$ dans $I$ et $J$ respectivement, et une bijection $\varphi \colon E\setminus A\to F\setminus B,$ tel que :

$\forall C\subset E,\quad \lbrack C\in I\Longleftrightarrow \varphi (C)\in J\rbrack$

où $\varphi (C)$ désigne l'image directe de $C$ par $\varphi$ .

Si $I$ et $J$ sont isomorphes au sens de Rudin et Keisler, alors ${\mathcal {P}}(E)/I$ et ${\mathcal {P}}(F)/J$ sont isomorphes en tant qu'algèbres de Boole. Un isomorphisme entre ${\mathcal {P}}(E)/I$ et ${\mathcal {P}}(F)/J$ est dit trivial lorsqu'il est induit par un isomorphisme au sens de Rudin et Keisler entre $I$ et $J$ .

Voir aussi

Bibliographie

Ilijas Farah, Analytic quotients: theory of liftings for quotients over analytic ideals on the integers, American Mathematical Society, coll. « Memoirs of the American Mathematical Society », 2000 (ISBN 978-0-8218-2117-6)

Portail des mathématiques