The boundedness principle characterizes second category subsets

Abstract

Converses are proved for the Osgood (the Principle of Uniform Boundedness), Dini, and other well known. theorems. The notion of a continuous step function on a topological space is defined and a class of spaces identified for which each lower semicontinuous function is the pointwise limit of a monotonically increasing sequence of step functions.