Extension of a continuous preorder

83 Views Asked by At

Given a compact metric space $X$ and a preorder $R$ on $X$ (a reflexive and transitive relation) which is continuous in the sense that the upper and lower contour set of any point, \begin{equation*} U(x):=\{y\in X: yRx\} ,\; \; L(x):=\{y\in X:xRy\} \end{equation*} are closed, is there a coherent completion of $X$ which is continuous in the above sense? Any help appreciated.

1

There are 1 best solutions below

0
On

If such an extension $R'$ would exist, then consider the order topology $\mathcal{T}_<$ induced by $R'$, which I'll denote by $\le$ (and its strict version by $<$), which has $\{x \in X: x < a\}$ as a subbasic open (for $a \in X$). This subbasic set is exactly the complement of $U(a)$ for this $R'$. So this subbasic element is open in $X$. Similarly, all other subbasic sets of the form $\{x : x > a\}$ for $a \in X$ are also open in $X$ when $R'$ is continuous in your sense.

So $f: X \to (X, \mathcal{T}_<) \, f(x) = x$ is continuous and as all order topologies are Hausdorff, we get by a standard result that the topology of $X$ is exactly the order topology induced by this extension.

But not all compact spaces are orderable, e.g. take $X= [0,1]^2$ and this already fails: in a connected orderable space, there are at most $2$ non-cutpoints. And $[0,1]^2$ has more.