Loading AI tools
De Wikipédia, l'encyclopédie libre
Les espaces de Fort sont, en mathématiques, une catégorie d'espaces topologiques. Ils doivent leur nom au mathématicien américain M.K. Fort (en)[1].
Un espace de Fort est un espace topologique défini comme suit : soit X un ensemble infini et p un point de X. On définit une topologie sur X en considérant les sous-ensembles A de X comme ouverts si ils ne contiennent pas p ou si leur complémentaire dans X est fini[2].
La topologie induite sur le sous-espace est la topologie discrète ; c'est un ensemble ouvert et dense dans X.
L'espace de Fort X est homéomorphe au compactifié d'Alexandrov d'un espace discret infini.
Un espace de Fort modifié se définit de manière analogue, mais avec deux points particuliers au lieu d'un seul. Soit X un ensemble infini et p et q deux points distincts de X. On définit sur X une topologie par les ouverts A ne contenant ni p ni q ou dont le complémentaire dans X est fini[3].
L'espace de Fort modifié ainsi défini est compact et T1, mais pas séparé (i.e. Hausdorff ou T2)
On définit de même un espace Fortissimo : soit X un ensemble infini indénombrable et p un point de X. On munit l'ensemble de la topologie définie par les ouverts A qui ne contiennent pas p ou dont le complémentaire est dénombrable[4].
La topologie induite sur le sous-espace est la topologie discrète ; et ce sous-espace est ouvert et dense dans X.
L'espace Fortissimo X n'est pas compact, mais c'est un espace de Lindelöf. On peut le voir comme le résultat obtenu après adjonction d'un point à un espace discret indénombrable, en définissant la topologie afin que le résultat soit un espace de Lindelöf.
De la même manière qu'un espace de Fort est la compactification en un point d'un espace discret infini, l'espace de Fortissimo est en quelque sorte la Lindelöfication[5]en un point d'un espace discret indénombrable.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.