On compactness and metrizability of nuclear spaces of manifolds

Abstract

We prove a theorem on the sequential compactness of the so-called nuclear space of an arbitrary topological manifold.