Una topología estrictamente más fina que la euclidiana, definida en teoría del potencial como la topología más pequeña que hace continuas a todas las funciones superarmónicas (o subarmónicas, según convención); refina los abiertos para captar comportamientos analíticos finos como la delgadez y la continuidad fina.

Principio

Se construye declarando abiertos los conjuntos en los que las funciones superarmónicas varían continuamente de forma local; la topología fina está diseñada para convertir nociones potencialistas como límites finos y continuidad fina en conceptos topológicos intrínsecos.

Demostración

En R^n (n ≥ 2), la topología fina viene generada por los conjuntos en los que las superarmónicas son continuas; en torno a conjuntos excepcionales, las vecindades finas pueden ser mucho más pequeñas que las euclidianas y los puntos aislados pueden comportarse de manera distinta según su delgadez.

Aplicación incorrecta

Suponer que propiedades secuenciales de la topología euclidiana (por ejemplo, que el cierre secuencial coincide con el cierre) valen en la topología fina, o tratar conjuntos finamente abiertos como uniones de abiertos euclidianos.

Consecuencia

La topología fina permite definir continuidad fina, frontera fina y límites potentialistas finos, posibilitando un análisis local preciso cerca de conjuntos polares o delgados que la topología euclidiana no distingue.

Inversión

Al revés, partiendo de una topología dada se puede preguntar si una clase de funciones (armónicas, subarmónicas, superarmónicas) es continua en ella; tomar la topología más débil que garantice esto conduce a la construcción de la topología fina.

Límite

Se enmarca en la teoría del potencial u otros contextos analíticos similares; es más fina que la euclidiana pero no es canónica fuera de contextos provistos de un operador tipo Laplace o una noción de superarmonicidad.

Tensión semántica

Compite con otras topologías refinadas (por ejemplo, topologías débiles en análisis funcional o topologías basadas en capacidad); la topología fina se distingue por definirse mediante la continuidad de funciones super-/subarmónicas.

Síntesis

La topología fina es el refinamiento topológico mínimo del espacio euclidiano que convierte las clases de funciones de la teoría del potencial en funciones continuas, proporcionando un lenguaje topológico para fenómenos analíticos locales sutiles como la delgadez y los límites finos.