Local completeness and dual local quasi-completeness (Q2701637)

\(E\) est un espace vectoriel localement convexe et séparaé sur \(R\) où \(C\). Les deux résultats principaux de ce mémoire sont des équivalences entre les propriétés suivantes:NEWLINENEWLINENEWLINED'une part:NEWLINENEWLINENEWLINE(i) toute partie de \(E\) convexe, équilibrée, bornée et fermée est un disque de Banach;NEWLINENEWLINENEWLINE(ii) pour toute suite bornée \((x_n)\) sur \(E\) et toute suite \((\lambda_n)\) appartenant à \(\ell^1\), la série de terme général \(\lambda_n x_n\) est convergente;NEWLINENEWLINENEWLINE(iii) pour toute suite \((x_n)\) appartenant à \(\ell^p(E)\) (avec \(1\leq p\leq\infty\)) et toute suite \((\lambda_n)\) appartenant à \(\ell^q\) (avec \(1/p+ 1/q=1\)), la série de terme général \(\lambda_n x_n\) est convergence.NEWLINENEWLINENEWLINED'autre part:NEWLINENEWLINENEWLINE(i) le dual fort de \(E\) est localement complet;NEWLINENEWLINENEWLINE(ii) toute suite convergeant vers 0 sur le dual fort de \(E\) est équicontinue;NEWLINENEWLINENEWLINE(iii) la topologie de \(E\) et sa topologie faible coïncident sur toute suite bornivore;NEWLINENEWLINENEWLINE(iv) si \((U_n)\) est une suite de voisinages convexes, équilibrés et fermés de l'origine, telle qu'une partie bornée donnée de \(E\) est contenue dans \(U_n\) pour presque tous les entiers \(n\), l'intersection des \(U_n\) est un voisinage de l'origine.NEWLINENEWLINENEWLINEL'A. en donne des exemples et des conséquences.