A Representation Theorem for Archimedean Riesz Spaces

A. W. Wickstead

DOI: https://doi.org/10.1007/s00009-024-02684-3

2024-06-14

Mediterranean Journal of Mathematics

Abstract:In previous works, Buskes and the author have made use of representations of Archimedean Riesz spaces in terms of real-valued continuous functions defined on dense open subsets of a topological space in studying tensor products. These representations may be obtained from the Ogasawara–Maeda representation by means of restriction to the set on which representing functions are real-valued, rather than infinite. In this note, we show how to obtain such a representation as a simple consequence of the Krein–Kakutani representation of an order unit space. We conclude by studying the representation of Riesz homomorphisms in this setting.

mathematics, applied

What problem does this paper attempt to address?

This paper mainly discusses the representation theorem of Archimedean Riesz spaces, which is an important linearly ordered space in functional analysis. The author's previous work has already used the representation of real-valued continuous functions in these spaces to study tensor products. In this paper, the author proposes a simple method to construct these representations, which is based on an ordered unit space in Krein-Kakutani representation.

Firstly, the paper introduces how to construct a space S(Σ) of real-valued continuous functions defined only on a dense open subset of a topological space, starting from the Krein-Kakutani representation, and proves that this space has the Archimedean property. Then, the paper discusses in detail the bands and ideals in S(Σ), and proves some equivalent conditions for them.

Then, the paper turns to the representation of Archimedean Riesz spaces with a weak order unit. The author shows that there exists a compact Hausdorff space Ω and a lattice isomorphism π from such a space to S(Ω), such that π maps the weak order unit to the constant 1, and the image of a principal ideal of the original space in C(Ω) is dense in the maximum norm. In addition, it is proved that π preserves the lattice structure of the space.

Finally, the paper explores the description of Riesz homomorphisms under this representation, especially when both the source and target spaces of the mappings have weak order units. The author provides a continuous mapping π and a positive element α, such that the action of the Riesz homomorphism T can be described by pointwise multiplication, that is, (Tx)(ω) = α(ω)x(π(ω)), where ω belongs to a specific dense subset W.

In summary, this paper provides a concise construction method for representing Archimedean Riesz spaces, and studies their related structures and mapping properties.