Application linéaire continue, Cauchy-Schwarz
dans Algèbre
Bonjour
Soit $E$ l'espace préhilbertien des suites complexes $(u_n)$ satisfaisant $\exists N \in \mathbb{N},\ \forall n \geq N,\ u_n=0$ muni du produit scalaire $ (u,v) = \sum_{n=0}^{\infty} u_n \overline{v_n}$.
a) Montrer que l'application $\phi : E \rightarrow \mathbb{C}$ définie par $\phi(u) = \sum_{n=1}^{\infty} \dfrac{u_n}{n}$ est une forme linéaire continue sur $E$.
Une forme linéaire est continue si et seulement si son noyau est fermé. On me dit d'utiliser Cauchy-Schwarz, mais j'ai du mal à voir comment l'utiliser ici. Je pensais plutôt à montrer que $\ker \phi$ est un fermé.
Comment peut-on utiliser Cauchy-Schwarz ici ? Merci d'avance.
[Ne pas confondre Herman Schwarz (1843-1921) avec Laurent Schwartz (1915-2002). ;-) AD]
Soit $E$ l'espace préhilbertien des suites complexes $(u_n)$ satisfaisant $\exists N \in \mathbb{N},\ \forall n \geq N,\ u_n=0$ muni du produit scalaire $ (u,v) = \sum_{n=0}^{\infty} u_n \overline{v_n}$.
a) Montrer que l'application $\phi : E \rightarrow \mathbb{C}$ définie par $\phi(u) = \sum_{n=1}^{\infty} \dfrac{u_n}{n}$ est une forme linéaire continue sur $E$.
Une forme linéaire est continue si et seulement si son noyau est fermé. On me dit d'utiliser Cauchy-Schwarz, mais j'ai du mal à voir comment l'utiliser ici. Je pensais plutôt à montrer que $\ker \phi$ est un fermé.
Comment peut-on utiliser Cauchy-Schwarz ici ? Merci d'avance.
[Ne pas confondre Herman Schwarz (1843-1921) avec Laurent Schwartz (1915-2002). ;-) AD]
Réponses
-
Bonjour,
Il est facile d'exhiber un élément \(v\) de \(E\) (dépendant de \(u\)) tel que \(\varphi(u) = (u,v)\), ce qui permet d'utiliser l'inégalité de Cauchy-Schwarz. -
Indication : $\frac{u_n}{n} = u_n \times \frac{1}{n}$. Pour utiliser Cauchy-Schwarz, toujours penser au fait qu'il faut un produit avec quelque chose.
-
Merci, j'ai trouvé $||\phi(u)|| \leq k||u||$ avec $k=\pi/\sqrt{6}$ ce qui montre que l'application est une forme linéaire continue. Je ne savais pas que l'on pouvait le montrer comme ça.
Pour exhiber un élément $v$ tel que $\sum_{n=1}^{\infty} \dfrac{u_n}{n} = \sum_{n=0}^{\infty} u_n \overline{v_n}$, je ne pense pas que $v = 1/n$ suffise puisqu'il n'est pas défini en 0... -
Puisque la somme de gauche commence en $1$ tu peux poser $v_0 = 0$
-
Perfectinette a écrit:je ne pense pas que $v = 1/n$ suffise puisqu'il n'est pas défini en 0...
L'égalité ne définit rien !! en tout cas pas un élément \(v\) de \(E\), i. e. une suite à support fini. -
Ahhhhh !! J'ai compris !! Bien sûr, $v_0 = 0$ et $v_n = \dfrac{1}{n}$ si $n \neq 0$...
-
J'ai compris !! Bien sûr, $v_0 = 0$ et $v_n = \dfrac{1}{n}$ si $n \neq 0$...
Tu n'as pas compris : tu ne définis pas un élément \(v\) de \(E\) ; en conséquence de quoi, tu ne peux pas considérer le supposé produit scalaire \((u,v)\), puisqu'il n'existe pas…
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 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
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres