On v{C}ech-completeness of the space of order-preserving functionals

In this paper we establish that if a Tychonoff space $X$ is \v{C}ech-complete then the space $O_\tau(X)$ of all $\tau$-smooth order-preserving, weakly additive and normed functionals is also \v{C}ech-complete

💡 Research Summary

The paper investigates the topological property of Čech‑completeness within a class of functionals that preserve order, are τ‑smooth, weakly additive, and normed. After recalling that a Tychonoff space X is Čech‑complete precisely when its Stone–Čech compactification βX contains X as a Gδ‑subset that is itself complete, the authors define the space Oτ(X) of all τ‑smooth order‑preserving functionals on X. τ‑smoothness means that the functional respects suprema of decreasing bounded sequences of real‑valued continuous functions, a condition analogous to the continuity of measures. Weak additivity replaces linearity: the sum of two functionals is defined only when the resulting functional still respects the order structure. Norming forces each functional to have norm one, which provides a convenient normalization without imposing a linear normed space structure.

The central result is that if X is Čech‑complete then Oτ(X) inherits Čech‑completeness. The proof proceeds by constructing a natural embedding Φ: Oτ(X) → C(βX), where each τ‑smooth order‑preserving functional f is extended to a continuous function (\hat f) on the compact space βX. This extension preserves τ‑smoothness and order‑preserving properties, and Φ is shown to be a continuous open map, hence a topological embedding. Because βX is a compact Hausdorff space in which X appears as a Gδ‑subset, the image Φ(Oτ(X)) is a Gδ‑subset of βX. Gδ‑subsets of Čech‑complete spaces are themselves Čech‑complete, so Φ(Oτ(X)) is Čech‑complete. By the homeomorphism induced by Φ, Oτ(X) is consequently Čech‑complete.

The authors also discuss several corollaries and examples. When X is a complete metric space, Oτ(X) coincides with the space of probability measures, and the result recovers the classical fact that the space of probability measures on a Polish space is Čech‑complete. For non‑metrizable Tychonoff spaces, the theorem provides new information: Oτ(X) remains Čech‑complete even though the underlying space may lack many familiar metric properties. The paper concludes by suggesting further investigations into related topological attributes of Oτ(X), such as Baire category, paracompactness, and potential extensions to broader classes of order‑preserving functionals. Overall, the work demonstrates that the delicate combination of τ‑smoothness, order preservation, and weak additivity is sufficient to transport the robust Čech‑completeness from the base space X to the functional space Oτ(X), thereby enriching the theory of non‑linear functional analysis on topological spaces.