ExerciceMaths Sup – MPSI, chapitre 2 — Applications et relations binaires · Relations d'ordre
Exercice 37
On définit sur l'ordre lexicographique : .
1. Montrer que est une relation d'ordre total. L'ensemble possède-t-il un plus grand élément ?
2. Les parties et sont-elles majorées ? Ont-elles un plus grand élément ? une borne supérieure, au sens de l'exercice 36 ?
3. Montrer que toute partie non vide de possède un plus petit élément.
4. Existe-t-il une suite strictement décroissante d'éléments de ? Comparer avec l'exercice 35 de la feuille du chapitre 1.
Corrigé
1. Réflexivité : et . Antisymétrie : si et , alors et , donc , puis et . Transitivité : si et si l'une des deux inégalités entre premières composantes est stricte, alors ; sinon et . Totalité : si , l'un des deux est plus petit ; si , on compare et .
2. Un majorant de vérifierait pour tout : la partie n'est pas majorée. La partie est majorée par . Elle n'a pas de plus grand élément, car . Ses majorants sont les couples avec : un couple est dépassé par dès que . Le couple vient « juste après » tous les : entre les deux, il n'y a rien, bien qu'il y ait une infinité d'éléments au-dessous de .
3. Soit une partie non vide de . L'ensemble des premières composantes de ses éléments est une partie non vide de , qui a un plus petit élément . Parmi les éléments de de première composante , on choisit celui dont la seconde composante est la plus petite. Pour tout , on a , ou et .
4. S'il existait une suite strictement décroissante , l'ensemble de ses termes aurait un plus petit élément , d'après la question 3. Or : c'est absurde. C'est le même argument qu'à l'exercice 35 de la feuille du chapitre 1 pour . Il est ici plus surprenant : au-dessous de , il y a une infinité d'éléments, les . Une suite peut descendre aussi longtemps qu'elle veut, mais toute descente finit par s'arrêter.