Académique Documents
Professionnel Documents
Culture Documents
Cor pb001 PDF
Cor pb001 PDF
On a A ∪ B = ∪
i ∈{1,2,…,n }
Ei = E et A ∩ B = ∅ car (E1 , E 2 ,…, En ) est partition de E .
On a A ∪ B = ∪
i∈I ∪J
Ei avec I ∪ J ⊂ {1, 2,…, n } donc A ∪ B ∈ A .
Ainsi Cl (x ) ⊂ ∩X.
X ∈Ax
Inversement :
Soit y ∈ ∩ X .
X ∈Ax
Pour tout A ∈ A .
Si A ∈ Ax alors y ∈ A et x ∈ A .
Si A ∉ Ax alors x ∉ A donc x ∈ A puis A ∈ Ax . Par suite y ∈ A et donc y ∉ A .
Dans les deux cas, on a x ∈ A ⇔ y ∈ A .
Ainsi x Ry puis y ∈ Cl (x ) et donc ∩ X ⊂ Cl (x )
X ∈Ax
Puisque A est fini, Ax est aussi fini et puisque l’intersection de deux éléments de A est encore élément
de A , on peut affirmer que Cl (x ) = ∩X
X ∈Ax
est élément de A comme intersection d’un nombre fini
d’éléments de A .
4.c.ii Soit A ∈ A . Notons B = ∪Cl (x ) et montrons A = B .
x ∈A
qu’un nombre fini d’atomes et finalement A se voit comme union d’un nombre fini d’atomes.