La clave es primero pensar que el compacto tiene un solo punto,digamos . Tomás un punto del cerrado, y suponete que está a distancia de . Ahora tomas la intersección del cerrado con la bola cerrada de radio y centro . Es claramente no vacío (pues está) Ahora chequeá que cualquier punto del cerrado que no este en esa bola, esta a distancia mayor a de . Ahora fijate que la intersección del cerrado con esta bola cerrada es un compacto (cerrado y acotado), entonces como la distancia es continua, se alcanza la distancia de este compacto a y por lo tanto se alcanza la distancia del cerrado original a . Si ahora el compacto es cualquier cosa, definis tal que Esta es una función continua y manda compactos en compactos, en particular existe tal que con . Por lo que vimos antes , esta distancia se alcanza, y entonces se realiza la distancia entre un compacto y un cerrado. Habría que escrbir algún detalle que está un poco charlado, pero creo que se entiende.
_________________ Daniel
|