[PDF] Analyse Fonctionnelle TD 1 : Espaces métriques. Espaces vectoriels

View - Download Analyse Fonctionnelle TD 1 : Espaces métriques. Espaces vectoriels

Previous PDF

Next PDF

Analyse Fonctionnelle - TD1 1

Master Mathématiques et Applications1ereannée Aix-Marseille Université

Année 2015-2016

Analyse Fonctionnelle

TD 1 : Espaces métriques. Espaces vectoriels normés

Avec corrigés

Les numéros de Théorèmes, Propositions, etc ... font référence aux notes de cours. Exercice 1Vérifier les propriétés suivantes dans un espace métrique(X;d)quelconque.

Les boules ouvertes sont ouvertes.

Les boules fermées sont fermées.

Les sphèr essont fermées.

Montrer que dans un espace vectoriel normé, les sphères sont d"intérieur vide. Est-ce encore le cas dans un

espace métrique quelconque?Corrigé : Soit x2Xetr >0. On veut montrer que la boule ouverte

B(x;r) =fy2X;d(x;y)< rg;

est un ouvert. Pour cela on se donne uny2B(x;r)quelconque et il nous faut trouver un rayonR >0tel que la

boule centrée enyet de rayonR B(y;R)soit entièrement contenue dansB(x;r).

On va vérifier queR=rd(x;y)convient. Tout d"abord, on remarque que cette valeur vérifieR >0car, par

hypothèse sury, nous avonsd(x;y)< r. Prenons maintenantz2B(y;R)quelconque et montrons qu"il appartient

àB(x;r). Par l"inégalité triangulaire nous avons d(x;z)d(x;y) +d(y;z)< d(x;y) +R=r; ce qui montre bien le résultat.

On peut ut iliserla caractérisation par les suites ou bien f aireune preuv esimil aireà la précédente en montrant que

le complémentaireB(x;r)c=fy2X;d(x;y)> rg; est un ouvert. On prend unyquelconque dans cet ensemble et on poseR=d(x;y)rqui est bien strictement positif par hypothèse sury.

Pour toutz2B(y;R)nous avons

d(x;y)d(x;z) +d(z;y)< d(x;z) +R et donc d(x;z)> d(x;y)R=r; ce qui établit le résultat attendu.

P ardéfinition nous a vons

S(x;r) =B(x;r)nB(x;r) =B(x;r)\B(x;r)c;

ce qui montre queS(x;r)est l"intersection de deux fermés (grâce aux deux résultats précédents) et que c"est donc

bien un fermé.

F. BOYER- VERSION DU2OCTOBRE2015

2 Analyse Fonctionnelle - TD1

Supposons maintenant que (X;d)est un espace vectoriel normé(E;k:k)(on rappelle qu"alorsd(x;y) =kxyk).

On considère une sphèreS(x;r)(avecr >0sinon on a affaire à un singleton qui est bien d"intérieur vide) et on se

donne un pointy2S(x;r). Pour tout" >0on construit le point z=y+"r (yx): Remarquons qu"on utilise bien sûr ici la structure d"espace vectoriel surE.

Ce pointzvérifie

kzyk="r kyxk="; il est donc aussi proche deyque l"on veut. Mais il vérifie également kzxk= 1 +"r kyxk=r+":

Ceci exprime que

B(y;")6S(x;r);

puisque nous avons trouvé un élément du premier ensemble qui n"est pas dans le second.

Ainsi, aussi petit que soit", la boule de centreyet de rayon"n"est pas contenue dans la sphèreS(x;r). Ceci étant

vrai pour tout pointy2S(x;r), nous avons bien montré qu"elle était d"intérieur vide.

Cette propriété est fausse dans le cas général. On se place dansRnet on poseX=SRn(0;1)[ f0gmuni de la

distance induite par la distance euclidienne deRn. DansXnous avons S

X(0;1) =SRn(0;1);

mais on a aussi S

X(0;1) =BX(0;2)nB

X(0;1=2);

et doncSX(0;1)est un ouvert non vide deX(en particulier il n"est pas d"intérieur vide).Exercice 2 (Compacts deR)On munitRde sa métrique usuelle définie par la valeur absolue.

1.

On veut montr erque tout intervalle fermé borné [a;b]Rest compact. On considère donc un recouvre-

ment de[a;b]par une famille(Ui)i2Id"ouverts deR. On pose alors A=fx2[a;b];tel que le segment[a;x]puisse être recouvert par une sous-famillefiniede(Ui)ig: On souhaite établir queb2A, ce qui montrera l"existence d"un sous-recouvrement fini de[a;b]. (a)

Montr erque a2A.

(b)

On note c= supA. Montrer quec2A.

(c) On suppose que c < b, montrer qu"il existec02]c;b[tel quec02A. (d)

Conclur e.

2. Montr erque les compacts de Rsont exactement les ensembles fermés et bornés.Corrigé : 1. (a)

Le se gment[a;a]n"est autre que le singletonfag. Comme les(Ui)i2Irecouvrent[a;b], il existe au moins un

i

02Itel quea2Ui0. Ceci montre queUi0est un recouvrement ouvert (à l"évidence fini) de[a;a]et donc

quea2A. (b)

On a déjà que cbet donc quecest en particulier fini. On suppose quec62A. Commec2[a;b], il existe un

i

02Itel quec2Ui0. L"ensembleUi0étant ouvert, il existe unr >0tel quea < cr < cet

[cr;c]Ui0:(1) Commec= supAetc62A, on peut même choisirrassez petit pour quecr2A. Par définition deA, il existe donc une partie finieJItelle que [a;cr][ i2JU i:

F. BOYER- VERSION DU2OCTOBRE2015

Analyse Fonctionnelle - TD1 3

En rajoutant l"indicei0àJet en utilisant (1), on obtient que [a;c] = [a;cr][[cr;c][ i2J[fi0gU i; et commeJ[ fi0gest fini, on obtient bien un sous-recouvrement ouvert de[a;c], ce qui montre quec2A, c"est une contradiction. (c) Supposons c < b. Commec2A, on peut trouverJIfinie telle que [a;c][ i2JU i: Soiti02Jtel quec2Ui0. CommeUi0est ouvert, il exister >0tel quec+rbet[c;c+r]Ui0. Il s"en suit que l"on a le sous-recouvrement ouvert fini suivant [a;c+r][ i2JU i; et doncc0=c+r2A. (d)

L "existencedu c0dans la question précédente contredit le fait quec= supAet donc le fait quec < b. On en

déduit quec=bet donc que tout le segment[a;b]peut être recouvert par une sous-famille finie de(Ui)i.

2.

On sait déjà que tout compact est fermé et borné (dans un espace métrique quelconque). Soit maintenant KR

un ensemble fermé et borné. La bornitude deKmontre qu"il existeR >0tel queK[R;R]. La question

précédente montre que[R;R]est un compact. Par hypothèseKest fermé dansRet donc c"est aussi un fermé de

[R;R](carK=K\[R;R]). D"après la PropositionI.12 , on déduit queKest lui-même compact.Exercice 3

Soit(X;d)un espace métrique et(xn)nune suite d"éléments deXqui converge vers une limitel. Montrer que l"ensembleA=fxn;n0g [ flgest compact.Corrigé : Soit(Ui)i2Iun recouvrement deApar une famille quelconque d"ouverts A[ i2IU i: On veut montrer qu"on peut en extraire un sous-recouvrement fini.

Commel2A, il existe un indicei02Itel quel2Ui0. Par ailleurs, commeUi0est un ouvert, nous pouvons trouver

" >0tel que

B(l;")Ui0:

Par définition de la convergence de la suite(xn)n, il existen00tel que

8nn0; d(xn;l)< ";

ce qui implique, d"après le choix de",

8nn0; xn2B(l;")Ui0:

Ainsi, tous les termes de la suite à partir du rangn0sont dansUi0.

On peut maintenant s"occuper desn01premiers termes, qui sont en nombre fini. Pour toutn < n0, il existein2I

tel quexn2Uin.

Au final nous avons bien montré

An 0[ k=0U ik;

F. BOYER- VERSION DU2OCTOBRE2015

4 Analyse Fonctionnelle - TD1

qui est un sous-recouvrement fini deA.Exercice 4 (Equivalence de distances)

Soit(X;d)un espace métrique.

1. Soit une autre distance sur l"ensembleX. Montrer que detsont topologiquement équivalentes()Elles définissent les mêmes suites convergentes: 2.

On définit maintenant par

=d1 +d: (a)quotesdbs_dbs2.pdfusesText_3

[PDF] examen corrigé d'analyse numérique

[PDF] examen corrigé délectricité pdf

[PDF] examen corrigé de comptabilité analytique pdf

[PDF] examen corrige de lanalyse s1 smpc pdf

[PDF] examen corrigé de mecanique du solide pdf

[PDF] examen corrige mecanique du point

[PDF] examen de lanalyse mathématique s1

[PDF] examen delf b2 2020

[PDF] examen du nouveau né en salle de naissance

[PDF] examen economie 2013 havo tijdvak 1

[PDF] examen economie 2017 vmbo kader

[PDF] examen economie havo 2016

[PDF] examen economie havo 2017

[PDF] examen economie havo 2018

[PDF] examen economie havo 2019