ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 2 — Applications et relations binaires · Relations d'ordre

Exercice 37

Démonstration

On définit sur ℕ2\mathbb{N}^{2} l'ordre lexicographique : (a,b)≼(c,d)  ⟺  (a<c ou (a=c et b⩽d))(a,b) \preccurlyeq (c,d) \iff \big(a < c \ \mathrm{ou}\ (a = c \ \mathrm{et}\ b \leqslant d)\big).

1. Montrer que ≼\preccurlyeq est une relation d'ordre total. L'ensemble ℕ2\mathbb{N}^{2} possède-t-il un plus grand élément ?

2. Les parties A={(p,p)∣p∈ℕ}A = \{(p,p) \mid p \in \mathbb{N}\} et B={(2,10p)∣p∈ℕ}B = \{(2, 10p) \mid p \in \mathbb{N}\} 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 ℕ2\mathbb{N}^{2} possède un plus petit élément.

4. Existe-t-il une suite strictement décroissante d'éléments de (ℕ2,≼)(\mathbb{N}^{2}, \preccurlyeq) ? Comparer avec l'exercice 35 de la feuille du chapitre 1.

Corrigé

1. Réflexivité : a=aa = a et b⩽bb \leqslant b. Antisymétrie : si (a,b)≼(c,d)(a,b) \preccurlyeq (c,d) et (c,d)≼(a,b)(c,d) \preccurlyeq (a,b), alors a⩽ca \leqslant c et c⩽ac \leqslant a, donc a=ca = c, puis b⩽db \leqslant d et d⩽bd \leqslant b. Transitivité : si (a,b)≼(c,d)≼(e,f)(a,b) \preccurlyeq (c,d) \preccurlyeq (e,f) et si l'une des deux inégalités entre premières composantes est stricte, alors a<ea < e ; sinon a=c=ea = c = e et b⩽d⩽fb \leqslant d \leqslant f. Totalité : si a≠ca \neq c, l'un des deux est plus petit ; si a=ca = c, on compare bb et dd. ≼ est un ordre total, sans plus grand eˊleˊment, car (a,b)≺(a+1,0).\boxed{\preccurlyeq \text{ est un ordre total, sans plus grand élément, car } (a,b) \prec (a + 1, 0).}

2. Un majorant (c,d)(c,d) de AA vérifierait c⩾pc \geqslant p pour tout pp : la partie AA n'est pas majorée. La partie BB est majorée par (3,0)(3,0). Elle n'a pas de plus grand élément, car (2,10p)≺(2,10(p+1))(2,10p) \prec (2, 10(p+1)). Ses majorants sont les couples (c,d)(c,d) avec c⩾3c \geqslant 3 : un couple (2,d)(2,d) est dépassé par (2,10p)(2, 10p) dès que 10p>d10p > d. A n’est pas majoreˊe ; B n’a pas de plus grand eˊleˊment, mais sup⁡B=(3,0)∉B.\boxed{A \text{ n'est pas majorée ; } B \text{ n'a pas de plus grand élément, mais } \sup B = (3,0) \notin B.} Le couple (3,0)(3,0) vient « juste après » tous les (2,b)(2,b) : entre les deux, il n'y a rien, bien qu'il y ait une infinité d'éléments au-dessous de (3,0)(3,0).

3. Soit PP une partie non vide de ℕ2\mathbb{N}^{2}. L'ensemble des premières composantes de ses éléments est une partie non vide de ℕ\mathbb{N}, qui a un plus petit élément a0a_{0}. Parmi les éléments de PP de première composante a0a_{0}, on choisit celui dont la seconde composante b0b_{0} est la plus petite. Pour tout (a,b)∈P(a,b) \in P, on a a>a0a > a_{0}, ou a=a0a = a_{0} et b⩾b0b \geqslant b_{0}. (a0,b0) est le plus petit eˊleˊment de P.\boxed{(a_{0}, b_{0}) \text{ est le plus petit élément de } P.}

4. S'il existait une suite strictement décroissante (un)(u_{n}), l'ensemble de ses termes aurait un plus petit élément un0u_{n_{0}}, d'après la question 3. Or un0+1≺un0u_{n_{0}+1} \prec u_{n_{0}} : c'est absurde. Il n’existe pas de suite strictement deˊcroissante dans (ℕ2,≼).\boxed{\text{Il n'existe pas de suite strictement décroissante dans } (\mathbb{N}^{2}, \preccurlyeq).} C'est le même argument qu'à l'exercice 35 de la feuille du chapitre 1 pour ℕ\mathbb{N}. Il est ici plus surprenant : au-dessous de (1,0)(1,0), il y a une infinité d'éléments, les (0,b)(0,b). Une suite peut descendre aussi longtemps qu'elle veut, mais toute descente finit par s'arrêter.

Ouvrir dans l'atlas interactif →