Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have a question.

Let $f,g$ be continuous functions from $X$ to $Y$, $X$ is a topological space and $Y$ a topological space under ordered topology. Then prove that the set $\{x \in X \ | \ f(x) < g(x)\}$ is open. I want to know that what intrisic property of order makes it possible.

share|cite|improve this question
Do you know what is the basis for the order topology? – Asaf Karagila Feb 25 '11 at 8:18
up vote 7 down vote accepted

Look at the map $(f,g)\colon X\to Y\times Y$. This map is continuous because $f$ and $g$ are.

Your set $\{x \in X \mid f(x) < g(x)\}$ is the preimage under $(f,g)$ of the set $\{(a,b) \in Y\times Y \mid a < b\}$.

Now, the only thing that remains to prove is that $\{(a,b) \in Y\times Y \mid a < b\}\subseteq Y\times Y$ is open.

This follows from the definition of the Order topology on $Y$. Do you need help with that?

share|cite|improve this answer
Thanks. It is very nice. – M.Subramani Feb 26 '11 at 17:20

Hey i found this somewhere on the net. See problem 5 in the given link:

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.