• Aucun résultat trouvé

R´ esum´ e de cours : Ensembles.

N/A
N/A
Protected

Academic year: 2022

Partager "R´ esum´ e de cours : Ensembles. "

Copied!
2
0
0

Texte intégral

(1)

2 RELATIONS BINAIRES.

R´ esum´ e de cours : Ensembles.

Applications.

MPSI-Maths.

Mr Mamouni: [email protected]

Source disponible sur:

c

http://www.chez.com/myismail

ÕækQË@ áÔgQË@ é<Ë@ Õæ„.

á JÓ ñÜÏ@ ð éËñƒP ð ÕºÊÔ« é<Ë@ øQ ‚ ¯ @ñÊÔ«@ ɯ ð Õæ ¢ªË@ é <Ë@ †Y “

1 Applications et ensembles.

Application. Une application f : E → F est bien d´efinie si et seulement si :

∀x∈E f(x)∈F

∀(x, x0)∈E2 x=x0 ⇒f(x) =f(x0)

Injection. Une application f :E →F est injective si et seulement si :

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

Surjection. Une application f :E →F est surjective si et seulement si :

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

Bijection. Une applicationf :E →F est bijective (injective et surjective) si et seulement si :

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

Image directe d’une partie. Soit f : E → F, A une partie de E et y∈F.

y∈f(A) si et seulement si ∃x∈A tel que y=f(x).

Propri´et´es. Soit f :E →F, A etB deux parties de E. On a les r´esultats suivants :

f(∅) = ∅ f(A∪B) = f(A)∪f(B) A⊂B ⇒f(A)⊂f(B) f(A∩B)⊂f(A)∩f(B)

Image r´eciproque d’une partie. Soit f : E → F, A une partie de F et x∈E.

x∈f−1(A) si et seulement si f(x)∈A.

Propri´et´es. Soit f :E →F, A etB deux parties deF. On a les r´esultats 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)

2 Relations binaires.

Dans la suite on suppose< une relation binaire d´efinie sur un ensemble E.

R´eflexivit´e. <est dite r´eflexive 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 antisymetriquesi et seulement si : ∀(x, y)∈E2 on a :

(x<y et y<x)⇒x=y.

Relation d’´equivalence.< est une relation d’´equivalence si et seulement si : elle est `a la fois r´eflexive, symetrique et transitive.

Exemples.

MPSI-Maths Mr Mamouni

R´esum´e de cours : Th´eorie des ensembles Page 1 sur 2

http ://www.chez.com/myismail [email protected]

(2)

2 RELATIONS BINAIRES.

– DansN, avecn ∈Nfix´e, on pose :a<bsi et seulement si :n divisea−b.

On dit alors que a est congru `a b modulo n et on ´ecrit :a≡b [n].

– Dans

@

2, on pose u<−v si et seulement si : ∃λ >0 tel que :−→u =λ−→v . Relation d’ordre. R est une relation d’ordre si et seulement si : elle est

`

a la fois r´eflexive, antisymetrique et transitive.

Exemples.

1) Dans N, on pose :aRb si et seulement si : a≤b. Ordre usuel.

2) Dans N, on pose :aRb si et seulement si : a diviseb.

3) Dans N2, on pose : (a, b)R(c, d) si et seulement si :a ≤cetb ≤d.

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

5) Dans P(E), on pose : ARB si et seulement si : A⊂B.

Ordre total ou partiel: Une relation d’ordreR sur un ensemble est dite totale si et seulement si : Tous les ´el´ements de E sont comparable entre eux, c’est `a dire que : ∀(x, y)∈E2 on a : xRy ouyRx. Dans le cas contraire c’est

`

a dire quand : ∃(x, y)∈E2 tel que :xRy fausse et yRx fausse, dans ce cas on dit que R est une relation d’ordre partielle.

Majorant. Soit R une relation d’ordre sur un ensemble E et a et b deux

´

el´ements de E, on dit que b est un majorant de a quand aRb, et on dit que b est un majorant d’une partie A de E quand b est un majorant de tous les

´

el´ements deA. On dit que la partieA admet un plus grand ´el´ement s’il existe un ´el´ement de A qui majore tous les autres ´el´ement, dans ce cas il est unique et on le note maxA.

Minorant. Soit R une relation d’ordre sur un ensemble E et a et b deux

´

el´ements de E, 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

´

el´ements de A. On dit que la partie A admet un plus petit ´el´ement s’il existe un ´el´ement de A qui minore tous les autres ´el´ement, dans ce cas il est unique et on le note minA.

Fin.

MPSI-Maths Mr Mamouni

R´esum´e de cours : Th´eorie des ensembles Page 2 sur 2

http ://www.chez.com/myismail [email protected]

Références

Documents relatifs

Universit´ e Paris 7-Denis Diderot Alg` ebre et G´ eom´ etrieL. Maˆıtrise de math´ ematiques et informatique Ann´

Tout groupe d’ordre 80 n’admet-il qu’un seul 5-sous-groupe de

Le but de cet exercice est donc de rechercher s’il existe une position du point T sur le segment [EM] pour laquelle l’angle ATB est maximum et, si c’est le cas, de d´ [ eterminer

Observons que chaque classe est non vide ; que deux classes sont disjointes ou confondues ; et que la r´eunion de toutes les classes est E.. Dans cette situation, nous dirons que

[r]

K d´esignant le corps des r´eels ou celui des complexes, on note M n,p (K) le K-espace vectoriel des matrices `a coefficients dans K ayant n lignes et p colonnes.. On lui donne le

Q 1.1 Ecrivez une fonction RechSeq qui, ´ etant donn´ ee une plage de cellules et un ´ el´ ement x, retourne vrai si x est pr´ esent dans la plage, et faux sinon.. On cherche `

[r]