scientific article; zbMATH DE number 1751224

Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Real-valued functions in general topology (54C30) Metric spaces, metrizability (54E35)

Review text

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)].

Recommendations

Cites work

Cited in

(12)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4534306)