Recherche

Ce site utilise des cookies pour faciliter votre navigation, obtenir des statistiques de
visite, et afficher des publicités personnalisées. En savoir plus
Continuer!

Bibm@th.net
Accueil Lycée Supérieur Bibliothèques Références Thèmes Forum
Math SupMath SpéCapesAgreg interneBTS
Ressources mathématiques > Documents pour l'agrégation interne >
Accéder à mon compte > Accéder à ma feuille d'exercices >

Résumé de cours : espaces compacts, espaces

complets, espaces connexes, espaces vectoriels
normés de dimension finie
Compacité
  (E,d)(E,d) désigne un espace métrique.
 Une partie KK de EE est dite compacte si, de toute suite (un)(un) d'éléments de KK,
on peut extraire une sous-suite convergente vers un élément de KK.
 En particulier, toute réunion finie ou toute intersection finie de parties compactes est
compacte.
 Proposition : Toute partie compacte de EE est fermée et bornée.

 Un segment [a,b][a,b] est une partie compacte de RR. En particulier, les parties

compactes de RR ou de CC sont les parties fermées et bornées.
 Proposition : Si AA est une partie compacte de EE et si B⊂AB⊂A est fermé,
alors BB est compact.
 Théorème : Une suite d'éléments d'une partie compacte de EE converge si et
seulement si elle admet une unique valeur d'adhérence.
 Théorème : Si (E1,d1),...,(E2,d2)(E1,d1),...,(E2,d2) sont des espaces métriques
compacts et E=E1×⋯×EpE=E1×⋯×Ep est l'espace métrique produit,
alors EE est un espace métrique compact.

Applications continues sur une partie compacte

  (E,d)(E,d) et (F,d)(F,d) désignent des espaces métriques compacts.
 Théorème : Soit f:K→Ff:K→F une application continue où KK est une partie
compacte de EE. Alors f(K)f(K) est un compact de FF.
 En particulier, si f:K→Rf:K→R avec KK compact, alors ff est bornée et atteint ses
bornes.
  Théorème de Heine: Toute fonction continue sur un compact est uniformément
continue.
 Théorème : Soit KK une partie compacte de EE et soit f:K→Ff:K→F continue
et injective. Alors ff est un homéomorphisme de KK sur f(K)f(K), c'est-à-dire
une bijection bicontinue de KK sur f(K)f(K).

Espaces connexes
  (E,d)(E,d) désigne un espace métrique
 Théorème et définition : Les assertions suivantes sont équivalentes :
o Si E=O1∪O2E=O1∪O2, avec O1,O2O1,O2 deux ensembles ouverts
disjoints, alors l'un des deux est vide.
o Si E=F1∪F2E=F1∪F2, avec F1,F2F1,F2 deux ensembles fermés
disjoints, alors l'un des deux est vide.
o Les seules parties à la fois ouvertes et fermées de EE sont l'ensemble vide
et EE lui-même.
o Toute fonction continue f:E→{0,1}f:E→{0,1} est constante.
Si EE satisfait les propriétés équivalentes précédentes, on dit que EE est connexe.
 Une partie AA de EE est connexe si l'espace métrique induit (A,d)(A,d) est connexe.
 Théorème : Les parties connexes de RR sont les intervalles.

 Proposition : Si A1,…,AnA1,…,An sont des parties connexes de EE telles

que ⋂ni=1Ai≠∅⋂i=1nAi≠∅, alors ⋃ni=1Ai⋃i=1nAi est connexe.
 Théorème :L'image d'un connexe par une application continue est un connexe.
 En particulier, en combinant ce théorème et la caractérisation des connexes de RR, on
retrouve le théorème des valeurs intermédiaires.
 Soit AA une partie de EE, et x,y∈Ax,y∈A. On appelle chemin continu tracé
dans AA de xx vers yy toute application continue f:[0,1]→Af:
[0,1]→A vérifiant f(0)=xf(0)=x et f(1)=yf(1)=y.
 Une partie AA de EE est connexe par arcs si, pour tous x,y∈Ax,y∈A, il existe un
chemin continu de xx vers yy tracé dans AA.
 Théorème : Si AA est connexe par arcs, alors AA est connexe. De plus, si AA est
un ouvert d'un espace vectoriel normé, AA est connexe si et seulement si AA est
connexe par arcs.
Espaces complets, espaces de Banach
(E,d)(E,d) désigne un espace métrique.
 Soit (un)(un) une suite d'éléments de EE. On dit que (un)(un) est une suite de
Cauchy si∀ε>0, ∃N∈N, ∀q≥p≥N, d(up,uq)<ε.∀ε>0, ∃N∈N, ∀q≥p≥N, d(up,uq)<
ε.On dit que EE est un espace métrique complet si toute suite de Cauchy
de EE converge.
 Théorème : RR, CC sont des espaces métriques complets.

 Une partie AA de EE est complète si l'espace métrique induit (A,d)(A,d) est

complet.
  Proposition : Si EE est un espace métrique complet et A⊂EA⊂E, alors AA est
complet si et seulement si AA est fermé.
 Proposition : Si EE est un espace métrique compact, alors EE est complet.
 Théorème du point fixe : Soit EE un espace métrique complet
et f:E→Ef:E→E une application contractante : il existe k∈[0,1[k∈[0,1[ tel que,
pour tous x,y∈Ex,y∈E, d(f(x),f(y))≤kd(x,y)d(f(x),f(y))≤kd(x,y).
Alors ff possède un unique point fixe γγ. De plus, toute suite (un)
(un) de EE définie par u0∈Eu0∈E et un+1=f(un)un+1=f(un) converge vers ce
point fixe.
 Un espace vectoriel normé EE est appelé espace de Banach s'il est complet.
 Théorème : Dans un espace de Banach, toute série absolument convergente est
convergente.
Espaces vectoriels normés de dimension finie
 Théorème : Sur un espace vectoriel normé de dimension finie, toutes les normes
sont équivalentes.
Démonstration en vidéo!
 En particulier, si (un)(un) est une suite d'un espace vectoriel normé de dimension
finie, (un)(un) converge si et seulement si chacune de ses coordonnées dans une base
converge.
 Théorème : Une partie d'un espace vectoriel normé de dimension finie est
compacte si et seulement si elle est fermée et bornée.
 Corollaire : Toute suite bornée d'un espace vectoriel normé de dimension finie
admet une suite extraite convergente.
 Corollaire : Une suite bornée d'un espace vectoriel normé de dimension finie
converge si et seulement si elle admet une unique valeur d'adhérence.
 Théorème : Un espace vectoriel normé de dimension finie est un espace de
Banach.

DISCUSSIONS DES FORUMS

 Transformation exponentie …
 Développements limités et …
 une question en analyse h …
 Exemples de dénombrement …
 Exercice racine
 Avant 1917
 [FF++] Question sur un bo …
 Equation
 Programme python x²=r
 Série de Dirichlet, produ …
 Matrices equivalentes
 Changer la place d'un chiffre
 Analyse complexe niveau L3
 Aide Probabilité
 probabilité que je n'arri …
Accéder aux forums

MATHÉMATICIEN DU MOIS

Charles-Jean de La Vallée Poussin (1866 - 1962)

Toutes les biographies
Signaler une erreur/Nous contacterMentions LégalesCookies