Relations et classes d'équivalence

Relations et ensembles

On considère des relations entre l’ensemble et l’ensemble . Écrire les relations suivantes comme des sous ensembles de .

  1. « est inférieur strictement à »,
  2. « est inférieur ou égal à »,
  3. « divise ».

Écrire les relations réciproques de chacune des relations précédentes.


Dessiner les graphes des fonctions suivantes et de leurs inverses.

  1. La fonction définie par .
  2. La fonction définie par  ;
  3. La fonction définie par ;

On rappelle qu’un graphe est une relation. Dans les cas ci-dessus, s’agit-il de relations réflexives, symétriques, transitives ?

Diagrammes de Hasse

Considérons le graphe de compatibilité des groupes sanguins: signifie que une personne du groupe sanguin peut donner son sang à une personne du groupe sanguin .

AB A B 0

Définir la relation « compatibilité ». Est-elle réflexive, transitive, symétrique, antisymétrique?


Rappel : l’ensemble des parties d’un ensemble est l’ensemble de tous les sous-ensembles de (y compris l’ensemble vide et lui-même).

On considère l’ensemble des parties de muni de la relation ( est contenu dans ). La relation est-elle un ordre ? En dessiner le diagramme de Hasse.

Propriétés des relations

Donner des exemples de relations qui sont

  1. réflexives et symétriques mais pas transitives,
  2. réflexives et transitives mais pas symétriques,
  3. symétriques et transitives mais pas réflexives.

La relation sur les entiers suivante est-elle une relation d’équivalence ?

.

Donner la classe d’équivalence de 3, 4, 5, 6.


Les relations suivantes sont-elles des relations d’ordre sur les entiers? Et sur les rationnels?

  1. si et seulement si .
  2. si et seulement si .
  3. si et seulement si est multiple de .
  4. si et seulement si l’écriture de en base dix est contenue dans l’écriture de en base dix (ex. : ).

Rappel: On dit que , et on lit «  équivaut à modulo  », s’il existe une entier tel que . De façon équivalente, si et donnent le même reste dans la division par .

Montrer que pour tout entier , la relation « équivalent modulo  » est une relation d’équivalence sur les entiers. Caractériser les classes d’équivalence.


Soit . On définit sur l’ensemble la relation : si et seulement si est pair et est divisible par 3.

  1. Donner le cardinal de .
  2. Vérifier que est une relation d’équivalence.

On désigne par la classe d’équivalence de .

  1. Calculer le nombre d’éléments des classes .
  2. Soit . Montrer que si , alors .
  3. Combien y a-t-il de classes d’équivalence différentes ? Donner leur liste.
  4. Déterminer le cardinal de chaque classe d’équivalence. Le résultat est-il compatible avec la cardinalité de ?
Fork me on GitHub