Real compactness via real maximal ideals of $B_1(X)$

TL;DR

This paper explores the structure of real maximal ideals in the function space $B_1(X)$, establishing a correspondence with those in $C(X)$ and characterizing real compactness of the space $X$ through ideal properties.

Contribution

It introduces a one-to-one correspondence between real maximal ideals of $C(X)$ and $B_1(X)$, and characterizes real compactness via properties of these ideals.

Findings

Homeomorphism between the space of real maximal ideals of $B_1(X)$ and $C(X)$

Characterization of real compact spaces via fixed real maximal ideals

Equality of $B_1(X)$ and ${B_1}^*(X)$ for finite spaces

Abstract

In this paper, constructing a class of ideals of $B_1(X)$ from proper ideals of $C(X)$ a one-one correspondence between the class of real maximal ideals of $C(X)$ and those of $B_1(X)$ is established. The collection of all real maximal ideals of $B_1(X)$ with hull-kernel topology is proved to be homeomorphic to the space of real maximal ideals of $C(X)$ endowed with a topology finer than the subspace topology induced from its structure space. It is also proved that a Tychonoff space is real compact if and only if every real maximal ideal of $B_1(X)$ is fixed. As a consequence, within the class of real compact $T_4$ spaces whose points are $G_\delta$, $B_1(X) = {B_1}^*(X)$ if and only if $X$ is finite.