Norme au carré
Norme au carré
Bonjour,
Soit ($X$, $\| \cdot\|$) un espace de Banach séparable. Soit $(x_n)_n$ une suite dense dans la sphère unité de X (i.e. dense dans {$x$ $\in$ $X$ tq $\|x\|$=1})
Soit $f$ $\in$ $X'$ (le dual de $X$).
Soit la norme $||| \cdot |||$ dans $X'$ défini de la façon suivante:
$$||| f|||^2 = \|f\|^2+ \sum (2^{-i}f^2(x_i))$$
Je n'arrive pas à vérifier que c'est bien une norme.
J'essaye d'utiliser la définition "traditionnelle" de la norme mais j'ai un problème pour l'inégalité triangulaire.
Y a-t-il un mautre moyen de montrer que c'est bien une norme? Pouvez-vous m'aider?
Merci
Soit ($X$, $\| \cdot\|$) un espace de Banach séparable. Soit $(x_n)_n$ une suite dense dans la sphère unité de X (i.e. dense dans {$x$ $\in$ $X$ tq $\|x\|$=1})
Soit $f$ $\in$ $X'$ (le dual de $X$).
Soit la norme $||| \cdot |||$ dans $X'$ défini de la façon suivante:
$$||| f|||^2 = \|f\|^2+ \sum (2^{-i}f^2(x_i))$$
Je n'arrive pas à vérifier que c'est bien une norme.
J'essaye d'utiliser la définition "traditionnelle" de la norme mais j'ai un problème pour l'inégalité triangulaire.
Y a-t-il un mautre moyen de montrer que c'est bien une norme? Pouvez-vous m'aider?
Merci
-
- Utilisateur éprouvé
- Messages : 461
- Inscription : jeudi 23 novembre 2006, 20:12
- Statut actuel : Enseignant
- Localisation : 59 (Région St Amand les Eaux)
Hmmm, juste ce que je viens de définir ce matin: "espace de Banach séparable".
Je suppose que la somme porte sur tous les $i \in \N$...
Alors il y a aussi un problème de convention: confirmes-tu que $X' = \{ f: X \rightarrow \R | f \text{est linéaire continue}\}$?
(en tout cas, moi, il est défini comme ça...)
Je suppose que la somme porte sur tous les $i \in \N$...
Alors il y a aussi un problème de convention: confirmes-tu que $X' = \{ f: X \rightarrow \R | f \text{est linéaire continue}\}$?
(en tout cas, moi, il est défini comme ça...)
oui, effectivement, $f$ est continue . J'utilise la même convention que bibi6.Arnaud a écrit :Il n'y a pas d'autre hypothèse sur $f$ ?
Si $f$ n'est pas continue, on ne peut pas définir sa norme.
Si elle est continue, cela simplifie un peu les choses.
Excusez-moi, je n'ai pas précisé.
Je ne savais pas qu'il y avait plusieurs manières de définir l'espace dual.
-
- Modérateur honoraire
- Messages : 1059
- Inscription : samedi 22 avril 2006, 12:08
- Localisation : Région Parisienne
Pour info, il existe le dual algébrique (où la notion de continuité n'intervient pas) et la notion de dual topologique (où les formes linéaires sont supposées continues).
Selon le contexte, si cela n'est pas précisé, on retrouve souvent de quel dual on parle (en algèbre, le premier, en analyse, le second).
Une confusion peut, par contre, intervenir lors de lecture de documents étrangers où le dual topologique est noté $E^*$ par les anglo-saxons alors que cette notation correspond à notre dual algébrique en France.
Selon le contexte, si cela n'est pas précisé, on retrouve souvent de quel dual on parle (en algèbre, le premier, en analyse, le second).
Une confusion peut, par contre, intervenir lors de lecture de documents étrangers où le dual topologique est noté $E^*$ par les anglo-saxons alors que cette notation correspond à notre dual algébrique en France.
-
- Modérateur honoraire
- Messages : 1059
- Inscription : samedi 22 avril 2006, 12:08
- Localisation : Région Parisienne
Oui, c'est ce que je disais et je faisais remarquer que les anglo-saxons utilisait une autre convention qui pouvait porter à confusion ($E^*$ est le dual topologique chez eux).Tryphon a écrit :En général, on note $E^*$ le dual algébrique et $E'$ le dual topologique, il me semble...
A une erreur de calcul et de raisonnement prêt, tout cela doit être correct.
-
- Modérateur honoraire
- Messages : 7097
- Inscription : lundi 28 août 2006, 13:18
- Localisation : Allemagne
- Contact :
Ma première réaction en voyant ton exercice était la question de la continuité, pour que le tout soit bien défini, mais je n'ai pas réfléchi à l'inégalité triangulaire.
L'inégalité est claire pour $||f+g||$, donc il suffit de voir pour la somme.
La notation $f^2$ signifie telle $(f)^2$ ou $f \circ f$ ? ( j'aime vraiment pas ces notations... ).
L'inégalité est claire pour $||f+g||$, donc il suffit de voir pour la somme.
La notation $f^2$ signifie telle $(f)^2$ ou $f \circ f$ ? ( j'aime vraiment pas ces notations... ).
oui, c'est vrai que la notation n'est pas géniale, je n'y ai pas pensé en composant le message.Arnaud a écrit : La notation $f^2$ signifie telle $(f)^2$ ou $f \circ f$ ? ( j'aime vraiment pas ces notations... ).
Et j'avou qu'en lisant ton message,sur le coup , j'ai eu un doute...
Bref, dans la somme c'est $(f(x_i))^2$
-
- Utilisateur éprouvé
- Messages : 461
- Inscription : jeudi 23 novembre 2006, 20:12
- Statut actuel : Enseignant
- Localisation : 59 (Région St Amand les Eaux)
Ici pas d'ambiguïté possible!
$f: X \rightarrow \R$, donc $f^2$ élève clairement le résultat de $f$ au carré! (à moins que, comme par hasard, le Banach $X$, c'est $\R$...)
Et puis, il faut faire gaffe à ce qu'on peut se permettre -- je pense au terme croisé (je parie que sinon, on est mal pour la majoration!)
$$|||f+g||| ?\leq ? |||f||| + |||g|||\\
|||f+g|||^2 ?\leq ? (|||f||| + |||g|||)^2 = |||f|||^2 + |||g|||^2 + 2|||f|||.|||g|||$$
Je pense qu'il faut triturer cette dernière inégalité (avec la définition de $|||.|||^2$).
$f: X \rightarrow \R$, donc $f^2$ élève clairement le résultat de $f$ au carré! (à moins que, comme par hasard, le Banach $X$, c'est $\R$...)
Et puis, il faut faire gaffe à ce qu'on peut se permettre -- je pense au terme croisé (je parie que sinon, on est mal pour la majoration!)
$$|||f+g||| ?\leq ? |||f||| + |||g|||\\
|||f+g|||^2 ?\leq ? (|||f||| + |||g|||)^2 = |||f|||^2 + |||g|||^2 + 2|||f|||.|||g|||$$
Je pense qu'il faut triturer cette dernière inégalité (avec la définition de $|||.|||^2$).
-
- Modérateur honoraire
- Messages : 7097
- Inscription : lundi 28 août 2006, 13:18
- Localisation : Allemagne
- Contact :
Ha oui, bien vu, mais le cas particulier ( bien qu'étonnant ) est possible.bibi6 a écrit :Ici pas d'ambiguïté possible!
$f: X \rightarrow \R$, donc $f^2$ élève clairement le résultat de $f$ au carré! (à moins que, comme par hasard, le Banach $X$, c'est $\R$...)
Pourquoi mettre la dernière inégalité au carré ?
Il suffirait de voir ce qui se passe pour la somme ( qui converge bien et tout ).
Re: Norme au carré
Je dois donc montrer ceci : $$\sqrt{\|f+g\|^2+ \sum (2^{-i}(f+g)^2(x_i))}
\leq \sqrt{\|f\|^2+ \sum (2^{-i}f^2(x_i))}+ \sqrt{\|g\|^2+ \sum (2^{-i}g^2(x_i))}$$
puisque $$||| f|||^2 = \|f\|^2+ \sum (2^{-i}f^2(x_i))$$
J'ai déjà essayé ça mais je narrive pas à bien majorer.
Ca me ramène au même problème non? Travailler avec les racines carrés c'est embétant, donc j''élève les membres au carré et je trouve que je dois montrer :
$$|||f+g|||^2 \leq |||f|||^2 + |||g|||^2 + 2 |||f|||. |||g||| $$
\leq \sqrt{\|f\|^2+ \sum (2^{-i}f^2(x_i))}+ \sqrt{\|g\|^2+ \sum (2^{-i}g^2(x_i))}$$
puisque $$||| f|||^2 = \|f\|^2+ \sum (2^{-i}f^2(x_i))$$
J'ai déjà essayé ça mais je narrive pas à bien majorer.
Ca me ramène au même problème non? Travailler avec les racines carrés c'est embétant, donc j''élève les membres au carré et je trouve que je dois montrer :
$$|||f+g|||^2 \leq |||f|||^2 + |||g|||^2 + 2 |||f|||. |||g||| $$
-
- Utilisateur éprouvé
- Messages : 461
- Inscription : jeudi 23 novembre 2006, 20:12
- Statut actuel : Enseignant
- Localisation : 59 (Région St Amand les Eaux)
Exactement! L'idée est qu'on a la définition de la norme "au carré" -- donc autant en profiter
Et en plus on aura des termes qui vont disparaître: il y a moyen de faire apparaître à partir du $1^{er}$ membre, les deux termes $|||f|||^2$ et $|||g|||^2$. Reste à voir que ce qui en reste peut être majoré par $2|||f|||.|||g|||$...
Un problème qu'on résoudra en 2007! Meilleurs voeux à tous!
Et en plus on aura des termes qui vont disparaître: il y a moyen de faire apparaître à partir du $1^{er}$ membre, les deux termes $|||f|||^2$ et $|||g|||^2$. Reste à voir que ce qui en reste peut être majoré par $2|||f|||.|||g|||$...
Un problème qu'on résoudra en 2007! Meilleurs voeux à tous!
-
- Sujets similaires
- Réponses
- Vues
- Dernier message
-
- 3 Réponses
- 2476 Vues
-
Dernier message par bulledesavon