Order preserving bijections of \(\mathcal C(\mathcal X,\mathcal I)\) (Q2569905)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Order preserving bijections of \(\mathcal C(\mathcal X,\mathcal I)\)
scientific article

    Statements

    Order preserving bijections of \(\mathcal C(\mathcal X,\mathcal I)\) (English)
    0 references
    0 references
    24 October 2005
    0 references
    If \(\mathcal X\) is a first countable compact Hausdorff space, then \(C({\mathcal X},I)\) denotes the set of continuous functions from \({\mathcal X}\) to \([0,1]\). A function \(\phi:C({\mathcal X},I)\to C({\mathcal X},I)\) \textsl{preserves the order in both directions} if \(f\leq g\) if and only if \(\phi(f)\leq \phi(g)\). The following theorem is proved: If \(\phi:C({\mathcal X},I)\to C({\mathcal X},I)\) is a bijective map which preserves the order in both directions then there is a homeomorphism \(\mu\) of \({\mathcal X}\) and for each \(x\in {\mathcal X}\) a bijective increasing map \(m_x:I\to I\) such that for all \(f\in C({\mathcal X},I)\), \(\phi(f)(x)= m_x(f(\mu(x)))\). The converse is also proved.
    0 references
    order preserving bijective transformation
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references