• Aucun résultat trouvé

Rectifieruned´emonstration D´etailleruned´emonstration D´etailleruned´emonstration Justifierunediscontinuit´e Contrˆolerunefonction Continuit´e

N/A
N/A
Protected

Academic year: 2022

Partager "Rectifieruned´emonstration D´etailleruned´emonstration D´etailleruned´emonstration Justifierunediscontinuit´e Contrˆolerunefonction Continuit´e"

Copied!
1
0
0

Texte intégral

(1)

L1 Analyse Exos5 : 6/10/2009

Continuit´ e

1.

Contrˆ oler une fonction

On consid`ere la fonction f :=x7→3x2−x3. a) Trouver un majorant M de|f0| sur [0,2].

b) Donner un intervalle ouvert I contenant 1 et o`uf reste entre 1,9 et 2,1. Faire un dessin.

c) Etant donn´e >0, donner η >0 v´erifiant (pour tout x r´eel) |x−1|< η =⇒ |f(x)−2|< . 2.

Justifier une discontinuit´ e

Trouver un point o`u la fonction x7→[x](x2−x) est discontinue. Justifier.

3.

D´ etailler une d´ emonstration

Pour trois r´eels x, a etr avecr positif, montrer l’´equivalence :

|x−a| ≤r ⇐⇒a−r≤x≤a+r.

4.

D´ etailler une d´ emonstration

Pour f d´efinie sur tout R et a quelconque, on consid`ere les quatre ´enonc´es A, B, C, D suivants :

∀η >0, ∃ >0, |x−a|< =⇒ |f(x)−f(a)|< η;

∀η >0, ∃ >0, |x−a|< =⇒ |f(x)−f(a)| ≤η;

∀η >0, ∃ >0, |x−a| ≤=⇒ |f(x)−f(a)| ≤η;

∀η >0, ∃ >0, |x−a| ≤=⇒ |f(x)−f(a)|< η .

a) Parmi les douze implications entre ces ´enonc´es, cinq sont faciles, lesquelles ? Prouvez-les.

b) Pour prouver l’´equivalence entre ces quatre ´enonc´es, il suffit de prouver une implication suppl´ementaire.

Laquelle ?

c) Prouvez cette sixi`eme implication.

5.

Rectifier une d´ emonstration

D´enoncer et rectifier la d´emonstration (d´elirante) suivante :

Th´eor`eme : si deux fonctions (partout d´efinies) sont continues en un point, leur somme l’est aussi.

Preuve : soient f etg les deux fonctions donn´ees, eta le point o`u elles sont suppos´ees continues. On doit montrer quef+g est continue en a. Soit donc un nombre strictement positif. On doit trouver ηstrictement positif v´erifiant l’implication qu’on sait. Pour cela, utilisons nos deux hypoth`eses : elles nous fournissent deux nombres η1 et η2 v´erifiant

|x−a|< η1 =⇒ |f(x)−f(a)|< et |x−a|< η2 =⇒ |g(x)−g(a)|< . En ajoutant membre-`a-membre, on obtient

|x−a|< η12 =⇒ |f(x) +g(x)−f(a)−g(a)|<2.

Quitte `a remplacer par 2, on voit que η :=η12 convient.

Références

Documents relatifs

NB : Les d´ emonstrations des th´ eor` emes ou propositions ´ etoil´ es doivent ˆ etre sues. Strat´ egies de

Le th´ eor` eme en question affirme que pour un groupe, disons fini, G, le transfert dans le groupe D(G) des commutateurs, V : G/D(G) −→ D(G)/DD(G) est l’homomorphisme trivial`. La

Ce « couple » est désormais un grand classique que l’on va devoir (si ce n’est déjà fait !) s’habituer à rencontrer régulièrement.. Le résultat est

Celles donnant le max et le min d’un couple de réel sont souvent

Nous reprendrons pour l’essentiel les notations de Batt, Faltenbacher et Horst dans [BFH], ainsi que la d´ emonstration qu’ ils ont donn´ ee du th´ eor` eme de Jeans, en l’

Encadrer f 0 et en d´ eduire un intervalle autour de 1 dans lequel f reste comprise entre 6.9 et 7.1.. Quel encadrement de I donne l’in´ egalit´ e de

a) Prouver de fa¸con d´ etaill´ ee que la somme de deux fonctions croissantes est croissante.. b) Prouver de fa¸con d´ etaill´ ee que la compos´ ee de deux fonctions monotones

[r]