Definición
La topología de Zariski en una variedad algebraica o en el espectro primo de un anillo tiene por cerrados los conjuntos algebraicos (ceros de familias de polinomios) o los conjuntos de ideales primos que contienen un ideal dado; suele ser muy burda y rara vez es de Hausdorff.
Principio
Principio
La topología de Zariski codifica información algebraica como cierre topológico: las condiciones de anulación algebraica determinan los cerrados, estableciendo un puente entre la geometría algebraica y la topología donde la dependencia algebraica produce especialización topológica.
Demostración
Demostración
En el espacio afín A^n sobre un cuerpo algebraicamente cerrado, los cerrados son V(S), las soluciones comunes de colecciones S de polinomios; en Spec(R) los cerrados son V(I) = {p ∈ Spec(R) : I ⊆ p}, y los cerrados irreducibles corresponden a ideales primos.
Aplicación incorrecta
Aplicación incorrecta
Esperar propiedades métricas, de Hausdorff o finas locales de la topología de Zariski (por ejemplo aplicar intuiciones euclidianas sobre límites) es una mala aplicación: los cierres de Zariski son algebraicos, no analíticos, y pueden ser grandes y no separados.
Consecuencia
Consecuencia
Bajo la topología de Zariski, muchas nociones algebraicas se traducen topológicamente: la irreducibilidad corresponde a ideales primos, los morfismos de variedades son continuos, y Spec(R) es quasi‑compacto, con profundas consecuencias estructurales en geometría algebraica.
Inversión
Inversión
El reverso es la topología analítica o euclídea clásica en variedades complejas, mucho más fina, a menudo de Hausdorff y metrizable, que distingue puntos que la topología de Zariski no distingue.
Límite
Límite
La topología de Zariski está definida en variedades algebraicas, espacios afines y espectros de anillos; no debe confundirse con topologías analíticas o étales usadas en otros contextos geométricos ni aplicarse sin más a espacios no algebraicos.
Tensión semántica
Tensión semántica
Topología de Zariski versus topología euclídea/analítica: el cierre de Zariski refleja anulación polinómica mientras que el cierre analítico captura comportamiento límite métrico — estos cierres pueden diferir marcadamente y generar tensiones en la intuición y en los resultados.
Síntesis
Síntesis
La topología de Zariski es la topología generada algebraicamente cuyos cerrados son conjuntos de ceros de ecuaciones polinomiales; burda y naturalmente algebraica, traduce ideales e irreducibilidad en cierre y especialización topológica.