suite orthonormée et compact
Bonjour,
Je n'arrive pas faire la demonstration suivante :
Soit H un espace de Hilbert. On considère une suite orthonormée $e_n$, n$\geq$1. Montrer que cet ensemble S=($e_n$,n$\geq$0)$\subset$H n'est pas compact.
Je ne vois pas du tout comment aborder ça. Auriez-vous une idée?
Merci
Je n'arrive pas faire la demonstration suivante :
Soit H un espace de Hilbert. On considère une suite orthonormée $e_n$, n$\geq$1. Montrer que cet ensemble S=($e_n$,n$\geq$0)$\subset$H n'est pas compact.
Je ne vois pas du tout comment aborder ça. Auriez-vous une idée?
Merci
Réponses
-
S'il est compact, on peut en extraire une sous-suite convergente : $e_{\phi(n)}$ tend vers $x \in S$.
Comme $x \in S$, il existe $i$ tel que $x = e_i$.
Or, si $n$ est suffisamment grand $\phi(n) \neq i$, donc $ = 0$ (les vecteurs sont orthogonaux). En passant à la limite, on obtient $||e_i||^2 = 0$, ce qui est absurde. -
ou encore pour $i\neq j$ : $\Vert e_i-e_j\Vert=\sqrt{2}$
-
C'est donc un moyen de prouver que la boule unité d'un espace de Hilbert n'est pas compacte.
-
(de dimension infinie)
-
bonsoir egoroff, si on est en dimension finie la base est finie donc compacte.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 164.4K Toutes les catégories
- 37 Collège/Lycée
- 22K Algèbre
- 37.4K Analyse
- 6.2K Arithmétique
- 56 Catégories et structures
- 1.1K Combinatoire et Graphes
- 12 Sciences des données
- 5.1K Concours et Examens
- 16 CultureMath
- 49 Enseignement à distance
- 2.9K Fondements et Logique
- 10.6K Géométrie
- 78 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 73 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 328 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
- 785 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres