- #1
Poopsilon
- 294
- 1
Proving a Set is Closed (Topology)
Let [itex]Y[/itex] be an ordered set in the order topology with [itex]f,g:X\rightarrow Y[/itex] continuous. Show that the set [itex]A = \{x:f(x)\leq g(x)\}[/itex] is closed in [itex]X[/itex].
I cannot for the life of me figure this out. As far as I can tell one either needs to show the set A gathers its limit points or that it is the pre-image (under f or g) of some closed set in Y. We know the order topology is Hausdorff, so that's something. I just don't even know how to get started on this one. Hopefully someone can help, thanks.
Homework Statement
Let [itex]Y[/itex] be an ordered set in the order topology with [itex]f,g:X\rightarrow Y[/itex] continuous. Show that the set [itex]A = \{x:f(x)\leq g(x)\}[/itex] is closed in [itex]X[/itex].
Homework Equations
The Attempt at a Solution
I cannot for the life of me figure this out. As far as I can tell one either needs to show the set A gathers its limit points or that it is the pre-image (under f or g) of some closed set in Y. We know the order topology is Hausdorff, so that's something. I just don't even know how to get started on this one. Hopefully someone can help, thanks.
Last edited: