Ensemble et application Partie III

ENSEMBLE ET APPLICATION (PARTIE 3)

I. Famille
1. Dfinition Soit et deux ensembles non vides, on appelle famille d'lments de . indexs par toute application : .

sera appel l'ensemble des indices. sera not : et l'application sera not : Remarque : Si , la famille

s'appelle suite d'lments de

2. Oprations sur les familles Soient un ensemble et Intersection : Runion : ensemble des indices . . ; soit la famille des parties de , on dfinit :

3. Partition d'un ensemble Soient On dit que 1. 2. 3. . et deux ensembles non vides, soit est une partition de . . si : une famille d'lments de .

Exemple : Soit :

et est une partition de

, .

II. Relation Binaire

1. Dfinition Soit un ensemble non vide et un graphe. On appelle relation binaire definie sur toute correspondance de On note aussi et on dit que : est en relation avec

et on note : .

2. Proprits ventuelles d'une relation binaire Soit une relation binaire sur un ensemble est dite : Rflexive si : Symtrique si : Transitive si : Antisymtrique si : , . : : : non vide.

. et et . .

3. Relation d'quivalence - Relation d'ordre Soit un ensemble non vide et soit On dit que : une relation binaire dfinie sur .

est une relation d'quivalence si elle est : Rflexive - Symtrique - Transitive. est une relation d'ordre si elle est : Rflexive - Antisymtrique - Transitive, et dans ce cas, confusion avec une situation usuelle.

sera not

s'il n'y a pas de risque de

1 sur 2

http://www.ilemaths.net/maths_p-ensemble-application-03.php

Ensemble et application Partie III

4. Classe d'quivalence - Ensemble quotient Soit un ensemble non vide muni d'une relation d'quivalence L'ensemble et soit . ou .

est appel classe d'quivalence de

et on note gnralement : .

L'ensemble des classes d'quivalence s'appelle ensemble quotient not : Proposition : Soit un ensemble non vide et soit forme une partition de .

une relation d'quivalence dfinie sur

, alors :

5. Ensemble Ordonn un ensemble non vide muni d'une relation d'ordre Soit Et dans ce cas, pour , on dit que : et , on dit alors que est un ensemble ordonn.

sont comparables si : ou . est un ensemble totalement ordonn si tous les lments de

sont comparables, sinon,

est partiellement ordonn.

6. Elments particuliers Soit un ensemble ordonn et soit est le plus grand lment de est le plus petit lment de , on dit que : (si il existe) si : (si il existe) si : et on note et on note . .

7. Majorant et Minorant d'une partie Soit un ensemble ordonn avec est majore si : est minore si : non vide et soit . . avec , on dit que :

retrouvez cette page sur l'le des mathmatiques Tom_Pascal & Ocane 2006

2 sur 2

http://www.ilemaths.net/maths_p-ensemble-application-03.php