Espace de Fort
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].
Espace de Fort
[modifier | modifier le code]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.
Espace de Fort modifié
[modifier | modifier le code]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)
Espace Fortissimo
[modifier | modifier le code]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.
Voir aussi
[modifier | modifier le code]Références
[modifier | modifier le code]- (en) M.K. Fort Jr, « Nested neighborhoods in Hausdorff spaces », Amer. Math. Monthly, vol. 62, , p. 372
- (en) Lynn Arthur Steen, « Example 23 : Countable Fort Space », dans Counterexamples in Topology, New York, Springer-Verlag, (ISBN 0-486-68735-X, lire en ligne), p. 52
- (en) Lynn Arthur Steen, « Example 27: Modified Fort Space », dans Counterexamples in Topology, New York, Springer-Verlag, (ISBN 0-486-68735-X, lire en ligne), p. 55
- (en) Lynn Arthur Steen, « Example 25: Fortissimo space », dans Counterexamples in Topology, New York, Springer-Verlag, (ISBN 0-486-68735-X, lire en ligne), p. 54
- (en) Dan Ma, « One-point Lindelofication », sur Dan Ma's Topology Blog, (consulté le )
