Borne supérieure
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
mehdi-128
- Membre Complexe
- Messages: 2838
- Enregistré le: 10 Déc 2006, 13:57
-
par mehdi-128 » 05 Oct 2018, 18:15
Bonsoir,
Je me suis rendu compte que je sais pas comment déterminer une borne supérieure
Soit
=x)
sur

Comment montrer que
 = 1)
Je sait que 1 est majorant car :
 \leq 1)
Comment montrer que c'est le plus petit ?
-
Landstockman
- Membre Relatif
- Messages: 188
- Enregistré le: 11 Aoû 2015, 07:22
-
par Landstockman » 05 Oct 2018, 18:19
Tu exhibes une suite
)
de

telle que
)
tende vers 1.
Par exemple,

convient.
Après dans ton exemple ton ensemble c'est

donc c'est clair que le sup est 1

-
Kolis
- Membre Relatif
- Messages: 482
- Enregistré le: 25 Sep 2015, 16:29
-
par Kolis » 05 Oct 2018, 22:14
tu vérifies que tout nombre strictement inférieur à 1 n'est pas majorant !
-
capitaine nuggets
- Modérateur
- Messages: 3931
- Enregistré le: 13 Juil 2012, 22:57
- Localisation: nulle part presque partout
-
par capitaine nuggets » 06 Oct 2018, 00:52
Salut !
Compte-tenu du fait que

est l'identité
\ ;\ x\in [0,1[ \} = \sup{ [0,1[ })
.

est clairement majorant de

; pour montrer que c'est le plus petit, raisonne par l'absurde par exemple : suppose qu'il existe un autre majorant

de

. Exhibe alors un élément

(dépendant de

) tel que

pour obtenir une contradiction avec le fait que

est supposé être un majorant de

.

-
mehdi-128
- Membre Complexe
- Messages: 2838
- Enregistré le: 10 Déc 2006, 13:57
-
par mehdi-128 » 06 Oct 2018, 14:48
@Landstockman
Merci ! J'avais pas pensé au théorème : Soit A un partie non vide et majorée par un réel a alors :
)
<=> il existe une suite d'éléments de A converge vers a.
Méthode super rapide et efficace
@Capitain
@Kolis
Si je suppose qu'il existe un autre majorant

J'ai pas réussi à trouver un

dépendant de

-
mehdi-128
- Membre Complexe
- Messages: 2838
- Enregistré le: 10 Déc 2006, 13:57
-
par mehdi-128 » 06 Oct 2018, 14:52
Par contre je me demandais ma partie A ici c'est bien :
 , x \in [0,1[ \}= \{x , x \in [0,1[ \})
A est une partie non vide car

A est majorée par 1 car :

-
capitaine nuggets
- Modérateur
- Messages: 3931
- Enregistré le: 13 Juil 2012, 22:57
- Localisation: nulle part presque partout
-
par capitaine nuggets » 06 Oct 2018, 15:03
mehdi-128 a écrit:Par contre je me demandais ma partie A ici c'est bien :
 , x \in [0,1[ \}= \{x , x \in [0,1[ \})
capitaine nuggets a écrit:\ ;\ x\in [0,1[ \} = \sup{ [0,1[ })
.
Prend par exemple

comme étant le milieu de

:

-
mehdi-128
- Membre Complexe
- Messages: 2838
- Enregistré le: 10 Déc 2006, 13:57
-
par mehdi-128 » 06 Oct 2018, 15:34
D'accord, si

est le milieu de

avec


Donc

avec

Contradiction avec

majorant

-
Kolis
- Membre Relatif
- Messages: 482
- Enregistré le: 25 Sep 2015, 16:29
-
par Kolis » 06 Oct 2018, 17:27
Parce que, sans prendre la demi-somme, tu ne sais pas qu'il existe une infinité de réels entre

et

lorsque

?
-
mehdi-128
- Membre Complexe
- Messages: 2838
- Enregistré le: 10 Déc 2006, 13:57
-
par mehdi-128 » 06 Oct 2018, 19:01
Kolis a écrit:Parce que, sans prendre la demi-somme, tu ne sais pas qu'il existe une infinité de réels entre

et

lorsque

?
C'est assez intuitif mais on utilise pas ce genre de vérité en maths non ?
-
Landstockman
- Membre Relatif
- Messages: 188
- Enregistré le: 11 Aoû 2015, 07:22
-
par Landstockman » 06 Oct 2018, 19:07
Le truc c'est que là tu essaies de déterminer la borne sup d'un ensemble que tu assumes être [0,1[, donc c'est pas nécessaire de passer par tout ce qu'on a dit^^
Ce que présente Capitaine Nugget c'est surtout pour le cas général, quand c'est plus complexe (enfin j'imagine)
-
mehdi-128
- Membre Complexe
- Messages: 2838
- Enregistré le: 10 Déc 2006, 13:57
-
par mehdi-128 » 06 Oct 2018, 19:34
Landstockman a écrit:Le truc c'est que là tu essaies de déterminer la borne sup d'un ensemble que tu assumes être [0,1[, donc c'est pas nécessaire de passer par tout ce qu'on a dit^^
Ce que présente Capitaine Nugget c'est surtout pour le cas général, quand c'est plus complexe (enfin j'imagine)
Par contre vous avez utilisez la propriété de la borne sup par les suites faut bien préciser l'ensemble considéré A comme je l'ai fait avec A ?
-
Landstockman
- Membre Relatif
- Messages: 188
- Enregistré le: 11 Aoû 2015, 07:22
-
par Landstockman » 06 Oct 2018, 22:37
mehdi-128 a écrit:Par contre vous avez utilisez la propriété de la borne sup par les suites faut bien préciser l'ensemble considéré A comme je l'ai fait avec A ?
Oui c'est exactement ça !
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 175 invités