• Aucun résultat trouvé

Théorie des ensembles

N/A
N/A
Protected

Academic year: 2022

Partager "Théorie des ensembles"

Copied!
3
0
0

Texte intégral

(1)

PCSI 2 - CPGE Med V - Casablanca

Resumé de cours 2 : Théorie des ensembles

Lundi 20 Septembre 2004 I. Applications et ensembles :

Application : Une applicationf :E →F est bien dénie si et seulement si :

∀(x, x0)∈E2,x1 =x2 ⇒f(x) =f(x0).

Injection : Une applicationf :E→F est injective si et seulement si :

∀(x1, x2)∈E2,f(x) =f(x0)⇒x=x0.

Surjection : Une applicationf :E→F est surjective si et seulement si :

∀y∈F,∃x∈E tel que :y=f(x).

Bijection : Une applicationf :E→F est bijective si et seulement si :

∀y∈F,∃!x∈E tel que : y=f(x).

Image directe d'une partie : Soitf :E →F,A une partie de E ety∈F. y∈f(A) si et seulement si :∃x∈A tel que : y=f(x).

Propriétés : Soitf :E→F,A etB deux parties de E. On a les résultats suivants : f(∅) =∅;f(A∪B) =f(A)∪f(B);A⊂B ⇒f(A)⊂f(B);f(A∩B)⊂f(A)∩f(B).

Image réciproque d'une partie : Soitf :E→F,A une partie deF etx∈E. x∈f−1(A) si et seulement si : f(x)∈A.

Propriétés : Soitf :E→F,A etB deux parties de F. On a les résultats suivants :

f−1(∅) =∅;f−1(A∪B) =f−1(A)∪f−1(B);A⊂B ⇒f−1(A)⊂f−1(B);f−1(A∩B) =f−1(A)∩ f−1(B).

II. Relations binaires :Dans la suite on suppose < une relation binaire dénie sur un ensemble E.

Réexivité :< est dite réexive si et seulement si :∀x∈E on a :x<x.

Symetrie :<est dite symetrique si et seulement si : ∀(x, y)∈E2 on a : x<y⇒y<x. Antisymetrie : <est dite antisymetrique si et seulement si :∀(x, y)∈E2 on a : (x<y ety<x)⇒x=y.

Relation d'équivalence : < est une relation d'équivalence si et seulement si : elle est à la fois réexive, symetrique et transitive.

Exemples :

1. DansN, avecn∈N xé, on pose :a<bsi et seulement si : ndivisea−b. On dit alors quea est congru àbmodulo net on écrit : a≡b[n].

2. DansR2, on pose−→u<−→v si et seulement si :∃λ >0 tel que :−→u =λ−→v.

Classes d'équivalence : Si<est une relation d'équivalence sur un ensembleE, pour toutx∈E, la classe d'équivalence dexest la partie deE, notéex dénie par la relation :y∈x si et seulement si :y<x.

Exemples : Pour la congruence modulo 2 dans N, on a : 0 = {0,2,4,6,8, . . .}, alors que pour la congruence modulo 3 dansN, on a :0 ={3,6,9,12,15, . . .}.

Propriétes : Si< est une relation d'équivalence sur un ensembleE, on a les résultats suivants :

1

(2)

(∀x∈E on a :x∈x) et (∀(x, y)∈E2 on a : x<y⇔x=y).

Famille de parties : SoitE un ensemble et(Ai)i∈I une famille de parties deE, on a les dénitions suivantes :∀x∈E,x∈ S

i∈I

⇔ ∃i∈I tel que :x∈Ai;x∈ T

i∈I

⇔ ∀i∈I on a :x∈Ai

Partition : SoitE un ensemble,(Ai)i∈I une famille de parties de E est dite une partition de E si et seulement si : elle vérie les 3 propriétés suivantes :

1. ∀i∈I on a :Ai6=∅.

2. ∀(i, j)∈I2 on a :i6=j =⇒ Ai∩Aj =∅. 3. S

i∈I

=E.

Théorème 1 : Soitf :E →F, alors f−1{y}

y∈f(E) est une partition deE.

Théorème 2 : Les classes d'équivalence d'une relation d'équivalence dénie sur un ensemble forment une partition de cet ensemble.

Théorème 3 : Si(Ai)i∈Iest une partition d'un ensembleE, alors on peut dénir sur cet ensemble E une relation d'équivalence dont les classes d'équivalence sont exactement les partiesAi.

Relation d'ordre : < est une relation d'ordre si et seulement si : elle est à la fois réexive, antisymetrique et transitive.

Exemples :

1. DansN, on pose :a<bsi et seulement si :a≤b. Ordre usuel.

2. DansN, on pose :a<bsi et seulement si :adivise b.

3. DansN2, on pose :(a, b)<(c, d) si et seulement si :a≤c etb≤d.

4. Dans N2, on pose : (a, b)<(c, d) si et seulement si : (a < c) ou (a = c et b ≤ d). Ordre lexicographique.

5. DansP(E), on pose :A<B si et seulement si :A⊂B.

Ordre total ou partiel : Une relation d'ordre < sur un ensemble est dite totale si et seulement si : Tous les éléments de E sont comparable avec R, c'est à dire que : ∀(x, y) ∈E2 on a :x<y ou y<x. Dans le cas contraire c'est à dire quand :∃(x, y)∈E2tel que :x<y fausse ety<x fausse, dans ce cas on dit que<est une relation d'ordre partielle.

Exercice : Parmi les exemples précédents préciser les relations d'ordre qui sont totales et ceux qui ne le sont pas.

Majorant : Soit<une relation d'ordre sur un ensembleEetaetbdeux éléments deE, on dit que b est un majorant de a quand a<b, et on dit que b est un majorant d'une partie A de E quand b est un majorant de tous les éléments deA. On dit que la partie Aadmet un plus grand élément s'il existe un élément de A qui majore tous les autres élément, dans ce cas il est unique et on le note maxA.

Minorant : Soit<une relation d'ordre sur un ensembleE etaetbdeux éléments deE, on dit que b est un minorant de a quand b<a, et on dit que b est un minorant d'une partie A de E quand b est un minorant de tous les éléments deA. On dit que la partieA admet un plus petit élément s'il existe un élément de A qui minore tous les autres élément, dans ce cas il est unique et on le note minA.

Exercice : Trouve lesminetmaxquan ils existent des parties{1,2,3,6};{2,3,6};{1,2,3};{2,3}où la relation d'ordre esta<b si et seulement si adivise b.

2

(3)

FIN

c

2000-2004 http ://www.chez.com/myismail Mamouni My Ismail CPGE Med V-Casablanca

3

Références

Documents relatifs

On prend chaque élément d’un des deux ensembles (choisissez le plus petit) et on regarde s’il est aussi dans l’autre ensemble ; si oui, on le met dans l’ensemble résultat..

Montrer qu’on peut lister les éléments de P (E) de sorte que la liste commence par ∅ , se termine par {x n } et que chaque nouveau terme de la liste est obtenu depuis le précédent

Théorème  .— (Knaer-Tarski) Soit (E, ≤ ) un ensemble complet supérieurement (resp. Quel théorème vient-on de prouver?.. On considère les axiomes suivants : S..

Cette dernière restriction, quelque vraisemblable que soit la solution négative, introduit une difficulté insurmontable dans Pétât actuel de la Science; si elle est surmontée demain,

Si ces points ne sor- tent pas du carré ^2 où nous avons pris 62, nous passerons à la troi- sième subdivision €3, nous prendrons les carrés ^3 de cette subdi- vision qui

Georg Cantor, lorsque chaque dimension d'un ensemble n^ e bien défini est de la première puissance (n étant un nombre entier positif quelconque), l'en- semble est lui-même de

Certains animaux avec des nageoires sont des baleines Aucun animal respirant avec des poumons n’est un poisson Toutes les baleines sont des animaux respirant avec

Alors, si l’ensemble des nombres entiers qu’on ne peut pas définir en moins de 100 mots dans la langue française était vraiment un ensemble, (on se convainc sans mal qu’il