Vous êtes sur la page 1sur 2

Dfinition dun ensemble en comprhension

Un ensemble peut tre dfini en comprhension, cest--dire qu'on le dfinit par une proprit caractristique parmi
les lments d'un ensemble donn. Ainsi l'ensemble desentiers naturels pairs est clairement dfini par
comprhension, par la proprit tre pair parmi les entiers naturels. On peut utiliser la notation d'un ensemble en
comprhension5, par exemple pour l'ensemble des entiers naturels pairs, on crira ( dsignant l'ensemble des
entiers naturels) :

On dfinira de la mme faon ( dsignant l'ensemble des entiers relatifs) :

l'ensemble des entiers relatifs compris entre -7 et 23 ;

l'ensemble des carrs parfaits non nuls.

La formulation gnrale est :

Cette construction a besoin d'un ensemble dj existant E et d'une proprit P dfinie sur tous les lments
de E. Elle permet donc de construire des sous-ensembles mais pas la runion d'une famille d'ensembles, ni
l'ensemble des parties d'un ensemble, ni mme les ensembles finis dfinis par la liste de leurs lments comme
au paragraphe prcdent. On pourrait pourtant crire, par exemple pour l'ensemble des parties P(E) =
{A|AE}

Il n'est pas pour autant possible de dfinir un ensemble par n'importe quelle proprit, et lever entirement la
restriction de la comprhension. Si c'tait le cas on pourrait dfinir l'ensemble {x | x x}, ce qui conduit une
contradiction (c'est le paradoxe de Russell). La restriction de la comprhension un ensemble connu protge
contre ce genre de paradoxes, elle correspond directement au schma d'axiomes de comprhension de
la thorie de Zermelo. Cette restriction ne peut se lever que dans des cas particuliers prcis, qui correspondent
d'autres axiomes de la thorie de Zermelo (axiome de la paire, axiome de la runion, axiome de l'ensemble des
parties).

On n'a pas dit ce que l'on entendait par proprit ou condition . Malgr la restriction prcdente, on ne
peut tout autoriser, sous peine d'autres paradoxes comme leparadoxe de Richard ou le paradoxe de Berry, qui
fait intervenir, par exemple, l'ensemble des entiers naturels dfinissables en moins de quinze mots franais . Il
est ncessaire de prciser le langage dans lequel on peut dfinir ces conditions. En particulier ce langage doit
tre dfini a priori, et ne peut tre tendu qu' l'aide de dfinitions qui sont soit de simples abrviations, soit
rsultent de preuves d'existence et d'unicit

Dfinition d'un ensemble en extension et en comprhension

Un ensemble peut tre dfini en extension, c'est--dire en donnant la liste de ses lments entre accolades, ou en
comprhension c'est--dire par une proprit caractrisant ses lments.

La manire la plus simple de dcrire un ensemble fini est de lister ses lments entre accolades. L'ensemble est
alors dfini en extension. Par exemple {1,2} reprsente l'ensemble dont les lments sont 1 et 2.

L' ordre des lments ne revt aucune importance; par exemple, {1,2} = {2,1}.
La rptition d' lments entre les accolades ne modifie pas l'ensemble; par exemple, {1,2,2} = {1,1,1,2} =
{1,2}.

Pour dfinir en extension un ensemble dont le nombre d'lments est infini , nous pouvons crire quelques
lments de cet ensemble suivis de points de suspension. Par exemple, l'ensemble des entiers naturels se dfinit
par : = {0, 1, 2, 3, }. Les points de suspension peuvent aussi tre utiliss pour abrger l'criture de la liste des
lments de certains ensembles finis . Par exemple l'ensemble {1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21} s'crit plus
simplement {1, 3, 5,, 21}. Un abus de notation permet de dfinir un ensemble en plaant entre accolades la nature
des objets qui lui appartiennent. Par exemple la notation {entiers pairs} dsigne l'ensemble de tous les entiers relatifs
multiples de 2. Il est aussi possible de dfinir un ensemble par une proposition logique P qui dpend de x.
L'ensemble est alors constitu de tous les objets x pour lesquels la condition P est vraie. Cet ensemble se note
{x / P(x)}. Par exemple, {x/x est un nombre rel} dsigne l'ensemble des nombre rels .. Cette notation est appele
notation de dfinition d'un ensemble en comprhension . Quelques variantes de notations de dfinition d'un
ensemble en comprhension sont:

{x A / P(x)} dsigne l'ensemble des x qui sont dj lments de A tels que la condition P soit vrifie pour
ces x. Par exemple, si est l'ensemble des entiers, alors {x . / x est un entier pair} est l'ensemble de tous
les entiers pairs.

{F(x) / x A} dsigne l'ensemble de tous les objets obtenus en mettant les lments de l'ensemble A dans la
formule F. Par exemple, {2x / x .} est encore l'ensemble de tous les entiers pairs.

{F(x) / P(x)} est la forme la plus gnrale de la dfinition en comprhension. Par exemple, { propritaire de x /
x est un chien} est l'ensemble de tous les propritaires de chiens.
Dfinition: galit de deux ensembles

Deux ensembles et sont dits gaux s'ils ont exactement les mmes lments et nous crivons . Nous
avons

P.S : cherche par exemple Schma de comprhension non restreint

{x|Px}