No se si ya la respondieron antes o no, pero pregunto:
Yo se que una elipse es siempre compacta (si no le estoy pifiando horriblemente). La pregunta es cómo demuestro que es compacta.
Digo, ¿En el parcial como hago para probar que un conjunto es cerrado y acotado?
No me parece algo tan trivial, salvo que esté ignorando algo.
Desde ya gracias. Saludos

Me parece que en un parcial podes dar por hecho que los puntos de una elipse forman un conjunto cerrado y acotado.

Si quisieras demostrarlo, podrias decir algo como lo siguiente.

A cualquier elipse la podes rotar y trasladar para dejar su centro en el origen, y sus ejes paralelos a los ejes de coordenadas. Las rotaciones y traslaciones no cambian las propiedades que nos interesan. Te queda en la forma canonica:



Podes parametrizarla con la fucion con .

El intervalo es obviamente compacto, y la funcion es continua. Entonces su imagen, que es la elipse, es un compacto. Estoy usando que toda funcion continua va de un compacto a un compacto.

Pero ni en pedo tenes que justificarlo asi en el parcial. Deci que es compacto y ya.

En general, podes usar este truco de parametrizar. O simplemente podes demostrar que es acotado, encontrando un real R tal que el conjunto este contenido en . Y que es cerrado, usando propiedades de la union e interseccion de cerrados (hacerlo por definicion ya seria demasiado exagerado).

Por las dudas poné por qué es compacto. Las sugerencias de fedor todas son suficientes, particularmente la que usa que es compacto si es compacto y continua. Otra es por sucesiones, que en este caso sale bastante bien, pues si la elipse es de ecuación una sucesión de puntos de la elipse debería verificar:

Como , las sucesiones son acotadas. Por el teorema de Weistrass, existen subsucesiones convergentes. Tomando de nuevo una subsucesión de para dejar una subsucesión con los mismos subíndices que encontras una subsucesión de convergente. Esto prueba que es compacto.
PD: recién me di cuenta, ¿se prueba en análisis I que un conjunto es compacto sii toda sucesión del conjunto admite subsucesión convergente? me parece que no. Si ese fuera el caso, olviden este post.

Lo que si se prueba y es la forma, a mi entender, mas facil, es que preimagen de cerrado por funcion continua es cerrado.