No label defined (Q4534306)

A new class of metric spaces is introduced, so-called massive spaces. The following definitions are assumed: a metric space \(X\) is said to be \(\sigma \)-discrete at a point \(x \in X\) if there is a \(\sigma \)-discrete neighbourhood of \(x\); and \(X\) is called massive if it is not \(\sigma \)-discrete at each of its points. The main result is given in Theorem 2, namely: If \(X\) is a massive metric space and \(f: X \to [0,\infty ]\) is upper semicontinuous, then there exists a function \(F: X \to [0, \infty)\) at most in the Baire class two such that the oscillation of \(F\) equals \(f\). Since each dense-in-itself metric Baire space is massive, this theorem extends the result of \textit{P. Kostyrko} [ibid. 30, 157-162 (1980; Zbl 0441.54004)].