Des preuves classiques de Prépas en 5 lignes ou moins.

Un problème, une question, un nouveau théorème ?

Modérateurs : JeanN, Michel Quercia

Avatar du membre
Dattier
Messages : 927
Enregistré le : ven. juil. 07, 2017 10:08 pm
Contact :

Des preuves classiques de Prépas en 5 lignes ou moins.

Message par Dattier » mer. mars 21, 2018 12:30 am

Salut,

\( (x_n)\in[a,b]^{\mathbb N} \).

Montrons qu'il existe une sous suite convergente.

cas 1 : \( \forall n\in\mathbb N, \sup\{x_k;k > n\}=\max\{x_k;k > n\}=x_{s(n)}, s(n) > n \)
On pose \( s^2(x)=s(s(x)) \) et \( \phi(n)=s^n(0) \) alors \( x_{\phi(n)} \) est une sous suite décroissante minorée par a, donc elle converge.

cas 2 : \( \exists n\in\mathbb N, \sup\{x_k;k > n\} \) n'est pas atteint,
alors il existe une sous suite \( x_{\phi(n)} \) qui converge vers ce sup.

Fin.

Cordialement.
Modifié en dernier par Dattier le jeu. avr. 05, 2018 9:55 pm, modifié 2 fois.
Raisonnement exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

Almar
Messages : 62
Enregistré le : lun. juin 27, 2016 11:03 pm

Re: une jolie preuve du théorème de Bolzano-Wierstrass (en 4 lignes)

Message par Almar » mer. mars 21, 2018 12:48 am

Quelqu'un avait déjà proposé cette preuve en exercice pour les lycéens ici, j'avais beaucoup aimé :)
2016-2017 : MPSI (Lycée Pierre de Fermat)
2017-2018 : MP*
2018-20XX : ENS de Lyon

Avatar du membre
Dattier
Messages : 927
Enregistré le : ven. juil. 07, 2017 10:08 pm
Contact :

Re: une jolie preuve du théorème de Bolzano-Wierstrass (en 4 lignes)

Message par Dattier » mer. mars 21, 2018 12:57 am

Effectivement c'est la même idée.
Raisonnement exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

kakille
Messages : 527
Enregistré le : sam. mars 26, 2016 3:43 am

Re: une jolie preuve du théorème de Bolzano-Wierstrass (en 4 lignes)

Message par kakille » mer. mars 21, 2018 12:59 am

1. De toute suite réelle, on peut extraire une suite monotone : considérer le cas ou le nombre d'indices pics est fini ou pas.
2. Une suite monotone bornée est convergente.

Deux lignes.

Fin.

Cordialement.
"[...] On dira que le nombre \( L \) est limite de cette suite, si, pour tout nombre réel donné \( \varepsilon \), si petit soit-il, il existe un nombre entier \( n \) tel que l'ont ait \( |L−S_n|<\varepsilon \)."

Alain Badiou, Eloge des mathématiques.

Avatar du membre
Dattier
Messages : 927
Enregistré le : ven. juil. 07, 2017 10:08 pm
Contact :

Re: une jolie preuve du théorème de Bolzano-Wierstrass (en 4 lignes)

Message par Dattier » mer. mars 21, 2018 1:00 am

@Almar : Je vais m'attaquer au théorème de convergence dominée, si tu as cela déjà en stock, c'est pas la peine.
Raisonnement exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

Avatar du membre
Dattier
Messages : 927
Enregistré le : ven. juil. 07, 2017 10:08 pm
Contact :

Re: une jolie preuve du théorème de Bolzano-Wierstrass (en 4 lignes)

Message par Dattier » mer. mars 21, 2018 1:01 am

kakille a écrit :
mer. mars 21, 2018 12:59 am
1. De toute suite réelle, on peut extraire une suite monotone : considérer le cas ou le nombre d'indices pics est fini ou pas.
2. Une suite monotone bornée est convergente.

Deux lignes.

Fin.

Cordialement.
C'est exactement ce que j'ai fait, sauf que j'ai developpé les 2 cas (ce qui donne 4 lignes)
Raisonnement exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

kakille
Messages : 527
Enregistré le : sam. mars 26, 2016 3:43 am

Re: une jolie preuve du théorème de Bolzano-Wierstrass (en 4 lignes)

Message par kakille » mer. mars 21, 2018 1:11 am

Ah bah désolé, c'est pas assez clair pour moi. Je vois pas là où tu distingues fini/infini.

Pour moi, indice pic de la suite c'est un indice tel que le terme correspondant majore tous les termes suivants. Une date de record où on aurait inversé la ligne du temps.

T'es sûr qu'on propose "exactement" la même chose ? Moi pas.

:?
"[...] On dira que le nombre \( L \) est limite de cette suite, si, pour tout nombre réel donné \( \varepsilon \), si petit soit-il, il existe un nombre entier \( n \) tel que l'ont ait \( |L−S_n|<\varepsilon \)."

Alain Badiou, Eloge des mathématiques.

Avatar du membre
Dattier
Messages : 927
Enregistré le : ven. juil. 07, 2017 10:08 pm
Contact :

Re: une jolie preuve du théorème de Bolzano-Wierstrass (en 4 lignes)

Message par Dattier » mer. mars 21, 2018 1:24 am

cas 1 fini, cas 2 infini
Raisonnement exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

kakille
Messages : 527
Enregistré le : sam. mars 26, 2016 3:43 am

Re: une jolie preuve du théorème de Bolzano-Wierstrass (en 4 lignes)

Message par kakille » mer. mars 21, 2018 1:30 am

Je ne trouve pas ça assez clair. C'est mon humble opinion.
"[...] On dira que le nombre \( L \) est limite de cette suite, si, pour tout nombre réel donné \( \varepsilon \), si petit soit-il, il existe un nombre entier \( n \) tel que l'ont ait \( |L−S_n|<\varepsilon \)."

Alain Badiou, Eloge des mathématiques.

Avatar du membre
Dattier
Messages : 927
Enregistré le : ven. juil. 07, 2017 10:08 pm
Contact :

Re: une jolie preuve du théorème de Bolzano-Wierstrass (en 4 lignes)

Message par Dattier » mer. mars 21, 2018 1:34 am

la preuve, ou que l'on exploite la même idée ?
Raisonnement exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

kakille
Messages : 527
Enregistré le : sam. mars 26, 2016 3:43 am

Re: une jolie preuve du théorème de Bolzano-Wierstrass (en 4 lignes)

Message par kakille » mer. mars 21, 2018 1:35 am

Les deux mon capitaine.
"[...] On dira que le nombre \( L \) est limite de cette suite, si, pour tout nombre réel donné \( \varepsilon \), si petit soit-il, il existe un nombre entier \( n \) tel que l'ont ait \( |L−S_n|<\varepsilon \)."

Alain Badiou, Eloge des mathématiques.

Avatar du membre
Dattier
Messages : 927
Enregistré le : ven. juil. 07, 2017 10:08 pm
Contact :

Re: une jolie preuve du théorème de Bolzano-Wierstrass (en 4 lignes)

Message par Dattier » mer. mars 21, 2018 1:36 am

qu'est-ce qui n'est pas clair dans la justification que je propose ?
Raisonnement exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

kakille
Messages : 527
Enregistré le : sam. mars 26, 2016 3:43 am

Re: une jolie preuve du théorème de Bolzano-Wierstrass (en 4 lignes)

Message par kakille » mer. mars 21, 2018 1:38 am

Vu que tu es dans la concision, je vais dire "tout".
"[...] On dira que le nombre \( L \) est limite de cette suite, si, pour tout nombre réel donné \( \varepsilon \), si petit soit-il, il existe un nombre entier \( n \) tel que l'ont ait \( |L−S_n|<\varepsilon \)."

Alain Badiou, Eloge des mathématiques.

darklol
Messages : 801
Enregistré le : dim. avr. 19, 2015 12:08 am

Re: une jolie preuve du théorème de Bolzano-Wierstrass (en 4 lignes)

Message par darklol » mer. mars 21, 2018 1:39 am

Par contre pense à changer ton énoncé du théorème de convergence dominée avant d’essayer de le démontrer en 3 lignes.
ENS Lyon
Ingénieur de recherche

Avatar du membre
Dattier
Messages : 927
Enregistré le : ven. juil. 07, 2017 10:08 pm
Contact :

Re: une jolie preuve du théorème de Bolzano-Wierstrass (en 4 lignes)

Message par Dattier » mer. mars 21, 2018 1:41 am

@kakille :
Le cas 1 correspond aux cas où tu peux construire une suite décroissante.
Le cas 2 correspond aux cas où tu peux construire une suite croissante.
Modifié en dernier par Dattier le mer. mars 21, 2018 1:42 am, modifié 1 fois.
Raisonnement exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

Répondre

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 5 invités