Théorie des ensembles

Page 1

Théorie des ensembles Les ensembles ont été brièvement présentés en début d’année, ici on étudie ceux-ci de manière plus approfondie. E , F ,G , H désignent des ensembles. I. Ensembles 1°) Inclusion Déf : On dit que E est inclus dans F , et on note E ⊂ F , ssi tout élément de E est aussi élément de F . Ainsi : E ⊂ F ⇔ ∀x ∈ E , x ∈ F . Prop : E = F ⇔ E ⊂ F et F ⊂ E . Prop : E ⊂ F et F ⊂ G ⇒ E ⊂ G , 2°) Sous ensemble Déf : On appelle partie (ou sous-ensemble) d’un ensemble E tout ensemble A inclus dans E . L’ensemble formé des parties de E est noté : P (E ) . 3°) Opérations dans P (E ) Soit A, B ,C trois parties d’un ensemble E .

B

A

a) union et intersection Déf : On appelle union de A et B l’ensemble noté A ∪ B formé des éléments de E qui appartiennent à A ou à B : Ainsi A ∪ B = {x ∈ E / x ∈ A ou x ∈ B } .

A∪B

Déf : On appelle intersection de A et B l’ensemble noté A ∩ B formé des éléments de E qui appartiennent à A et à B : Ainsi A ∩ B = {x ∈ E / x ∈ A et x ∈ B } .

A

Prop : A ∪ A = A, A ∩ A = A , A ∪ E = E ,A ∩ E = A , A ∪ ∅ = A, A ∩ ∅ = ∅ , A ∪ B = B ∪ A, A ∩ B = B ∩ A , A ∪ (B ∪C ) = (A ∪ B ) ∪C noté A ∪ B ∪C ,

B

A∩B

A ∩ (B ∩C ) = (A ∩ B ) ∩C noté A ∩ B ∩C , A ∪ (B ∩C ) = (A ∪ B ) ∩ (A ∪C ) et A ∩ (B ∪C ) = (A ∩ B ) ∪ (A ∩C ) . Prop : Si A ⊂ C et B ⊂ C alors A ∪ B ⊂ C . Si C ⊂ A et C ⊂ B alors C ⊂ A ∩ B . b) complémentaire Déf : On appelle complémentaire d’une partie A de E l’ensemble noté CE A

E

A

formé des éléments de E qui ne sont pas dans A . Ainsi CE A = {x ∈ E / x ∉ A} .

Prop : CE (CE A) = A ,

CE A

CE (A ∪ B ) = CE A ∩ CE B , CE (A ∩ B ) = CE A ∪ CE B , A ⊂ B ⇔ CE B ⊂ CE A . c) différences Déf : On appelle ensemble A privé de B l’ensemble noté A \ B (ou A − B ) constitué des éléments de E qui sont dans A sans être dans B . Ainsi : A \ B = {x ∈ E / x ∈ A et x ∉ B } .

B

A

A\B

Prop : A \ B = A ∩ CE (B ) .

-1/6-


Turn static files into dynamic content formats.

Create a flipbook
Issuu converts static files into: digital portfolios, online yearbooks, online catalogs, digital photo albums and more. Sign up and create your flipbook.