Barrelled countable enlargements and the dominating cardinal (Q1125843)

Un espace tonnelé \(E\) est réputé vérifier la propriété BCE s'il existe un sous-espace vectoriel \(M\) du dual algébrique de \(E\), dont la dimension est infinie dénombrable, dont la trace sur le dual topologique \(E'\) de \(E\) se réduit au vecteur nul, et pour lequel \(E\) est, encore, tonnelé pour la topologie de Mackey \(\mu(E,E'+M)\). Par ailleurs, si l'on désigne par \({\mathcal U}_E\) le filtre des voisinages de \(0\) dans \(E\), on définit dans \(({\mathcal U}_E)^N\) la relation: l'ensemble des entiers \(n\) pour lesquels \(G(n)\) n'est pas inclus dans \(F(n)\) est fini; le dominant de \(E\) est la puissance minima d'une partie cofinale de \(({\mathcal U}_E)^N\). Après plusieurs résultats préliminaires, les AA. montrent que l'espace tonnelé \(E\) possède la propriété BCE si son dominant est au plus égal à sa dimension; il suffit, du reste, qu'il en soit ainsi d'un sous-espace vectoriel de \(E\). Diverses conséquences en découlent.