Relations d'équivalence et relations d'ordre

Non, jamais. Une relation d'équivalence est symétrique, alors qu'une relation d'ordre est antisymétrique. Si une relation est à la fois d'équivalence et d'ordre, elle est nécessairement l'égalité ($x\mathcal{R}y \iff x=y$).

💡 À retenir : Les deux notions sont opposées sur la propriété de symétrie.

1. Fixe l'élément $x$ dont tu veux la classe.
2. Écris la définition : $\bar{x} = {y \in E / x\mathcal{R}y}$.
3. Remplace $\mathcal{R}$ par sa condition mathématique.
4. Résous l'équation ou l'inéquation pour isoler $y$ en fonction de $x$.

💡 À retenir : La classe est l'ensemble de tous les $y$ qui "ressemblent" à $x$ selon la règle donnée.

1. Un élément $m$ est maximal s'il n'existe aucun $x$ tel que $m < x$ (on ne peut pas aller plus haut).
2. Un élément $M$ est le plus grand si pour tout $x$, $x \le M$ (il est au-dessus de tout le monde).

💡 À retenir : Le plus grand élément est toujours maximal, mais un élément maximal n'est pas forcément le plus grand (surtout si l'ordre n'est pas total).

C'est la propriété qui empêche deux éléments distincts d'être "liés" dans les deux sens. Si $x\mathcal{R}y$ et $y\mathcal{R}x$, alors obligatoirement $x=y$. Si tu trouves deux éléments différents $x \neq y$ tels que $x\mathcal{R}y$ et $y\mathcal{R}x$, alors la relation n'est pas antisymétrique.

💡 À retenir : L'antisymétrie est la clé pour prouver un ordre.

Oui, tout à fait. Si une relation n'est pas réflexive, elle ne peut être ni une relation d'équivalence, ni une relation d'ordre. Par exemple, la relation $<$ sur $\mathbb{R}$ n'est pas réflexive car $x < x$ est faux.

💡 À retenir : La réflexivité est une condition nécessaire pour les deux types de relations étudiés.

Tu dois identifier les classes distinctes. Souvent, tu cherches un représentant pour chaque classe (par exemple, les restes de la division euclidienne). Si $E/\mathcal{R} = {\bar{0}, \bar{1}, \dots, \overline{n-1}}$, alors l'ensemble quotient contient exactement ces $n$ éléments.

💡 À retenir : Les classes d'équivalence forment une partition de $E$.

Oui. Par exemple, sur $\mathbb{Z}$ avec l'ordre usuel $\le$, il n'y a pas de plus petit élément car pour tout $n$, $n-1 < n$.

💡 À retenir : L'existence d'un élément minimal n'est pas garantie dans un ensemble ordonné.

1. Suppose $x\mathcal{R}y$ et $y\mathcal{R}z$.
2. Utilise les définitions pour écrire les conditions correspondantes.
3. Combine ces conditions pour montrer que $x\mathcal{R}z$ est vérifiée.

💡 À retenir : La transitivité est souvent l'étape la plus longue mais la plus mécanique.

Non, on peut parler d'élément maximal dans n'importe quel ensemble ordonné. Cependant, dans un ordre total, s'il existe un élément maximal, c'est forcément le plus grand élément.

💡 À retenir : Dans un ordre total, maximal = plus grand.

$E$ est l'ensemble des éléments individuels. $E/\mathcal{R}$ est l'ensemble des "groupes" (classes). Chaque élément de $E/\mathcal{R}$ est lui-même un sous-ensemble de $E$.

💡 À retenir : $E/\mathcal{R}$ est un ensemble de sous-ensembles.

Pas forcément. Elle n'est réflexive que pour les éléments qui sont en relation avec au moins un autre élément. Si un élément est "isolé" (n'est en relation avec personne, pas même lui-même), la réflexivité échoue.

💡 À retenir : Il faut toujours vérifier la réflexivité séparément.

Pour pouvoir comparer des éléments et chercher des bornes (max, min, sup, inf). C'est fondamental pour l'analyse et l'optimisation.

💡 À retenir : La structure d'ordre permet de donner un sens à la notion de "plus grand" ou "plus petit".