Caractérisation des opérateurs compacts
Bonjour,
On se place dans un Hilbert H et T est un opérateur compact de H dans lui-même. On demande de mq montrer que T transforme toute suite faiblement convergente en suite fortement convergente.
Indication: Mq Montrer que (Tun) est relativement compacte et admet une unique valeur d'adhérence.
Considérons donc une suite (un) faiblement convergente vers u. Alors (un) est bornée donc, comme T est compact, on peut extraire de (Tun) une sous-suite convergente.
De plus, comme la convergence forte implique la convergence faible et que (Tun) converge faiblement vers Tu, (Tun) admet bien l'unique valeur d'adhérence Tu.
Mon pb : étant donné l'indication, j'ai envie de conclure : (Tun) admet une et une seule valeur d'adhérence donc elle converge vers celle-ci, mais la preuve que je connais de ce résultat n'est valable qu'en dimension finie.
Ce résultat est-il valable en dimension infinie ? Sinon, y a-t-il un autre moyen de conclure ?
Merci d'avance.
On se place dans un Hilbert H et T est un opérateur compact de H dans lui-même. On demande de mq montrer que T transforme toute suite faiblement convergente en suite fortement convergente.
Indication: Mq Montrer que (Tun) est relativement compacte et admet une unique valeur d'adhérence.
Considérons donc une suite (un) faiblement convergente vers u. Alors (un) est bornée donc, comme T est compact, on peut extraire de (Tun) une sous-suite convergente.
De plus, comme la convergence forte implique la convergence faible et que (Tun) converge faiblement vers Tu, (Tun) admet bien l'unique valeur d'adhérence Tu.
Mon pb : étant donné l'indication, j'ai envie de conclure : (Tun) admet une et une seule valeur d'adhérence donc elle converge vers celle-ci, mais la preuve que je connais de ce résultat n'est valable qu'en dimension finie.
Ce résultat est-il valable en dimension infinie ? Sinon, y a-t-il un autre moyen de conclure ?
Merci d'avance.
Réponses
-
"Admettre une unique valeur d'adhérence $\Longleftrightarrow$ converger"
Ça m'a l'air d'être vrai dans tout compact comme $T\cdot (u_n)$.
D'ailleurs je n'ai pas l'impression que ce soit si vrai que ça dans $\R$ avec la suite
$u_n = n$ si $n$ pair, et 0 sinon. Seule valeur d'adhérence $0$, mais suite divergente. -
J'ai fouillé dans mon bouquin :
D'une part, on a :
Si $(x_n)_n$ est une suite convergente (définie sur un espace topologique quelconque), alors toute suite extraite converge vers la même limite. Donc une suite convergente admet une seule valeur d'adhérence.
D'autre part (je me note : L3 page 62 si vous voulez que je donne la preuve) :
Si $E$ est un espace à base dénombrable de voisinages, $a \in E$ est valeur d'adhérence d'une suite $(x_n)_n$ de $E$ $\Longleftrightarrow$ il existe une suite extraite de $(x_n)_n$ qui converge vers $a$.
Dans ce cas, si $(x_n)_n$ n'admet qu'une seule valeur d'adhérence, toutes ses suites extraites qui convergent convergent vers la même limite. Ça ne nous en apprend pas beaucoup plus, sauf s'il existe un autre résultat utile que je n'ai pas trouvé.
EDIT : j'ai trouvé ceci, regardez la remarque sur les espaces dénombrablement compacts. -
Bonjour, c'est vrai dans un espace topologique compact général. Une suite converge si et seulement si elle admet une unique valeur d'adhérence, ce qui est équivalent à dire que toute sous-suite convergente converge vers une même limite dans un espace métrique.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.2K Toutes les catégories
- 61 Collège/Lycée
- 22.1K Algèbre
- 37.5K Analyse
- 6.3K Arithmétique
- 58 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 20 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.7K Géométrie
- 83 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 25 Mathématiques et finance
- 337 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 801 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres