English

On Structure space of the ring $B_1(X)$

General Topology 2022-01-31 v2

Abstract

In this article, we continue our study of the ring of Baire one functions on a topological space (X,τ)(X,\tau), denoted by B1(X)B_1(X) and extend the well known M. H. Stones's theorem from C(X)C(X) to B1(X)B_1(X). Introducing the structure space of B1(X)B_1(X), an analogue of Gelfand Kolmogoroff theorem is established. It is observed that (X,τ)(X,\tau) may not be embedded inside the structure space of B1(X)B_1(X). This observation inspired us to introduce a weaker form of embedding and show that in case XX is a T4T_4 space, XX is weakly embedded as a dense subspace, in the structure space of B1(X)B_1(X). It is further established that the ring B1(X)B_1^{*}(X) of all bounded Baire one functions is a C-type ring and also, the structure space of B1(X)B_1^{*}(X) is homeomorphic to the structure space of B1(X)B_1(X). Introducing a finer topology σ\sigma than the original T4T_4 topology τ\tau on XX, it is proved that B1(X)B_1(X) contains free (maximal) ideals if σ\sigma is strictly finer than τ\tau. It is also proved that τ=σ\tau = \sigma if and only if B1(X)=C(X)B_1(X) = C(X). Moreover, in the class of all perfectly normal T1T_1 spaces, B1(X)=C(X)B_1(X) = C(X) is equivalent to the discreteness of the space XX.

Keywords

Cite

@article{arxiv.2003.12964,
  title  = {On Structure space of the ring $B_1(X)$},
  author = {A. Deb Ray and Atanu Mondal},
  journal= {arXiv preprint arXiv:2003.12964},
  year   = {2022}
}

Comments

11 Pages. arXiv admin note: substantial text overlap with arXiv:1906.08498

R2 v1 2026-06-23T14:30:42.065Z