On désigne par A une partie non vide de R.
Remarque: Une partie non vide de R n'a pas toujours de majorant; lorsqu'elle en a un, elle admet une infinité (Exemples).
Définition. On dit qu'un réel a est plus grand élément (ou maximum) de A si a appartient à A et est un majorant de A . a plus grand élément de A équivaut à :
On définit de même la notion de plus petit élément (ou minimum). |
Remarque: une partie majorée (resp. minorée) n'a pas nécessairement de
plus grand (resp. petit) élément
(Exemples).
Propriété. Si A a un plus grand (resp. petit) élément celui-ci est unique. |
Preuve:On aurait sinon ab et b
a, d'où a=b.
On note alors max A (resp. min A ) le plus grand (resp. petit) élément de A.
Groupe MMM Maths UPI Université Pierre et Marie Curie (Paris 6)