Aller au contenu
XiMaths
← Tous les exercices

Théorème de Banach-Steinhaus par le théorème de Baire

L3M1M2difficulté 5/5Analyse · Topologie · Analyse fonctionnelle · Espaces métriques et compacitépar XiMathspas encore de copie envoyée▲ Utile · 0

Énoncé

Soit EE un espace de Banach, FF un espace vectoriel normé et (Ti)i∈I(T_i)_{i \in I} une famille d'applications linéaires continues de EE dans FF. On suppose que, pour tout x∈Ex \in E, sup⁡i∈I∥Ti(x)∥<+∞\sup_{i \in I} \|T_i(x)\| < +\infty.

  1. Pour n∈Nn \in \N, on pose An={x∈E:∀i∈I, ∥Ti(x)∥≤n}A_n = \{x \in E : \forall i \in I,\ \|T_i(x)\| \leq n\}. Montrer que chaque AnA_n est fermé, et que l'un d'eux est d'intérieur non vide.
  2. En déduire que sup⁡i∈I∥Ti∥<+∞\sup_{i \in I} \|T_i\| < +\infty.
  3. Application. Soit (Tn)(T_n) une suite d'applications linéaires continues de EE dans FF qui converge simplement vers une application TT. Montrer que TT est linéaire et continue.

Indications

Indication 1

Pour 1, EE est la réunion des AnA_n : appliquer le théorème de Baire dans l'espace complet EE.

Indication 2

Pour 2, si AnA_n contient la boule fermée de centre aa et de rayon r>0r > 0, écrire, pour ∥x∥≤1\|x\| \leq 1, x=1r((a+rx)−a)x = \dfrac{1}{r}\big((a + r x) - a\big) : on obtient ∥Ti∥≤2nr\|T_i\| \leq \dfrac{2n}{r}.

Indication 3

Pour 3, pour chaque xx la suite (Tn(x))(T_n(x)) converge, donc est bornée : la question 2 donne MM tel que ∥Tn(x)∥≤M∥x∥\|T_n(x)\| \leq M \|x\| pour tout nn, et l'on passe à la limite.

Ta solution

Connecte-toi pour envoyer ta copie en photos : trois membres la reliront.

Exercices proches

Licence CC BY-SA 4.0.