Der Bairesche Satz bei Intervallfunktionen. (Q2579999)

Aus der Feststellung, daß der Raum \(V\) aller abgeschlossenen Intervalle des \(R_n\) ein vollständiger Unterraum des in üblicher Weise metrisierten Raumes der abgeschlossenen Mengen des \(R_n\) ist, folgt unmittelbar: Eine im \(R_n\) eindeutige, endliche Intervallfunktion \(F(I)\) ist Limes einer Folge von in \(V\) stetigen Intervallfunktionen \(F_\nu(I)\) dann und nur dann, wenn \(F(I)\) auf jeder in \(V\) abgeschlossenen Menge punktiert unstetig ist.