Skip to main content

Section Separation Axioms

As we have seen, sequences in topological spaces do not generally behave as we would expect them to. As a result, we look for conditions on topological spaces under which sequences do exhibit some regular behavior. In our preview activity we saw that it is possible in a topological space that single point sets do not have to be closed. In Activity 13.4, we also saw that limits of sequences in topological spaces are not necessarily unique. This type of behavior limits the results that one can prove about such spaces. As a result, we define classes of topological spaces whose behaviors are closer to what our intuition suggests.

Activity 13.7.

(a)

Consider a metric space (X,d), and let x and y be distinct points in X.
(i)
Explain why x and y cannot both be limits of the same sequence if we can find disjoint open balls B(x,r) centered at x and B(y,s) centered at y such that BxโˆฉBy=โˆ….
(ii)
Now show that we can find disjoint open balls B(x,r) centered at x and B(y,s) centered at y such that B(x,s)โˆฉB(y,r)=โˆ….

(b)

Return to our example from Activity 13.4 with X={a,b,c} and topology
ฯ„ = {โˆ…,{c},{a,c},{b,c},X}.
We saw that every point in X is a limit of the constant sequence (c). If xโ‰ c in X, Explain why there are no disjoint open sets Ox containing x and Oc containing c.
It is the fact as described in Activity 13.7 that we can separate disjoint points by disjoint open sets that separates metric spaces from other spaces where limits are not unique. If we restrict ourselves to spaces where we can separate points like this, then we might expect to have unique limits. Such spaces are called Hausdorff spaces.

Definition 13.12.

A topological space X is a Hausdorff space if for each pair x, y of distinct points in X, there exists open sets Ox of x and Oy of y such that OxโˆฉOy=โˆ….
Activity 13.7 shows that every metric space is a Hausdorff space. Once we start imposing conditions on topological spaces, we restrict the number of spaces we consider.

Activity 13.8.

(a)

Let X be any set and ฯ„ the discrete topology. Is (X,ฯ„) Hausdorff? Justify your answer.

(b)

Let (X,ฯ„) be a Hausdorff topological space with X={x,x1,x2,โ€ฆ,xn} a finite set. Is {x} an open set? Explain. What does this say about the topology ฯ„?
Hint.
Is x a limit point of {x1,x2,โ€ฆ,xn}?

Example 13.13.

There are examples of Hausdorff spaces that are not the standard metric spaces. For example, Let K={1kโˆฃk is a positive integer }. We use K to make a topology on R with basis all open intervals of the form (a,b) and all sets of the form (a,b)โˆ–K, where a<b are real numbers. This topology adds the extra intervals of the form (a,b)โˆ–K to the standard open intervals to make a new topology. This topology is known as the K-topology on R. Just as in (R,dE), if x and y are distinct real numbers we can separate x and y with open intervals.
The reason we defined Hausdorff spaces is because they have familiar properties, as the next theorems illustrate.

Proof.

Let X be a Hausdorff topological space, and let A={a} for some aโˆˆX. To show that A is closed, we prove that Xโˆ–A is open. Let xโˆˆXโˆ–A. Then xโ‰ a. So there exist open sets Ox containing x and Oa containing a such that OxโˆฉOa=โˆ…. So aโˆ‰Ox and OxโŠ†Xโˆ–A. Thus, every point of Xโˆ–A is an interior point and Xโˆ–A is an open set. This verifies that A is a closed set.

Proof.

Let X be a Hausdorff topological space, and let (xn) be a sequence in X. Suppose (xn) converges to aโˆˆX and to bโˆˆX. Suppose aโ‰ b. Then there exist open sets Oa of a and Ob of b such that OaโˆฉOb=โˆ…. But the fact that (xn) converges to a implies that there is a positive integer N such that xnโˆˆOa for all nโ‰ฅN. But then xnโˆ‰Ob for any nโ‰ฅN. This contradicts the fact that (xn) converges to b. We conclude that a=b and that the sequence (xn) can have at most one limit in X.
Hausdorff spaces are important because we can separate distinct points with disjoint open sets. It is also of interest to consider what other types of objects we can separate with disjoint open sets. For example, the indiscrete topology is quite bad in the sense that its open sets canโ€™t distinguish between distinct points. That is, if x and y are distinct points in a space with the indiscrete topology, then every open set that contains x also contains y. By contrast, in a Hausdorff space we can separate distinct points with disjoint open sets. This is an example of what is called a โ€œseparationโ€ property. Other types of separation properties describe different types of topological spaces. These separation properties determine what kind of objects we can separate with disjoint open sets โ€” e.g., points, points and closed sets, closed sets and closed sets. The following are the most widely used separation properties. These properties rule out kinds of unwelcome properties that a topological space might have. For example, recall that limits of sequences are unique in Hausdorff spaces. (We traditionally call these separation properties โ€œaxiomsโ€ because we generally assume that our topological spaces have these properties. However, these are not axioms in the usual sense of the word, but rather properties.)

Definition 13.16.

Let X be a topological space.
  1. The space X is a T1-space or Frechet space if for every xโ‰ y in X, there exist an open set U containing y such that xโˆ‰U.
  2. The space X is a T2-space or a Hausdorff space if for every xโ‰ y in X, there exist disjoint open sets U and V such that xโˆˆU and yโˆˆV.
  3. The space X is regular if for each closed set C of X and each point xโˆˆXโˆ–C, there exists disjoint open sets U and V in X such that CโŠ†U and xโˆˆV. The space X is a T3-space or a regular Hausdorff space if X is a regular T1 space.
  4. The space X is a normal space if for each pair C and D of disjoint closed subsets of X there exist disjoint open sets U and V such that CโŠ†U and DโŠ†V. The space X is a T4-space or a normal Hausdorff space if X is a normal T1 space.
Exercise 16 shows that every metric space is both regular and normal. The use of the variable T comes from the German โ€œTrennungsaxiomeโ€ for separation axioms. Note again that these are not technically axioms, but rather properties. An interesting question is why we insist that T3 and T4-spaces also be T1. We want these axioms to provide more separation as the index increases. Consider a space X with the indiscrete topology. In this space, nothing is separated. However, this space is vacuously regular and normal. To avoid this seeming incongruity, we insist on working only with T1 spaces. Note that a space with the indiscrete topology is not T1.
It is the case that every T4-space is T3, every T3-space is T2, and every T2-space is T1. Verification of these statements are left to Exercise 18. These properties are also all different. That is, there are T1-spaces that are not T2 and T2-spaces that are not T3. These problems are given in Exercise 19. The fact that there are T3-spaces that are not T4 is a bit difficult. An example is the Niemytzki plane. The Niemytzki plane is the upper half plane X={(x,y)โˆˆR2โˆฃyโ‰ฅ0}. Let L be the boundary of X. That is, L={(x,y)โˆˆR2โˆฃy=0}. A basis for the topology on X consists of the standard open disks centered at points with y>0 along with the open disks in Xโˆ–L that are tangent to L together with their points of tangency. We wonโ€™t verify that the Niemytzki plane is T3 but not T4. The interested reader can find an accessible proof in the article โ€œAnother Proof that the Niemytzki Plane is not Normalโ€ by David H. Vetterlein in the Pi Mu Epsilon Journal, Vol. 10, No. 2 (SPRING 1995), pp. 119-121.