Plus petite norme de produit tensoriel
Bonjour
Je ne sais pas si je suis dans le bon forum : topologie ou analyse ?
J'essaie de lire le Résumé de la théorie métrique des produits tensoriels topologiques, de Grothendieck résumé de la théorie
Je ne vais pas très loin, parce que je ne vois pas comment dans le théorème 1, page 7, on montre que la norme raisonnable $\vee$ est la plus petite des normes raisonnables possibles.
J'ai l'impression qu'il suffirait de pouvoir dire que toute forme bilinéaire continue $b$ sur $E \times F$ induit une forme linéaire continue $\tilde{b}$ sur $E \otimes F$ munie de la topologie de la norme $\alpha$. Pour cela, on a facilement que $\tilde{b}(x\otimes y)\leq ||b|| \alpha(x\otimes y)$, mais si $u=\sum_i x_i \otimes y_i$, comment montrer que $\tilde{b}(u)\leq ||b|| \alpha(u)$ ?
D'autres idées ? Merci.
Je ne sais pas si je suis dans le bon forum : topologie ou analyse ?
J'essaie de lire le Résumé de la théorie métrique des produits tensoriels topologiques, de Grothendieck résumé de la théorie
Je ne vais pas très loin, parce que je ne vois pas comment dans le théorème 1, page 7, on montre que la norme raisonnable $\vee$ est la plus petite des normes raisonnables possibles.
J'ai l'impression qu'il suffirait de pouvoir dire que toute forme bilinéaire continue $b$ sur $E \times F$ induit une forme linéaire continue $\tilde{b}$ sur $E \otimes F$ munie de la topologie de la norme $\alpha$. Pour cela, on a facilement que $\tilde{b}(x\otimes y)\leq ||b|| \alpha(x\otimes y)$, mais si $u=\sum_i x_i \otimes y_i$, comment montrer que $\tilde{b}(u)\leq ||b|| \alpha(u)$ ?
D'autres idées ? Merci.
Réponses
-
Bon en fait c'est bête, il suffit que les formes linéaires sur $E\otimes F$ de la forme $f\otimes g$ où $f\in E'$et $g\in F'$ soient continues, ce qu'elles sont par hypothèse puisque qu'on suppose $\alpha'(f\otimes g) \leq \|f\| \| g\|$ et donc implicitement que ces formes sont continues.
J'ai bien compris ?
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