Topological modules of continuous homomorphisms (Q2427251)

L'auteur complète certaines propriétés relatives aux homomorphismes continus entre modules topologiques et dues à divers auteurs. Le résultat le plus intéressant est le suivant: \(A\) est une algèbre topologique, \(X\) un \(A\)-module topologique séparé avec une multiplication de module telle que pour chaque voisinage \(G\) de l'origine dans \(X\) et chaque partie bornée \(D\) de \(A\) il existe un voisinage \(H\) de l'origine dans \(X\) vérifiant \(D\cdot H\subseteq G\). On suppose que \(A\) possède une unité approchée \(\{e_\lambda\}\); la partie essentielle \(X_e\) de \(X\) est formée des éléments \(x\) de \(X\) pour lesquels \(\{e_\lambda\cdot x\}\) converge vers \(x\) pour la topologie \(\tau\) de \(X\) supposée complète. Finalement \([\Hom_A(A, X_e)]_e\) muni de la topologie de la convergence bornée est isomorphe à \(X_e\) pour la topologie \(\tau\).