Analyse fonctionnelle
Bonjour, j'aurais quelques questions à vous poser :
Tout d'abord, est ce qu'un espace de Banach est séparable ?
Et ensuite, le petit exo suivant que je n'arrive pas à résoudre. Merci d'avance
Soit $Y$ un espace de Banach vérifiant la propriété suivante : \\
$\dsp \exists (\Pi_n) \subset \L(Y)$ tel que $\dsp \lim_{n
\rightarrow + \infty} \Pi_n(y) = y$ pour tout $\dsp y \in Y$ et
$\dsp \dim ( Im \Pi_n) < \infty$. \\
1 ) Montrer que $\dsp \sup \shortparallel \Pi_n \shortparallel <
\infty$\\
2 )Si $\dsp X$ est un espace de Banach, alors montrer que tout opérateur compact
$\dsp T : X \rightarrow Y$ est limite d'une suite d'opèrateurs de
rang fini. \\
\\
J'aurai encore deux petites questions s'il vous plait \
Soit Y un espace de Banach et soit $\dsp T \in \L(X,Y)$ \\
1 ) Montrer que si $T$ est compact et surjectif alors $Y$ est de
dimension finie.\\
2 ) Soit $\dsp T \in \L(X)$. Si il existe une constante $c$ tel que
$\dsp \shortparallel T(x) \shortparallel \geqslant c \shortparallel
x \shortparallel $ $\dsp \forall x \in X$ alors $\dsp Im T$ est
fermé dans $\dsp X$.
Tout d'abord, est ce qu'un espace de Banach est séparable ?
Et ensuite, le petit exo suivant que je n'arrive pas à résoudre. Merci d'avance
Soit $Y$ un espace de Banach vérifiant la propriété suivante : \\
$\dsp \exists (\Pi_n) \subset \L(Y)$ tel que $\dsp \lim_{n
\rightarrow + \infty} \Pi_n(y) = y$ pour tout $\dsp y \in Y$ et
$\dsp \dim ( Im \Pi_n) < \infty$. \\
1 ) Montrer que $\dsp \sup \shortparallel \Pi_n \shortparallel <
\infty$\\
2 )Si $\dsp X$ est un espace de Banach, alors montrer que tout opérateur compact
$\dsp T : X \rightarrow Y$ est limite d'une suite d'opèrateurs de
rang fini. \\
\\
J'aurai encore deux petites questions s'il vous plait \
Soit Y un espace de Banach et soit $\dsp T \in \L(X,Y)$ \\
1 ) Montrer que si $T$ est compact et surjectif alors $Y$ est de
dimension finie.\\
2 ) Soit $\dsp T \in \L(X)$. Si il existe une constante $c$ tel que
$\dsp \shortparallel T(x) \shortparallel \geqslant c \shortparallel
x \shortparallel $ $\dsp \forall x \in X$ alors $\dsp Im T$ est
fermé dans $\dsp X$.
Réponses
-
Un espace de Banach n'est pas nécessairement séparable.
Exemple : $\mathcal{l}^\infty$ pour la norme $|| ||_\infty$. -
Je ne sais pas faire le petit « l » arrondi... je parlais de l'ensemble des suites bornées (réelles ou complexes).
-
Le fait que la suite des $\Pi_n$ soit bornée, c'est le théorème de Banach-Steinhaus (une famille d'opérateurs simplement bornée est bornée, tout simplement)
Si tu te donne un opérateur compact $K$, il va être la limite simple des $\Pi_n K$, qui sont de rang fini (peut-on faire mieux que limite simple ? Peut-être, je n'y ai pas réflechi, tu peux voir dans des bouquins, la preuve que les compacts soient limite d'op de rang fini est faite dans le cas des espaces de Hilbert dans quasiment tous les bouquins ... c'est peut-être possible d'adapter la preuve)
Le fait qu'un opérateur compact surjectif soit à valeurs dans un ev de dimension finie vient du fait que la boule unité d'un evn est compacte ssi l'evn est de dimension finie (th de Riesz). -
Au sujet de la limite uniforme, c'est une application directe d'un théorème classique (vraisemblablement dans ton cours), d'approximation des compacts par des sous espaces de dimension finie...
Ces exos ne sont pas vraiment difficile, tu devrais peut être essayer de t'escrimer un peu plus dessus. -
romainm, voilà ce ce que tu appelles le "petit $\ell $ arrondi" .
-
Un espace de Banach n'est pas nécessairement séparable.
Exemple : $ \ell^\infty$ pour la norme $ \vert\vert\cdot \vert\vert _\infty$. -
Le fait qu'un opérateur compact est limite d'opérateur de rang fini n'est pas vrai en général dans un espace de Banach ... Ce qui fait marcher la preuve dans le cas d'un espace de Hilbert c'est que la projection sur un sous-espace de dimension finie (donc un sous-espace fermé) est lipschitzienne de constante 1 (théorème de projection sur un sous-espace fermé d'un Hilbert). Plus généralement, ça marche dans le cadre de ton hypothèse (c'est la propriété d'approximation universelle d'un espace de Banach). La réciproque est par contre toujours vrai puisque l'ensemble des opérateur compact est fermé dans celui des opérateurs continues et qu'un opérateur de rang fini est évidemment un opérateur compact. Pour un contre-exemple, ce n'est pas trivial et le Brézis donne des références pour le trouver.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 164.7K Toutes les catégories
- 45 Collège/Lycée
- 22.1K Algèbre
- 37.4K Analyse
- 6.3K Arithmétique
- 57 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 19 CultureMath
- 50 Enseignement à distance
- 2.9K Fondements et Logique
- 10.6K Géométrie
- 80 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 75 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 333 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 789 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres