Resume 3 MAT Yvan Martel Cours Topologie et espaces de fonctions Démonstration du lemme de Riesz suite et ?n Soit y ?? F arbitraire On a Compacité en dimension in ?nie Théorème de Riesz Le théorème de Riesz relie une propriété algébrique d ? un espace vec

MAT Yvan Martel Cours Topologie et espaces de fonctions Démonstration du lemme de Riesz suite et ?n Soit y ?? F arbitraire On a Compacité en dimension in ?nie Théorème de Riesz Le théorème de Riesz relie une propriété algébrique d ? un espace vectoriel normé la dimension à une propriété topologique compacité des parties fermées et bornées a ??b a ?? b a ?? b y x ??y ??y a ??b a ??b Comme b a ?? b y ?? F on a a ?? b a ?? b y donc x ??y a ??b et Théorème Soit E un espace vectoriel normé La boule-unité fermée B f de E est compacte si et seulement si E est de dimension ?nie Remarques ?? En toute dimension les boules fermées d ? un espace vec- toriel normé sont bornées par dé ?nition et fermées ?? En dimension ?nie nous avons vu dans le cours précé- dent que les parties compactes sont exactement les parties fermées et bornées en particulier les boules fermées sont compactes ?? Pour prouver le théorème de Riesz il reste donc à prouver l ? implication dim E ? ?? B f est non compacte Finalement comme a ??b ? ?? ?? a ??b ?? on obtient x ??y Le lemme est démontré a ??b ?? Tout sous-espace vectoriel de dimension ?nie est fermé On va aussi utiliser le lemme suivant pour prouver l ? implication non immédiate du théorème de Riesz Lemme de Riesz La démonstration du théorème de Riesz est basée sur le lemme suivant Lemme Soit E un espace vectoriel normé Soit F un sous-espace vectoriel fermé de E distinct de E Alors pour tout ?? il existe x ?? E tel que x et inf x ?? y ?? y ??F Reformulation ce lemme énonce que si F est un sousespace vectoriel fermé strict d ? un espace vectoriel normé E alors pour tout ?? on peut toujours trouver un vecteur de la sphère unité de E qui est à distance supérieure à ?? du sous-espace F Lemme Dans un espace vectoriel normé un sous-espace vectoriel de dimension ?nie est fermé Preuve On utilise le critère séquentiel soit xn n une suite dans F admettant une limite x ?? E il s ? agit de montrer que x ?? F La suite convergente xn n est bornée il existe R tel que xn n ? B f R La partie B f R ??F est une boule fermée de F donc une partie compacte puisque dim F ? Il existe donc une sous-suite x n n qui converge dans F Par unicité cette limite doit être x d ? o? l ? on déduit que x ?? F Démonstration du théorème de Riesz Démonstration du lemme de Riesz Rappel pour Y une partie de E et x ?? E on note d x Y inf x ?? y y ??Y Par dé ?nition d ? une borne inférieure on a d x Y

Documents similaires
Mazda car configurator 2 R ÉC A PITU L ATIF MAZDA SPORTLINE PRIX TOTAL VOTRE CODE DE CONFIGURATION F THNC K À saisir lors d ? une recherche FINITION SPORTLINE Adoptez un style plus dynamique avec la ?nition Sportline gr? ce à un typage intérieur et extéri 0 0
Devoir automatique ESATIC ESATIC ESATIC ESATIC ESATIC ESATIC ESATIC ESATIC DEVOIR SURVEILLEN D'AUTOMATIQUE Niveau Licence SRIT A B Durée H pts Exercice QCM Les une regles de question ce QCM sont tr non répondue ès simples Une réponse retranche point Entou 0 0
Analyse lex SAOUDI Lalia Analyse lexicale II Analyse lexicale Introduction L'analyse lexicale constitue la première phase de compilation elle consiste à segmenter un texte source en un ensemble de mots qu ? on appelle traditionnellement tokens ? leur term 0 0
Zaz devoir a2 app Zaz Sous le ciel de Paris Pour donner le la ? Activité a Parmi chaque paire d ? adjectifs entourez en bleu celui qui à votre avis quali ?e le mieux Paris Ajoutez-en d ? autres si vous le désirez végétal minéral gris coloré dense étendu c 0 0
Creation entreprise production electricite panneaux mas 0 0
Depose repose filtre carburant 3 0 0
Klalim La racine et le modèle La plupart des mots en hébreu contiennent une racine ? ? ? choréche i e un ensemble de lettres généralement trois qui portent un sens sémantique de base Par exemple la racine composée des lettres ' ?' ' ? porte le sens d' app 0 0
Maif okapi cahier liberte d expression 0 0
Devoir circuit logique final 2015 corige 0 0
Delphi 7 ebooks D A KWWS YHWRG RR FRP - - CSOMMAIRE Chapitre Introduction à Delphi Leçon Delphi généralités Leçon Les premiers pas TP Jeu de couleurs TP Calcul de la moyenne TP Calcul du factoriel TP Chargement d ? une image Leçon Avancer plus TP Interfac 0 0
  • 41
  • 0
  • 0
Afficher les détails des licences
Licence et utilisation
Gratuit pour un usage personnel Attribution requise
Partager