Seaff continuo en un subconjunto compactoXX de un espacio métrico. Si ponemosAh={x∈X:f(x)<h}Ah={x∈X:f(x)<h} yBh={x∈X:f(x)≤h}Bh={x∈X:f(x)≤h} - cuando es cierto queBh=¯AhBh=¯¯¯¯¯¯¯Ah? ¿Es cierto si y sólo siAhAh no está vacío?
Editado: Theo ya mostró que hay contraejemplos. ¿Es cierto entonces queAh=B∘hAh=B∘h?