Constructive Notes on Uniform and Locally Convex Spaces

摘要

Some elementary notions in the constructive theory of uniform and locally convex spaces are introduced, and a number of basic results established. In particular, it is shown that if the unit ball of a locally convex space X is totally bounded, then so is the intersection of that ball with the kernel of any nonzero continuous linear functional on X.