Complete Compact Linear Orders



Let X,Y be complete linear orders
or equivalently, compact linear orders.

If f:X -> Y is ascending (not strictly increasing) and continuous
then for all A subset X,
inf f(A) = f(inf A), sup f(A) = f(sup A).

Conversely assume for all A subset X,
inf f(A) = f(inf A), sup f(A) = f(sup A).
It's easy to show f is ascending.
Is it possible to show f is continuous?
.


Quantcast