Real compactness via real maximal ideals of B1(X)
Abstract
In this paper, constructing a class of ideals of B1(X) from proper ideals of C(X) a one-one correspondence between the class of real maximal ideals of C(X) and those of B1(X) is established. The collection of all real maximal ideals of B1(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 B1(X) is fixed. As a consequence, within the class of real compact T4 spaces whose points are Gδ, B1(X) = B1*(X) if and only if X is finite.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.