Une topologie strictement plus fine que la topologie euclidienne, définie en théorie du potentiel comme la plus petite topologie qui rend continue toute fonction surharmonique (ou sous-harmonique selon les conventions) ; elle affine les ouverts pour rendre compte de phénomènes analytiques fins comme la minceur et la continuité fine.

Principe

On construit la topologie en déclarant ouverts les ensembles sur lesquels les fonctions surharmoniques varient continûment localement ; la topologie fine vise à rendre intrinsèques les notions potentialistes telles que les limites fines et la continuité fine.

Démonstration

Dans R^n (n ≥ 2), la topologie fine est engendrée par les parties sur lesquelles les surharmoniques sont continues ; les singletons peuvent ne pas être fins-ouverts sauf s'ils ne sont pas minces, et les voisinages fins peuvent être beaucoup plus petits que les voisinages euclidiens autour d'ensembles singuliers.

Mauvaise application

Prêter aux propriétés séquentielles de la topologie euclidienne (par exemple égalité de la clôture séquentielle et de la clôture) une validité dans la topologie fine, ou traiter les ouverts fins comme des unions d'ouverts euclidiens.

Conséquence

La topologie fine permet de définir la continuité fine, la frontière fine et les limites potentialistes fines, autorisant une analyse locale précise près des ensembles polaires ou minces que la topologie euclidienne ne distingue pas.

Inversion

Inversement, à partir d'une topologie donnée, on peut se demander si une classe de fonctions (harmoniques, sous-harmoniques, surharmoniques) y est continue ; prendre la topologie la plus grosse satisfaisant cette propriété ramène à la construction de la topologie fine.

Limite

S'exprime dans le cadre de la théorie du potentiel ou d'autres cadres analytiques semblables ; elle est plus fine que la topologie euclidienne mais n'est pas canonique en dehors d'un contexte muni d'un opérateur de Laplace ou d'une notion de surharmonicité.

Tension sémantique

Conflit conceptuel avec d'autres topologies raffinées (par exemple les topologies faibles en analyse fonctionnelle ou celles fondées sur la capacité) ; la topologie fine se distingue par sa définition via la continuité des fonctions sur-/sous-harmoniques.

Synthèse

La topologie fine est le raffinement topologique minimal de l'espace euclidien qui transforme les classes de fonctions de la théorie du potentiel en applications continues, fournissant un langage topologique pour des phénomènes analytiques locaux subtils comme la minceur et les limites fines.