Difference between revisions of "Separation Axioms"

From hyperspacewiki
Jump to: navigation, search
(Created page)
 
(Added content)
Line 1: Line 1:
{{Under Construction}}
+
The ''Axioms of Separation'' are additional conditions to specialize the notion of a [[Topological space|topological space]]. Arbitrary topological spaces are too general an object for many problems of analysis and it is therefore useful to impose extra conditions on a topological space.<ref>Kolmogorov, A. N., and S. V. Fomin. Introductory Real Analysis. Rev. English ed. New York: Dover Publications, 1975. pg. 78-79.</ref>
 +
 
 +
== Overview ==
 +
{| class="wikitable" style="text-align:center; margin: auto; width: 80%;"
 +
! scope="col" | Axiom
 +
! scope="col" | Associated Space
 +
! scope="col" | Description
 +
|-
 +
| $T_0$
 +
| [[Kolmogorov Space]]
 +
|
 +
|-
 +
| $T_1$
 +
| [[Fréchet Space]]
 +
| For each pair of distinct points $x$ and $y$, their respective neighborhoods $O_x$ and $O_y$ contain one another, i.e. $x \in O_y$ and $y \in O_x$.
 +
|-
 +
| $T_2$
 +
| [[Hausdorff space|Hausdorff Space]]
 +
| Every pair of disjoint points in a Hausdorff space has a pair of disjoint [[Neighborhood|neighborhood]]s.
 +
|}
 +
== Further Reading ==
 +
* [[Limit point|Limit Point]]
 +
* [[Normal Space]]
 +
* [[Regular Space]]
 +
 
 +
== See Also ==
 +
* [[Kolmogorov Space]]
 +
* [[Fréchet Space]]
 +
* [[Hausdorff space|Hausdorff Space]]
 +
 
 +
== References ==
 +
<references group="references" />
 +
 
 +
[[Category:General Topology]]

Revision as of 04:58, 1 December 2018

The Axioms of Separation are additional conditions to specialize the notion of a topological space. Arbitrary topological spaces are too general an object for many problems of analysis and it is therefore useful to impose extra conditions on a topological space.[1]

Overview

Axiom Associated Space Description
$T_0$ Kolmogorov Space
$T_1$ Fréchet Space For each pair of distinct points $x$ and $y$, their respective neighborhoods $O_x$ and $O_y$ contain one another, i.e. $x \in O_y$ and $y \in O_x$.
$T_2$ Hausdorff Space Every pair of disjoint points in a Hausdorff space has a pair of disjoint neighborhoods.

Further Reading

See Also

References

  1. Kolmogorov, A. N., and S. V. Fomin. Introductory Real Analysis. Rev. English ed. New York: Dover Publications, 1975. pg. 78-79.