Professional Documents
Culture Documents
Presentation On "Separation Axioms": School of Studies in Mathematics
Presentation On "Separation Axioms": School of Studies in Mathematics
“Separation Axioms”
T1 Space:-
Definition and Pictorial Representation
Examples
Theorems based on T1 Space
T2 Space:-
Definition and Pictorial Representation
Examples
Theorems based on T2 Space
T3 space:-
Definition and Pictorial Representation
Examples
Theorems based on T3 Space
T4 Space:-
Definition and Pictorial Representation
Examples
Theorems based on T4 Space
T5 Space:-
Definition and Pictorial Representation
Examples
Theorems based on T5 Space
T3½ Space:-
Definition and Pictorial Representation
Theorems based on T3½ Space
Introduction:-
“Alexandroff” and “Hopf” Postulated the “separation axioms” as
“Ti-spaces” where {i=0,1,2,3,4,5}. The letter “Ti” is developed from the
german word “Ternnugs”.
G H
x y
or
Examples:-
1. Every “Discrete space” is a T0 – space.
2. If X={a,b} and T= {Ø,{a},X} .then ,(X,T) is a T0-space.
•Note that:-
(a) An “Indiscrete space” is not a T0-space.
(b)Every “Metric space” is a T0- space.
G H
x y
Examples:-
1. Every “Discrete Topological space with two or more points” is a T1-space.
2. If X={a,b,c} and T= {Ø,X {a},{b},{c},{a,b}}. Then,(X,T) is a T1-space.
•Note that:-
(a) An “Indiscrete space” is not a T1-space.
(b)Every “Metric space” is a T1- space.
Pictorial Representation:-
N M
x y
N ∩ M= Ø
Examples:-
1. Every “Discrete space” is a T2 -space.
2. If X={1,2,3} and T={{1},{2},{3},{1,2},{2,3},{1,3},X,Ø} Then, (X,T) is a T2-space.
But, If X={1,2,3} and T={X, Ø,{1,2}} Then, The space (X,T) is not a T2-space.
Note that:-
(a) An “Indiscrete space” is not a T2-space.
(b)Every “Metric space” is a T2- space.
•Remark:-
“Every T2-space is a T1-space .but, Converse need not be true.”
For example:- “Cofinite Toplogical Space” ,Which is a T1-space ,but
not a T2-space.
Theorems Based On T2-space:-
1) Every “Singleton subset” of a T2-space is “Closed”.
2) Every subspace of a Housedroff space is a Housedroff space. And Hence
X
Example:-
Let X = {a,b,c} and let Ƭ = {∅, {a}, {b,c}, X}. Then (X,Ƭ) is a
regular space but not a T3 space.
Theorems Based On T3-space :-
1) Every metric space is regular(T3)
2) The space (R,U) is T3.
3) The property of a space being a regular space is topological
property or topological invariant.
4) Regularity of topological space is hereditary.
5) Every compact Hausdorff space is a T3-space.
6) Every T3 space is a T2 space.
7) A topological space is regular iff each open nbd of an
element x∈ X, contains the closure of another open nbd of
x.
T4-Spaces
Normal Space:-
Definition :- A topological space (X,Ƭ) is normal iff for each
pair E, F of disjoint closed subsets of X, there is a pair U, V of
disjoint open subsets of X such that E ⊂ U, F ⊂ V and U ∩ V = ∅.
X
Example:-
Let X = {a,b,c} and let Ƭ = {∅, {a}, {b,c}, X}. Then (X,Ƭ) is a
normal space but not a T4 space.
Theorems Based On T4-space :-
1) A topological space X is normal iff for any closed set F and open set
G containing F, there exists an open set V such that
F ⊂ V ⊂ ¯V ⊂ G
2) A closed subspace of a normal space is normal.
3) The property of being a T4-space is hereditary.
4) Every metric space is normal(T4).
5) Every compact Hausdorff space is normal(T4).
6) Uryshon’s Lemma:- Let F1, F2 be any pair of disjoint closed sets in a
normal space X. then there exists a continuous map f : X→[0,1]
such that f(x)=0 for x ∈ F1 and f(x)=1 for x ∈ F2.
7) Tietze extension theorem:- The space X is normal iff every
continuous real function f defined on a closed subspace F of X into
closed interval [a,b] has a continuous extension f* : X →[a,b].
T5-Spaces
Completely Normal Space:-
Definition:- A topological space (X,Ƭ) is said to be completely
normal iff for any two separated subsets E and F of X, there exist
open set U and V such that E ⊂ U, F ⊂ V and U ∩ V = ∅.
Separated sets:- Two sets E and F are separated sets if
E ≠ ∅, F ≠ ∅, ¯E ∩ F = ∅, E ∩ ¯F = ∅
T5-Space:- A completely normal T1 space is called a T5 space.
Pictorial Representation:-
X
Example:-
Let X = {a,b,c} and let Ƭ = {∅, {a}, {b,c}, X}. Then (X,Ƭ) is a
completely normal space but not a T5 space.
Theorems Based On T4-space:-
1) Every completely normal space is normal and hence every
T5-space is a T4-space.
2) Every homeomorphic image of a completely normal space is
completely normal.
3) Every metric space is completely normal.
4) The property of space being completely normal is
hereditary.
5) A topological space is completely normal iff every subspace
is normal.
Tychonoff Spaces
Completely Regular Space:-
Definition :- A topological space (X,Ƭ) is completely regular
iff for each x ∈ X and each closed set C ⊂ X so that x ∉ C, there
is a continuous function f : X → [0, 1] such that f(x) = 0 and f(C) =
1.
Tychonoff Space:- Completely regular T1 spaces are
called Tychonoff or T3½ spaces.
Pictorial Representation:-
X
.x C
f R
│ │
0 1
Theorems:-
1) A completely regular space is regular and hence a
Tychonoff space is a T3-space.
2) Every T4-space is a Tychonoff space.
3) The property of a space being a completely regular space
is topological property or topological invariant.
4) The property of space being completely regular is
hereditary.
Referance:-
Published by:-