Bourbaki

Exercice 2, § 3

Espaces vectoriels topologiques, V, p. 72

Soit E un espace hilbertien de dimension infinie, et soient p,qp, q deux entiers ≥1\geq 1; on pose p′=[p2]p' = \left[ \frac{p}{2} \right], q′=[q2]q' = \left[ \frac{q}{2} \right] (parties entières). Montrer que la norme de l’application bilinéaire (u,v)↦u∧v(u, v) \mapsto u \wedge v de Λ^p(E)×Λ^q(E)\hat{\Lambda}^p(E) \times \hat{\Lambda}^q(E) dans Λ^p+q(E)\hat{\Lambda}^{p+q}(E) est au moins égale à ((p′+q′)!p′!q′!)1/2\left( \frac{(p'+q')!}{p'! q'!} \right)^{1/2}. (Lorsque p=2p′p = 2p' et q=2q′q = 2q' sont pairs, considérer dans E un sous-espace EnE_n de dimension 2n2n, ayant une base orthonormale (ej)1≤j≤2n(e_j)_{1 \leq j \leq 2n}; on pose ej′=e2j−1∧e2je'_j = e_{2j-1} \wedge e_{2j} pour 1≤j≤n1 \leq j \leq n; considérer le produit u∧vu \wedge v, où u=∑HeH′u = \sum_H e'_H, v=∑KeK′v = \sum_K e'_K où H (resp. K) parcourt l’ensemble des parties à p′p' (resp. q′q') éléments de {1,2,…,n}\{1, 2, \ldots, n\} et eH′=ei1′∧…∧eip′′e'_H = e'_{i_1} \wedge \ldots \wedge e'_{i_{p'}} (resp. eK′=ej1′∧…∧ejq′′e'_K = e'_{j_1} \wedge \ldots \wedge e'_{j_{q'}}) si i1<⋯<ip′i_1 < \cdots < i_{p'} (resp. j1<⋯<jq′j_1 < \cdots < j_{q'}) est la suite croissante des éléments de H (resp. K). En déduire que la multiplication dans Λ(E)\Lambda(E) ne peut se prolonger par continuité à Λ^(E)\hat{\Lambda}(E).

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.