Weak Hausdorff space
Encyclopedia
In mathematics
, a weak Hausdorff space or weakly Hausdorff space is a topological space
where the image of every continuous map from a compact
Hausdorff space
into the space is closed
. In particular, every Hausdorff space is weak Hausdorff.
The notion was introduced by M. C. McCord to remedy an inconvenience of working with the category
of Hausdorff spaces. It is often used in tandem with compactly generated space
s in algebraic topology
.
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
, a weak Hausdorff space or weakly Hausdorff space is a topological space
Topological space
Topological spaces are mathematical structures that allow the formal definition of concepts such as convergence, connectedness, and continuity. They appear in virtually every branch of modern mathematics and are a central unifying notion...
where the image of every continuous map from a compact
Compact space
In mathematics, specifically general topology and metric topology, a compact space is an abstract mathematical space whose topology has the compactness property, which has many important implications not valid in general spaces...
Hausdorff space
Hausdorff space
In topology and related branches of mathematics, a Hausdorff space, separated space or T2 space is a topological space in which distinct points have disjoint neighbourhoods. Of the many separation axioms that can be imposed on a topological space, the "Hausdorff condition" is the most frequently...
into the space is closed
Closed set
In geometry, topology, and related branches of mathematics, a closed set is a set whose complement is an open set. In a topological space, a closed set can be defined as a set which contains all its limit points...
. In particular, every Hausdorff space is weak Hausdorff.
The notion was introduced by M. C. McCord to remedy an inconvenience of working with the category
Category (mathematics)
In mathematics, a category is an algebraic structure that comprises "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the category of sets, whose...
of Hausdorff spaces. It is often used in tandem with compactly generated space
Compactly generated space
In topology, a compactly generated space is a topological space whose topology is coherent with the family of all compact subspaces. Specifically, a topological space X is compactly generated if it satisfies the following condition:Equivalently, one can replace closed with open in this definition...
s in algebraic topology
Algebraic topology
Algebraic topology is a branch of mathematics which uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence.Although algebraic topology...
.