Dado que X es un espacio topológico arbitrario, Y es un conjunto totalmente ordenado en la topología de orden, y f , g:X→Y son funciones continuas, cómo demostrar que el subconjunto A de X dado por A:={ x∈X : f(x)≤g(x) } está cerrado en X ?
Edición basada en la respuesta de Hagen von Eitzen:
Dejemos que U:={u×v∈Y×Y : u<v } . Demostramos que U está abierto en Y×Y .
Dejemos que u×v∈U . Entonces u<v .
Caso I. Si hay algún y∈Y tal que u<y<v entonces u×v∈(−∞,y)×(y,+∞)⊂U .
Caso 2. Si (u,v) está vacío, entonces u∈(−∞,v) y v∈(u,+∞) y así u×v∈(−∞,v)×(u,+∞) .
Además, si a×b∈(−∞,v)×(u,+∞) , entonces debemos tener a<v y b>u . Así que a≤u<v≤b lo que implica que a<b y así a×b∈U .
Así, u×v∈(−∞,v)×(u,+∞)⊂U .
Así que U está abierto en Y×Y .
Del mismo modo, podemos demostrar que el conjunto V:={ u×v∈Y×Y : u>v } está abierto en Y×Y .
Por lo tanto, se deduce que el conjunto A:={ u×v∈Y×Y : u≤v } está cerrado en Y×Y .
Ahora bien, como los mapas f:X→Y y g:X→Y son continuos, también lo es el mapa f×g:X→Y×Y definido como (f×g)(x):=f(x)×g(x) for all x∈X.
Así, la imagen inversa bajo f×g del conjunto A está cerrado en X .
Pero (f×g)−1(A)={ x∈X : (f×g)(x)∈A }={ x∈X : f(x)×g(x)∈A }={ x∈X : f(x)≤g(x) }.