Separation axiom: Difference between revisions
+ alternative characterization of completely normal |
Toby Bartels (talk | contribs) Some reversion with a bit of explanation; more on Talk. |
||
Line 1: | Line 1: | ||
In [[topology]] and related fields of [[mathematics]], there are several restrictions that one often makes on the kinds of [[topological space]]s that one wishes to consider. Some of these restrictions are given by the '''separation axioms'''. |
In [[topology]] and related fields of [[mathematics]], there are several restrictions that one often makes on the kinds of [[topological space]]s that one wishes to consider. Some of these restrictions are given by the '''separation axioms'''. |
||
These are sometimes called ''Tychonoff separation axioms'' after [[Andrey Tychonoff]]. |
|||
The separation axioms are [[axiom]]s only in the sense that, when defining the notion of [[topological space]], you could throw these conditions in as extra axioms to get a more restricted notion of what a topological space is. |
The separation axioms are [[axiom]]s only in the sense that, when defining the notion of [[topological space]], you could throw these conditions in as extra axioms to get a more restricted notion of what a topological space is. |
||
The modern approach is to fix once and for all the [[axiomatization]] of topological space and then speak of ''kinds'' of topological spaces. |
|||
However, the term "separation axiom" has stuck. |
|||
The separation axioms are denoted with the letter "T" after the [[German language|German]] "Trennung", which means separation. |
The separation axioms are denoted with the letter "T" after the [[German language|German]] "Trennung", which means separation. |
||
The precise meanings of the terms associated with the separation axioms has varied over time, as explained in [[History of the separation axioms]]. |
The precise meanings of the terms associated with the separation axioms has varied over time, as explained in [[History of the separation axioms]]. |
||
Especially when reading older literature, be sure to get the authors' definition of each condition mentioned to make sure that you know exactly what they mean. |
|||
Before we define the spaces described by the separation axioms, we need to define some terminology in order to give concrete meaning to the concept of separation. |
Before we define the spaces described by the separation axioms, we need to define some terminology in order to give concrete meaning to the concept of separation. |
||
Line 15: | Line 19: | ||
The separation axioms all say, in one way or another, that points or sets that are distinguishable or separated in some weak sense must also be separated in some stronger sense. |
The separation axioms all say, in one way or another, that points or sets that are distinguishable or separated in some weak sense must also be separated in some stronger sense. |
||
The terms are defined below, where |
The terms are defined below, where <i>X</i> is a [[topological space]]. |
||
Note that we sometimes use the terminology of separated ''sets'' to refer to ''points''; in that situation, we're really talking about the [[singleton]] { |
Note that we sometimes use the terminology of separated ''sets'' to refer to ''points''; in that situation, we're really talking about the [[singleton]] {<i>x</i>} rather than the point <i>x</i>. |
||
First, points |
First, two points <i>x</i> and <i>y</i> in <i>X</i> are '''topologically distinguishable''' [[iff|if]] they don't have exactly the same [[neighbourhood (topology)|neighbourhood]]s. |
||
If |
If <i>x</i> belongs to the [[closure (topology)|closure]] of {<i>y</i>} [[and]] <i>y</i> belongs to the closure of {<i>x</i>}, then <i>x</i> and <i>y</i> are topologically indistinguishable; otherwise, they're topologically distinguishable. |
||
For example, in an [[indiscrete space]], |
For example, in an [[indiscrete space]], any two points are topologically indistinguishable. |
||
Note that if points are topologically distinguishable, then certainly they are distinct. |
Note that if two points are topologically distinguishable, then certainly they are distinct. |
||
Two subsets <i>A</i> and <i>B</i> of <i>X</i> are '''separated''' if each is disjoint from the other's closure. |
|||
That is, |
That is, <i>A</i> and <i>B</i> are separated if |
||
: Cl(<i>A</i>) ∩ <i>B</i> = <i>A</i> ∩ Cl(<i>B</i>) = {}; |
|||
⚫ | |||
where Cl indicates closure and {} is the [[empty set]]. |
|||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
<i>A</i> and <i>B</i> are '''separated by neighbourhoods''' if there are a [[neighbourhood (topology)|neighbourhood]] <i>U</i> of <i>A</i> and a neighbourhood <i>V</i> of <i>B</i> such that <i>U</i> and <i>V</i> are disjoint. |
|||
(Sometimes you will see the requirement that |
(Sometimes you will see the requirement that <i>U</i> and <i>V</i> be ''[[open (topology)|open]]'' neighbourhoods, but this makes no difference in the end.) |
||
For the example of |
For the example of <i>A</i> = [0,1) and <i>B</i> = (1,2], you could take <i>U</i> = (-1,1) and <i>V</i> = (1,3). |
||
Note that if sets are separated by neighbourhoods, then certainly they are separated. |
Note that if any two sets are separated by neighbourhoods, then certainly they are separated. |
||
If |
If <i>A</i> and <i>B</i> are open and disjoint, then they must be separated by neighbourhoods; just take <i>U</i> := <i>A</i> and <i>V</i> := <i>B</i>. |
||
For this reason, many separation axioms refer specifically to [[closed set]]s. |
For this reason, many separation axioms refer specifically to [[closed set]]s. |
||
<i>A</i> and <i>B</i> are '''separated by closed neighbourhoods''' if there are a closed neighbourhood <i>U</i> of <i>A</i> and a closed neighbourhood <i>V</i> of <i>B</i> such that <i>U</i> and <i>V</i> are disjoint. |
|||
Our examples, [0,1) and (1,2], are ''not'' separated by closed neighbourhoods. |
Our examples, [0,1) and (1,2], are ''not'' separated by closed neighbourhoods. |
||
Note that if sets are separated by closed neighbourhoods, then certainly they are separated by neighbourhoods. |
Note that if any two sets are separated by closed neighbourhoods, then certainly they are separated by neighbourhoods. |
||
<i>A</i> and <i>B</i> are '''separated by a function''' if there exists a [[continuous function]] <i>f</i> from the space <i>X</i> to the real line <b>R</b> such that <i>f</i>(<i>A</i>) = {0} and <i>f</i>(<i>B</i>) = {1}. |
|||
(Sometimes you will see the [[unit interval]] [0,1] used in place of |
(Sometimes you will see the [[unit interval]] [0,1] used in place of <b>R</b> in this definition, but it makes no difference in the end.) |
||
In our example, [0,1) and (1,2] are not separated by a function, because there is no way to continuously define <i>f</i> at the point 1. |
|||
Note that if sets are separated by a function, then they are also separated by closed neighbourhoods. |
Note that if any two sets are separated by a function, then they are also separated by closed neighbourhoods. |
||
<i>A</i> and <i>B</i> are '''precisely separated by a function''' if there exists a continuous function <i>f</i> from <i>X</i> to <b>R</b> such that <i>f</i><sup>-1</sup>(0) = <i>A</i> and <i>f</i><sup>-1</sup>(1) = <i>B</i>, where <i>f</i><sup>-1</sup> indicates the [[preimage]]. |
|||
(Again, you may also see the unit interval in place of |
(Again, you may also see the unit interval in place of <b>R</b>, and again it makes no difference.) |
||
Since {0} and {1} are closed in |
Since {0} and {1} are closed in <b>R</b>, only closed sets are capable of being precisely separated by a function. |
||
Note that if sets are precisely separated by a function, then certainly they are separated by a function. |
Note that if any two sets are precisely separated by a function, then certainly they are separated by a function. |
||
Separated sets also have a relationship with [[connected space]]s, which is not explored in this article. |
Separated sets also have a relationship with [[connected space]]s, which is not explored in this article. |
||
Line 56: | Line 62: | ||
== Definitions of the axioms == |
== Definitions of the axioms == |
||
⚫ | |||
Again, ''X'' is a [[topological space]]. |
|||
Many of the concepts also have several names; the one listed first is preferred in Wikipedia. |
|||
⚫ | |||
Also, note that most of these concepts have alternative definitions with the same meaning; these are not all listed here but can be found in the axioms' individual articles. |
|||
Most of these axioms have alternative definitions with the same meaning; the definitions given here are those which fall into a consistent pattern relating the various notions of separation defined in the previous section. |
|||
⚫ | |||
Other possible definitions can be found in the individual articles. |
|||
In all of the following defintions, <i>X</i> is again a [[topological space]]. |
|||
⚫ | |||
It will be a common theme among the separation axioms to have one version of an axiom that requires T<sub>0</sub> and one version that doesn't. |
It will be a common theme among the separation axioms to have one version of an axiom that requires T<sub>0</sub> and one version that doesn't. |
||
<i>X</i> is '''[[symmetric space|R<sub>0</sub>]]''', or '''symmetric''', if any two topologically distinguishable points in <i>X</i> are separated. |
|||
<i>X</i> is '''[[accessible space|T<sub>1</sub>]]''', or '''accessible''' or '''Fréchet''', if any two distinct points in <i>X</i> are separated. |
|||
Thus, |
Thus, <i>X</i> is T<sub>1</sub> if and only if it is both T<sub>0</sub> and R<sub>0</sub>. |
||
⚫ | |||
Another very common way to characterise T<sub>1</sub> spaces is that every singleton is a [[closed set]]. |
|||
⚫ | |||
<i>X</i> is '''[[preregular space|preregular]]''', or '''R<sub>1</sub>''', if any two topologically distinguishable points in <i>X</i> are separated by neighbourhoods. |
|||
Note that an R<sub>1</sub> space must also be R<sub>0</sub>. |
|||
<i>X</i> is '''[[Hausdorff space|Hausdorff]]''', or '''T<sub>2</sub>''' or '''separated''', if any two distinct points in <i>X</i> are separated by neighbourhoods. |
|||
Thus, |
Thus, <i>X</i> is Hausdorff if and only if it is both T<sub>0</sub> and R<sub>1</sub>. |
||
Note that a Hausdorff space must also be T<sub>1</sub>. |
|||
<i>X</i> is '''[[Uyrsohn space|T<sub>2½</sub>]]''', or '''Urysohn''', if any two distinct points in <i>X</i> are separated by closed neighbourhoods. |
|||
Note that a T<sub>2½</sub> space must also be Hausdorff. |
|||
<i>X</i> is '''[[completely Hausdorff space|completely Hausdorff]]''', or '''completely T<sub>2</sub>''', if any two distinct points in <i>X</i> are separated by a function. |
|||
Note that a completely Hausdorff space must also be T<sub>2½</sub>. |
|||
<i>X</i> is '''[[regular space|regular]]''' if, given any point <i>x</i> and closed set <i>F</i> in <i>X</i>, if <i>x</i> does not belong to <i>F</i>, then they are separated by neighbourhoods. |
|||
In fact, in a regular space, any such <i>x</i> and <i>F</i> will also be separated by closed neighbourhoods. |
|||
Note that a regular space must also be R<sub>1</sub>. |
|||
<i>X</i> is '''[[T3 space|regular Hausdorff]]''', or '''T<sub>3</sub>''', if it is both T<sub>0</sub> and regular. |
|||
Note that a regular Hausdorff space must also be T<sub>2½</sub>. |
|||
<i>X</i> is '''[[completely regular space|completely regular]]''' if, given any point <i>x</i> and closed set <i>F</i> in <i>X</i>, if <i>x</i> does not belong to <i>F</i>, then they are separated by a function. |
|||
Note that a completely regular space must also be regular. |
|||
<i>X</i> is '''[[Tychonoff space|Tychonoff]]''', or '''T<sub>3½</sub>''', '''completely T<sub>3</sub>''', or '''completely regular Hausdorff''', if it is both T<sub>0</sub> and completely regular. |
|||
Note that a Tychonoff space must also be both regular Hausdorff and completely Hausdorff. |
|||
<i>X</i> is '''[[normal space|normal]]''' if any two disjoint closed subsets of <i>X</i> are separated by neighbourhoods. |
|||
In fact, in a normal space, any two disjoint sets will also be separated by a function; this is [[Urysohn's Lemma]]. |
|||
A space that is both normal and R<sub>0</sub> must also be completely regular. |
|||
<i>X</i> is '''[[normal Hausdorff space|normal Hausdorff]]''', or '''T<sub>4</sub>''', if it is both T<sub>1</sub> and normal. |
|||
Note that a normal Hausdorff space must also be both Tychonoff and normal regular. |
|||
<i>X</i> is '''[[completely normal space|completely normal]]''' if any two separated sets are separated by neighbourhoods. |
|||
Note that a completely normal space must also be normal. |
|||
<i>X</i> is '''[[completely normal Hausdorff space|completely normal Hausdorff]]''', or '''T<sub>5</sub>''' or '''completely T<sub>4</sub>''', if it is both completely normal and T<sub>1</sub>. |
|||
Note that a T<sub>5</sub> space must also be T<sub>4</sub>. |
|||
<i>X</i> is '''[[perfectly normal space|perfectly normal]]''' if any two disjoint closed sets are precisely separated by a function. |
|||
A perfectly normal space must also be completely normal. |
A perfectly normal space must also be completely normal. |
||
<i>X</i> is '''[[perfectly normal Hausdorff space|perfectly normal Hausdorff]]''', or '''perfectly T<sub>4</sub>''', if it is both perfectly normal and T<sub>1</sub>. |
|||
A perfectly T<sub>4</sub> space must also be T<sub>5</sub>. |
A perfectly T<sub>4</sub> space must also be T<sub>5</sub>. |
||
== Relationships between the axioms == |
== Relationships between the axioms == |
||
The T<sub>0</sub> axiom is special in that it cannot only be added to a property (so that regular |
The T<sub>0</sub> axiom is special in that it cannot only be added to a property (so that regular plus T<sub>0</sub> is T<sub>3</sub>) but also subtracted from a property (so that Hausdorff minus T<sub>0</sub> is preregular), in a fairly precise sense; see [[Kolmogorov quotient]] for more information. |
||
When applied to the separation axioms, this leads to the relationships in the table below: |
When applied to the separation axioms, this leads to the relationships in the table below: |
||
Line 123: | Line 132: | ||
<tr><td>T<sub>0</sub><td>No requirement |
<tr><td>T<sub>0</sub><td>No requirement |
||
<tr><td>T<sub>1</sub><td>R<sub>0</sub> |
<tr><td>T<sub>1</sub><td>R<sub>0</sub> |
||
<tr><td> |
<tr><td>Hausdorff<td>Preregular |
||
<tr><td>T<sub>2½</sub><td>No special name |
<tr><td>T<sub>2½</sub><td>No special name |
||
<tr><td>Completely |
<tr><td>Completely Hausdorff<td>No special name |
||
<tr><td> |
<tr><td>Regular Hausdorff<td>Regular |
||
<tr><td> |
<tr><td>Tychonoff<td>Completely regular |
||
<tr><td>Normal |
<tr><td>Normal T<sub>0</sub><td>Normal |
||
<tr><td> |
<tr><td>Normal Hausdorff<td>Normal regular |
||
<tr><td>Completely normal |
<tr><td>Completely normal T<sub>0</sub><td>Completely normal |
||
<tr><td> |
<tr><td>Completely normal Hausdorff<td>Completely normal regular |
||
<tr><td>Perfectly normal |
<tr><td>Perfectly normal T<sub>0</sub><td>Perfectly normal |
||
<tr><td>Perfectly |
<tr><td>Perfectly normal Hausdorff<td>Perfectly normal regular |
||
</table> |
</table> |
||
In this table, you go from the right column to the left column by adding the requirement of T<sub>0</sub>, and you go from the left column to the right column by removing that requirment, using the Kolmogorov quotient. |
In this table, you go from the right column to the left column by adding the requirement of T<sub>0</sub>, and you go from the left column to the right column by removing that requirment, using the Kolmogorov quotient operation. |
||
Other than the inclusion or exclusion of T<sub>0</sub>, the relationships between the separation axioms are indicated in the following diagram: |
Other than the inclusion or exclusion of T<sub>0</sub>, the relationships between the separation axioms are indicated in the following diagram: |
||
Line 142: | Line 151: | ||
[[Image:Separation axioms.gif|A diagram of the separation axioms]] |
[[Image:Separation axioms.gif|A diagram of the separation axioms]] |
||
In this diagram, the non-T<sub>0</sub> version of a condition is on the left side of the slash, and the T<sub>0</sub> version is on the right side. |
|||
Letters are used for [[abbreviation]] as follows: |
Letters are used for [[abbreviation]] as follows: |
||
"P" = "perfectly", "C" = "completely", "N" = "normal", and "R" (without a subscript) = "regular". |
"P" = "perfectly", "C" = "completely", "N" = "normal", and "R" (without a subscript) = "regular". |
||
Line 163: | Line 172: | ||
Other than their definitions, they won't be discussed here. |
Other than their definitions, they won't be discussed here. |
||
<i>X</i> is '''[[semiregular space|semiregular]]''' if the [[regular open set]]s form a [[base (topology)|base]] for the open sets of <i>X</i>. |
|||
Any regular space must also be semiregular. |
Any regular space must also be semiregular. |
||
<i>X</i> is '''[[fully normal space|fully normal]]''' if every [[open cover]] has an open [[star refinement]]. |
|||
Every fully normal space must also be both normal and [[paracompact]]. |
Every fully normal space must also be both normal regular and [[paracompact]]. |
||
In fact, fully normal spaces actually have more to do with paracompactness than with the usual separation axioms. |
In fact, fully normal spaces actually have more to do with paracompactness than with the usual separation axioms. |
||
<i>X</i> is '''[[fully T4 space|fully T<sub>4</sub>]]''', or '''fully normal Hausdorff''', if it is both T<sub>1</sub> and fully normal. |
|||
Note that a fully T<sub>4</sub> space must also be T<sub>4</sub>. |
|||
== Sources == |
== Sources == |
||
* Schechter, Eric; 1997; <cite>Handbook of Analysis and its Foundations</cite>; http://www.math.vanderbilt.edu/~schectex/ccc/ |
* Schechter, Eric; 1997; <cite>Handbook of Analysis and its Foundations</cite>; http://www.math.vanderbilt.edu/~schectex/ccc/ |
||
** has R<sub> |
** has R<sub><i>i</i></sub> axioms (among others) |
||
* Willard, Stephen; <cite>General Topology</cite>; Addison-Wesley |
* Willard, Stephen; <cite>General Topology</cite>; Addison-Wesley |
||
** has all of the other axioms mentioned in this article, with these definitions |
** has all of the other axioms mentioned in this article, with these definitions |
||
* There are several other good books on [[general topology]], but some use slightly different definitions. |
* There are several other good books on [[general topology]], but beware that some use slightly different definitions. |
Revision as of 13:07, 21 May 2003
In topology and related fields of mathematics, there are several restrictions that one often makes on the kinds of topological spaces that one wishes to consider. Some of these restrictions are given by the separation axioms. These are sometimes called Tychonoff separation axioms after Andrey Tychonoff.
The separation axioms are axioms only in the sense that, when defining the notion of topological space, you could throw these conditions in as extra axioms to get a more restricted notion of what a topological space is. The modern approach is to fix once and for all the axiomatization of topological space and then speak of kinds of topological spaces. However, the term "separation axiom" has stuck. The separation axioms are denoted with the letter "T" after the German "Trennung", which means separation.
The precise meanings of the terms associated with the separation axioms has varied over time, as explained in History of the separation axioms. Especially when reading older literature, be sure to get the authors' definition of each condition mentioned to make sure that you know exactly what they mean.
Before we define the spaces described by the separation axioms, we need to define some terminology in order to give concrete meaning to the concept of separation.
Separated sets and topologically distinguishable points
The separation axioms are about the use of topological means to distinguish disjoint sets and distinct points. It's not enough for elements of a topological space to be distinct; we may want them to be topologically distinguishable. Similarly, it's not enough for subsets of a topological space to be disjoint; we may want them to be separated (in any of various ways). The separation axioms all say, in one way or another, that points or sets that are distinguishable or separated in some weak sense must also be separated in some stronger sense.
The terms are defined below, where X is a topological space. Note that we sometimes use the terminology of separated sets to refer to points; in that situation, we're really talking about the singleton {x} rather than the point x.
First, two points x and y in X are topologically distinguishable if they don't have exactly the same neighbourhoods. If x belongs to the closure of {y} and y belongs to the closure of {x}, then x and y are topologically indistinguishable; otherwise, they're topologically distinguishable. For example, in an indiscrete space, any two points are topologically indistinguishable. Note that if two points are topologically distinguishable, then certainly they are distinct.
Two subsets A and B of X are separated if each is disjoint from the other's closure. That is, A and B are separated if
- Cl(A) ∩ B = A ∩ Cl(B) = {};
where Cl indicates closure and {} is the empty set. The closures themselves don't have to be disjoint from each other; for example, the intervals [0,1) and (1,2] are separated in the real line R, even though the point 1 belongs to both of their closures. Note that any two separated sets must be disjoint. Furthermore, if the points x and y are separated (that is if the sets {x} and {y} are separated), then the points are also topologically distinguishable.
A and B are separated by neighbourhoods if there are a neighbourhood U of A and a neighbourhood V of B such that U and V are disjoint. (Sometimes you will see the requirement that U and V be open neighbourhoods, but this makes no difference in the end.) For the example of A = [0,1) and B = (1,2], you could take U = (-1,1) and V = (1,3). Note that if any two sets are separated by neighbourhoods, then certainly they are separated. If A and B are open and disjoint, then they must be separated by neighbourhoods; just take U := A and V := B. For this reason, many separation axioms refer specifically to closed sets.
A and B are separated by closed neighbourhoods if there are a closed neighbourhood U of A and a closed neighbourhood V of B such that U and V are disjoint. Our examples, [0,1) and (1,2], are not separated by closed neighbourhoods. Note that if any two sets are separated by closed neighbourhoods, then certainly they are separated by neighbourhoods.
A and B are separated by a function if there exists a continuous function f from the space X to the real line R such that f(A) = {0} and f(B) = {1}. (Sometimes you will see the unit interval [0,1] used in place of R in this definition, but it makes no difference in the end.) In our example, [0,1) and (1,2] are not separated by a function, because there is no way to continuously define f at the point 1. Note that if any two sets are separated by a function, then they are also separated by closed neighbourhoods.
A and B are precisely separated by a function if there exists a continuous function f from X to R such that f-1(0) = A and f-1(1) = B, where f-1 indicates the preimage. (Again, you may also see the unit interval in place of R, and again it makes no difference.) Since {0} and {1} are closed in R, only closed sets are capable of being precisely separated by a function. Note that if any two sets are precisely separated by a function, then certainly they are separated by a function.
Separated sets also have a relationship with connected spaces, which is not explored in this article. Don't confuse separated sets with separated spaces, which are defined below. Finally, separable spaces are something else entirely.
Definitions of the axioms
Many of these names have alternative meanings in some of mathematical literature, as explained on History of the separation axioms. Many of the concepts also have several names; the one listed first is preferred in Wikipedia.
Most of these axioms have alternative definitions with the same meaning; the definitions given here are those which fall into a consistent pattern relating the various notions of separation defined in the previous section. Other possible definitions can be found in the individual articles.
In all of the following defintions, X is again a topological space.
X is T0, or Kolmogorov, if any two distinct points in X are topologically distinguishable. It will be a common theme among the separation axioms to have one version of an axiom that requires T0 and one version that doesn't.
X is R0, or symmetric, if any two topologically distinguishable points in X are separated.
X is T1, or accessible or Fréchet, if any two distinct points in X are separated. Thus, X is T1 if and only if it is both T0 and R0. Although you may say such things as "T1 space" and "Suppose that the topological space X is Fréchet", avoid saying "Fréchet space" in this context, since there is another entirely different notion of Fréchet space in functional analysis.
X is preregular, or R1, if any two topologically distinguishable points in X are separated by neighbourhoods. Note that an R1 space must also be R0.
X is Hausdorff, or T2 or separated, if any two distinct points in X are separated by neighbourhoods. Thus, X is Hausdorff if and only if it is both T0 and R1. Note that a Hausdorff space must also be T1.
X is T2½, or Urysohn, if any two distinct points in X are separated by closed neighbourhoods. Note that a T2½ space must also be Hausdorff.
X is completely Hausdorff, or completely T2, if any two distinct points in X are separated by a function. Note that a completely Hausdorff space must also be T2½.
X is regular if, given any point x and closed set F in X, if x does not belong to F, then they are separated by neighbourhoods. In fact, in a regular space, any such x and F will also be separated by closed neighbourhoods. Note that a regular space must also be R1.
X is regular Hausdorff, or T3, if it is both T0 and regular. Note that a regular Hausdorff space must also be T2½.
X is completely regular if, given any point x and closed set F in X, if x does not belong to F, then they are separated by a function. Note that a completely regular space must also be regular.
X is Tychonoff, or T3½, completely T3, or completely regular Hausdorff, if it is both T0 and completely regular. Note that a Tychonoff space must also be both regular Hausdorff and completely Hausdorff.
X is normal if any two disjoint closed subsets of X are separated by neighbourhoods. In fact, in a normal space, any two disjoint sets will also be separated by a function; this is Urysohn's Lemma.
X is normal Hausdorff, or T4, if it is both T1 and normal. Note that a normal Hausdorff space must also be both Tychonoff and normal regular.
X is completely normal if any two separated sets are separated by neighbourhoods. Note that a completely normal space must also be normal.
X is completely normal Hausdorff, or T5 or completely T4, if it is both completely normal and T1. Note that a T5 space must also be T4.
X is perfectly normal if any two disjoint closed sets are precisely separated by a function. A perfectly normal space must also be completely normal.
X is perfectly normal Hausdorff, or perfectly T4, if it is both perfectly normal and T1. A perfectly T4 space must also be T5.
Relationships between the axioms
The T0 axiom is special in that it cannot only be added to a property (so that regular plus T0 is T3) but also subtracted from a property (so that Hausdorff minus T0 is preregular), in a fairly precise sense; see Kolmogorov quotient for more information. When applied to the separation axioms, this leads to the relationships in the table below:
T0 version | Non-T0 version |
---|---|
T0 | No requirement |
T1 | R0 |
Hausdorff | Preregular |
T2½ | No special name |
Completely Hausdorff | No special name |
Regular Hausdorff | Regular |
Tychonoff | Completely regular |
Normal T0 | Normal |
Normal Hausdorff | Normal regular |
Completely normal T0 | Completely normal |
Completely normal Hausdorff | Completely normal regular |
Perfectly normal T0 | Perfectly normal |
Perfectly normal Hausdorff | Perfectly normal regular |
In this table, you go from the right column to the left column by adding the requirement of T0, and you go from the left column to the right column by removing that requirment, using the Kolmogorov quotient operation.
Other than the inclusion or exclusion of T0, the relationships between the separation axioms are indicated in the following diagram:
In this diagram, the non-T0 version of a condition is on the left side of the slash, and the T0 version is on the right side. Letters are used for abbreviation as follows: "P" = "perfectly", "C" = "completely", "N" = "normal", and "R" (without a subscript) = "regular". A bullet indicates that there is no special name for a space at that spot. The dash at the bottom indicates no condition.)
You can combine two properties using this diagram by following the diagram upwards until both branches meet. For example, if a space is both completely normal ("CN") and completely Hausdorff ("CT2"), then following both branches up, you find the spot "•/T5". Since completely Hausdorff spaces are T0 (even though completely normal spaces may not be), you take the T0 side of the slash, so a completely normal completely Hausdorff space is the same as a T5 space.
As you can see from the diagram, normal and R0 together imply a host of other properties. Since regularity is the most well known of these, spaces that are both normal and R0 are typically called "normal regular spaces" by people that wish to avoid the "R" notation. In a somewhat similar fashion, T4 spaces are often called "normal Hausdorff spaces" by people that wish to avoid the "T" notation. Wikipedia, in particular, wishes to avoid these notations, for the reasons explained in History of the separation axioms. (These conventions can be generalised to other regular and Hausdorff spaces.)
Other separation axioms
There are some other conditions on topological spaces that are sometimes classified with the separation axioms, but these don't fit in with the usual separation axioms as completely. Other than their definitions, they won't be discussed here.
X is semiregular if the regular open sets form a base for the open sets of X. Any regular space must also be semiregular.
X is fully normal if every open cover has an open star refinement. Every fully normal space must also be both normal regular and paracompact. In fact, fully normal spaces actually have more to do with paracompactness than with the usual separation axioms.
X is fully T4, or fully normal Hausdorff, if it is both T1 and fully normal. Note that a fully T4 space must also be T4.
Sources
- Schechter, Eric; 1997; Handbook of Analysis and its Foundations; http://www.math.vanderbilt.edu/~schectex/ccc/
- has Ri axioms (among others)
- Willard, Stephen; General Topology; Addison-Wesley
- has all of the other axioms mentioned in this article, with these definitions
- There are several other good books on general topology, but beware that some use slightly different definitions.