Hausdorff space | EPFL Graph Search

Are you an EPFL student looking for a semester project?

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

In topology and related branches of mathematics, a Hausdorff space (ˈhaʊsdɔːrf , ˈhaʊzdɔːrf ), separated space or T2 space is a topological space where, for any two distinct points, there exist neighbourhoods of each which are disjoint from each other. Of the many separation axioms that can be imposed on a topological space, the "Hausdorff condition" (T2) is the most frequently used and discussed. It implies the uniqueness of limits of sequences, nets, and filters. Hausdorff spaces are named after Felix Hausdorff, one of the founders of topology. Hausdorff's original definition of a topological space (in 1914) included the Hausdorff condition as an axiom. Points and in a topological space can be separated by neighbourhoods if there exists a neighbourhood of and a neighbourhood of such that and are disjoint . is a Hausdorff space if any two distinct points in are separated by neighbourhoods. This condition is the third separation axiom (after T0 and T1), which is why Hausdorff spaces are also called T2 spaces. The name separated space is also used. A related, but weaker, notion is that of a preregular space. is a preregular space if any two topologically distinguishable points can be separated by disjoint neighbourhoods. A preregular space is also called an R1 space. The relationship between these two conditions is as follows. A topological space is Hausdorff if and only if it is both preregular (i.e. topologically distinguishable points are separated by neighbourhoods) and Kolmogorov (i.e. distinct points are topologically distinguishable). A topological space is preregular if and only if its Kolmogorov quotient is Hausdorff. For a topological space , the following are equivalent: is a Hausdorff space. Limits of nets in are unique. Limits of filters on are unique. Any singleton set is equal to the intersection of all closed neighbourhoods of . (A closed neighbourhood of is a closed set that contains an open set containing .) The diagonal is closed as a subset of the product space .

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (126)

Related courses (17)

Related lectures (68)

Open Mapping Theorem

Explains the Open Mapping Theorem for holomorphic maps between Riemann surfaces.

Proper Actions and Quotients

Covers proper actions of groups on Riemann surfaces and introduces algebraic curves via square roots.

Group Actions: Quotients and Homomorphisms

Discusses group actions, quotients, and homomorphisms, emphasizing practical implications for various groups and the construction of complex projective spaces.

MATH-220: Metric and topological spaces

In metric spaces a distance is defined between each pair of points. In topological spaces, distances are replaced by only a certain notion of nearness. This abstract setting sheds new light upon basic

MATH-410: Riemann surfaces

This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex

MATH-416: Analysis on groups

We study analytic phenomena on groups, notably paradoxical decompositions and fixed point properties.

Topological space

In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points, along with an additional structure called a topology, which can be defined as a set of neighbourhoods for each point that satisfy some axioms formalizing the concept of closeness.

Hausdorff space

Compact space

In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space. The idea is that a compact space has no "punctures" or "missing endpoints", i.e., it includes all limiting values of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval [0,1] would be compact.