Relations d'ordre

Exercices corrigés

Exercice 1.
Soient

{E,F}

deux ensembles ordonnés, et

{A}

une partie non vide de

{E}

.
Soit

{f}

une application croissante de

{E}

dans

{F}

.
Montrer que si

{\max(A)}

existe, alors

{\max(f(A))}

existe et vaut

{f(\max A)}

.
Est-ce encore vrai si on remplace «

{\max}

» par «

{\sup}

« ?

Cliquer ici pour voir (ou cacher) le corrigé

Pour voir la suite de ce contenu, vous devez :

avoir souscrit à mathprepa
et être connecté au site

Pour poursuivre votre exploration, vous pouvez :

revenir à la page d'accueil
ou tester la page d'extraits libres
ou consulter le plan du site

☞ Mathprepa.fr est le site des mathématiques et de l'informatique des deux années des classes prépa scientifiques: plus de 2500 exercices et 200 problèmes (soigneusement corrigés), un cours complet (maths et info), plus de 400 sujets de concours, des Quiz (plus de 600 questions), etc. Un contenu sans équivalent, dans une présentation fluide et professionnelle adaptée à tous les écrans, pour une souscription de 15€ (6 mois), 25€ (1 an) ou 35€ (2 ans).

Exercice 2.
Soient

{\mathcal{R},\mathcal{S}}

deux relations d’ordre total sur

{E}

On définit la relation ${\mathcal{T}}$ sur ${E}$ par : ${x\mathcal{T}y\Leftrightarrow (x\mathcal{R}y\;\text{et}\;\ x\mathcal{S} y)}$ .
Est-ce une relation d’ordre (total, partiel)?
Même question en définissant : ${x\,\mathcal{U}\,y\Leftrightarrow (x\mathcal{R}y\;\text{ou}\;\ x\mathcal{S}y)}$ .

Cliquer ici pour voir (ou cacher) le corrigé

Pour voir la suite de ce contenu, vous devez :

avoir souscrit à mathprepa
et être connecté au site

Pour poursuivre votre exploration, vous pouvez :

revenir à la page d'accueil
ou tester la page d'extraits libres
ou consulter le plan du site

Exercice 3.
Sur

{\mathbb{R}\times\mathbb{R}}

, on définit deux relations

{\mathcal{R},\mathcal{S}}

par :

{\begin{cases}(x,y)\mathcal{R}(x',y')\Leftrightarrow x\le x'\;\text{et}\;y\le y'\\(x,y)\mathcal{S}(x',y')\!\Leftrightarrow\!(x\!\lt\!x')\,\text{ou}\,(x\!=\!x',y\!\le\!y')\end{cases}}

Est-ce que

{\mathcal{R}}

{\mathcal{S}}

sont des relations d’ordre?

Cliquer ici pour voir (ou cacher) le corrigé

Pour voir la suite de ce contenu, vous devez :

avoir souscrit à mathprepa
et être connecté au site

Pour poursuivre votre exploration, vous pouvez :

revenir à la page d'accueil
ou tester la page d'extraits libres
ou consulter le plan du site

Exercice 4.
Soient

{E,F}

deux ensembles ordonnés (l’ordre de

{E}

étant total).
Soit

{f:E\rightarrow F}

, croissante.
Montrer que

{f}

est injective si et seulement si elle est strictement croissante.
Que dire si on ne suppose pas que

{E}

est totalement ordonné?

Cliquer ici pour voir (ou cacher) le corrigé

Pour voir la suite de ce contenu, vous devez :

avoir souscrit à mathprepa
et être connecté au site

Pour poursuivre votre exploration, vous pouvez :

revenir à la page d'accueil
ou tester la page d'extraits libres
ou consulter le plan du site

Exercice 5.
Cet exercice est connu sous le nom de « problème des hussards ».
Soit

{(a_{ij})_{1\le i\le n,\,1\le j\le p}}

une famille de

{np}

réels.
Comparer

{A=\displaystyle\min_{1\le i\le n}\;(\displaystyle\max_{1\le j\le p} a_{i,j})}

{B=\displaystyle\max_{1\le j\le p}\;(\displaystyle\min_{1\le i\le n} a_{i,j})}

Cliquer ici pour voir (ou cacher) le corrigé

Pour voir la suite de ce contenu, vous devez :

avoir souscrit à mathprepa
et être connecté au site

Pour poursuivre votre exploration, vous pouvez :

revenir à la page d'accueil
ou tester la page d'extraits libres
ou consulter le plan du site

Relations d’ordre

Exercices corrigés

Voir aussi :