Fermé (topologie)En mathématiques, dans un espace topologique E, un fermé est un sous-ensemble de E dont le complémentaire est un ouvert. Toute réunion d'une famille finie de fermés est un fermé (y compris l'ensemble vide ∅, qui est — par définition — la réunion de la famille vide). Toute intersection d'une famille (finie ou infinie) de fermés est un fermé (y compris l'espace E tout entier, qui est — par convention dans ce contexte — l'intersection de la famille vide).
Topologie de la droite réellethumb|Richard Dedekind (1831 - 1916) a défini rigoureusement les nombres réels et posé les bases de leur étude topologique. La topologie de la droite réelle (ou topologie usuelle de R) est une structure mathématique qui donne, pour l'ensemble des nombres réels, des définitions précises aux notions de limite et de continuité. Historiquement, ces notions se sont développées autour de la notion de nombre (approcher des nombres comme la racine carrée de deux ou pi par d'autres plus « maniables ») et de la géométrie de la droite (à laquelle l'espace topologique des nombres réels peut être assimilé), du plan et de l'espace usuels.
Espace séparéEn mathématiques, un espace séparé, dit aussi espace de Hausdorff, est un espace topologique dans lequel deux points distincts quelconques admettent toujours des voisinages disjoints. Cette condition est aussi appelée axiome T2 au sein des axiomes de séparation. L'appellation fait référence à Felix Hausdorff, mathématicien allemand et l'un des fondateurs de la topologie, qui avait inclus cette condition dans sa définition originale d'espace topologique.
Compactifié d'AlexandrovEn mathématiques, et plus précisément en topologie générale, le compactifié d'Alexandrov (parfois écrit compactifié d'Alexandroff) est un objet introduit par le mathématicien Pavel Aleksandrov. Sa construction, appelée compactification d'Alexandrov, généralise celle de la sphère de Riemann à des espaces localement compacts quelconques auxquels elle revient à ajouter un « point à l'infini ». Soit un espace topologique localement compact. On peut, en ajoutant un point à , obtenir un espace compact.
Base (topologie)En mathématiques, une base d'une topologie est un ensemble d'ouverts tel que tout ouvert de la topologie soit une réunion d'éléments de cet ensemble. Ce concept est utile parce que de nombreuses propriétés d'une topologie se ramènent à des énoncés sur une de ses bases et beaucoup de topologies sont faciles à définir par la donnée d'une base. Soit (X, T) un espace topologique. Un réseau de T est un ensemble N de parties de X tel que tout ouvert U de T est une réunion d'éléments de N, autrement dit : pour tout point x de U, il existe dans N une partie incluse dans U et contenant x.
Théorème de TykhonovLe théorème de Tychonov (ou Tychonoff) est un théorème de topologie qui affirme qu'un produit d'espaces topologiques compacts est compact au sens de la topologie produit. Il a été publié en 1930 par le mathématicien russe Andreï Nikolaïevitch Tikhonov. Il a plusieurs applications en topologie algébrique et différentielle, particulièrement en analyse fonctionnelle, pour la preuve du théorème de Banach-Alaoglu-Bourbaki et le compactifié de Stone-Čech.
