• Aucun résultat trouvé

Probl` eme :

N/A
N/A
Protected

Academic year: 2022

Partager "Probl` eme :"

Copied!
2
0
0
En savoir plus ( Page)

Texte intégral

(1)

Licence de Math´ematiques Universit´e de Grenoble

Topologie, MAT352 1er semestre 2008/2009

Contrˆ ole continu n

o

1

Dur´ee 2h, documents, calculettes et t´el´ephones interdits

Question de cours : SoitAune partie deR. Donner la d´efinition de la borne sup´erieure de A ainsi qu’une condition n´ecessaire et suffisante pour son existence. Donner une carac- t´erisation de la borne sup´erieure de A `a l’aide de suites.

Exercice 1 :

Soit (un)n∈Nune suite de nombres r´eels telle que pour toutn ∈N, on ait|un+1−un|<2−n. Montrer que (un)n∈N converge.

Indication: on pourra chercher une majoration de |un−un+p| .

Exercice 2 :

Soit A une partie non-vide et born´ee de R. Soit B la partie de R d´efinie par B ={x−y,(x, y)∈A×A}.

Montrer que B admet une borne sup´erieure s, et exprimer s le plus simplement possible (on justifiera la r´eponse).

Probl` eme :

Les deux parties du probl`eme sont ind´ependantes. En particulier, on peut faire la seconde partie en admettant les r´esultats de la premi`ere.

Partie I.

Soient a et b deux r´eels tels que a < b. Le but de cette partie est de d´emontrer le r´esultat suivant.

Tout point x de l’intervalle [a, b] est limite d’une suite de points de la forme a+ 2kp(b−a) o`u k et p sont entiers.

(2)

Soitx∈[a, b]. On d´efinit deux suites (un)n∈Net (vn)n∈Npar r´ecurrence de la fa¸con suivante.

• u0 =a etv0 =b

• Siun etvn sont connus, alors – si x > un+vn

2 , on pose un+1 = un+vn

2 etvn+1 =vn, – si x≤ un+vn

2 , on poseun+1 =un etvn= un+vn

2 .

1) Montrer que (un)n∈N est croissante et que (vn)n∈N est d´ecroissante.

2) Montrer que pour tout n∈N, |vn−un| ≤(b−a)2−n. 3) Montrer que pour tout entier n, on a un ≤x≤vn.

4) En d´eduire que les deux suites (un)n∈N et (vn)n∈N convergent et donner leur limite.

5) Montrer que pour tout n, les nombres un etvn peuvent se mettre sous la forme a+ k

2p(b−a) , o`up est un entier et k est un entier tel que 0≤k≤2p. Indication: on pourra proc´eder par r´ecurrence surp.

Partie II.

On consid`ere l’ensemble E des fonctions continues f :R−→R qui v´erifient

∀(x, y)∈R×R f

x+y

2

= f(x) +f(y)

2 . (1)

6) Montrer que toute fonction affine appartient `aE.

Rappel : on dit qu’une fonction g :R−→R est affine s’il existe deux r´eels α et β tels que pour tout x r´eel, g(x) =αx+β.

7) Soitf une fonction appartenant `a E, et soient a etb deux r´eels tels que a < b.

a. Expliciter une fonction affine g telle que la fonction h=f −g s’annule en a et en b.

b. Montrer que h appartient `a E.

8) Soit x un point de l’intervalle [a, b]. Soient (un)n∈N et (vn)n∈N les suites construites comme dans la partie I.

a. Montrer que pout tout entier n, on a h(un) =h(vn) = 0.

b. En d´eduire queh(x) = 0.

9) Montrer que h est nulle sur tout R.

10) Montrer que E est l’ensemble des fonctions affines.

Références

Documents relatifs

not be laid parallel to board subfloors, subfloors are usually laid diagonally to permit the finish floor to be installed either parallel or at right angles

Quelle hypoth` ese du th´ eor` eme d’existence de solution n’est pas v´ erifi´ ee?.

Contrairement `a l’´equation de NLS, pour laquelle les r´esultats d’existence et d’unicit´e locale d´emontr´es `a l’origine par Ginibre et Velo, puis par Tsutsumi dans L 2

Un probl` eme de Cauchy admettant plusieurs solutions doit donc comprendre la condition initiale y(−1)

• D´efinition d’une partie de R admettant une borne sup´erieure (resp. inf´erieure) et de la borne sup´erieure (resp. d’une borne inf´erieure).. • Borne sup´erieure

Consid´ erons la cat´ egorie C dont les objets sont les extensions de corps alg´ ebriques L/K et dont les morphismes sont les morphismes d’extensions (i.e. les morphismes de

Pour donner une d´ efinition, il n’est pas n´ ecessaire de donner une valeur, il suffit de donner une propri´ et´ e caract´ eristique..

Cette expression peut aussi permettre de voir la pression exerc´ee par le flux de photons ou de l’onde ´electromagn´etique sur la surface S, en effet, il suffit de diviser la force

Le plus simple pour aboutir dans cette recherche du champ magn´etique est d’utiliser un rep`ere cylindrique associ´es ` a chacun des deux fils et d’exprimer ensuite le

La constante d’´equilibre est ´elev´ee, on peut pr´evoir une r´eaction quasi totale dans le sens de la dismutation.. Cette valeur est bien tr`es petite devant 1 comme nous

Le formalisme pr´esent´e et ´etudi´e dans la partie pr´ec´edente est parfaitement adapt´e `a l’´etude d’un faisceau lumineux ou d’une onde ´electromagn´etique

Le moment cin´etique va se d´ecomposer comme pour l’´energie cin´etique en des effets li´es `a la translation circulaire et des effets de la rotation propre qui sont J T ω et J

[r]

[r]

Pour chacune des affirmations suivantes, dire si elle est vraie ou fausse, et le

Montrer si les affirmations suivantes sont vraies ou fausses

(iv) le sous-ensemble admet une majorant, mais n’a pas de maximum ; (v) la borne inf´ erieure existe, mais n’a pas de minimum.. (e) ´ Enoncer la propri´ et´ e de la borne

Alors l’ensemble des faces strictes d´efinit naturellement un complexe simplicial de dimension pure d − 1, dont la fronti`ere du polytope est une r´ealisation g´eom´etrique..

Une condition nécessaire et suffisante pour qu’il existe un triangle admettant pour longueurs de côtés trois réels strictement positifs donnés est que le plus grand des trois

Pour terminer cet exemple par une synth`ese, observons que nous sommes parvenus `a r´ecrire le probl`eme d’optimisation initial sous la forme d’un syst`eme lin´eaire augment´e

Donc X suit une loi exponentielle de param` etre c.. Remarquons que ceci suffit tr` es largement pour traiter b... Cependant supposons maintenant x ´ el´ ement de ]0, 1[..

Dans cette note, on ´ etablit une condition n´ ecessaire et suffisante pour que les deux d´ efinitions “maj U ” et “maj2 U ”, qu’on rencontre dans le cas classique [H], sont

Donner une condition n´ ecessaire pour qu’un point stationnaire d’un syst` eme diff´ erentiel soit asymptotiquement stable..