• Aucun résultat trouvé

Lien avec la théorie des ensembles

N/A
N/A
Protected

Academic year: 2022

Partager "Lien avec la théorie des ensembles"

Copied!
28
0
0

Texte intégral

(1)

Notation

La proposition “x ∈X” se lit “x est un élément deX”, “x appartient àX” ou “x est dans X”.

L’ensemble vide∅est l’ensemble n’ayant aucun élément.

Remarque

Valeur vérité de “∀x ∈ ∅,P(x)” et “∃x∈ ∅,P(x)”.

(2)

Inclusion:Aest inclus dansB, noté A⊂B, si tout élément de A est aussi un élément deB.

(3)

Définition

SoitAet B deux ensembles.

Inclusion:Aest inclus dansB, noté A⊂B, si tout élément de A est aussi un élément deB.

Egalité :Aet B sont égaux, notéA=B, s’ils ont les mêmes éléments.

(4)

Inclusion:Aest inclus dansB, noté A⊂B, si tout élément de A est aussi un élément deB.

Egalité :Aet B sont égaux, notéA=B, s’ils ont les mêmes éléments.

Complémentaire : le complémentaire deAdans B, noté B\A (se lit "B moins A"), est composé des éléments deB qui ne sont pas dans A. Aussi noté �B(A)ou A.

(5)

Définition

SoitAet B deux ensembles.

Inclusion:Aest inclus dansB, noté A⊂B, si tout élément de A est aussi un élément deB.

Egalité :Aet B sont égaux, notéA=B, s’ils ont les mêmes éléments.

Complémentaire : le complémentaire deAdans B, noté B\A (se lit "B moins A"), est composé des éléments deB qui ne sont pas dans A. Aussi noté �B(A)ou A.

Intersection : l’intersection deA etB, notée A∩B ("Ainter B"), est composée des éléments qui appartiennent à la fois à A etB.

(6)

Inclusion:Aest inclus dansB, noté A⊂B, si tout élément de A est aussi un élément deB.

Egalité :Aet B sont égaux, notéA=B, s’ils ont les mêmes éléments.

Complémentaire : le complémentaire deAdans B, noté B\A (se lit "B moins A"), est composé des éléments deB qui ne sont pas dans A. Aussi noté �B(A)ou A.

Intersection : l’intersection deA etB, notée A∩B ("Ainter B"), est composée des éléments qui appartiennent à la fois à A etB.

Réunion: la réunion deA etB, notéeA∪B ("B unionA"), est composée des éléments qui appartiennent soit à A, soit à B, soit aux deux simultanément.

(7)

Exemple

On considère les ensemblesA= [−1,2[ etB = [0,3]. A-t-on A⊂B ou B ⊂A? ExpliciterA∩B etA∪B,A\B et B\A.

(8)
(9)

SoitAet B deux ensembles, alors on a les équivalences logiques :

A⊂B ≡ ∀a∈A,a∈B

A⊂B ≡ (x ∈A) ⇒ (x ∈B)

(10)

A⊂B ≡ (x ∈A) ⇒ (x ∈B)

A=B ≡ (A⊂B)et(B ⊂A)

(11)

SoitAet B deux ensembles, alors on a les équivalences logiques :

A⊂B ≡ ∀a∈A,a∈B

A⊂B ≡ (x ∈A) ⇒ (x ∈B)

A=B ≡ (A⊂B)et(B ⊂A)

A=B ≡ (x ∈A) ⇔ (x ∈B)

(12)

A⊂B ≡ (x ∈A) ⇒ (x ∈B)

A=B ≡ (A⊂B)et(B ⊂A)

A=B ≡ (x ∈A) ⇔ (x ∈B)

x ∈ A\B ≡ (x∈A)et(x ∈/B)

(13)

SoitAet B deux ensembles, alors on a les équivalences logiques :

A⊂B ≡ ∀a∈A,a∈B

A⊂B ≡ (x ∈A) ⇒ (x ∈B)

A=B ≡ (A⊂B)et(B ⊂A)

A=B ≡ (x ∈A) ⇔ (x ∈B)

x ∈ A\B ≡ (x∈A)et(x ∈/B)

x ∈ A∩B ≡ (x ∈A)et(x∈B)

(14)

A⊂B ≡ (x ∈A) ⇒ (x ∈B)

A=B ≡ (A⊂B)et(B ⊂A)

A=B ≡ (x ∈A) ⇔ (x ∈B)

x ∈ A\B ≡ (x∈A)et(x ∈/B)

x ∈ A∩B ≡ (x ∈A)et(x∈B)

x ∈ A∪B ≡ (x ∈A)ou(x∈B)

(15)

Définition

SoitE un ensemble, l’ensemble des parties deE, noté P(E), est l’ensemble de tous les ensembles inclus dansE.

Exemple.Ensemble des parties de l’ensemble vide ? De l’ensemble {0,1,2}?

Cardinal de cet ensemble lorsqueE est fini ?

(16)

une partie deE, alors on peut définir : la réunion �

iI

Ai : x∈�

iI

Ai ⇔ ∃i ∈I, x ∈Ai

l’intersection �

iI

Ai : x ∈�

iI

Ai ⇔ ∀i ∈I, x∈Ai

(17)

Définition

SoitE etI deux ensembles, pour touti ∈I on suppose que Ai est une partie deE, alors on peut définir :

la réunion �

iI

Ai : x∈�

iI

Ai ⇔ ∃i ∈I, x ∈Ai

l’intersection �

iI

Ai : x ∈�

iI

Ai ⇔ ∀i ∈I, x∈Ai

Exemple.Décrire �

n∈N

[n,n+1[ et �

n∈N

� 0,1

n

� .

(18)

couples de la forme(e f) où e ∈E etf ∈F.

(19)

Définition

Leproduit cartésienE×F est l’ensemble formé par tous les couples de la forme(e,f) où e ∈E etf ∈F.

Exemple.L’ensembleR×R, aussi notéR2 est l’ensemble R×R={(x,y) : x,y ∈R}

qui est une représentation du plan... cartésien !

(20)

une partie deE ×F. On dit alors quee est en relation avec f, qu’on noteeRf, si et seulement si (e,f)∈G :

eRf ⇔(e,f)∈G QuandF =E, on parle de relation sur E.

(21)

Définition

UnerelationRdeE vers F est donnée par son grapheG qui est une partie deE ×F. On dit alors quee est en relation avec f, qu’on noteeRf, si et seulement si (e,f)∈G :

eRf ⇔(e,f)∈G QuandF =E, on parle de relation sur E.

Exemple.On représente le graphe de la relation ≤sur l’ensemble E ={0,1,2}.

(22)

propriété que tout élémente ∈E est en relation avec au plusun élémentf ∈F par ϕ.

(23)

Définition

Unerelation d’ordreRsurE est une relation qu’on note souvent ≤ (ou≥) et qui vérifie les trois propriétés :

réfléxivité :∀e ∈E, e ≤e

antisymétrie :

∀e ∈E,∀f ∈E, ((e ≤f)ET (f ≤e)⇒e =f

transitivité :

∀e ∈E,∀f ∈E,∀g ∈E, ((e ≤f)ET (f ≤g)⇒(e ≤g)

(24)

(ou≥) et qui vérifie les trois propriétés :

réfléxivité :∀e ∈E, e ≤e

antisymétrie :

∀e ∈E,∀f ∈E, ((e ≤f)ET (f ≤e)⇒e =f

transitivité :

∀e ∈E,∀f ∈E,∀g ∈E, ((e ≤f)ET (f ≤g)⇒(e ≤g) Exemple.L’ordre usuel≤ surRest une relation d’ordre.

L’ordre alphabétique est un ordre sur les mots.

(25)

Définition

SoitF ⊂E un sous-ensemble non vide. Un élément e deE est un

unminorant deF si :∀f ∈F, e ≤f,

unmajorant deF si :∀f ∈F, e ≥f.

SiE =F, on note min{E} le minorant deE etmax{E} le majorant deE quand ils existent.

(26)

On appelle infimum de F le plus grand minorant de F (par convention−∞ siF n’a pas de minorant). Il est noté inf{F}.

On appelle suprémum deF le plus petit majorant deF (par convention+∞ siF n’a pas de majorant). Il est noté sup{F}.

(27)

Définition (Fonction numérique)

Unefonction numériquef est une fonction deRdansR. C’est un procédé qui à tout nombre réelx d’un sous-ensemble Df

deR associe un unique nombre réel noté f(x). On écrit alors :

f: Df →R x�→f(x)

L’ensembleDf est appeléensemble de définition def.

(28)

La fonction valeur absolue| · |:x�→|x|

La fonction partie entière E :x�→E(x)

La fonction inverse f :x�→ x1

Références

Documents relatifs

Avec l'outil « tangente », tracer la tangente à la courbe au point A.. Avec l'outil « pente », faire afficher la pente de

Avec l'outil « tangente », tracer la tangente à la courbe au point A.. Avec l'outil « pente », faire afficher la pente de

Nous étudions l’album Dans la cour de l’école.. Je suis capable

Reconstituer FILLE GARCON en me repérant sur le mot écrit en petit sur ma planche.. Reconstituer le mot sans modèle, en me repérant à

Reconstituer une phrase avec des étiquettes, en utilisant l’affichage de la classe.. Je suis capable

Le résultat précédent étant valable pour tout x réel, la fonction f

On veut déterminer une équation de la tangente à la courbe représentative de f au point A de la courbe d'abscisse 2.. De même, on obtient que la fonction f est croissante

L’autre direction (tangent ⇒ diff´ erentiable) se montre de fa¸ con analogue, mais il faut jouer avec l’in´ egalit´ e triangulaire de fa¸ con un peu compliqu´