Théorie des ensembles et relations d'ordre

1. La théorie des ensembles

La théorie des ensembles est une branche des mathématiques qui étudie les ensembles, c'est-à-dire des collections d'objets bien définis.

Notions de base

• Ensemble : une collection d'objets (appelés éléments), notée {a, b, c} par exemple.
• Appartenance : si un objet x appartient à un ensemble E, on écrit x ∈ E.
• Inclusivité : E est inclus dans F, noté E ⊆ F, si tous les éléments de E le sont aussi de F.

2. Relations d'ordre

Une relation d'ordre est une relation entre éléments d'un ensemble qui permet de comparer ces éléments selon un certain critère.

Propriétés d'une relation d'ordre

• Réflexivité : pour tout x, x est en relation avec lui-même (x ⪯ x).
• Antisymétrie : si x ⪯ y et y ⪯ x, alors x = y.
• Transitivité : si x ⪯ y et y ⪯ z, alors x ⪯ z.

Exemple :

La relation « ≤ » (inférieur ou égal à) sur l'ensemble des nombres réels est une relation d'ordre : elle est réflexive, antisymétrique et transitive.

3. Exemple d'application

Considérons l'ensemble E = {1, 2, 3, 4} et la relation « divisibilité » (≡|). Cette relation est un ordre partiel car :

• 1 | 1 (réflexivité),
• si 2 | 4 et 4 | 2, mais ce n'est pas vrai, donc antisymétrie est respectée,
• et si 1 | 2 et 2 | 4, alors 1 | 4 (transitivité).

Ce genre de relations est utile pour structurer des problèmes en mathématiques et en informatique.

Exercice de vérification

Donne un exemple de relation d'ordre sur l'ensemble {a, b, c} et vérifie si elle possède bien les trois propriétés : réflexivité, antisymétrie et transitivité.