Concept
Plan de Sorgenfrey
Concepts associés (7)
Plan de Moore
En mathématiques, le plan de Moore ou plan de Niemytzki — nommé d'après Robert Lee Moore et Viktor Niemytzki — est un espace topologique utilisé comme contre-exemple. Il s'agit en fait d'un demi-plan, muni d'une topologie strictement plus fine que la topologie usuelle. Sur le demi-plan supérieur Γ = {(p, q) ∈ R | q ≥ 0}, on définit une topologie par les voisinages, de la manière suivante : si q > 0, les voisinages de (p, q) dans Γ sont les mêmes que ses voisinages dans R×R (muni de la topologie produit, induite par la topologie usuelle de R) ; une base de voisinages d'un point (p, 0) de l'axe des abscisses est constituée des {(p, 0)}∪D, pour tout disque ouvert D de R×R tangent en (p, 0) à cet axe, i.
Droite de Sorgenfrey
En mathématiques, la droite de Sorgenfrey — souvent notée S — est la droite réelle R munie de la topologie (plus fine que la topologie usuelle) dont une base est constituée des intervalles semi-ouverts de la forme [a, b[ (pour a et b réels tels que a < b). Robert Sorgenfrey l'a définie pour démontrer que le produit de deux espaces paracompacts n'est pas toujours paracompact ; c'est aussi un exemple simple d'espace normal dont le carré n'est pas normal.
Espace de Lindelöf
En mathématiques, un espace de Lindelöf est un espace topologique dont tout recouvrement ouvert possède un sous-recouvrement dénombrable. Cette condition est un affaiblissement de la quasi-compacité, dans laquelle on demande l'existence de sous-recouvrements finis. Un espace est dit héréditairement de Lindelöf si tous ses sous-espaces sont de Lindelöf. Il suffit pour cela que ses ouverts le soient. Les espaces de Lindelöf sont nommés d'après le mathématicien finlandais Ernst Leonard Lindelöf.
Espace paracompact
Un espace topologique est dit paracompact s'il est séparé et si tout recouvrement ouvert admet un raffinement (ouvert) localement fini. Cette définition a été introduite par le mathématicien français Jean Dieudonné en 1944. On rappelle qu'un recouvrement (X) d'un espace topologique X est dit localement fini si tout point de X possède un voisinage disjoint de presque tous les X, de tous sauf pour un ensemble fini d'indices i.
Baire space
In mathematics, a topological space is said to be a Baire space if countable unions of closed sets with empty interior also have empty interior. According to the , compact Hausdorff spaces and complete metric spaces are examples of Baire spaces. The Baire category theorem combined with the properties of Baire spaces has numerous applications in topology, geometry, analysis, in particular functional analysis. For more motivation and applications, see the article .
Espace séparable
En mathématiques, et plus précisément en topologie, un espace séparable est un espace topologique contenant un sous-ensemble dense et au plus dénombrable, c'est-à-dire contenant un ensemble fini ou dénombrable de points dont l'adhérence est égale à l'espace topologique tout entier. espace à base dénombrable Tout espace à base dénombrable est séparable. La réciproque est fausse, mais : Tout espace pseudométrisable séparable est à base dénombrable.Beaucoup d'espaces usuels sont de ce type.
Espace normal
vignette|Un espace topologique séparé X est dit normal lorsque, pour tous fermés disjoints E et F de X, il existe des ouverts disjoints U et V tels que U contienne E et V, F. En mathématiques, un espace normal est un espace topologique vérifiant un axiome de séparation plus fort que la condition usuelle d'être un espace séparé. Cette définition est à la base de résultats comme le lemme d'Urysohn ou le théorème de prolongement de Tietze. Tout espace métrisable est normal. Soit X un espace topologique.