ENSAF1718feuille3 1

Télécharger au format pdf ou txt
Télécharger au format pdf ou txt
Vous êtes sur la page 1sur 2

Analyse fonctionnelle

TD no 3
Topologies faible et faible-∗ (1)

Séance du 26 février 2018

Exercice 1. Échauffement : trois exemples fondamentaux


Soit φ ∈ C ∞ (R) à support compact.
1. (Évanescence) Montrer que un (x) := φ(x − n) * 0 dans L2 (R), mais que cette
convergence n’est pas forte.

2. (Concentration) Montrer que vn (x) := nφ(nx) * 0 dans L2 (R), mais que cette
convergence n’est pas forte.
Soit w ∈ L2 (0, 2π) une fonction 2π-périodique non constante.
1
R 2π 2
3. (Oscillations) Montrer que wn (x) := w(nx) * 2π 0 w dans L (0, 2π), mais que
cette convergence n’est pas forte.

Exercice 2. Adhérence de la sphère unité pour la topologie faible


Soit E un espace vectoriel normé de dimension infinie. On va montrer que l’adhérence
faible de la sphère unité S := {x ∈ E, kxk = 1} est la boule B := {x ∈ E, kxk ≤ 1}.
1. Soit x0 ∈ E tel que kx0 k < 1. Montrer que tout voisinage pour la topologie faible de
E contient une droite, et en déduire que tout voisinage faible contenant x0 intersecte S.
2. En utilisant le théorème de Hahn-Banach, montrer que B est fermé pour la topologie
faible. Conclure.

Exercice 3. La topologie faible n’est pas métrisable


Soit E un espace vectoriel normé de dimension infinie.
1. Montrer que tout voisinage faible dans E contient une droite.
2. On suppose que E est métrisable pour la topologie faible. Montrer qu’il existe une
suite {xn } ∈ E N telle que ∀n ∈ N, kxn k = n, et xn * 0. Conclure grâce au théorème de
Baire appliqué dans E ∗ .
On va maintenant démontrer le même résultat d’une autre manière.
3. (Lemme des noyaux) Soient ϕ1 , . . . , ϕn , ψ, des formes linéaires sur E telles que
n
\
ker ϕk ⊆ ker ψ.
k=1

Démontrer que ψ s’écrit comme une combinaison linéaire des ϕk .


4. On suppose que la topologie faible est métrisable. Montrer qu’il existe alors une
famille dénombrable F ⊂ E ∗ , telle que toute forme linéaire continue sur E s’écrive comme
une combinaison linéaire (finie) d’éléments de F . En déduire une contradiction.

Joseph Thirouin 1 DMA 2017/2018


Exercice 4. Sur L1 ([0, 1])
1. Montrer que la boule unité de L1 ([0, 1]) n’admet pas de point extrémal.
2. En déduire qu’il n’existe aucune isométrie entre L1 ([0, 1]) et le dual topologique d’un
espace vectoriel normé.

Exercice 5. Autour du lemme de Goldstine


Soit X un espace de Banach. Pour tout x ∈ X, on dispose de l’évaluation ϕx : X ∗ → R,
` 7→ `(x). On définit ainsi une application
(
X −→ X ∗∗
J:
x 7−→ ϕx .

Pour tout espace E, on note BE la boule unité fermée de E.


1. Montrer que J induit une isométrie de X dans J(X), et que J(X) est fermé (fort)
dans X ∗∗ .
2. Si E est un espace vectoriel topologique, quelles sont les formes linéaires continues
sur E ∗ pour la topologie σ(E ∗ , E) ?
3. En utilisant le théorème de Hahn-Banach, montrer que J(BX ) est dense dans BX ∗∗
pour la topologie faible-∗ σ(X ∗∗ , X ∗ ).

Exercice 6. Propriété de Schur pour `1


On veut démontrer le résultat suivant : dans `1 , les suites convergentes sont les mêmes
pour les topologies faible et forte.
1. On commence par un résultat général : soit E un espace de Banach séparable. Soit
B sa boule unité fermée et B ∗ la boule unité de E ∗ . Soit {xn }n∈N une suite dense de B.
Montrer que lorsque l’on pose, pour `, `0 ∈ B ∗ ,
X 1
d(`, `0 ) := |(` − `0 )(xn )|,
2n
n∈N

on définit une distance sur B ∗ , dont la topologie est la topologie faible-∗ sur B ∗ , σ(E ∗ , E).
Soit à présent {un } = {(unk )k∈N } une suite de `1 convergeant faiblement vers 0.
2. Montrer que pour tout k ∈ N fixé, limn→∞ unk = 0.
3. Soit B ∗ la boule unité fermée de `∞ , munie de la topologie faible-∗. Vérifier que cette
topologie est bien engendrée par la distance

˜ w) =
X |vj − wj |
d(v, ,
2j
j=0

et que B∗ est alors un espace métrique compact.


4. Soit ε > 0. On définit Fn = {v ∈ B ∗ | ∀m ≥ n, |hv, um i| ≤ ε}. Montrer qu’il existe
n ∈ N tel que Fn contienne un voisinage de 0. Conclure.
5. En combinant ce résultat avec celui de l’exercice précédent, expliquer pourquoi id :
(`1 , σ(`1 , (`1 )∗ )) → (`1 , k · k`1 ) est séquentiellement continue, mais pas continue.

Joseph Thirouin 2 DMA 2017/2018

Vous aimerez peut-être aussi