Una topología en la que intersecciones arbitrarias de abiertos son abiertas (equivalente a que cada punto tenga un vecindario mínimo); tales topologías corresponden exactamente a preórdenes en el conjunto subyacente mediante el orden de especialización y suelen llamarse topologías de Alexandrov (o Alexandroff).

Principio

Exigir que la familia de abiertos sea cerrada por intersecciones arbitrarias, dando a cada punto un vecindario abierto mínimo; esta condición combinatoria hace que muchas distinciones topológicas clásicas desaparezcan y permite descripciones en términos de orden.

Demostración

Los espacios de Alexandrov T0 finitos son equivalentes a posets finitos: dado un poset (P,≤) finito, se topologiza P tomando como abiertos los conjuntos ascendentes; recíprocamente, el preorden de especialización de un espacio de Alexandrov recupera la relación definitoria.

Aplicación incorrecta

Suponer que axiomas de separación como T1 o Hausdorff se cumplen en general para espacios de Alexandrov es incorrecto; muchas topologías de Alexandrov están lejos de ser T1 y no separan puntos por vecindarios disjuntos, por lo que no debe confundirse Alexandrov con discreto.

Consecuencia

Las topologías de Alexandrov admiten descripciones combinatorias y algebraicas sencillas (vía preórdenes), facilitando métodos discretos en topología y cálculos simples de clausura e interior; son útiles en topología finita, informática y modelos combinatorios del espacio.

Inversión

En topologías generales las intersecciones arbitrarias de abiertos no tienen por qué ser abiertas; la topología de Scott o las topologías métricas contrastan exigiendo conservación de supremos dirigidos o siendo determinadas por métricas en lugar de intersecciones arbitrarias de abiertos.

Límite

Se aplica a cualquier conjunto pero no es restrictiva: captura preórdenes, puede violar axiomas de separación estándar y resulta más significativa cuando interesa el orden de especialización; no todas las topologías útiles en análisis son de Alexandrov.

Tensión semántica

Cercana pero distinta de la topología de Scott usada en teoría de dominios: ambas relacionan orden y topología pero difieren en aceptar intersecciones arbitrarias frente a preservar supremos dirigidos, lo que produce nociones de continuidad distintas para aplicaciones monótonas.

Síntesis

Una topología de Alexandrov es una topología compatible con un orden, estable por intersecciones arbitrarias de abiertos y equivalente a dotar el conjunto con un preorden cuyas partes ascendentes son los abiertos; traduce relaciones de orden en una estructura topológica sencilla, adecuada para contextos finitos y combinatorios.