A fine correlation between Baire and Borel functional hierarchies (Q2453800): Difference between revisions

Let \(( T,\mathcal{G}) \) be a topological space and \(\mathcal{B}( T,\mathcal{G}) \) be the ensemble of all Borel sets of the space \((T,\mathcal{G}).\) The key tool used in this paper (not for the first time) is the one-step extension \(\mathcal{E}\longmapsto \mathcal{E}_{\lambda},\) where \(\mathcal{E}_{\lambda}\) consists of all countable unions of the form \(\bigcup (E_{i}\cap ( T\backslash H_{i})\mid i\in I)\) with \(E_{i},H_{i}\in \mathcal{E}.\) For instance, the authors have proved that for an arbitrary topological space, the following hierarchical construction of the ensemble of Borel sets holds: \[ \mathcal{B}_{0}\equiv\mathcal{G}\subset \mathcal{B}_{1}\subset \ldots \subset \mathcal{B}_{\alpha}\subset \ldots \subset \mathcal{B}_{\omega_{1}}=\mathcal{B}( T,\mathcal{G}), \] where \(\mathcal{B}_{\alpha}=(\bigcup (\mathcal{B}_{\beta}\mid\beta\in \alpha))_{\lambda}\), \(\alpha \) is an arbitrary ordinal number, \(\omega \) is the first countable ordinal number, and \(\omega_{1}\) is the first uncountable ordinal number. For any ensemble \(\mathcal{S}\) of subsets of \(T\) denote by \(M(T,\mathcal{S}) \) the family of all \(\mathcal{S}\)-measurable functions on \(T.\) For an arbitrary topological space \(( T,\mathcal{G}) \) there is the general correlation with the initial family \(M(T,\mathcal{G}_{\lambda}),\) \(\mathcal{B}_{0}\equiv\mathcal{G}\), \(\mathcal{B}_{1}\equiv\mathcal{G}_{\lambda}\), \(\mathcal{B}_{2}\equiv\mathcal{G}_{\lambda \lambda}\). In this paper the authors find the initial family of uniform functions strictly intermediate between the bounded continuous functions \(C_{b}(T,\mathcal{G})\) and the bounded functions \(M_{b}( T,\mathcal{G}_{\lambda}).\)