Baire spaceIn 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 .
Ensemble maigreEn topologie, dans le contexte des espaces de Baire, un ensemble maigre (on dit aussi de première catégorie) est une partie d'un espace de Baire qui, en un sens technique, peut être considérée comme de taille infime. Un ensemble comaigre est le complémentaire d'un ensemble maigre. Une partie qui n'est pas maigre est dite de deuxième catégorie. Un sous-ensemble d'un espace topologique E est dit maigre lorsqu'il est contenu dans une réunion dénombrable de fermés de E qui sont tous d'intérieur vide.
Produit cartésienvignette|Illustration d'un produit cartésien A x B où A={x,y,z} et B={1,2,3}. Cet article fait référence au concept mathématique sur les ensembles. Pour les graphes, voir produit cartésien de graphes. En mathématiques, le produit cartésien de deux ensembles X et Y, appelé également ensemble-produit, est l'ensemble de tous les couples dont la première composante appartient à X et la seconde à Y. On généralise facilement cette notion, valable pour deux ensembles, à celle de produit cartésien fini, qui est un ensemble de n-uplets dont les composantes appartiennent à n ensembles.
Uniform normIn mathematical analysis, the uniform norm (or ) assigns to real- or complex-valued bounded functions f defined on a set S the non-negative number This norm is also called the , the , the , or, when the supremum is in fact the maximum, the . The name "uniform norm" derives from the fact that a sequence of functions \left{f_n\right} converges to f under the metric derived from the uniform norm if and only if f_n converges to f uniformly.
Topologie grossièreEn mathématiques et plus précisément en topologie, la topologie grossière (ou topologie triviale) associée à un ensemble X est la topologie sur X dont les seuls ouverts sont l'ensemble vide et X. Cette topologie est la moins fine de toutes les topologies qu'il est possible de définir sur un ensemble ; intuitivement, tous les points de l'espace topologique ainsi créé sont « groupés ensemble » et ne peuvent pas être distingués du point de vue topologique.
Point isoléEn topologie, un point x d'un espace topologique E est dit isolé si le singleton {x} est un ouvert. Formulations équivalentes : {x} est un voisinage de x ; x n'est pas adhérent à E{x} (x n'est pas un « point d'accumulation »). En particulier, si E est un espace métrique (par exemple une partie d'un espace euclidien), x est un point isolé de E s'il existe une boule ouverte centrée en x qui ne contient pas d'autre point de E. Un espace topologique dans lequel tout point est isolé est dit discret.
Intérieur (topologie)vignette|Le point x est dans l'intérieur de S car il y a une boule centrée en x entièrement incluse dans S. Le point y n'est pas dans l'intérieur de S. En mathématiques, l'intérieur (abrégé en int) est une notion de topologie appliquée à une partie d'un espace topologique. Soit X un espace topologique et A une partie de X. On appelle intérieur de A le plus grand ouvert de X inclus dans A. Il existe : c'est la réunion de tous les ouverts inclus dans A.
Filters in topologyFilters in topology, a subfield of mathematics, can be used to study topological spaces and define all basic topological notions such as convergence, continuity, compactness, and more. Filters, which are special families of subsets of some given set, also provide a common framework for defining various types of limits of functions such as limits from the left/right, to infinity, to a point or a set, and many others. Special types of filters called have many useful technical properties and they may often be used in place of arbitrary filters.
Adhérence (mathématiques)En topologie, l'adhérence d'une partie d'un espace topologique est le plus petit ensemble fermé contenant cette partie. Lorsque l'espace est métrisable, c'est aussi l'ensemble des limites de suites convergentes à valeurs dans cette partie. Dans un espace topologique E, l'adhérence d'une partie X, notée , est le « plus petit » (au sens de l'inclusion) fermé contenant X. L'existence d'un tel fermé est claire : il existe au moins un fermé contenant X, à savoir l'espace E lui-même ; d'autre part, l'intersection de tous les fermés contenant X est un fermé contenant X, et est le plus petit ayant cette propriété.
Point d'accumulation (mathématiques)En mathématiques, un point d'accumulation d'une partie A d'un espace topologique E est un point x de E qui peut être « approché » par des points de A au sens où chaque voisinage de x – pour la topologie de E – contient un point de A distinct de x. Un tel point x n'est pas nécessairement un point de A. Ce concept généralise la notion de limite, et permet de définir des notions comme les espaces fermés et l'adhérence. De fait, pour qu'un espace soit fermé, il faut et il suffit qu'il contienne tous ses points d'accumulation.
Frontière (topologie)En topologie, la frontière d'un ensemble (aussi appelé parfois "le bord d'un ensemble") est constituée des points qui, de façon intuitive, sont « situés au bord » de cet ensemble, c’est-à-dire qui peuvent être « approchés » à la fois par l'intérieur et l'extérieur de cet ensemble. Soit S un sous-ensemble d'un espace topologique (E, T).
Espace localement compactEn topologie, un espace localement compact est un espace séparé qui admet des voisinages compacts pour tous ses points. Un tel espace n'est pas nécessairement compact lui-même mais on peut y généraliser (au moins partiellement) beaucoup de résultats sur les espaces compacts. Ce sont aussi les espaces qu'on peut « rendre » compacts avec un point grâce à la compactification d'Alexandrov. La compacité est une source très fertile de résultats en topologie mais elle reste une propriété très contraignante.
Ensemble nulle part denseEn topologie, un ensemble est nulle part dense ou rare s'il satisfait aux propriétés inverses du concept de densité. Intuitivement, un sous-ensemble A d'un espace topologique X est nulle part dense dans X si presque aucun point de X ne peut être « approché » par des points de A. Soit X un espace topologique et A un sous-ensemble de X.
Convergence uniformeLa convergence uniforme d'une suite de fonctions est une forme de convergence plus exigeante que la convergence simple. La convergence devient uniforme quand toutes les suites avancent vers leur limite respective avec une sorte de « mouvement d'ensemble ». Dans le cas de fonctions numériques d'une variable, la notion prend une forme d'« évidence » géométrique : le graphe de la fonction f se « rapproche » de celui de la limite. Soient X un ensemble, (Y, d) un espace métrique, et A un sous-ensemble de X.
Ensemble GδEn mathématiques et, en particulier, en topologie, un ensemble Gδ (lire « G delta ») est une intersection dénombrable d'ensembles ouverts. La notation introduite par Felix Hausdorff vient de l'allemand, le G désignant un ouvert (Gebiet) et le δ désignant une intersection (Durchschnitt). La notation Gδ est équivalente à celle de utilisée dans la hiérarchie de Borel. L'intersection dénombrable d'ensembles Gδ est un ensemble Gδ et l'union finie d'ensembles Gδ est un ensemble Gδ. Le complémentaire d'un ensemble Gδ est un ensemble Fσ.
Espace séparableEn 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 à base dénombrableEn mathématiques, plus précisément en topologie, un espace est dit à base dénombrable si sa topologie admet une base dénombrable. La plupart des espaces usuels de l'analyse et beaucoup d'espaces en analyse fonctionnelle sont à base dénombrable. Tout espace à base dénombrable est à la fois séparable, à bases dénombrables de voisinages et de Lindelöf (en particulier, pour un espace à base dénombrable, les trois propriétés quasi-compact/dénombrablement compact/séquentiellement compact sont équivalentes).
Connexité (mathématiques)La connexité est une notion de topologie qui formalise le concept d'« objet d'un seul tenant ». Un objet est dit connexe s'il est fait d'un seul « morceau ». Dans le cas contraire, chacun des morceaux est une composante connexe de l'objet étudié. Soit un espace topologique E. Les quatre propositions suivantes sont équivalentes : E n'est pas la réunion de deux ouverts non vides disjoints ; E n'est pas la réunion de deux fermés non vides disjoints ; les seuls ouverts-fermés de E sont ∅ et E ; toute application continue de E dans un ensemble à deux éléments muni de la topologie discrète est constante.
Nombre réelEn mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entière et une liste finie ou infinie de décimales. Cette définition s'applique donc aux nombres rationnels, dont les décimales se répètent de façon périodique à partir d'un certain rang, mais aussi à d'autres nombres dits irrationnels, tels que la racine carrée de 2, π et e.
Espace complètement régulierEn mathématiques, un espace complètement régulier (ou de Tikhonov) est un espace topologique vérifiant une propriété de séparation plus forte que la séparation usuelle et même que la propriété d'être régulier. Un espace topologique X vérifie la propriété de séparation T si pour tout point x de X et pour tout fermé F de X ne contenant pas x, il existe une application continue de X dans le segment [0, 1] valant 0 en x et 1 sur F (on dit alors que cette application sépare le point du fermé).
