Dimension de HausdorffEn mathématiques, et plus précisément en topologie, la dimension de Hausdorff d'un espace métrique (X,d) est un nombre réel positif ou nul, éventuellement l'infini. Introduite en 1918 par le mathématicien Felix Hausdorff, elle a été développée par Abram Besicovitch, c'est pourquoi elle est parfois appelée dimension de Hausdorff-Besicovitch. L'exemple le plus simple est l'espace euclidien de dimension (au sens des espaces vectoriels) égale à n (ou plus généralement un espace vectoriel réel de dimension n muni d'une distance associée à une norme) : sa dimension de Hausdorff d est aussi égale à n, dimension de l'espace vectoriel.
Mesure de LebesgueLa mesure de Lebesgue est une mesure qui étend le concept intuitif de volume à une très large classe de parties de l'espace. Comme l'a immédiatement perçu son inventeur, Henri Lebesgue, elle permet de bâtir une théorie de l'intégration très performante et fondamentale en analyse moderne : la théorie de l'intégrale de Lebesgue. Plusieurs constructions bien différentes de la mesure de Lebesgue sont connues. Chacune d'entre elles peut naturellement être prise pour définition ; dans le cadre d'un article où il faut toutes les évoquer, il est prudent de fournir en ouverture une définition plus unificatrice.
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.
Droite de SorgenfreyEn 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.
Flocon de KochLe flocon de Koch () est l'une des premières courbes fractales à avoir été décrites, bien avant l'invention du terme « fractal(e) » par Benoît Mandelbrot. Elle a été inventée en 1904 par le mathématicien suédois Helge von Koch. thumb|Les 4 premières étapes de la construction. thumb|Les 6 premières courbes successives en animation. On peut la créer à partir d'un segment de droite, en modifiant récursivement chaque segment de droite de la façon suivante : On divise le segment de droite en trois segments de longueurs égales.
Espace précompactEn topologie, une branche des mathématiques, un espace métrique E est précompact si, pour tout ε > 0, on peut recouvrir E par un nombre fini de boules de rayon ε. La propriété principale est qu'un espace métrique est compact si et seulement s'il est précompact et complet. La notion de précompacité et ses propriétés se généralisent aux espaces uniformes. Soit E un espace métrique. Si l'une des trois propriétés suivantes est vérifiée, alors toutes trois le sont et E est dit précompact.
Espace de CantorEn mathématiques, plus précisément en topologie, on appelle espace de Cantor l'espace produit , où est muni de la topologie discrète. C'est un espace compact métrisable à base dénombrable (en fait, pour un espace compact, être métrisable ou être à base dénombrable sont des propriétés équivalentes) et totalement discontinu, qui a la propriété suivante : Tout espace métrisable à base dénombrable totalement discontinu est homéomorphe à un sous-espace de K.
Courbe remplissanteEn analyse mathématique, une courbe remplissante (parfois appelée courbe de remplissage) est une courbe dont l' contient le carré unité entier (ou plus généralement un hypercube de dimension n). En raison du fait que le mathématicien Giuseppe Peano (1858–1932) a été le premier à découvrir dans le plan (en dimension 2) une telle courbe, les courbes remplissantes sont parfois appelées courbes de Peano, mais cette dénomination fait maintenant référence à la courbe de Peano qui désigne cet exemple spécifique de courbe remplissante découvert par Peano.
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.
