Produits tensoriels topologiques et espaces nucléaires

absolument sommable application de Fredholm application linéaire continue application linéaire intégrale application nucléaire B₁ biunivoque bornée convexe cerclée bornologique boule unité cerclée faiblement fermée Chap complet condition d'approximation convergence compacte convexe cerclée faiblement convexe cerclée fermée corollaire d'approximation métrique décroissance rapide définie Démonstration dense dual E₁ équicontinue convexe cerclée espace compact espace de Banach espace de Hilbert espace du type espace localement compact espace localement convexe espace nucléaire espace quotient espace vectoriel existe F₁ faiblement compacte faiblement continue forme bilinéaire forme linéaire continue homomorphisme immédiat implique isomorphe l'application canonique l'application identique l'énoncé l'ensemble l'enveloppe convexe cerclée L¹(µ lemme limite inductive linéaire naturelle mesure positive norme intégrale produit tensoriel prop PROPOSITION prouver puissance p.ème sommable quasi-complet rang fini relativement compacte resp résulte satisfait scalairement semi-norme Soient sous-espace vectoriel sous-espace vectoriel topologique suffit suites doubles supposer Supposons théorème topologie faible topologie induite