Remarks on Smooth Real-Compactness for Sikorski Spaces

Abstract

It is known that every Sikorski space with the countably generated differential structure is smoothly real-compact. It means that every homomorphism from its differential structure, which forms a ring of smooth real-valued functions into the ring of real numbers, is an evaluation. This result is sharp: there is a non-smoothly real-compact Sikorski space with the differential structure which is not countably generated. We provide an easy example demonstrating this. By modifying this example we are able to show a certain shortcoming of the generator embedding, comparing to the canonical embedding, for Sikorski spaces. Finally, we note that a homomorphism from the ring of smooth functions of a Sikorski space into the ring of real numbers is an evaluation if and only if it is continuous.

Keywords

• Sikorski spaces
• smooth real-compactness