Spaces of functions with countably many discontinuities (Q995351)

Generalizing some results from the literature the authors prove: let \(K\) be a separable and pointwise compact set of functions on a Polish space \(\Gamma\). If each function in \(K\) has only countably many discontinuities, then \(C(K)\) admits a pointwise lower semicontinuous, locally uniformly rotund norm (which is equivalent to the supremum norm). If \(K\) is not separable, then \(C(K)\) with the topology of pointwise convergence is \(\sigma\)-fragmentable by its norm.