Claude S.

Mathématiques, informatique, politique et poésie

Soit (E,T) un espace topologique. Un ouvert B est une base pour la topologie T ssi tout ouvert de T est l'union d'éléments de B.

Une sous ensemble B de E est une base si et seulement si :

- BT - Pour tout p élément d'un ouvert U, il existe un ensemble VB tel que pVU.