UNIVERSIT PARIS 1 LICENCE PHILOSOPHIE/LOGIQUE

LICENCE 1-S2 MATHMATIQUES

RELATIONS D'QUIVALENCE

Une relation d'quivalence sur un ensemble est une relation binaire qui est rflexive (sur X), symtrique et transitive : Pour tout , Pour tout , implique . Pour tout , et implique . Une partition d'un ensemble est un ensemble non-vide de parties non-vides de deux deux disjointes, et dont la runion est gale : P (X), Pour tout Soit , , , , on dfinit : ,

une relation d'quivalence sur un ensemble . Pour chaque

est la classe d'quivalence de (modulo ). L'ensemble :

des -classes dquivalence est appel l'ensemble quotient de Exercice 1. Soient un ensemble, et est une partition de . Exercice 2. Soient dfinie sur par un ensemble, et

modulo . . Montrer que

une relation d'quivalence sur une partition de

. Montrer que la relation

est une relation d'quivalence sur X. Exercice 3. Montrer que : 1. Si est une relation d'quivalence sur un ensemble , et la partition de dfinie dans l'Exercice 1, alors est la relation d'quivalence associe dans l'Exercice 2. 2. Si est une partition d'un ensemble , et la relation d'quivalence dfinie dans l'Exercice 2, alors . Il rsulte de lExercice 3 quil existe une bijection entre les partition dun ensemble les relations dquivalence sur . et