Let $Y$ be an ordered set in the order topology with $f,g:X\rightarrow Y$ continuous, show that $\{x:f(x)\leq g(x)\}$ is closed in $X$

To show the set $A$ is closed, we only need to proof

$A^c=\{x\in X:f(x)>g(x)\}$ is open.

Proof: For any point $x \in A^c$, $f(x)>g(x)$; and the order topological space is Hausdorff, then there exist disjoint open sets $U_1$ with $f(x) \in U_1$ and $U_2$ with $g(x) \in U_2$ in $X$, such that for any point $y \in U_1$ and $z \in U_2$, $f(y)>g(z)$. Let $U= f^{-1}(U_1) \cap g^{-1}(U_2)$ is an nonempty open set in $X$: for $x \in U$. Obviously, we see $x \in U \subset A^c$, which implies the set $A^c$ is open.


HINT: Let $h:X\to Y:x\mapsto\max\{f(x),g(x)\}$.

  1. Show that $h$ is continuous.
  2. Note that $A=\{x\in X:h(x)=g(x)\}$.

Hint for the problem:

  1. Recall that $Y$ under the order topology is Hausdorff (Exercise).

  2. Show that the complement of $A$ is open. Do this by supposing that $x \notin A$. Then $g(x) < f(x)$. If this is the case, then either there exists $y$ such that $g(x) < y < f(x)$, or (exclusively) there does not exist any $y \in Y$ in between $f(x)$ and $g(x)$.