Espaces vectoriels topologiques, V, p. 72
Soit E un espace hilbertien de dimension infinie, et soient p,q deux entiers ≥1; on pose p′=[2p], q′=[2q] (parties entières). Montrer que la norme de l’application bilinéaire (u,v)↦u∧v de Λ^p(E)×Λ^q(E) dans Λ^p+q(E) est au moins égale à (p′!q′!(p′+q′)!)1/2. (Lorsque p=2p′ et q=2q′ sont pairs, considérer dans E un sous-espace En de dimension 2n, ayant une base orthonormale (ej)1≤j≤2n; on pose ej′=e2j−1∧e2j pour 1≤j≤n; considérer le produit u∧v, où u=∑HeH′, v=∑KeK′ où H (resp. K) parcourt l’ensemble des parties à p′ (resp. q′) éléments de {1,2,…,n} et eH′=ei1′∧…∧eip′′ (resp. eK′=ej1′∧…∧ejq′′) si i1<⋯<ip′ (resp. j1<⋯<jq′) est la suite croissante des éléments de H (resp. K). En déduire que la multiplication dans Λ(E) ne peut se prolonger par continuité à Λ^(E).