Lo que ha dicho karl está equivocado.
Por definición, la familia de cerrados se mantiene por intersecciones de cardinal arbitrario, pero sólo por uniones finitas, porque son los complementos de los conjuntos abiertos, cuya familia se mantiene tras uniones arbitrarias de sus elementos e intersecciones finitas.
Por ejemplo, el conjunto Q de los racionales es una unión numerable de puntos, que son cerrados, pero Q no es cerrado, porque no coincide con sus puntos limite, formado por todo R (la recta real).
Para demostrar que N es cerrado se procede de la siguiente manera.
Se escribe N como complemento de un conjunto abierto, lo cual prueba que N es cerrado.
Dicho conjunto complementario es la unión de los intervalos (n, n+1), para todo n natural, y el intervalo infinito (- \( \infty \),0)
En resumen, tenemos el conjunto
C=(-\( \infty \),0) U [ Un\in N In]
donde In = (n, n+1).
Se observa claramente que \( C \) es unión de abiertos, y por lo tanto \( C \) es abierto. (No importa si la unión es numerable o no).
Además, el conjunto complementario de \( C \) es R - C= N,
lo cual muestra que N era cerrado.
Ahora hay que probar que N no es compacto.
Se sabe que todo conjunto compacto en la recta real es cerrado y acotado. Pero N, aunque es cerrado, no es acotado, porque si lo fuera, existiría un numero real \( r \)mayor que \( 0 \) mayor que todo número natural. Pero esto contradice la propiedad arquimediana de los números reales.