La simple definición:
Un espacio topológico $X$ es compacto si toda cubierta abierta de a $X$ tiene un número finito de sub-cubierta;
resulta ser bastante central en la topología. Parece que una vez que se nos ha concedido la compacidad del espacio en la mano, un montón de cosas buenas que se pueden decir y hacer al respecto, pero no estoy exactamente seguro de por qué? Muchas gracias.