espace topologique

Français[modifier le wikicode]

Composé de espace et de topologique.

Singulier	Pluriel
espace topologique	espaces topologiques
\ɛs.pas tɔ.po.lɔ.ʒik\

espace topologique \ɛs.pas tɔ.po.lɔ.ʒik\ masculin

(Topologie) Couple (X, ${\mathcal {O}}$ ${\mathcal {O}}$ ) où ${\mathcal {O}}$ ${\mathcal {O}}$ est un ensemble de parties de X appelées ouverts, contenant l’ensemble vide et X et clos par intersections finies et réunions quelconques. L’ensemble ${\mathcal {O}}$ ${\mathcal {O}}$ s’appelle une topologie.
- Nous indiquerons des méthodes pour "récursiviser" d’une part la notion d’espace métrique, et d’autre part la notion d’espace topologique (en utilisant, dans ce dernier cas, des bases d’ouverts particulières). — (Daniel Lacombe, Quelques procédés de définition en topologie récursive, in : Lev D. Beklemishev, Provability, Computability and Reflection, 2000)