Un ensemble X muni d'une structure uniforme (un filtre ou une famille d'entourages de la diagonale dans X×X) qui formalise des propriétés uniformes telles que la continuité uniforme, la convergence uniforme et la notion de Cauchy pour les filets, indépendamment d'une métrique particulière.

Principe

Les structures uniformes captent l'idée de « points uniformément proches » en spécifiant des collections de paires (entourages) qui se comportent bien sous composition et intersections finies, induisant des notions de continuité uniforme et de complétude.

Démonstration

Tout espace métrique (X,d) fournit un espace uniforme en prenant les entourages U_ε = {(x,y) : d(x,y)<ε}; les produits portent la uniformité produit; la uniformité permet de définir des filets de Cauchy et la complétude sans référer à des distances numériques.

Mauvaise application

Supposer que toute propriété topologique valable pour les métriques (par exemple la métrisabilité) s'étend aux espaces uniformes est faux ; traiter une uniformité comme une simple topologie fait perdre l'information uniforme nécessaire à la convergence uniforme et à la complétude.

Conséquence

Une structure uniforme détermine une topologie canonique et permet de définir la continuité uniforme, les filets de Cauchy et les complétions ; elle autorise aussi la comparaison de uniformités plus fines ou plus grossières.

Inversion

Inverser les axiomes uniformes (par exemple abandonner l'exigence que les entourages contiennent la diagonale) aboutit à des structures qui n'assurent plus la proximité locale ni le comportement usuel des limites uniformes et ne sont donc pas des espaces uniformes.

Limite

Les espaces uniformes se situent entre métriques et topologies : toute métrique induit une uniformité et toute uniformité induit une topologie, mais toute topologie n'est pas issue d'une uniformité et toute uniformité ne provient pas nécessairement d'une métrique unique ; les espaces uniformes excluent les distinctions purement topologiques sans contrôle uniforme.

Tension sémantique

Espace uniforme vs espace métrique : les uniformités généralisent les métriques en ne gardant que les concepts uniformes et en abandonnant la distance numérique ; uniformité vs topologie : une topologie enregistre des ouverts locaux alors qu'une uniformité enregistre la proximité uniforme — deux structures qui coïncident sur les ouverts peuvent diverger sur les propriétés uniformes.

Synthèse

Un espace uniforme abstractionne la notion métrique de proximité uniforme via des entourages, produisant une topologie plus des outils pour la continuité uniforme, le comportement de Cauchy et la complétude sans s'engager sur une distance particulière.