Produits tensoriels topologiques et espaces nucléaires, Parties 1 à 2

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 compacte convexe cerclée 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 mesure positive norme intégrale produit tensoriel prop PROPOSITION prouver quasi-complet rang fini relativement compactes resp restriction résulte satisfait scalairement semi-norme Soient sous-espace vectoriel sous-espace vectoriel fermé sous-espace vectoriel topologique suffit supposer Supposons théorème topologie faible topologie induite