Relations

Exo 7

Commencez par chercher à résoudre l'exercice par vous-même.

Si vous manquez d'idée pour débuter, consultez l'indice fourni et recommencez à chercher.

Une solution détaillée vous est ensuite proposée.

Soit une application croissante de dans lui-même, et .

Question

Démontrer que admet une borne inférieure .

Indice

Utilisez le théorème de la borne inférieure.

Solution

. Donc . Donc . Et .

Donc est une partie non vide de minorée par .

Conclusion : admet une borne inférieure .

Question

Démontrer que appartient à .

Indice

Démontrez que minore .

Solution

, donc . Donc est un minorant de .

Donc puisque est le plus grand des minorants de .

Conclusion : .

Question

Démontrer que .

Solution

, donc car est croissante, donc .

Conclusion : .

Question

En déduire que possède un point fixe.

Indice

Montrez que .

Solution

est un minorant de , donc de . Donc : .

En particulier , donc . Mais car . Donc : .

Conclusion : L'application possède un point fixe.

RemarqueRemarque

L'existence de repose sur le fait que .

Donc si , le raisonnement précédent ne serait plus possible. Cependant, on pourrait faire un raisonnement analogue avec la borne supérieure de car . Donc dans ce cas aussi, l'application possède un point fixe.

Par contre, si , l'application n'a pas toujours un point fixe. Exemple : .

PrécédentPrécédentSuivantSuivant
AccueilAccueilImprimerImprimer Paternité - Pas d'Utilisation Commerciale - Partage des Conditions Initiales à l'IdentiqueRéalisé avec Scenari (nouvelle fenêtre)