Une collection B d'ouverts d'un espace topologique X telle que tout ouvert de X soit une réunion d'éléments de B, et que pour tout x∈X et B1,B2∈B avec x∈B1∩B2 il existe B3∈B tel que x∈B3⊆B1∩B2 ; B est une base pour la topologie.

Principe

Deux règles caractéristiques : (1) recouvrement — les réunions d'éléments de la base produisent tous les ouverts ; (2) propriété d'intersection locale — les intersections finies d'éléments de la base autour d'un point contiennent un autre élément de la base, assurant la cohérence locale de la topologie engendrée.

Démonstration

Exemple standard : sur R avec la topologie usuelle, l'ensemble des intervalles ouverts (a,b) forme une base parce que tout ouvert est une réunion d'intervalles et l'intersection de deux intervalles autour d'un point contient un intervalle plus petit.

Mauvaise application

Qualifier n'importe quelle collection engendrant une topologie de 'base' sans vérifier la propriété d'intersection, ou confondre une base topologique avec une base d'espace vectoriel (indépendance linéaire et span), ce qui conduit à des raisonnements catégoriellement erronés.

Conséquence

Fournir une base simplifie la construction et la vérification des topologies, de la continuité et de la convergence : pour vérifier la continuité il suffit de vérifier les images réciproques des éléments de la base, et les bases donnent des descriptions locales explicites utiles dans les produits et sous‑espaces.

Inversion

Étant donnée une topologie τ on peut inverser la construction : la topologie détermine de nombreuses bases possibles (par ex. l'ensemble de tous les ouverts est lui‑même une base) ; inversement, à partir d'une base on construit la topologie unique qu'elle engendre.

Limite

S'applique spécifiquement aux espaces topologiques et aux collections d'ouverts ; une base doit être constituée d'ouverts pour la topologie visée et satisfaire les deux règles — les collections ne vérifiant pas la propriété d'intersection ne sont pas des bases bien qu'elles puissent engendrer une topologie en tant que sous‑base.

Tension sémantique

Tension avec les « bases de voisinage » et les « bases algébriques » : une base de voisinage en un point est une notion locale (elle ne génère pas nécessairement la topologie entière), tandis qu'une base algébrique est sans rapport ; diffère aussi d'une « sous‑base », qui génère une base par intersections finies.

Synthèse

Une base topologique est une famille génératrice d'ouverts localement cohérente dont les réunions produisent tous les ouverts et dont les intersections locales autour des points restent représentables dans la famille, fournissant une description efficace et locale d'une topologie.