Le Sun, 21 Dec 2003 19:55:11 +0100
"Oodini" écrivit:
[color=green][color=darkred]
> >> Un maximum s'applique à un ensemble fini.
> >> Un supremum s'applique à un ensemble infini.[/color]
>
> > C'est nouveau cette définition ?>
> > Cela risque de révolutionner complètement l'analyse classique!>
> Ben c'est celle qu'on m'avait donnée, mais puisque j'ai posé en ce
> jour une question sur le livre de Ciarlet, je vais donner ses
> définitions, se trouvant à la fin de l'ouvrage:
>
> min{...}, max{...} : borne inférieure, supérieure, d'un ensemble fini.
> inf{...}, sup{...} : borne inférieure, supérieure, d'un ensemble
> infini, qu'elle soit atteinte ou non.
>
> Cela dit, je ne suis ni mathématicien, ni prof de maths, et je ne me
> battrais pas pour cette définition.
> Je suis ouvert à toute suggestion.
[/color]
Un ensemble fini a *obligatoirement* un maximum mais un ensemble qui a
un maximum n'est pas obligatoirement fini. Par exemple [-2;2] et
]-infini;2] ont pour maximum 2. ]-2,2[ n'a pas de maximum car aucun
nombre *de* *l'ensemble* ]-2;2[ n'est plus grand que tous les autres.
Un majorant d'un ensemble A est un nombre M (pas nécessairement dans A)
tel qu'aucun élément de A ne soit supérieur à M
Par exemple 3 et 2 sont des un majorants aussi bien de ]-2;2[ que de
[-2;2]. Comme il n'existe pas de plus petit majorant que
2, on dit que 2 est la borne supérieure de l'ensemble.
La borne supérieure n'est pas forcément un élément de l'ensemble.
Dans l'ensemble des nombres réels, tout maximum est également une borne
supérieure, mais la réciproque est fausse.
Ce que dit votre livre n'est pas une définition c'est une
simplification un peu limite. Il a sûrement ses raisons pour présenter
ces notions ainsi mais votre interprétation prouve que c'est dangereux.
(Contrairement à ce que certains croivent, les gens dangereux ne sont
pas les habitants d'Angers
JJR.