M - SC - (Mathematics) - 311 14 - Topology - I PDF
M - SC - (Mathematics) - 311 14 - Topology - I PDF
M - SC - (Mathematics) - 311 14 - Topology - I PDF
M.Sc. [Mathematics]
I - Semester
311 14
TOPOLOGY - I
Authors:
N Ch SN Iyengar, Sr. Professor, School of Computing Sciences VIT University,Vellore, Tamilnadu, India
VM Chandrasekaran, Asst. Professor, Department of Mathematics Vellore Institute of Technology (Deemed University), Vellore
KA Venkatesh, Professor, Cognitive Science, Alliance University, Bangalore
PS Arunachalam, Senior Lecturer, Department of Mathematics SRM Engineering College, Chennai
Unit (1)
Aditi Sharma, Freelance Author
Unit (3)
Dr Pratiksha Saxena, Assistant Professor, School of Applied Sciences, Gautam Buddha University, Greater Noida
Units (4, 6, 10-14)
Dr Nitin Bhardwaj, Assistant Professor/Assistant Scientist (Statistics) Ch. Charan Singh Haryana Agricultural University
Hisar (India)
Gaurav Tyagi, Assistant Professor, Mahamana Malviya Degree College, Khekra, Baghpat in Mathematics Department
Units (5, 7-9)
All rights reserved. No part of this publication which is material protected by this copyright notice
may be reproduced or transmitted or utilized or stored in any form or by any means now known or
hereinafter invented, electronic, digital or mechanical, including photocopying, scanning, recording
or by any information storage or retrieval system, without prior written permission from the Alagappa
University, Karaikudi, Tamil Nadu.
Information contained in this book has been published by VIKAS® Publishing House Pvt. Ltd. and has
been obtained by its Authors from sources believed to be reliable and are correct to the best of their
knowledge. However, the Alagappa University, Publisher and its Authors shall in no event be liable for
any errors, omissions or damages arising out of use of this information and specifically disclaim any
implied warranties or merchantability or fitness for any particular use.
Work Order No. AU/DDE/DE1-238/Preparation and Printing of Course Materials/2018 Dated 30.08.2018 Copies - 500
SYLLABI-BOOK MAPPING TABLE
Topology - I
Syllabi Mapping in Book
BLOCK IV: COUNTABILITYAXIOMS AND NORMAL SPACES Unit 12: Countability and
UNIT - XII The Countability axioms - The separation axioms - Problems Separation Axioms
UNIT - XIII Normal spaces - The Urysohn's lemma (Pages 210-227);
UNIT - XIV The Uryshon's metrization theorem - Related Problems Unit 13: Normal Spaces
(Pages 228-245);
Unit 14: The Uryshon’s
Metrization Theorem
(Pages 246-254)
CONTENTS
INTRODUCTION
BLOCK - I
FUNDAMENTALS, FINITE AND INFINITE SETS
NOTES
The origins of set theory can be traced to late 19th century when a German
NOTES mathematician Georg Cantor (1845-1918) published a paper on, “Property of
the Collection of All Real Algebraic Numbers”. Sets and set theory are regarded
as the foundation of mathematics. In terms of mathematics, a set refers to a collection
of distinct objects and considered as an object in its own right. The constituent
members of a set are known as elements of the set. You will understand different
types of set notation forms, such as Roster form and set builder form. Sets are of
various types, such as finite and infinite sets, universal sets, disjoint sets, overlapping
sets, equivalent sets, empty and null sets, and subset of sets, etc. This unit will
introduce you to the various applications of set theory.
You will be acquainted with different types of operators, such as cardinality
of a set, union of sets, intersection of sets, difference of two sets, complement of
set, set identities, Venn diagram, minset and maxset. Properties of set operations,
such as commutative, associative, identity, distributive, laws of idempotence,
De Morgan’s law, Cartesian product of sets are also discussed.
In mathematics, a relation is used to describe certain properties of things,
i.e., a relation is a relationship between sets of values. You will understand various
types of relations, such as reflexive, symmetric and transitive relations, and
equivalence class and partitions, etc. You will learn about range of function,
composition of functions and types of functions, such as one-to-one, onto surjective,
bijective, constant, into, identity, inverse, even and odd.
The unit also discusses about mathematical logic, logical operators, the
equivalence formula and the respective logical operations for conjunction,
disjunction, negation using the conditional operator, bi-conditional operator, etc.
1.1 OBJECTIVES
Even though formal definitions have been given for a set and elements of a set, but
the meaning of a set and its elements is best comprehended intuitively. A set is a NOTES
collection or compilation of distinct entities or objects. The objects which form the
set are called the elements of the set. For example Collection of students of your
class is a set, collection of all rational numbers is a set, and collection of all whole
numbers between 10 and 20 is a set. You are an element of the set of students of
your class; the city you reside in is an element of the set of all cities in India. A set
can be an element of another set, for example a set of girls studying in a class is an
element of the set of students studying in that class.
Sets are denoted by capital letters, for example A, B, C……. and elements
of a set are denoted by small letters; a, b, c……. If ‘A’ is a set and ‘b’ is an
element of this set then we write:-
b ∈ A (and read it as b belongs to A or b is an element of A)
If ‘b’ is not an element of ‘A’ then we denote it as:
b ∉ A (and read it as b does not belong to A or is not an element of A)
Example 1: Show that A = {2, 4, 6, 8} is a set of the even numbers.
Solution: A = {2, 4, 6, 8} is a set of the even numbers 2, 4, 6, 8. You may say A
is a set of all even numbers between 1 and 9; or 2, 4, 6, 8 are elements of A.
Example 1 gives the Roster or tabulation method to describe a set. It consists of
listing of each element of the set within the braces. Another method is the descriptive
phrase method which consists of placing a phrase describing the elements of the
set within the braces. Thus,
A = {Even numbers between 1 and 9}
This method may be used when there is a large number of elements or when all the
elements cannot be named.
A third method, known as the rule method or set builder method, consists of
enclosing within the brace a general element and describing it. Thus:
A = {x: x is an even integer and 1 < x < 9}
Or, A = {x/x is even integer and 1 < x < 9}
Here, : or / is used after x.
A set is determined by its elements and not by the method of description. The set
A described in any of these three different ways remains the same.
The idea of a set is both obvious and ancient. But what looks obvious must
be proved and the proof may be either insufficient to justify the obvious or it may
lead to other possibilities including the opposite of the obvious.
Self-Instructional
Material 3
Set Theory The algebra of sets provides a student with laws which can be used to
prove important results in any science.
1.2.1 Roster Form
NOTES The standard notation to list the elements of a set and denote the set is to use
braces. For example set A having elements x, y & z is written as:
A = {a,b,c}, similarly;
B = {0, 1, 2, 3........} is set of whole numbers;
N = { 1, 2, 3, 4, 5} is a set of first 5 natural numbers.
X = { a, b, Y} is a set with elements a, b and the set Y. In this example Set
Y is an element of set X.
The above way of enumerating a set is called as Roster form. Some standard
sets we have studied earlier are:
Z = Set of integers
Q = Set of rational numbers
R = Set of real numbers.
N = Set of natural numbers
1.2.2 Set Builder Notation
Another way of describing a set is called the Set Builder Notation. In the examples
above every set has been denoted by writing its elements. However, it may not be
always possible to write all the elements of a set. In such cases the set can be
described by the property of its elements. The notation is called Set Builder
Notation. It has three parts, a variable, a separator and a rule or function that the
variable satisfies. For example:
A = {x | f(x)}
Or
A = {x : f(x)}
It implies that set A is a set of all elements x which are true for the rule or
function f(x). It is read as A is a set of all x such that x is part of f(x). Sometimes a
domain is also specified, for example:
A = { x ∈ N | x = 2k for all k ∈ N}
1.2.3 Representation of Sets
Sets can be represented by circular or similarly enclosed curves commonly known
as Venn diagrams. Every element in a set is represented by a point.
Example 2: With the help of Venn diagram show that,
V = {a, e, i, o, u}.
Self-Instructional
4 Material
Solution: The Venn diagram shows how the vowels which are the elements of the Set Theory
a e V NOTES
o i
You shall use symbols and diagrams to represent and understand sets.
It should be remembered that a set remains unchanged if the order of its elements
is changed. Thus, you can write:
V = {e, o, i, a, u}.
Example 3: Show that B = {1, 2, 3, 4, 5} is a set of numbers less than 6.
Solution: B = {1, 2, 3, 4, 5} is the set of counting numbers less than 6. Alternatively,
B = {x (integer) | 0 < x < 6}.
Example 4: What does the set C = {Physics, Chemistry, Sociology, Economics}
mean?
Solution: C = {Physics, Chemistry, Sociology, Economics} is a set of four sciences.
Example 5: How will you describe the set of the two smallest integers larger than
15?
Solution: {16, 17}
Example 6: How will you express the following in the set notation?
(i) The letters in the word ‘internal’.
(ii) Integers greater than 100 but less than 102.
(iii) Integers less than –5 and greater than or equal to –10.
(iv) Letters of the English alphabet.
(v) Odd numbers upto 99.
Solution: (i) {i, n, t, e, r, a, l}; (ii) {101}; (iii) {– 6, – 7, – 8, – 9, – 10};
(iv) {a, b, c, ..., z}; (v) {1, 3, 5, ..., 99}
These sets may be expressed in different forms.
Example 7: What do the following sets mean?
(i) A = {x: x is a person weighing more than 60 kg}
(ii) B = {b: b > 2}
(iii) C = {c (integer): c < 0}.
Self-Instructional
Material 5
Set Theory Solution: (i) A consists of the elements x such that x is a person weighing more
than 60 kg.
(ii) B is the set of all numbers greater than 2.
NOTES (iii) C is the set of all integers less than 0, i.e., C is the set of all negative integers.
B = { 1, a, 2, b, 3, d, c}, then A = B.
– 20 – 10 0 10 20
The set of all points along a line is an infinite set. There are infinite number of points
on a line. A member of the set of points along a line can be represented on the line
by a variable x.
Example 13: A point set in a plane is shown by the set of points in a plane figure.
Is it an infinite set?
Solution: Yes, it is an infinite set.
1.2.7 Universal Set
The universal set is the totality of elements under consideration as elements of any
set. It is the set of all objects relevant to a particular application. A universal set is
denoted by E. E is the universe or universal set including all possible elements and
is often drawn as a rectangle.
For example, E = {a, b, c,...z}, the set of letters of the English alphabet is a
universal set.
E = {head, tail} is a universal set obtained by the throw of a coin.
E = {rise in demand, constant demand, fall in demand} is a universal set resulting
from a change in the price of a commodity. It covers all the possibilities.
Self-Instructional
Material 7
Set Theory 1.2.8 Disjoint Sets
If two sets have no element in common, then they are disjoint sets.
If, A = {all odd numbers}
NOTES
And, B = {all even numbers}
Then, A, B are termed as disjoint sets.
If C = {0, 1, 2, 3, 4}
And, D = {5, 6}
Then, C and D are also termed as disjoint sets. The given Venn diagram illustrates
this fact.
4
1 3 2
5... 6...
A B
1 5
0
2 3
4 6
C D
C A
2
0
6
4
3
Self-Instructional
8 Material
1.2.10 Membership of a Set Set Theory
Self-Instructional
10 Material
And, X = {y: 0 ≤ y ≤ 10} Set Theory
Then, Y ⊂X
If, Y = {a, b, c}, X = {a, b, c}
NOTES
Then, Y ⊂ X and X ⊂ Y
Example 15: State whether the following are true or false.
(i) E ⊆ E (ii) φ ⊆ φ (iii) φ ∈ φ
(iv) φ ⊆ E (v) φ ⊂ E (vi) φ = {φ}
(vii) φ ⊆ {φ} (viii) φ ⊆ A (ix) φ = {0}
Solution: (i) T, (ii) T, (iii) F, (iv) T, (v) T, (vi) F, (vii) T, (viii) T, (ix) F
Example 16: If A = {a, b, c}, is A a subset of A?
Solution: Yes
If A = {Money, Banking, Public Finance}
And, B = {x: x = All subjects in Economics}
Then, A ⊆ B.
Also, the empty set is a subset of every set.
Thus, φ ⊆ A for any set A.
It means all elements of φ are elements of A. And φ has no elements at all.
The following examples will make the concept clear:
If A = {2, 4, 6, 8, 10} and B = {Even integers}, then A ⊆ B.
Set {1, 2} is a proper subset of {1, 2, 3}.
Self-Instructional
Material 13
Set Theory Set Identities
Table 1.1 represents the set identities.
Table 1.1 Set Identities
NOTES Identity Law
A ∪ φ = A, where φ = Null set Identity laws
A ∪ µ = A, where µ = Universal set
A ∪ µ =µ Domination laws
A ∪ φ =φ
A ∪ A =A Idempotent laws
A ∩ A =A
(Ac)c = A Complementation law
A∪B=B∪A Commutative laws
A∩B=B∩A
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) Distributive laws
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ B)
(A ∩ B)c = Ac ∪ Bc De Morgan’s laws
(A ∪ B)c = Ac ∩ Bc
Self-Instructional
14 Material
1.4.7 Minset and Maxset Set Theory
Let U be a universal set and {A1, A2, …, An} be a set of subsets of U. Then,
the set of the form B1 ∩ B2 ∩…∩ Bn where Ai may be either the set Bi or its
complement Aci, is called a minset generated by Ai’s for all i.
NOTES
For example, let A1= {2, 5, 7} and A2 = {2, 4, 5} be two subsets of the set
U = {2, 3, 4, 5, 6, 7}. The set A may be partitioned as shown below:
B1 = A1 ∩ A′2 = {2, 5, 7} ∩ {3, 6, 7} = {7}
Similarly,
B2 = A1 ∩ A2
= {2, 5, 7} ∩ {2, 4, 5} = {2, 5}
B3 = Ac1 ∩ A2 = {3, 4, 6} ∩ {2, 4, 5) = {4}
B4 = Ac1 ∩ Ac2 = {3, 4, 6} ∩ {3, 6, 7} = {3, 6}
The following figure shows that none of the sets B1, B2, B3 and B4 contains
common elements and hence the set generated by A1 and A2 is the partition of
the set U.
Self-Instructional
Material 15
Set Theory
1.5 PROPERTIES OF SET OPERATIONS
Elements of this set are ordered pairs, the first component of which is an element
of the first set (in this case R) and second component is an element of second set
(in this case S).
NOTES
Example 26: If A = {1,2,3}and B ={a, b}, then
A × B = {(1,a),(1,b),(2,a), (2,b), (3,a), (3,b)}.
Example 27: Let A, B, C be any three sets. Prove that,
A ∩ (B – C) = ( A ∩ B) – (A ∩ C).
Solution: (A ∩ B) – (A ∩ C) = (A ∩ B) ∩ (A ∩ C)′
= (A ∩ B) ∩ (A′ ∪ C′)(By De Morgan’s law)
= [(A ∩ B) ∩ A′] ∪ [(A ∩ B) ∩ C′] (By Distributive law)
≡ [(A ∩ A′) ∩ B] ∪ [(A ∩ B) ∩ C′] (By Associative law)
≡ [φ ∩ B] ∪ [A ∩ (B ∩ C′)]
≡ φ ∪ [A ∩ (B ∩ C′)]
≡ A ∩ (B ∩ C′)
≡ A ∩ (B – C).
Example 28: For any sets A and B, show that
(A – B) ∪ (B – A) = (A ∪ B) – (A ∩ B).
Solution: (A ∪ B) – (A ∩ B) = (A ∪ B) ∩ (A ∩ B)′
= (A ∪ B) ∩ (A′ ∪ B′) (By De Morgan’s Law)
= [(A ∪ B) ∩ A′] ∪ [(A ∪ B) ∩ B′] (By Distributive Law)
= [(A ∩ A′) ∪ (B ∩ A′)] ∪ [(A ∩ B′) ∪ (B ∩ B′)]
= [φ ∪ (B ∩ A′)] ∪ [(A ∩ B′) ∪ φ]
= (B ∩ A′) ∪ (A ∩ B′)
= (B – A) ∪ (A – B)
= (A – B) ∪ (B – A). (By Commutative Law)
1 0
0 0
1 1
0 1
0 1
(a) (b)
1 0 1 0
0 0
1 1
0 0 0
0
0 0 Error correction by
complementing 0 to 1
One bit in error when transmitted (d)
(c)
Fig. 1.5 Venn Diagrams with Data Bits
When data is transferred an error has occurred which is shown in (c) part of
the figure. It is noted that error has occurred in data bit and no other bit has
been affected. To detect an error, numbers of 1’s are noted. In the figures
above, it is noted that there is an error of one bit as shown in the part (d) of
the figure and this is corrected. Much complex analysis is performed and these
are all based on set theoretic concept.
The following examples will help you understand the applications of set theory.
If A is a finite set, then you shall denote the number of elements in A by
n(A). If A and B are two finite sets, then it is very clear from the Venn diagram of
A – B that,
Self-Instructional
Material 19
Set Theory n(A – B) = n(A) – n(B ∩ A)
Suppose A and B are two finite sets such that A ∩ B = φ. Then clearly, the
number of elements in A ∪ B is the sum of number of elements in A and B the
number of elements in B.
NOTES
i.e., n(A ∪ B) = n(A) + n(B) if A ∩ B = φ
To find the number of elements in A ∪ B, in case A ∩ B ≠ φ, you have to
proceed as follows:
You know that for any two sets A and B
A ∪ B = A ∪ (B – A)
Here, A ∩ (B – A) = φ
Therefore, n(A ∪ B) = n(A) + n(B – A)
= n(A) + n(B) –n(A ∩ B)
Note: From the definition of empty set, it follows that n(φ) = 0.
So, the following has been proved.
‘If A and B are two finite sets, then
n(A ∪ B) = n(A) + n (B) –n(A ∩ B)
Similarly, if A, B, C are three finite sets, then
n(A ∪ B ∪ C) = n(A ∪ B) + n(C) – n[(A ∪ B) ∩ C]
= n(A) + n(B) – n(A ∩ B) + n(C) – n[(A ∪ B) ∩ C]
= n(A) + n(B) + n (C) – n(A ∩ B) –n[(A ∩ C) ∪ (B ∩ C)]
= n(A) + n(B) + n(C) – n(A ∩ B) – [n (A ∩ C)
+ n(B ∩ C) – n[(A ∩ C) ∩ (B ∩ C )]
= n(A) + n(B) + n(C) – n(A ∩ B) –n(A ∩ C) – n(B ∩ C)
+ n(A ∩ B ∩ C) as A ∩ C ∩ B ∩ C = A ∩ B ∩ C
Now you can use these two results in the following problems.
Example 29: In a recent survey of 400 students in a school, 100 were listed as
smokers and 150 as chewers of gum; 75 were listed as both smokers and gum
chewers. Find out how many students are neither smokers nor gum chewers.
Solution: Let U be the set of students questioned. Let A be the set of smokers,
and B the set of gum chewers.
Then, n(U) = 400, n(A) = 100, n(B) = 150, n(A ∩ B) = 75
We want to find out n(A′ ∩ B′)
Now, A′ ∩ B′ = (A ∪ B)′ = U – (A ∪ B)
Therefore,
n(A′ ∩ B′) = n [U – (A ∪ B)]
= n(U) – n[A ∪ B) ∩ U]
= n(U) – n(A ∪ B)
= n(U) – n(A) – n(B) + n(A ∩ B)
Self-Instructional
20 Material
= 400 – 100 – 150 + 75 Set Theory
= 225
Example 30: Out of 500 car owners investigated, 400 owned Fiat cars and 200
owned Ambassador cars; 50 owned both Fiat and Ambassador cars. Is this data NOTES
correct?
Solution: Let U be the set of car owners investigated. Let A be the set of those
persons who own Fiat cars, B the set of persons who own Ambassador cars; then
A ∩ B is the set of persons who own both Fiat and Ambassador cars.
n(U) = 500, n(A) = 400, n(B) = 200, n(A ∩ B) = 50
Therefore, n(A ∪ B) = n(A) + n(B) – n(A ∩ B)
= 400 + 200 – 50
= 550
This exceeds the total number of car-owners investigated.
So, the given data is not correct.
Example 31: In a certain government office there are 400 employees. There are
150 men, 276 university graduates, 212 married persons, 94 male university
graduates, 151 married university graduates, 119 married men and 72 married
male university graduates. Find the number of single women who are not university
graduates.
Solution: Let, U = Set of employees
A = Set of men
B = Set of married persons
C = Set of university graduates
Then, A ∩ B = Set of married men
A ∩ C = Set of male university graduates
B ∩ C = Set of married university graduates
A ∩ B ∩ C = Set of married male university graduates
Now n(U) = 400, n(A) = 150, n(B) = 212, n(C) = 276, n(A ∩ B) = 119,
n(A ∩ C) = 94, n(B ∩ C) = 151, n(A ∩ B ∩ C) = 72
You have to find out n(A′ ∩ B′ ∩ C′)
Now, (A′ ∩ B′ ∩ C′) = (A ∪ B ∪ C)′ = U – (A ∪ B ∪ C)
Therefore,
n(A′ ∩ B′ ∩ C′) = n(U) – n[(A ∪ B ∪ C) ∩ U]
= n(U) – n[A ∪ B ∪ C]
= n(U) – [n(A) + n(B) + n(C) – n(A ∩ B) – n(A ∩ C)
– n(B ∩ C) + n(A ∩ B ∩ C)]
= 764 – 710 = 54.
So, the number of single women who are not university graduates is 54.
Self-Instructional
Material 21
Set Theory Example 32: A market research group conducted a survey of 1000 consumers
and reported that 720 consumers liked product A and 450 consumers liked product
B. What is the least number that must have liked both products?
Solution: Let, U = Set of consumers questioned
NOTES
S = Set of consumers who liked product A
T = Set of consumers who liked product B
Then, S ∩ T = Set of consumers who liked both products
Now, n(U) = 1000, n(S) = 720, n(T) = 450
Therefore, n(S ∪ T) = n(S) + n(T) – n(S ∩ T)
= 1170 – n(S ∩ T)
So, n(S ∩ T) = 1170 – n(S ∪ T)
Now, n(S ∩ T) is least when n(S ∪ T) is maximum. But S ∪ T ⊆ U implies that
n(S ∪ T) ≤ n(U)
This implies maximum value of n( S ∪ T) is 1000.
So, least value of n(S ∩ T) = 170.
Hence, the least number of consumers who liked both products is 170.
Example 33: Out of 1000 students who appeared for C.A. Intermediate
Examination, 750 failed in Maths, 600 failed in Accounts and 600 failed in Costing,
450 failed in both Maths and Accounts, 400 failed in both Maths and Costing,
150 failed in both Accounts and Costing. The students who failed in all the three
subjects were 75. Prove that the above data is not correct.
Solution: Let, U = Set of students who appeared in the examination
A = Set of students who failed in Maths
B = Set of students who failed in Accounts
C = Set of students who failed in Costing
Then, A ∩ B = Set of students who failed in Maths and Accounts
B ∩ C = Set of students who failed in Accounts and Costing
A ∩ C = Set of students who failed in Maths and Costing
A ∩ B ∩ C = Set of students who failed in all three subjects
Now, n(U) = 1000, n(A) = 750, n(B) = 600 n(C) = 600, n(A ∩ B) = 450,
n(B ∩ C) = 150, n(A ∩ C) = 400, n(A ∩ B ∩ C) = 75.
Therefore, n(A ∪ B ∪ C) = 750 + 600 + 600 – 450 – 150 – 400 + 75
= 1025.
This exceeds the total number of students who appeared in the examination.
Hence, the given data is not correct.
Example 34: In a survey of 100 families, the number that read recent issues of a
certain monthly magazine were found to be: September only 18, September but
not August 23; September and July 8; September 26; July 48; July and August 8;
none of the three months 24. With the help of set theory, find
Self-Instructional
22 Material
(i) How many read August issue? Set Theory
Self-Instructional
Material 23
Set Theory So, n[(A ∩ B) ∪ (B ∩ C)] = n(A ∩ B) + n(B ∩ C) – n(A ∩ B ∩ C)
= 3 + 8 – 3 = 8.
Again C – B = Set of those families that read the July issue but not the August
issue.
NOTES
Then, n(C – B) = n(C) – n(B ∩ C)
= 48 – 8 = 40.
Now, (A ∩ B) – C = Set of those families that read the September and August
issues but not July.
So, n[(A ∩ B) – C] = n(A ∩ B) – n(A ∩ B ∩ C)
=3–3=0
Therefore, (A ∩ B) – C = φ.
Hence, there is no family that read both the September and August issue but
not the July issue.
Example 35: A factory inspector examined the defects in hardness, finish and
dimensions of an item. After examining 100 items he gave the following report:
All three defects 5, defects in hardness and finish 10, defects in dimension and
finish 8, defects in dimension and hardness 20. Defects in finish 30, in hardness
23, in dimension 50. The inspector was fined. Why?
Solution: Suppose H represents the set of items which have defect in hardness, F
represents the set of items which have defect in finish and D represents the set of
items which have defect in dimension.
Then, n(H ∩ F ∩ D) = 5, n(H ∩ F) = 10, n(D ∩ F) = 8
n( D ∩ H) = 20, n(F) = 30, n(H) = 23, n(D) = 50
So, n(H ∪ F ∪ D) = 30 + 23 + 50 –20 – 10 – 8 + 5 = 70
Now, n(D ∪ F) = n(D) + n(F) – n(D ∩ F)
= 50 + 30 – 8 = 72
D ∪ F ⊆ D ∪ F ∪ H implies n(D ∪ F) ≤ n(D ∪ F ∪ H) i.e., 72 ≤ 70.
Hence, there is an error in the report and for this reason inspector was fined.
Example 36: In a survey of 100 families the numbers that read the most recent
issues of various magazines were found to be as follows:
Readers Digest 28
Readers Digest and Science Today 8
Science Today 30
Readers Digest and Caravan 10
Caravan 42
Science Today and Caravan 5
All the three Magazines 3
Using set theory, find
(i) How many read none of the three magazines?
Self-Instructional
24 Material
(ii) How many read Caravan as their only magazine? Set Theory
(iii) How many read Science Today if and only if they read Caravan?
Solution: Let, S = Set of those families that read Science Today
R = Set of those families that read Readers Digest NOTES
C = Set of those families that read Caravan.
(i)You have to find n(S′ ∩ R′ ∩ C′)
Let U = Set of the families questioned.
Now, S′ ∩ R′ ∩ C′ = (S ∪ R ∪ C)′
= U – (S ∪ R ∪ C)
Therefore, n(S′ ∩ R′ ∩ C′)= n(U) – n(S ∪ R ∪ C)
= 100 – n(S ∪ R ∪ C)
Now, n(S ∪ R ∪ C) = 30 + 28 + 42 – 8 – 10 –5 + 3 = 80.
So, n(S′ ∩ R′ ∩ C′) = 100 – 80 = 20.
(ii) You have to find n[C – (R ∪ S)]
Now, n[C – (R ∪ S)] = n(C) – n[C ∩ (R ∪ S)]
= n(C) – n[(C ∩ R) ∪ (C ∩ S)]
= n(C) – n(C ∩ R) – n(C ∩ S) + n(C ∩ R ∩ S)
= 42 – 10 – 5 + 3
= 30.
(iii) You have to find n[(S ∩ C) – R]
Now, n[(S ∩ C) – R] = n(S ∩ C) – n(S ∩ C ∩ R)
= 5 – 3 = 2.
Example 37: In a survey conducted of women it was found that:
(i) There are more single than married women in South Delhi.
(ii) There are more married women who own cars than unmarried women
without them.
(iii) There are fewer single women who own cars and homes than married
women without cars and without homes.
Is the number of single women who own cars and do not own homes greater
than number of married women who do not own cars but own homes?
Solution: Let, A = Set of married women
B = Set of women who own cars
C = Set of women who own homes
Then, the given conditions are:
(i) n(A′) > n (A)
(ii) n(A ∩ B) > (A′ ∩ B′)
(iii) n(A ∩ B′ ∩ C′) > n( A′ ∩ B ∩ C)
We want to find n(A′ ∩ B ∩ C′) and n(A ∩ B′ ∩ C)
Self-Instructional
Material 25
Set Theory Let U = Set of all women questioned.
Now, A′ = A′ ∩ U = A′ ∩ (B ∪ B′) = (A′ ∩ B) ∪ (A′ ∩ B′)
A = A ∩ U = A ∩ (B ∪ B′) = (A′ ∩ B) ∪ (A ∩ B′)
NOTES So, n(A′) = n(A′ ∩ B) + n(A′ ∩ B′)
n(A) = n(A ∩ B) + n(A ∩ B′).
By condition (i), we have:
n(A′ ∩ B) + (A′ ∩ B′) > n(A ∩ B) + n (A ∩ B′)
And by the condition (ii), we have:
n(A′ ∩ B) + n (A′ ∩ B′) > n(A ∩ B) + n(A ∩ B′) > n(A′ ∩ B′) + n(A ∩ B′)
Therefore,
n(A′ ∩ B) > n (A ∩ B′).
Also, A′ ∩ B = (A′ ∩ B) ∩ (C ∩ C′)
= (A′ ∩ B ∩ C) ∪ (A′ ∩ B ∩ C′).
And, A ∩ B′ = (A ∩ B′) ∩ ( C ∪ C′)
= (A ∩ B′ ∩ C) ∪ (A ∩ B′ ∩ C′)
So, n(A′ ∩ B) = n(A′ ∩ B ∩ C) + n(A′ ∩ B ∩ C′).
n(A ∩ B′) = n(A ∩ B′ ∩ C) + n(A ∩ B′ ∩ C′).
This gives, using the condition (iii),
n(A ∩ B ∩ C) + n(A′ ∩ B ∩ C′) > n(A ∩ B′ ∩ C ) + n(A′ ∩ B ∩ C)
i.e., n(A′ ∩ B ∩ C′) > n(A ∩ B′ ∩ C).
So, the number of single women who own cars and do not own a home is
greater than the number of married women who do not own cars but own homes.
The concept of relation is studied between the elements of two sets. If A and B
are two sets which are not empty(non-void) sets, then the relation R from set A to
set B is represented as a R b, where a represents elements belonging to set A and
b represents elements of set B.
It may be noted that the any relation from set A to set B is a subset of the
Cartesian product of sets A and B.
It may be concluded from above that Relation from set A to set B can be
defined as a set of ordered pairs (a, b) where a represents some elements belonging
to set A and b elements of set B conforming to a rule.
Example 38
Consider set A and B as
A = {1, 2, 3}
B = {a,b,c}
Self-Instructional
26 Material
Then one of the relations between Set A and B from A to B can be: Set Theory
1 a
2 b
3 c
Self-Instructional
28 Material
Application of property of transitivity we can conclude that Set Theory
x1 ~ x2.
Now let y be an elemnet of E1. It implies that y ~ x1. By application of property of
transitivity it can be stated that y ~ x2. Therefore, it can be concluded that E1 is a NOTES
subset of E2 and E2 is a subset of E1. Therefore
E1 = E2. Hence proved.
1.7.4 Partitions
A partition of set X is a collection of non-empty subsets of X which are disjoint
and whose union together is complete X. That is collection of subsets X1, X2,
X3...... such that
(a) Xi ≠ φ for i = 1, 2, 3 .......
(b) Xi ∩ Xj= φ for all i ≠ j
(c) X1 ∪ X2 ∪ X3 ∪ ..... = X
It can be noted that a partition, as the name suggests, divides a set X into pieces
and each subset defined above is a partition of the set X.
Theorem 2: The equivalence classes of a relation form a partition of set X.
Proof: Consider an equivalence relation R on X, and we know that equivalence
class cannot be empty and from above definition we know that if
(x,y) ∈ R and then [x]R ∩ [y]R= φ.
Further for an element x ∈ X , it has been shown that x ∈ [x] R. Therefore,
union of all such equivalence classes covers X.
Theorem 3: A partition of a set X forms the equivalence relation (x,y) Î R if and
only if there is an i such that x,y Î Xi.
Proof of the theorem is left for the reader to prove as an exercise.
(Hint: Show relation R is reflexive, symmetric, and transitive. The equivalence
classes of this relation are the sets Xi).
Above two theorems combined together indicate that partition of a set
and equivalence classes of the set are same. Therefore:-
(a) Every equivalence relation partitions its set into equivalence classes.
(b) Every partition creates an equivalence relation.
Functions are the special types of relations. Functions form a very basic concept
NOTES of set theory because functions are utilised to depict a given problem and solving
the function forms the solution of the problem.
A well defined gives a unique output for each input. Every function is
defined for a set of inputs called its Domain. The domain of a function corresponds
to set of possible outputs called the Range.
A function or mapping from set A to set B is a ‘method’ that pairs elements
of set A with unique elements of set B and you denote f : A → B to indicate
that f is a function from set A to set B.
B is called the codomain of the function f and A is called its domain. Also, for
each element a of A, f defines an element b of B. Write it as a f(a) or
a b, a ∈ A, b ∈ B.
For example,
(i) The relation f = {(1, d), (2, c), (3, a)} from A = {1, 2, 3} to
B = {a, c, d} is a function from A to B. The domain of f is A and the
codomain of f is B.
(ii) The relation f = {(a, b), (a, c), (b, d)} from A = {a, b} to B = {b, c, d}
is not a function.
Range of function: Let f : A → B be a function. The range of the function
R(f)={f (a : a ∈ A}. (Note that R (f ) ⊆ B).
Notes:
1. From above example: R(f ) is {d, c, a},
2. Let f : R → R+ be f(x) = x2 (R+, the set of positive real numbers). Clearly,
f is a function whose domain is the set of real numbers and the co-domain
is the set of positive real numbers.
R( f ) = {x2: x ∈ R} = {1, 4, 9,.....}
Let f : A → B be a function f is said to be:
• One-to-one (1–1) function: If x 1 ≠ x 2 then, f(x 1 )≠ f(x 2 ),
∀ x1, x2 ∈ A.
or
Whenever f(x 1) = f(x2) then, x1 = x2. This function is also known
as injective function.
• Onto surjective function: If for every element y in the codomain
B, atleast one element x in the domain A such that f (x) = Y.
or
If R( f ) = Codomain B.
• Bijective function: If f is both 1–1 and onto function.
Self-Instructional
30 Material
• Constant function: If every element of the domain is mapped to Set Theory
a f b b=f a
NOTES A B
g f
X
y =g(x) g = f[g)x)]
A B C
g f
fog
Self-Instructional
32 Material
Solution: Both f o g and g o f are defined. Further, Set Theory
Formal logic is a set of rules used in deductions which are self evident. Logic
NOTES assumes something that can be True or False.
1.9.1 Mathematical Logic
One of the main aims of mathematical logic is to provide rules. The rules of logic
give precise meaning to mathematical statements and distinguish between valid
and invalid mathematical arguments. In addition, logic has numerous applications
in computer science. These rules are used in the design of computer circuits,
construction of computer programs, verification of the correctness of programs,
and in many other ways.
Propositions: A proposition is a statement to which only one of the terms, true
or false, can be meaningfully applied.
The value of a proposition if true is denoted by 1and if false is denoted by 0.
Occasionally they are also denoted by the symbols T and F.
The following are propositions:
(i) 4 + 2 = 6
(ii) 4 is an even integer and 5 is not.
(iii) 5 is a prime number.
(iv) New Delhi is the capital of India.
(v) 2 ∈ { 1, 3, 5, 7}
(vi) 42 ≥ 51
(vii) Paris is in England.
Of the above propositions, (i)–(iv) are true whereas (v)–(vii) are false.
The following are not propositions:
(i) Where are you going? (ii) x + 2 = 5
(iii) x + y < z (iv) Beware of dogs
The expressions (i) and (iv) are not propositions since neither is true or false. The
expression (ii) and (iii) are not propositions, since the variables in these expressions
have not been assigned values and hence they are neither true or false.
Note: Letters are used to denote propositions just as letters are used to denote variables.
The conventional letters used for this purpose are p, q, r, s, …
Self-Instructional
34 Material
Set Theory
or compound propositions. These logical operators are also called connectives.
Conjunction (AND): If p and q are propositions, then the proposition ‘p and q’,
denoted by p ∧ q, is true when both p and q are true and is false otherwise. The
proposition p ∧ q is called the conjunction of p and q. NOTES
Example 45: Find the conjunction of the propositions p and q where p is the
proposition ‘Today is Sunday’ and q is the proposition ‘It is raining today’.
Solution: The conjunction of these two propositions is p ∧ q, the proposition,
‘Today is Sunday and it is raining today’.
Example 46: Let p be ‘Ravi is rich’ and let q be ‘Ravi is happy’. Write each of the
following in symbolic form:
(i) Ravi is poor but happy.
(ii) Ravi is neither rich nor happy.
(iii) Ravi is rich and unhappy.
Solution:
(i) ~ p ∧ q (ii) ~ p ∧ ~ q (iii) p ∧ ~ q
Disjunction (OR): If p and q are propositions, then disjunction p or q, denoted
as p ∨ q, is false when p and q are both false and true otherwise. The proposition
p ∨ q is called the disjunction of p and q.
Note that connectives ~ and ∧ defined earlier have the same meaning as the
words ‘not’ and ‘and’ in general. However, the connective ∨ is not always the
same as the word ‘or’ because of the fact that the word ‘or’ in English is commonly
used both as an ‘exclusive or’ and as an ‘inclusive or’. For example, consider the
following statements:
(i) I shall watch the movie on TV or go to cinema.
(ii) There is something wrong with the fan or with the switch.
(iii) Ten or twenty people were killed in the fire today.
In statement (i), the connective ‘or’ is used in the exclusive sense; that is to
say, one or the other possibility exists but not both. In (ii) the intended meaning is
clearly one or the other or both. The connective ‘or’ used in (ii) is the ‘inclusive
or’. In (iii) the ‘or’ is used for indicating an approximate numbr of people, and it
is not used as a connective. From the definition of disjunction it is clear that ∨ is
‘inclusive or’.
Negation (NOT): If p is a proposition, its negation not p is another proposition
called the negation p. The negation of p is denoted by ~ p. The proposition ~ p is
read ‘not p’.
Alternate symbols used in the literature are p, p and ‘not p’.
Note that a negation is called a connective although it only modifies a statement.
In this sense, negation is the only operator that acts on a single proposition.
Self-Instructional
Material 35
Set Theory Example 47: Find the negation of the propositions:
(i) It is cold.
(ii) Today is Sunday.
NOTES (iii) Ravi is poor.
Solution: The negation of the propositions are:
(i) It is not cold.
(ii) Today is not Sunday.
(iii) Ravi is not poor.
Conditional operator (if … then): Let p and q be propositions. The implication
p → q is false when p is true and q is false and true otherwise. In the implication,
p is called the premise or hypothesis and q is called the consequence or conclusion.
Because implications arise in many places in mathematical argument, a wide variety
of terminology is used to express p → q. Some of the more common ways of
expressing this implication are:
(i) p implies q. (ii) if p, then q. (iii) q if p. (iv) p only if q.
(v) p is sufficient for q. (vi) q whenever p. (vii) q is necessary for p.
We shall avoid the word ‘implies’ since it might be used in different contexts.
Example 48: Let p denote ‘It is below freezing’ and let q denote ‘It is snowing’.
Write the following statements in a symbolic form:
(i) If it is below freezing, it is also snowing.
(ii) It is not snowing if it is below freezing.
(iii) It is below freezing is a necessary condition for it to be snowing.
Solution: Recall that p → q can be read ‘if p, then q’ or ‘p only if q’ or ‘q is
necessary for p’. Then (i) p → q (ii) p → ~ q (iii) q → p
Example 49: Let p and q be the propositions, where
p : You drive over 80 kms per hour.
q : You get a speeding ticket.
Write the following propositions in symbolic form:
(i) You will get a speeding ticket if you drive over 80 kms per hour.
(ii) If you do not drive over 80 kms per hour, then you will not get a speeding
ticket.
(iii) Driving over 80 kms per hour is sufficient for getting a speeding ticket.
(iv) Whenever you get a speeding ticket, you are driving over 80 kms per
hour.
Solution: (i) p → q (ii) ~ p → ~ q (iii) p → q (iv) q → p
Biconditional operator (if and only if): Let p and q be propositions. The
biconditional p ↔ q is true when p and q have the same truth values and is false
otherwise.
Self-Instructional
36 Material
Note that the biconditional p ↔ q is true when both the implications p → q and q Set Theory
→ p are true. So ‘p if and only if q’ is used for biconditional. Other common ways
of expressing the proposition p ↔ q or p = q are ‘p is necessary and sufficient for
q’ and ‘if p then q, and conversely’.
NOTES
Each of the following theorems is well known, and each can be symbolized in
the form p ↔ q:
(i) Two lines are parallel if and only if they have the same slope.
(ii) Two triangles are congruent if and only if all three sets of corresponding
sides are congruent.
Example 50: Let p denote ‘He is poor’ and let q denote ‘He is happy’. Write
each of the following statement in symbolic form using p and q:
(i) To be poor is to be unhappy.
(ii) He is rich if and only if he is unhappy.
(iii) Being rich is a necessary and sufficient condition to being happy.
Solution:
(i) p ↔ q (ii) ~ p ↔ q (iii) ~ p ↔ q
1.9.3 Equivalence Formula
Two propositions are logically equivalent or simply equivalent if they have exactly
the same truth values under all circumstances. We can also define this notion as
follows:
The propositions p and q are called logically equivalent if p ↔ q is a tautology..
The equivalence of p and q is denoted by p ⇔ q.
Notes:
1. One way to determine whether two propositions are equivalent is to use a truth table.
In particular, the propositions p and q are logically equivalent if and only if the
columns giving their truth values agree.
2. Whenever we find logically equivalent statements, we can substitute one for another
as we wish, since this action will not change the truth value of any statement.
Self-Instructional
Material 37
Set Theory Table 1.2 Logical Equivalences
Equivalence Name
1. p ⇔ (p ∨ p) Idempotents of ∨
NOTES 2. p ⇔ (p ∧ p) Idempotents of ∧
3. (p ∧ q) ⇔ (q ∨ p) Commutativity of ∨
4. (p ∧ q) ⇔ (q ∧ p) Communtativity of ∧
5. (p ∨ q) ∨ r ⇔ p ∨ (q ∨ r) Associativity of ∨
6. (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r) Associativity of ∧
7. ~ (p ∨ q) ⇔ ~ p ∧ ~ q De Morgan’s law 1
8. ~ (p ∧ q) ⇔ ~ p ∨ ~ q De Morgan’s law 2
9. p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r) Distributive of ∧ over ∨
Self-Instructional
38 Material
Set Theory
Self-Instructional
40 Material
Set Theory
1.11 SUMMARY
Self-Instructional
Material 41
Set Theory • Every function is defined for a set of inputs called its Domain. The domain
of a function corresponds to set of possible outputs called the Range.
• In mathematics, a function is a relation between a set of elements called the
domain and another set of elements called the codomain.
NOTES
• The mathematical function describes the dependence between two quantities.
One of the quantity being known and is termed as the independent variable,
argument of the function, or its ‘input’ while the second quantity is produced
and is termed as the dependent variable, value of the function, or ‘output’.
• The function can be defined in various ways using a formula, by a plot or
graph, by an algorithm that computes it, or by a description of its properties.
• A proposition is a statement to which only one of the terms, true or false,
can be meaningfully applied.
• Logical operators are used to form new propositions or compound
propositions.
1.12 KEYWORDS
Self-Instructional
44 Material
12. Find whether each of the following functions from {1, 2, 3, 4} to itself is 1–1. Set Theory
(i) f(1) = 2; f(2) = 1; f(3) = 3; f(4) = 4
(ii) f(1) = 2; f(2) = 2; f(3) = 4; f(4) = 3
(iii) f(1) = 4; f(2) = 2; f(3) = 3; f(4) = 4.
13. Show that p is equivalent to the following formulae: NOTES
~ p → p ∧ p → p ∨ p → p ∨ (p ∧ p) p ∧ (p ∨ q) (p ∧ q) ∨ (p ∧ ~ q)
(p ∨ q) ∧ (p ∨ ~q)
14. Which of the following propositions generated by p, q and r are equivalent
to one another?
(i) (p ∧ r) ∨ q (ii) p ∨ (r ∨ q) (iii) r ∧ p (iv) ~ r ∨ q
(v) (p ∨ q) ∧ (r ∨ q) (vi) r → p (vii) r ∨ ~ p (viii) p → r
Munkres, James R. 1987. Topology a First Course. New Delhi: Prentice Hall of
India.
Dugundji, James. 1975. Topology. New Delhi: Prentice Hall of India.
Simmons, George F. 1963. Introduction to Topology and Modern Analysis.
US: McGraw Hill Inc.
Munkres, James R. 2011. Topology, 2nd edition. New Delhi: PHI Learning Pvt.
Ltd.
Basener, William F. Topology and Its Applications. New Jersey: John Wiley &
Sons, Inc.
Bourbaki, Nicolas. 1966. General Topology: Elements of Mathematics, Volume
2. United States: Addison-Wesley.
Kelley, John L. 1975. General Topology. New York: Springer-Verlag.
Willard, Stephen. 2004. General Topology. United States: Dover Publications.
Self-Instructional
Material 45
Set Theory and
Number System
UNIT 2 SET THEORY AND
NUMBER SYSTEM
NOTES
Structure
2.0 Introduction
2.1 Objectives
2.2 Construction of Number System
2.2.1 The Naive Approach
2.2.2 The Axiomatic Approach
2.3 Set of Real Numbers
2.3.1 Axioms of Real Numbers
2.3.2 Summary of Properties of Algebraic Operations on Real Numbers
2.4 Positive and Negative Real Numbers
2.4.1 Set of Integers Z
2.4.2 Section of Integers
2.4.3 Well Ordering Property
2.4.4 Strong Induction Principle
2.4.5 Archimedean Ordering Property
2.5 Cartesian Product of Sets
2.5.1 Cartesian Product of Functions
2.5.2 Cartesian Product of Two Sets
2.6 Finite and Infinite Sets
2.7 Countable and Uncountable Sets
2.8 Answers to Check Your Progress Questions
2.9 Summary
2.10 Key Words
2.11 Self Assessment Questions and Exercises
2.12 Further Readings
2.0 INTRODUCTION
For any study of topology it is essential that basic logical and mathematical concepts
be studied and understood. In the previous unit we have discussed elementary
concepts of set theory towards study of logical concepts. In this unit we will discuss
the basic mathematical concepts required for our study of Topology, i.e., the
Number System.
You will study axioms of real numbers, Absolute value or modulus and
Interval notation. You will understand positive and negative real numbers discussing
set and section of integers, well ordering property, Archimedean ordering property
and strong induction principle. You will describe Cartesian product of sets
mentioning Cartesian square and power, infinite products, Cartesian product of
functions and two sets. You will analyse various types of sets, such as finite, infinite,
countable and uncountable sets.
Self-Instructional
46 Material
Set Theory and
2.1 OBJECTIVES Number System
There are two ways of understanding and building the concepts of Number system.
The Naive approach and the Axiomatic approach.
2.2.1 The Naive Approach
In this Naive Set Theory approach is to build the Real number system from the
basics of set theory. In this approach each type of number system is assumed to
be a set. Properties of the set are assumed and the reasons for such assumptions
are stated. However, this approach is more based on logical understanding and
less on mathematical concern.
2.2.2 The Axiomatic Approach
A second way of approaching the study of number system is to assume that the
number systems exist with certain unambiguously stated properties. Then it is
essential to prove these properties. In other words it is required that the number
system be described by some axioms and then prove these axioms. In this chapter
we will follow this approach. We will state few axioms for the real number system
and then prove the properties.
Self-Instructional
Material 47
Set Theory and The classification of the set of all real numbers is shown in Figure below.
Number System
Real Numbers
NOTES
Rational Numbers Irrational Numbers
1 1
∴ a c b c Association
c c
∴ a .1 = b.1
∴ a=b
7. If a + b = 0, then b = – a
Proof: – a + (a + b) = – a + 0
∴ (– a + a) + b = – a + 0
∴ 0+b =–a+0
∴ b = – a.
1
8. If ab = 1, a ≠ 0, then b =
a
Self-Instructional
50 Material
Set Theory and
1 1 Number System
Proof: (ab) = 1 .
a a
1 1
∴ b a 1 NOTES
a a
1
∴ b ⋅1 = 1 ⋅
a
1
∴ b
a
9. b(–a) = – (ab).
10. (–a) (– b)= ab.
11. a(b –c) = ab – ac
Proof: a(b – c) = a[b + (–c)]
= a . b + a(–c)]
= ab – ac.
12. a – 0 = a.
13. a + a =2a.
a c ac
14. if b 0, d 0.
b d bd
15. –(a + b) = – a – b.
16. b + (a – b) = a.
a –a a
17. – – .
b b –b
a b a b
18. .
c c c
19. – a + (– a) = (–2) . a
b
=
20. If b = ax, then x , a≠0
a
21. (ab)–1 = a–1 b–1 , i.e., the reciprocal of the product is the product of the
reciprocals.
Proof: (ab) (a–1 b–1) = a[b (a–1 b–1)] = a[bb–1)a–1]
= a [1 . a–1] = a . a–1 = 1. Hence, the result.
a c
22. If= a c, b ≠ 0
, then=
b b
Self-Instructional
Material 51
Set Theory and 23. – (a + b) = (–a) + (– b)
Number System
24. (x – a) (x + a) = x2 – a2
25. (a – b)2 = a2 + 2ab +b2
NOTES 2. The Axioms of Order: A field is said to be ordered if it satisfies the
properties of trichotomy, transitivity, addition and multiplication. This means
that real numbers can be thought of as being arranged on the number line.
A real number a is positive if a > 0 and negative if a < 0.
Zero is neither positive nor negative.
If a, b are real then a < b if and only if b > a.
There are six axioms of an ordered field.
Let a, b, c be real numbers.
(i) The Axiom of Trichotomy
If a, b are real then one and only one of the following statements is
true: a < b, a = b, a > b
(ii) The Axiom of Transitivity
If a > b and b > c then a > c
If a < b and b < c then a < c
(iii) The Axiom of Addition
If a > b then a + c > b + c
(iv) The Axiom of Multiplication
If a > b and c > 0 then ac > bc
(v) The Axiom of Extent: If a < b there exist real numbers c, d such
that
c < a, b < d
(vi) The Axiom of Density: If a < b there exists a real number c such
that
a<c<b
Thus, between any two real numbers, however close to each other, there is
always a real number.
26. a > b if and only if – a < – b
Proof: a > b :. a + [(– a) + – (b)] > b + [(– a) + (– b)]
:. [a + (– a)] + (–b) > (b + (– b)] + (–a)
:. 0 + (– b) > 0 + (– a) or – b > – a.
27. If a > 0, then – a < 0.
28. If a > 0 and b > 0, then ab > 0
29. If a > b and c > d, then a + c > b + d.
Self-Instructional
52 Material
Proof: a + c > b + c, b + c > b + d. Set Theory and
Number System
:. a + c > b + d.
30. If a > b and c < 0, then ac < bc
Proof: a (–c) > b(– c) NOTES
:. – ac > – bc
:. ac < bc.
An inequality is reversed if we multiply both sides by the same negative
number.
Thus – 5 > – 7 gives 7 > 5 or 5 < 7
Absolute Value or Modulus: Some quantities like price, demand, supply never
take negative values while other quantities like profit, utility, etc., may be either
positive or negative. Often we need to use quantity regardless of its sign. It is
called the absolute value of the quantity.
The absolute value of a real number a is denoted by | a |. Thus | – 2 | = 2, |2
| = 2. The absolute value of a real number a is defined by the following conditions.
|a| = a if a > 0
|a| = – a if a < 0
|a| = 0 if a = 0
The square of the absolute value of a number is the square of the number.
|a|2 = |a2| ,|–a|2 = a2
31. For every a, | – a | ≤ a ≤ |a|
32. |ab| =|a| |b| Thus |5.3| = | 5 | | 3 | =15.
33. |a + b| ≤ | a | +| b |. Thus |5 + 3| ≤ | 5 | + | 3 | = 8.
and |5 + (–3)| < | 5 | +| –3 | is < 8.
34. | a | ≥ a for every a.
35. | – a | = | a | for every a.
36. Let a > 0 then | x| < a if and only if – a < x < a.
Proof: If x > 0 then –a < x, i.e., |x| < a when – a < x < a
If x < 0 then – a < x, i.e., if |x| < a then – a < x < 0 (refer Figure below)
Combining we get – a < x < a
| x | < a implies – a < x < a
–a 0 +a
|x|<a
Since 1.7 < 1.73 < 1.732 < ... < 3 , i.e., each value is less than 3 and
none equals 3 . We say 3 is an upper bound of the set.
{1.7, 1.73, 1.732,...}
There are other upper bounds but 3 is the best. It is the least upper
bound.
An upper bound t of a set is said to be the least upper bound if no upper
bound is less than t.
A lower bound v is the greatest lower bound if no lower bound is greater
than v.
The set of positive integers has no upper bound.
The set of negative integers has no lower bound.
Interval Notation: An interval is a special type of point set. Since there are an
infinite number of real numbers between any two real numbers, intervals of real
numbers are also infinite sets.
A closed interval is written [a, b] or a ≤ x ≤ b where a < b. The end points
a, b of a closed interval are elements of the interval, i.e., a, b belong to the
interval. Thus x can take the values a, b and all the values between a, b.
An open interval is written (a, b) or a < x < b where a < b. The end
points a, b do not belong to the interval. Here x can take any values between the
numbers a, b.
A partially open, i.e., half open, half closed interval is written a < x ≤ b or
(a, b].
A partially open, i.e., half closed; half open interval is written a ≤ x < b or
[a. b).
An interval a ≤ x ≤ b where a = b is called a degenerate interval. It reduces
to a single point on a line.
An interval a ≤ x ≤ b where a > b is called a null interval. The null interval
contains no points. For example, 4 ≤ x ≤ 0 is null since both the inequalities 4 ≤
x and x ≤ 0 cannot be satisfied for any number x.
An interval may be bounded or unbounded. If an interval contains all points
less than a certain number b, it is said to be unbounded from below. It is written –
Self-Instructional ∞ < x ≤ b in the closed form and written ∞ < x < b in the open form.
54 Material
If an interval contains all points more than a certain number a, it is said to Set Theory and
Number System
be unbounded from above. It is written a ≤ x < ∞ in the closed form and written
a < x < ∞ in the open form.
If a, b are given numbers, an interval a ≤ x ≤ b is said to be bounded.
NOTES
If an interval extends to infinity on either side it is said to be unbounded and
written –∞ < x < ∞.
2.3.2 Summary of Properties of Algebraic Operations on Real
Numbers
Let a, b, c be real numbers.
Properties of +
(i) The sum a + b is unique Closure and Uniqueness
(ii) a + b = b + a Commutation
(iii) (a + b) + c = a + (b + c) Association
(iv) a + 0 = a for all a Identity
(v) a + (–a) = 0 for all a Inverse
Properties of ×
(i) The product a . b is unique Closure and Uniqueness
(ii) a . b = b . a Commutation
(iii) (a . b) c = a (b . c) Association
(iv) a . 1 = a for all a Identity
1
(v) a . =1 for all a ( ≠ 0) Inverse
a
Properties of =
(i) a = a Reflexivity
(ii) a = b implies b = a Symmetry
(iii) a = b and b = c implies a = c Transitivity
Properties of <
(i) One and only one of the following
is true: a = b, a < b, b < a Trichotomy
(ii) If a < b and b < c then a < c Transitivity
(iii) If a < b then a + c < b + c Addition
(iv) If a < b and c > 0 then ac < bc Multiplication
(v) For real a, b however close
there exists a real c such that
a<c<b Density
Similarly for properties of >, the same will be the properties but with > symbol.
Self-Instructional
Material 55
Set Theory and
Number System
Check Your Progress
1. What is the real number system?
NOTES 2. What are the various groups of the axioms of the real number system?
3. What is a field in set theory?
4. State the axiom of order.
5. What do you understand by absolute value of the quantity?
6. What is the axiom of completeness?
Let us define number p ∈ R if p > 0 and to be negative if p < 0. The set of all
positive real Numbers is denoted as R+ and the set of all real non-negative real
numbers as Ř+.
2.4.1 Set of Integers Z
Before we define the set of integers, let us define an inductive set. A set X of real
numbers is said to be inductive if it satisfies following two properties:-
(a) Number 1 ∈ X.
(b) If x ∈ X, then x + 1 also ∈ X
Let us assume a set X comprising of all inductive subsets of R, then Z+; a set of all
positive integers; is collection of all elements of X. This can be proved because R+
is inductive, since it has 1 as element and the property that if x > 0 then x + 1 > 0
means that x + 1 is an element of R+ for all x.
Therefore Z+ is a subset of R+.
It implies that the elements of Z+ are all positive and the least number is 1.
Therefore, it is an inductive set. From this we now define Z the set of integers as a
set whose elements are 0 (zero), all elements of Z+ and negatives of all elements of
set Z+. Following can be proved for the set of integers Z:-
(a) Addition, subtraction and multiplication of integers would result in an
integer.
(b) Division of integers may or may not result in an integer.
(c) For any integer x, there is no integer y which is x < y < x+1.
2.4.2 Section of Integers
Let n be a positive integer and let Sn denote the set of all positive integers less than
n, then Sn is called a section of positive integers. Therefore, elements of Sn are all
integers from 1 to N-1.
Self-Instructional
56 Material
2.4.3 Well Ordering Property Set Theory and
Number System
Theorem 1: It states that every non-empty subset of Z+ has a smallest element.
Proof: Let X be a set which is subset of Z+ and has no least number. It implies that
integer 1 ∉ X, since otherwise it would have been the least integer of X. Now, let NOTES
Y be a set of positive integers which is = Xc. Then 1 must belong to Y. Let us
assume n a positive integer such that all integers ≤ n ∈ Y. It can be stated that n +
1 must belong to X since it is complement of Y. However, then n+1 should be the
least element of X, since all positive integers less than N+1 are elements of Y. This
is contradictory to our first assumption, thus it can be concluded that X is an
empty set.
2.4.4 Strong Induction Principle
Theorem 2: If X is a set of positive integers and if Sn ⊂ Z+ means that n ∈ X, , then
X = Z+.
Proof : Let us state that X ≠ Z+. Let m be the smallest positive integer that is not in
X. So m ∉ X. Then every positive integer less than m is in X. From definition of
section of positive integers it implies that Sm ⊂ X. Then in accordance with the
hypothesis m ∈ X which is contrary to assumption. Therefore It implies that
X = Z+.
2.4.5 Archimedean Ordering Property
It states that the set Z+ does not have an upper bound in the set of Real
Numbers R.
Proof: Let us assume that Z+ has an upper bound. Since Z+ ⊂ R, from property 7
it implies that it has a least upper bound, let it be ‘u’. Then there is a positive
integer n such that it is greater than u – 1, otherwise u would not be upper bound.
Then n + 1 > u which cannot be true. Therefore Z+ does not have an upper bound.
Self-Instructional
Material 57
Set Theory and For example, A = {1, 2}, B = {a, b, c}
Number System
A × B = {(1, a), (2, a), (1, b), (2, b), (1, c), (2, c)}
B × A = {(a, 1), (a, 2), (b, 1), (b, 2), (c,1), (c, 2)}
NOTES (Clearly A × B ≠ B × A)
Note: You can represent the Cartesian product as a rectangular array having n
rows and m columns labelled in order as a1, a2, ..., an and b1, b2,...,bn
respectively.
In the field of mathematics, product of two sets is known as Cartesian product.
It is in fact, a direct product for these two sets. The name of such a product
bears the name of René Descartes who formulated analytic geometry. Cartesian
product of two sets A, which is a set of points on x-axis, and B, which is set
of all points on y-axis, is given as A × B. It shows a set of ordered pairs having
first component that belongs to set A and second component belonging to set
B and it represents the entire x – y plane. A Cartesian product is mathematically
shown as:
A × B = {(x, y) | x ∈ A and y ∈ B}
A pack playing cards contains 52 elements having four sets as club, hearts,
diamond and spade, with each containing 13 elements, 2, 3, 4, 5, 6, 7, 8, 9,
10, Jack, Queen, King and Ace. Thus, there are two sets, one set having four
suits and each suit is a set of thirteen elements, and the corresponding Cartesian
product contains 13 × 4 = 52 elements of all possible playing cards
{(2, Spade), (3, Spade), ..., (Ace, Spade), (2, Hearts), ..., (King, Club), (Ace,
Club)}.
A table can represent Cartesian product of two finite sets where one is the set
of rows whereas another is the set of columns. This forms ordered pairs that
refer to cells in this table. An element of set is located in a cell by mentioning
row and column number. Cartesian products of two sets are not commutative
as you find in cases product of two numbers. This can happen only when two
input sets are the same.
Let there be four sets M, N, P and Q.
Cartesian product is commutative when sets of two inputs are the same. If
different, they are not commutative since ordered pairs are reversed and even
if same elements are there, pairing differs.
M× φ≠φ× M
Also, if there are two equal sets M and N and M = N, then
NOTES
M×N=N×M
Cartesian product is not associative: This fact is expressed mathematically
as follows:
(M × N) × P ≠ M × (N × P)
It shows an n-tuples set. If these tuples are in form of ordered pairs in a nested
structure, then these are given as (A1 × ... × An – 1) × An.
Cartesian Square and Cartesian Power
Cartesian square of a set P is a binary Cartesian product P2 = P × P. For
example, if R represents a set of real numbers, two-dimensional plane can be
shown as R2 = R × R and all points or any point as an ordered pair of (x, y)
where x ∈ R and y ∈ R. This, in fact, denotes a coordinate system in two
dimensions.
Cartesian power of a set P is defined as:
Pn = P × P × P × …. × P = {(x1, x2, ….. xn) | x1∈P ∧ x2∈P ∧ x3∈P ∧
…. ∧ xn∈P}
….. n times
Self-Instructional
Material 59
Set Theory and If you take the example of a set of real numbers R, then Rn is the general case
Number System
and R3 = R × R × R is the case of a three-dimentional plane.
Infinite Products
NOTES You can define a Cartesian product for any number of sets when n becomes
very large, may be tending to infinity. If I denotes a set of index, then collection
of index set is given as {Xi | i ∈ I} indexed by I, then Cartesian product will
be:
∏ X { f : I → X | ( ∀i )( f (i) ∈ X )},
i∈I
i
i∈I
i i
Here, the set containing all functions has its definition on index set as a function’s
value corresponding to particular index i may be taken as an element that belongs
to Xi.
Also, in case of each j contained in I, you may show the projection as:
π j : ∏ Xi → X j ,
i∈I
∏ �
= ω = × × ...
n =1
This may be viewed as vector having infinite number of components in the set of
real numbers.
There is occurrence of Cartesian exponentiation of special case when all Xi
factors involved in the product are the same set X. In this case,
∏X =∏X
i∈I
i
i∈I
Denotes the set of all functions mapped from I to X. Such a situation is important
for studying cardinal exponentiation.
Seeing in the light of facts as presented for infinite Cartesian product, finite
Cartesian products are taken to be a special case. In such an interpretation, an
n-tuple is function on {1, 2, 3, 4, ..., n} assuming value at i as ith element of
the tuple.
Self-Instructional
60 Material
2.5.1 Cartesian Product of Functions Set Theory and
Number System
If function f is defined as f : X → Y and g as g : A → B, their Cartesian product
is defined as f × g : (X × A) → (Y × B) as,
(f × g) (a, b) = (f (a), g(b) NOTES
Such a definition may also get extended to tuples as well as collections of functions
tending to infinity.
2.5.2 Cartesian Product of Two Sets
Let A and B be two sets. The set of all ordered pairs (a, b) such that a ∈ A,
b ∈ B is called the Cartesian product of A and B and is denoted by A × B.
Notes:1. The ordered pair (a, b) is not the same as the set {a, b}.
2. Two ordered pairs (a, b) and (c, d) are equal if and only if a = c
and b = d.
3. For the ordered pair (a, b), a is called the first coordinate and b is
second coordinate.
For example, let A ={1, 2, 3}, B = {4, 5}. Then A × B = {(1, 4), (1, 5), (2, 4),
(2, 5), (3, 4), (3, 5)} and B × A = {(4, 1), (5, 1), (4, 2), (5, 2), (4, 3), (5, 3)}. This
shows that A × B ≠ B × A.
Example 1: Let A be any set. Then A × φ and φ × A are empty sets.
Solution: Suppose if possible A × φ be not empty.
Then, there is some x ∈ A × φ
By definition, x = (a, b) where a ∈ A, b ∈ φ.
This is absurd as φ is empty.
Hence, A × φ = φ. Similarly φ × A = φ.
Example 2: Let A, B, C be three sets. Then,
A × (B ∪ C) = (A × B) ∪ (A × C)
Solution: Let x ∈ A × (B ∪ C).
Then, x = (a, d) where a ∈ A, d ∈ B ∪ C
Now, if d ∈ B, then x ∈ A × B
and if d ∈ C, then x ∈ A × C
In any case, x ∈ (A × B) ∪ (A × C)
Therefore, A × (B ∪ C) ⊆ (A × B) ∪ (A × C)
Similarly, (A × B) ∪ (A × C) ⊆ A × (B ∪ C )
This proves the result.
Example 3: Let A, B, C be three sets. Then,
A × (B – C) = (A × B) – (A × C)
Self-Instructional
Material 61
Set Theory and Solution: Let (a, d) ∈ A × (B – C)
Number System
Then, a ∈ A, d ∈ B and d ∉ C
So, (a, d) ∈ A × B and (a, d) ∉ A × C
NOTES Therefore, (a, d) ∈ (A × B) – (A × C)
This proves A × (B – C) ⊆ (A × B) – (A × C).
To prove the other side containment we proceed as under:
Let, x ∈ (A × B) – (A × C)
Then, x is an element of A × B but it does not belong to A × C.
This means that x = (a, b) where a ∈ A, b ∈ B but b ∉ C,
Otherwise, x = (a, b) ∈ A × C
This implies that, b ∈ B – C.
Therefore, x ∈ A × (B – C)
Hence, (A × B) – (A × C) ⊆ A × (B – C).
Example 4: If the set A has m elements and the set B has n elements, how many
elements does A × B have?
Solution: Let a ∈ A. Then number of elements of A × B with first coordinate as
a is n. But a can be chosen in m ways. So, the number of distinct elements of
A × B is mn.
Example 5: If A = {1, 4}, B = {4, 5}, C = {5, 7}
Find (i) (A × B) ∪ (A × C) (ii) (A × B) ∩ (A × C)
Solution: (i) By Example 1.36, (A × B) ∪ (A × C) = A × (B ∪ C)
Now, B ∪ C = {4, 5, 7}
So, A × (B ∪ C) = {(1, 4), (4, 4), (1, 5), (4, 5), (1, 7 ), (4, 7}
= (A × B) ∪ (A × C)
(ii) Now, A × B = {(1, 4), (4, 4), (1, 5), (4, 5)},
A × C = {(1, 5), (1, 7), (4, 5), (4, 7)}
So, (A × B) ∩ (A × C) = {(1, 5), (4, 5)}.
Infinite and finite sets are intuitively understood as sets having infinite or finite
elements. However, certain aspects of these sets need to be discussed to a greater
length.
From previous section it can be remembered that if n is a positive integer
then section Sn is a set of all positive integers less than n. Intuitively Sn can be
understood as a finite set. A set X is called a finite set if there exists a bijective
correspondence of all elements of X with a subset of Z+.
Self-Instructional
62 Material
In other words, X is finite if, Set Theory and
Number System
(a) It is an empty set. Or
(b) There is a bijection function f : X →→ { 1, 2, ......, n}.
It can be noticed that in case of (a) above cardinality of X = 0 and in case NOTES
of (b) cardinality of x is n.
Lemma 1: Consider a set of positive integers X. Let xi be an element of set X.
Then there is a bijective function f of the set X to the set (1, 2, ......m } where m is
a positive integer; if and only if there is a bijective function f1 of the set X - {xi} with
the set {1, 2, ......m-1}.
Proof: In order to prove the above postulate let us begin by first assuming that a
bijective function f1 exists such that,
f1 : X – {xi} →→ {1, 2, .......m-1}.
Let there be a function f: X →→ {1, 2, .....m}
For all f(a) = f1(a) for all a ∈ X – {xi} and
f(xi) = m.
It can straight away be noticed that f is bijective. In order to prove the
converse, let there exist a bijective function f such that
f: X →→ {1, 2, .....m}
Now, if f maps xi to number integer m, then the condition f: X – { xi} is the
desired bijective function of f – { xi } with {1, 2, ....... m-1}.
Let f(xi) = n, and x1 be the point of X such that f(x1) = m. Then, xi ≠ x1.
Define a new function g : X →→ {1, 2, .....m} such that
g(xi) = m
g(x1) = n
g(x) = f(x) for all x ∈ X – { xi } – { x1}
From above it can be noted that g is a bijection function and the restriction
g : X – { xi } is the bijection of X – { xi } with { 1, 2, ......m-1}.
Intuitively it can be said that sets whose cardinality can be stated are countable
and the others are uncountable. However, there is a concept of countably infinite
sets that needs to be discussed here.
A set is said to be countably infinite if its elements can be put in one-to-
one correspondence with the set of positive integers Z+. For example a set of
integers given as {...-3, -2, -1, 0, 1, 2, 3, .....} is infinite but since we can count all
elements it is called as countably infinite set.
Self-Instructional
Material 63
Set Theory and Therefore, it can be stated that a set X is said to be countably infinite if
Number System
there exists a bijection function such that
f : X→→ Z+.
NOTES Taking the above example for the set of integers it can be seen that there
exists a bijection function f: Z →→ Z+ and it is defined as:
f(n) = 2n for all n > 0 and
f(n) = -2n + 1 for all n ≤ 0.
Thus a set X is said to be countable if it is either finite or countably infinite.
If the set is not countable then it is called uncounlable.
Theorem 3: Let X be a non-empty set. Then the following are equivalent.
(a) X is countable.
(b) There is a surjective function f : Z+ → → X.
(c) There is an injective function f1 : X → → Z+.
Proof: (a) → (b) If X is countably infinite, then there exists a bijection f :
Z+ →→ X. Therefore (b) is proven. If X is finite, then there is bijection function g
such that :
g : {1, . . . , m} → X for some m.
Then the function f : Z+ → → X can be exteneded to be given as:
f(i) = g(i) for 1 ≤ i ≤ n, and
f(i) = g(n) for i > n.
(b) → (c) Let f : Z+ → → X be a surjection, then we state that there
exists an injective function h: X → → Z+. We define
h(x) = smallest element of f-1 ({x})
Since f is surjective f-1 ({x}) is a non-empty set. Therefore, h is well defined.
Now if x ≠ x1 then the sets f-1 ({x}) ∩ f-1 ({x1}) = φ, which implies that
min-1 ({x}) ≠ min-1 ({x1}). Hence
f1(x) ≠ f1 (x1) and f1 : X → → Z+ is injective.
(c) → (a) Assume that f1 : X → → Z+ is an injection. We want to probe
that X is countable. By changing the range of f1, we have f1: X → f1 (X) which is a
bijection function of X. Now if we can prove that every subset of Z+ is countable
we can prove our theorem.
Lemma 2: If X is an infinite subset of Z+ then X is countably infinite.
Proof: Let X be an infinite subset of Z+. Then we define a function
g : Z+ → → X as follows. Let g(1) = smallest element of X. Since X is
infinite, it is a non-empty set. Therefore, function g: is well defined.
Now assuming g(1) .... g(m-1) are well defined we have
Self-Instructional
64 Material
g(m) = smallest element of { X : {g(1), . . . , g(m–1)}. Now since X is an Set Theory and
Number System
infinite set and { X : {g(1), . . . , g(m–1)} is a non-empty set, g(m) is well-defined.
Now, g(m + k) > g(m) for all m, k ∈ Z+.
By definition g(m + 1) > g(m) for all m ∈ Z+. NOTES
Then setting A = {k ∈ Z+: g(m + k) > g(m)} we note
1 ∈ A and if g(m+ (k – 1)) > g(m), then g(m + k) > g(m + (k – 1)) > g(m).
Therefore, A = Z+. Implies g(m + k) > g(m) for all m, k ∈ Z+.
Now assuming n,m ∈ Z+ and that n > m such that n = m + k. By the above
g(n) = g(m + k) > g(m) proving that g is an injection function. Next we prove that
g is a surjection. To do this we first show that g(m) ≥ m.
Let A = {m ∈ Z+ : g(m) ≥ m}. It can be seen that, 1 ∈ A. Now If x ∈ A, then
g(x + 1) > g(x) ≥ m so that g(x + 1) ≥ x + 1. Hence x + 1 ∈ A. Now by the
principle of mathematical induction A = Z+.
Now take x0 ∈ X. We have to show that g(y0) = x for some y0 ∈ Z+. If x0
= 1, then y0 = 1. So assume that x0 ≥ 2. Consider the set B = {x ∈ X| g(x) ≥ x0}.
Since g(x0) ≥ x0, the set B is non-empty and by well-ordering principle set B has
a smallest element.
Let y0 = the smallest element D. If y0 = 1, then g(y0) = smallest element of
X ≤ x0 ≤ g(y0). Thus g(y0) = x0. It may be safe to assume that x> smallest element
of X. Then g(y0) ≥ x0 > g(y0 – 1) > . . . > g(1). Therefore g(y0) = x0 implies that the
function g is a surjection.
Lemma 3: If two sets X and Y are countably infinite, then X × Y countably infinite.
Proof: X and Y are countably infinite, therefore there exists a surjective functions
f : Z+ → →X and f1 : Z+ → →Y. Let g : Z+ × Z+ → → X × Y by
F(x,y) = (f(x), f1(y)). The function F is surjective. Since Z+ × Z+ is countably
infinite, there is a bijection h : Z+ → → Z+ × Z+. Then G : Z+ × X × Y defined by
G = F • h is a surjection. Therefore the set X × Y is countable.
Lemma 4: A subset of a countable set is countable.
Proof: Let X be a countable set and let Y be a subset of X.
Then there exists an injective function f of X on Z+. Now the restriction of
the injective function f onto Y is an injection of Y on Z+.
Lemma 5: The set Z+ × Z+ is countable.
Proof: By the theorem proved above it would be adequate to define an injective
function f : Z+ × Z+ → → Z+.
Let f : Z+ × Z+ → → Z+ = f(x,y) = 2x 3y.
Let 2x 3y = 2k3l. If x < k, then 3y = 2k”x3l. The left hand side of this
equation is an odd number whereas the right hand side is an even number which is
not possible. Therefore x = k and 3y = 3l. Then also y = l. Hence f is injective.
Self-Instructional
Material 65
Set Theory and
Number System
Check Your Progress
11. Give definition of the Cartesian products.
NOTES 12. Give mathematical representation for the Cartesian product.
13. What is Cartesian square?
14. What is countably infinite set
2.9 SUMMARY
• The real number system may be defined as a complete, simply ordered
field.
• A field is a set of numbers which contains the sum, the difference, the product
and the quotient (except division by zero) of any two numbers in the set.
• A field is said to be ordered if it satisfies the properties of trichotomy,
transitivity, addition and multiplication.
• Let A and B be two sets. The Cartesian product of A and B is defined as:
A × B = {a, b)/a ∈ A; b ∈ B}
i.e., the set of all ordered pairs (ai, bj) for every ai ∈ A; bj ∈ B.
• A Cartesian product is mathematically shown as:
A × B = {(x, y) | x ∈ A and y ∈ B}
• A binary operation on a set R is a function that maps Cartesian product or
R with R onto R.
• Addition, subtraction and multiplication of integers would result in an integer.
Division of integers may or may not result in an integer.
• Let n be a positive integer and let Sn denote the set of all positive integers
less than n, then Sn is called a section of positive integers.
• Every non-empty subset of Z+ has a smallest element. This property is called
well ordering property.
• Archimedean Ordering Property states that the set Z+ does not have an
upper bound in the set of Real Numbers.
• A set is said to be countably infinite if its elements can be put in one-to-one
correspondence with the set of positive integers Z+.
• Thus a set X is said to be countable if it is either finite or countably infinite.
If the set is not countable then it is called uncounlable.
• If X is an infinite subset of Z+ then X is countably infinite
Self-Instructional
Material 67
Set Theory and
Number System 2.10 KEY WORDS
Munkres, James R. 1987. Topology a First Course. New Delhi: Prentice Hall of
India.
Dugundji, James. 1975. Topology. New Delhi: Prentice Hall of India.
Simmons, George F. 1963. Introduction to Topology and Modern Analysis.
US: McGraw Hill Inc.
Munkres, James R. 2011. Topology, 2nd edition. New Delhi: PHI Learning Pvt.
Ltd.
Basener, William F. Topology and Its Applications. New Jersey: John Wiley &
Sons, Inc.
Bourbaki, Nicolas. 1966. General Topology: Elements of Mathematics, Volume
2. United States: Addison-Wesley.
Kelley, John L. 1975. General Topology. New York: Springer-Verlag.
Willard, Stephen. 2004. General Topology. United States: Dover Publications.
Self-Instructional
Material 69
Infinite Sets
3.0 INTRODUCTION
The concept of finite and infinite sets was discussed in the previous unit. We know
that an infinite set is a set whose elements cannot be counted. It can also be said
that a set which does not have an upper bound is infinite. More formally, we have
studied that a set can be called infinite if it has a bijection with a proper subset of
itself or if it has countably infinite subsets. In this unit you will study about infinite
sets and infinite set theorem. You will discuss well-ordered sets with their properties
and examples and well-ordering theorem. The maximum principle, maximal element
and Zorn’s lemma are also explained in this unit.
3.1 OBJECTIVES
After going through this unit, you will be able to:
• Comprehend concept of infinite and finite sets
• Understand the importance of axiom of choice and its equivalence
• To state and prove the existence of choice function
• Understand the concept of totally ordered and partially ordered sets
• State and prove the well ordering theorem
• State and prove the maximum principle
Self-Instructional • Comprehend the equivalence of Zorn’s lemma and axiom of choice
70 Material
Infinite Sets
3.2 INFINITE SETS
If a set has an infinite number of elements it is an infinite set. The elements of such
a set cannot be counted by a finite number. A set of points along a line or in a plane NOTES
is called a point set. A finite set has a finite subset. An infinite set may have an
infinite subset.
Examples of infinite sets: A few examples of infinite sets are given below:
(a) A set X comprising of all points in a plane is an infinite set.
(b) Z = {……… -2, -1, 0, 1, 2, ……….} i.e. set of all integers is an infinite
set.
(c) Set of all positive integers which are multiple of 5 is an infinite set.
might be. In fact no axiom is required for such decisions, a simple rule is adequate.
Therefore, what the Axiom of Choice does by a consequence is that it ensures
existence of a rule or function that will meet the Choice.
NOTES
3.4.1 Existence of a Choice Function
Lemma. Let X be a non-empty collection of non-empty sets, then there exists a
function f such that it selects one member of each of the sets which are elements
of X.
f : X →→ U X for all X ∈ X, such that f(X) is an element of X
The function f is called choice function for X.
[Note the difference between this lemma and axiom of choice: sets are not required
to be disjoint]
Let X be an element of X. Then let XI = {(X,x) : x ∈ X).
In other words we have constructed XI as a collection of ordered pairs,
where the first element is the set X, and the second element is an element of X.
That is the set XI is a subset of the Cartesian product XI • U X for all X ∈ XI.
Since X is a collection of non-empty sets, means X has at least one element
x. Therefore, XI contains at least one element given as (X, x) implying it is non-
empty. It can now be seen that if XI1 and XI2 are two different sets belonging to X
then there corresponding elements (XI1, x1) and (XI2, x2) are different sice there
co-ordinates are different.
Now let us define another collection of sets Y such that
Y = { XI : X ∈ X];
Please note that Y by the definition above is a collection of disjoint nonempty
subsets of
XI • U X for all X ∈ XI
Now from the choice axiom we know that there exists a set Y consisting of
exactly one element from each element of Y. Now we need to prove that Y is the
rule for the desired choice function.
It can be seen that Y is a subset of XI • U X for all X ∈ XI.
Further, Y contains exactly one element from each set XI, therefore, for
each X ∈ X, the set Y contains only one ordered pair (X, x). Therefore, Y is the
rule for a function from the collection X to the set U X such that X ∈ X.
Also, if (X, x) ∈ Y, then x is an element of X, thus Y(X) is an element of X.
Let us recapitulate from Unit 1, that a binary relation R on a set X is a subset of the
NOTES product X × X. Also recollect that a relation will have many properties. We had
introduced few properties in unit 1. We will recapitulate them here and add a few
more which are relevant to our discussion. We may recall that a relation R, for
ease of denoting, is written as x R y for all x, y ∈ X.
3.5.1 Properties
(a) Reflexivity: x R x is true for all x ∈ X
(b) Symmetry: if x R y then y R x for all x ∈ X
(c) Antisymmetry: if x R y and y R x then x = y for all x, y ∈ X
(d) Asymmetry: if x R y then not y R x for all x, y ∈ X
(e) Transitivity: if x R y and y R z then x R z
(f) Connex or Comparability: either x R y or y R x.
Recall from unit 1 that any relation which is reflexive, symmetric and
transitive is called an equivalence relation. Now we define some more types.
A relation which is reflexive, transitive and antisymmetric is called a partial
order. A relation which is antisymmetric, transitive and comparable is called to be
a total order. It may be argued that comparability implies reflexivity. Therefore,
total order is a special type of partial order but partial order need not be total
order.
A set X along with a binary relation R is called totally ordered if the relation
R is a total order. Similarly a set X along with a binary relation R is called partially
ordered if R is a partial order.
Now let us consider a set Y which is a subset of a partial order X and
y ∈ Y is such that, for every element y1∈Y, y ≤ y1, then y is called the least element
of Y.
A set X which is totally ordered set is called well-ordered if its each non-
empty subset has a minimum element. It may be observed that every finite set with
a total order is well-ordered.
Example 3
Let us consider the Cartesian product of Z+ with the set {A, B}
Z+ X {a, b} = {a1, a2, a3, ...........b1, b2, b3..........}
Alphabetical ordering has been applied on the product set above. In
accordance with the alphabetical ordering it can be assumed that the element that
comes first, or that is to the left is smaller than the one which comes later or the one
that is on the right. It can be noticed that each non-empty subset of the above set
Self-Instructional
will have a smallest element.
74 Material
Example 4 Infinite Sets
The set of positive integers is well ordered. However, set of integers is not well
ordered because the subset containing negative integers does not have a smallest
element. NOTES
Example 5
Consider a set A = Z+ x Z+. As in example 1 above, the set A can be represented
by dictionary order of an infinite sequence of infinite sequences.
Consider set B to be a subset of A, and C be the subset of Z+ such that its
elements are all first coordinates of elements of set B. Now let c0 be the smallest
element of C. Then we have a set Y as a non-empty subset of Z+ given as:
{y : c0 x y} for all y belonging to B
Now if y0 is the smallest element of Y then by dictionary order c0 x y0 is the
smallest element of B. Therefore A is well ordered.
From the discussion above following can be summarised:-
(a) Every subset of a well-ordered set A is well-ordered for the restriction
of order on A.
(b) If set X and Y are well-ordered sets, then X × Y is well-ordered in the
dictionary order.
Theorem 2: Every nonempty finite ordered set has the order type of a section of
the set of positive integers Z+, so it is well ordered.
Proof: In order to prove the theorem we first show that every finite ordered set X
has a smallest element.
If X has only one element, then that element is the smallest. Now, let it be
true for a subset having m - 1 elements, then let set X have m number of elements
and assume element x0 belongs to X. Then the set X – {x0} has the smallest
element as x1 then the smaller of {x0, x1} is the smallest element of X.
Next we prove that there exists an order-preserving bijection of X with
{1, 2, ........m } for all m. Once again if X has one element, this proof is trivial.
Now let us assume that it is true for subsets having m-1 elements. Now assume xm
is the largest element of X. By definition there exists an order preserving bijection
such that g : X – {x}→→{1, 2, ...... m-1}
Define an order preserving bijection f: X →→{1, 2, ....... m} by letting
Self-Instructional
Material 75
Infinite Sets
3.6 WELL-ORDERING THEOREM
For any set X there exists an order relation on X which is well-ordering. This
NOTES theorem is also called Zermelo’s theorem and was proved by Zermelo in 1904. It
is equivalent to Axiom of Choice. In Georg Cantor’s opinion the well-ordering
theorem is unobjectionable principle of thought. There has been protracted
debate as to the correctness of the proof given by Zermelo. The concept of well
ordering any arbitrary uncountable set without any positive procedure has been
contested by many mathematicians. On close study of the proof given by Zermelo
it was found that the proof could be suspected only on one point, that involving the
choice axiom. As a consequence many scholars rejected the choice axiom.
However, over the years mathematicians have come to accept the proof and the
theorem.
Corollary: There exist an uncountable number of well-ordered sets.
Lemma:There exists a well ordered set X having a largest element L such that the
section SL of X by L is uncountable but every other section of X is countable.
Proof: Let us assume that set A is an uncountable and well-ordered set.
Let B = {1, 2} x A in the alphabetical order; then some section of B. Let L
be the smallest element of B for which the section of B by is uncountable. Then let
X have this set and L as its elements. It needs to be born in mind that SL is an
uncountable well-ordered set all sections of which are countable. It is called a
minimal uncountable well-ordered set. One of the very important properties of
this set is discussed in the next theorem.
Theorem 3: If X is a countable subset of SL, then X has an upper bound in SL.
Proof: Assume that set X is a countable subset of SL. For each x ∈ X, the Section
Sx is countable. Therefore, the union Y = U Sx for all x ∈ X, is also countable.
Now as SL is uncountable, the set Y does not include all elements of SL. Let p be
an element of SL that is not in Y. Then the element p is an upper bound for X, since
if p < x for any x ∈ X, then p belongs to Sx and hence to Y in contradiction of our
selection.
It may be recalled that the axiom of choice leads to the theorem that every set can
be well-ordered. The axiom of choice has other equivalences that are very important
and of lot of consequence for mathematicians. These are collectively called as the
Maximum Principles. In the early 20th Century mathematicians like M Zorn, S
Bochner and K. Kuratowslu, used the well-ordering theorem to prove these. It is
only later that it was understood that they were equivalent to the well-ordering
theorem.
Prior stating the Theorem and its proof, we will need to define a partial order.
Self-Instructional
76 Material
Definition: For any set X, a relation R is called a strict partial order on X if R is Infinite Sets
Consider a set X that is strictly partially ordered. If every simply ordered subset of
X has an upper bound in X, then X has a maximal element.
Proof: Zorn’s lemma can be easily understood in relation with the maximum principle;
i.e for a set X maximum principle implies that X has a maximal simply ordered
subset Y. The hypothesis of Zorn’s lemma tells us that Y has an upper bound m in
X. The element m is then automatically a maximal element of X. For if m n for
some element n of X, then the set Y U {n}, which properly contains Y, is simply
ordered because y n for every b ∈ Y. This fact contradicts maximality of Y..
3.10 SUMMARY
• Let X be a non-empty collection of non-empty sets, then there exists a
function f such that it selects one member of each of the sets which are
elements of X.
• Arelation which is reflexive, transitive and antisymmetric is called a partial order.
• A relation which is antisymmetric, transitive and comparable is called to be
a total order.
• Every subset of a well-ordered set A is well-ordered for the restriction of
order on A.
• There exist an uncountable number of well-ordered sets.
• If X is a countable subset of SL, then X has an upper bound in SL
• If set X and Y are well-ordered sets, then X x Y is well-ordered in the
dictionary order.
• Every nonempty finite ordered set has the order type of a section of the set
of positive integers Z+, so it is well ordered.
Self-Instructional
Material 79
Infinite Sets • For any set X there exists an order relation on X which is well-ordering.
• The axiom of choice has other equivalences that are very important. These
are collectively called as the Maximum Principles.
• For any set X, a relation R is called a strict partial order on X if R is Non-
NOTES
reflexive and Transitive.
• Zorn’s Lemma states that if every simply ordered subset of a strictly partially
ordered set X has an upper bound in X, then X has a maximal element.
4.0 INTRODUCTION
4.1 OBJECTIVES
The word topology is used for a family of sets having definite properties that are
used to define a topological space, a basic object of topology. Topological spaces
are mathematical structures that authorize the formal definition of concepts such
as convergence, connectedness and continuity. Hence, the branch of mathematics
that studies topological spaces is called topology.
Definition
A topological space is a set X together with τ, a collection of subsets of X, satisfying
the following axioms:
1. The empty set and X are in τ.
2. τ is closed under arbitrary union.
3. τ is closed under finite intersection.
The collection τ is called a topology on X. The elements of X are usually called
points, though they can be any mathematical objects. A topological space in which
the points are functions is called a function space. The sets in τ are called the open
sets and their complements in X are called closed sets. A subset of X may be
neither closed nor open, either closed or open, or both. A set that is both closed
and open is called a clopen set. The following are examples of topological sets:
• X = {1, 2, 3, 4} and collection τ = {{ }, {1, 2, 3, 4}} of only the two
subsets of X required by the axioms form a topology, the trivial topology
(indiscrete topology).
• X = {1, 2, 3, 4} and collection τ = {{ }, {2}, {1, 2}, {2, 3}, {1, 2, 3}, {1,
2, 3, 4}} of six subsets of X forms a topology.
• X = {1, 2, 3, 4} and collection τ = P(X) (the power set of X) form a third
topology, the discrete topology.
• X = Z, the set of integers and collection τ equal to all finite subsets of the
integers plus Z itself is not a topology, because the union of all finite sets not
containing zero is infinite but is not all of Z, and so is not in τ.
Self-Instructional
Material 83
Topological Spaces: Equivalent Definitions
An Introduction
There are various additional equivalent ways to define a topological space.
Consequently, each of the following defines a category equivalent to the category
NOTES of topological spaces above. For example, using De Morgan’s laws, the axioms
defining open sets above become axioms defining closed sets:
1. The empty set and X are closed.
2. The intersection of any collection of closed sets is also closed.
3. The union of any pair of closed sets is also closed.
Using these axioms, another way to define a topological space is as a set X together
with a collection τ of subsets of X satisfying the following axioms:
1. The empty set and X are in τ.
2. The intersection of any collection of sets in τ is also in τ.
3. The union of any pair of sets in τ is also in τ.
Under this definition, the sets in the topology τ are the closed sets and their
complements in X are the open sets. Topological space can also be defined using
the Kuratowski closure axioms, which define the closed sets as the fixed points of
an operator on the power set of X. A neighbourhood of a point x is any set that has
an open subset containing x. The neighbourhood system at x consists of all
neighbourhoods of x. A topology can be determined by a set of axioms concerning
all neighbourhood systems.
Various types of topologies can be placed on a set to form a topological
space. When every set in a topology τ1 is also in a topology τ2, we say that τ2 is
better than τ1 and τ1 is coarser than τ2. A proof that relies only on the existence of
certain open sets will also hold for any better topology and similarly a proof that
relies only on certain sets not being open applies to any coarser topology. The
collection of all topologies on a given fixed set X forms a complete lattice: if F =
{τá : α in A} is a collection of topologies on X, then the meet of F is the intersection
of F and the join of F is the meet of the collection of all topologies on X that
contain every member of F.
Continuous Functions
A function between topological spaces is called continuous if the inverse image of
every open set is open. A homeomorphism is a bijection that is continuous and
whose inverse is also continuous. Two spaces are called homeomorphic if there
exists a homeomorphism between them. From the standpoint of topology,
homeomorphic spaces are essentially identical.
Self-Instructional
84 Material
4.2.1 Examples of Topological Spaces Topological Spaces:
An Introduction
A given set may have many different topologies. If a set is given a different topology,
it is viewed as a different topological space. Any set can be given the discrete
topology in which every subset is open. The only convergent sequences in this NOTES
topology are those that are eventually constant. Also, any set can be given the
trivial topology also termed as the indiscrete topology in which only the empty set
and the whole space are open. Every sequence in this topology converges to
every point of the space. This example shows that in general topological spaces,
limits of sequences need not be unique. However, often topological spaces must
be Hausdorff spaces where limit points are unique.
There are many ways of defining a topology on R, the set of real numbers.
The standard topology on R is generated by the open intervals. The set of all open
intervals forms a base or basis for the topology, meaning that every open set is a
union of some collection of sets from the base. In particular, this means that a set
is open if there exists an open interval of non zero radius about every point in the
set. More generally, the Euclidean spaces Rn can be given a topology. In the usual
topology on Rn the basic open sets are the open balls. Similarly, C and Cn have a
standard topology in which the basic open sets are open balls. Every metric space
can be given a metric topology, in which the basic open sets are open balls defined
by the metric. This is the standard topology on any normed vector space. On a
finite dimensional vector space this topology is the same for all norms.
Many sets of linear operators in functional analysis are endowed with
topologies that are defined by specifying when a particular sequence of functions
converges to the zero function. Any local field has a topology native to it and this
can be extended to vector spaces over that field. Every manifold has a natural
topology since it is locally Euclidean. Similarly, every simplex and every simplicial
complex inherits a natural topology from Rn.
The Zariski topology is defined algebraically on the spectrum of a ring or an
algebraic variety. On Rn or Cn, the closed sets of the Zariski topology are the
solution sets of systems of polynomial equations. A linear graph has a natural
topology that generalizes many of the geometric aspects of graphs with vertices
and edges. The Sierpiñski space is the simplest non-discrete topological space. It
has important relations to the theory of computation and semantics.
There exist numerous topologies on any given finite set. Such spaces are
termed as finite topological spaces. Any set can be given the cofinite topology in
which the open sets are the empty set and the sets whose complement is finite.
This is the smallest T1 topology on any infinite set.
Any set can be given the cocountable topology, in which a set is defined as
open if it is either empty or its complement is countable. When the set is uncountable, Self-Instructional
Material 85
Topological Spaces: this topology serves as a counterexample in many situations. The cocountable
An Introduction
topology or countable complement topology on any set X consists of the empty
set and all cocountable subsets of X, i.e., all sets whose complement in X is
countable. It follows that the only closed subsets are X and the countable subsets
NOTES
of X. Every set X with the cocountable topology is Lindelöf, since every nonempty
open set omits only countably many points of X. It is also T1, as all singletons are
closed. The only compact subsets of X are the finite subsets, so X has the property
that all compact subsets are closed, even though it is not Hausdorff if uncountable.
The real line can also be given the lower limit topology. Here, the basic
open sets are the half open intervals [a, b). This topology on R is strictly finer than
the Euclidean topology defined above; a sequence converges to a point in this
topology if and only if it converges from above in the Euclidean topology. This
example shows that a set may have many distinct topologies defined on it.
If Γ is an ordinal number, then the set Γ = [0, Γ) may be endowed with the
order topology generated by the intervals (a, b), [0, b) and (a, Γ) where a and b
are elements of Γ.
Topological Constructions
Every subset of a topological space can be given the subspace topology in which
the open sets are the intersections of the open sets of the larger space with the
subset. For any indexed family of topological spaces, the product can be given the
product topology, which is generated by the inverse images of open sets of the
factors under the projection mappings. For example, in finite products, a basis for
the product topology consists of all products of open sets. For infinite products,
there is the additional requirement that in a basic open set, all but finitely many of
its projections are the entire space.
A quotient space is defined as follows:
If X is a topological space and Y is a set, and if f : X → Y is a surjective function,
then the quotient topology on Y is the collection of subsets of Y that have open
inverse images under f. In other words, the quotient topology is the finest topology
on Y for which f is continuous. A common example of a quotient topology is when
an equivalence relation is defined on the topological space X. The map f is then the
natural projection onto the set of equivalence classes.
The Vietoris topology on the set of all non-empty subsets of a topological
space X, named for Leopold Vietoris, is generated by the following basis:
For every n-tuple U1, ..., Un of open sets in X, we construct a basis set
consisting of all subsets of the union of the Ui that have non-empty intersections
with each Ui.
Self-Instructional
86 Material
4.2.2 Classification of Topological Spaces Topological Spaces:
An Introduction
Topological spaces can be generally classified up to homeomorphism by their
topological properties. A topological property is a property of spaces that is invariant
under homeomorphisms. To prove that two spaces are not homeomorphic find a NOTES
topological property not shared by them. Examples of such properties include
connectedness, compactness and various separation axioms.
Topological Spaces with Algebraic Structure
For any algebraic objects we can introduce the discrete topology, under which the
algebraic operations are continuous functions. For any such structure that is not
finite, we often have a natural topology compatible with the algebraic operations in
the sense that the algebraic operations are still continuous. This leads to concepts
such as topological groups, topological vector spaces, topological rings and local
fields.
Topological Spaces with Order Structure
• Spectral: A space is spectral if and only if it is the prime spectrum of a ring
(Hochster theorem).
• Specialization preorder: In a space the specialization (or canonical)
preorder is defined by x ≤ y if and only if cl{x} ⊆ cl{y}. Here cl denotes
canonical preorder.
Euclidean Spaces
For each n ∈ N, let R denote the set of all ordered n-tuples x = (x1, x2,..., xn),
where, x1,..., xn are real numbers, called the coordinates of x. The elements of Rn
will be called points or vectors and will always be denoted by letters, a, b, c, x, y,
z, etc. Let y = (y1, y2,..., yn) and let a be a real number. We define the addition of
vectors and multiplication of a vector by a real number (called scalar) as follows:
x + y = (x1 + y1,..., xn + yn); αx = (α x1,...,α xn).
These definitions show that x + y ∈ Rn and αx ∈ Rn. It is easy to see that
for these operations the commutative, associative and distributive laws hold and
thus Rn is a vector space over the real field R. The zero element of Rn (usually
called the origin or the null vector) is the point 0, all of whose coordinates are
zero.
The scalar product or inner product of two vectors x and y is defined by,
n
x, y = Σ xi yi ,
i =1
1/ 2 n 2
Also the norm of x is defined by x = ( x, x) = iΣ=1 xi
Self-Instructional
Material 87
Topological Spaces: The vector space Rn with the preceding inner product and norm is called Euclidean
An Introduction
n-space.
In the sequel, we shall need the following inequalities.
NOTES (i) If z1, z2,..., zn are complex numbers (or in particular real numbers), then
| z1 + z2 + ... + z n | ≤ | z1 | + | z 2 | +...+ | zn | .
If ai, bi(i = 1,...,n) are real numbers, then the above inequality
1/ 2 1/ 2
n
n
2 n
2
reduces to Σ ai bi ≤ Σ a i Σ bi
=i 1 =i 1 =i 1
Hence, by the definition of scalar product and norm, we at once obtain |x.y|
< |x| |y|.
Again using case (iv), we have
|x + y|2 = (x + y) . (x + y) = x.x + 2x.y + y.y
< |x|2 +2| x | | y | + | y |2 = (| x | + | y |)2
so that |x + y| < | x | + | y |. Thus case (v) is proved.
Finally, case (vi) follows from case (v) by replacing x by x – y and y by
y – z.
Self-Instructional
88 Material
Topological Spaces:
4.3 PROBLEMS An Introduction
Following examples will help you understand the concept of topological space.
Consider that if (X, τ) is a topological space then a set A ⊆ X is said to be open NOTES
if A ∈ τ and A is said to be closed if Ac ∈ τ. Furthermore, if A is both open and
closed, then we say that A is clopen. The following examples will help you to
identify the open, closed and clopen sets of a topological space (X, τ).
Example 1. Let X = {a, b, c, d} and consider that the topology,
τ ={∅, {c}, {a, b}, {c, d}, {a, b, c}, X}
What are the open, closed, and clopen sets of X with respect to this topology
space?
Solution: We find the solution as follows.
The open sets of X are those sets which form τ:
Open sets of X = {∅, {c}, {a, b}, {c, d}, {a, b, c}, X}
The closed sets of X are the complements of all of the open sets:
Closed sets of X = {∅, {a, b, d}, {c, d}, {a, b}, {d}, X}
The clopen sets of X are the sets that are both open and closed:
Clopen sets of X = {∅, {a, b}, {c, d}, X}
Example 2. Prove that if X is a set and every A ⊆ X is clopen with respect to the
topology τ then τ is the discrete topology on X.
Solution. Let X be a set and let every A ⊆ X be clopen. Then every A ⊆ X is
open, i.e., every subset of X is open.
Therefore, τ = P(X).
Hence, τ is the discrete topology on X.
Example 3. Consider the topological space ( , τ) where τ is the co-finite
topology.
(1) Determine whether the set of even integers is open, closed, and/or clopen.
(2) Determine whether the set \{1, 2, 3} is open, closed, and/or clopen.
(3) Determine whether the set{–1, 0, 1} is open, closed, and/or clopen.
Show that any nontrivial subset of is never clopen.
Solution: The co-finite topology τ is described by:
τ = {U ⊆ X : U = ∅ or Uc is finite}
We first consider the set of even integers which we denote by,
E = {..., –2, 0, 2, ...}
Then the Ec is considered as the set of odd integers, i.e.,
Self-Instructional
Material 89
Topological Spaces: Ec = {..., –3, –1, 1, 3, ...} which is an infinite set. Therefore E ∉ τ so E is
An Introduction
not open.
Furthermore, we have that (Ec) c = E is an infinite set and Ec ∉ τ so E is not
closed either.
NOTES
Now consider the set \{1, 2, 3}. We have that ( \{1, 2, 3})c =
{1, 2, 3} which is a finite set. Therefore \{1, 2, 3} ∈ τ, so \{1, 2, 3} is open.
Now consider the complement ( \{1, 2, 3})c = {1, 2, 3}. The complement
of this set is ({1, 2, 3})c = \{1, 2, 3} which is an infinite set.
Therefore, ({1, 2, 3})c ∉ τ.
Hence, \{1, 2, 3} is not closed.
Now we consider the set {–1, 0, 1}.
We have ({–1, 0, 1})c = \{–1, 0, 1} which is an infinite set.
Therefore, {–1, 0, 1}∉ τ so {–1, 0, 1} is not open.
Now consider the complement ({–1, 0, 1})c = \{–1, 0, 1}. The
complement of this set is {–1, 0, 1} is finite, thus ({–1, 0, 1})c ∈ τ. Hence,
{–1, 0, 1} is closed.
Finally, let A ⊆ be a nontrivial subset of , i.e., A ≠ ∅ and A ≠ .
Suppose that A is clopen. Then A is both open and closed. Hence by definition, A
and Ac are both open. Hence Ac and A are both finite. But =A ∩ Ac which
implies that is a finite set - which is absurd since the set of integers is an infinite
set. Hence A cannot be clopen.
Example 4. Draw the following points in Euclidean two-dimensional space:
(2, 1), (–1, –3), (–0.5, –1.5) and (–4, 6)
Solution: The above mentioned points can be drawn in Euclidean two-dimensional
space as shown in the figure below of Euclidean Graph
Self-Instructional
90 Material
Topological Spaces:
An Introduction
Check Your Progress
1. What do you understand by a topological space?
2. Define a function space. NOTES
3. What is a continuous space?
4. What is meant by homeomorphic space?
5. What is a spectral space?
6. Give definition for a specialization preorder.
4.5 SUMMARY
• The word topology is used for a family of sets having definite properties
that are used to define a topological space, a basic object of topology.
• Topological spaces are mathematical structures that authorize the formal
definition of concepts such as continuity, connectedness, and convergence.
Self-Instructional
Material 91
Topological Spaces: • A topological space in which the points are functions is called a function
An Introduction
space.
• A function between topological spaces is called continuous if the inverse
image of every open set is open.
NOTES
• The countable topology or countable complement topology on any set X
consists of the empty set and all countable subsets of X, i.e., all sets whose
complement in X is countable.
• The quotient topology is the finest topology on Y for which f is continuous.
• A space is said to be spectral if and only if it is the prime spectrum of a ring.
• The vector space with the preceding inner product and norm is known as
Euclidean n-space.
Munkres, James R. 1987. Topology a First Course. New Delhi: Prentice Hall of
India. NOTES
Dugundji, James. 1975. Topology. New Delhi: Prentice Hall of India.
Simmons, George F. 1963. Introduction to Topology and Modern Analysis.
US: McGraw Hill Inc.
Munkres, James R. 2011. Topology, 2nd edition. New Delhi: PHI Learning Pvt.
Ltd.
Basener, William F. Topology and Its Applications. New Jersey: John Wiley &
Sons, Inc.
Bourbaki, Nicolas. 1966. General Topology: Elements of Mathematics, Volume
2. United States: Addison-Wesley.
Kelley, John L. 1975. General Topology. New York: Springer-Verlag.
Willard, Stephen. 2004. General Topology. United States: Dover Publications.
Self-Instructional
Material 93
Order Topology
5.0 INTRODUCTION
In this unit, you will learn about product topological spaces, nets and filters. Product
topology is the topology on the Cartesian product X × Y of two topological spaces
whose open sets are the unions of subsets A × B, where A and B are open subsets
of X and Y, respectively. This definition extends in a natural way to the Cartesian
product of any finite number n of topological spaces. The product topology is also
called Tychonoff topology. An order topology is a certain topology that can be
explained on any totally ordered set. If X is a totally ordered set, the order
topology on X is generated by the subbase of “open rays”. A topological
space X is known as orderable if there exists a total order on its elements such
that the order topology induced by that order and the given topology on X coincide.
Nets are used in general topology and analysis to instill non-metrizable topological
spaces with convergence properties. Filters are also used to define convergence
and are a generalization of nets.
5.1 OBJECTIVES
Definition. A topology defined on a totally ordered set X whose open sets are all
the finite intersections of subsets of the form,
Or,
Where .
The order topology of the real line is the Euclidean topology. The order
topology of is the discrete topology, since for all ,
is an open set.
Definition. If X is a simply ordered set, then there is a standard topology for X,
defined using the order relation termed as ‘Order Topology’.
Assume that X is a set having order relation <. Given a < b ∈ X, then there
are four subsets of X termed as intervals determined by a and b as follows:
Self-Instructional
Material 95
Order Topology
5.3 THE PRODUCT TOPOLOGY ON X × Y
X := ∏ X i
i∈I
pα 1 (U α 1 ) ∩ ..... ∩ pα 1 (U α 1 ) ⊆ G .
−1 −1
γ∈
Hence there are open sets Sα, α ∈I, such that γ ∈ Πα Sα ⊆ G and where Sα
= Xα except possibly for at most a finite number of values of α in I. This means
that G can differ from X in at most a finite number of components.
Now let us consider the second candidate for a topology on X. Let be
the topology on X with base given by the sets of the form Πα Vα, where Vα ∈ Tα
for α ∈I. Thus, a non empty set G in X belongs to if and only if for any point x
in G there exist Vα ∈ Tα such that
Self-Instructional
Material 97
Order Topology X ∈ Πα Vα ⊆ G.
Here there is no requirement that all but a finite number of the Vα are equal
to the whole space Xα.
NOTES Definition: The topology on the Cartesian product ΠαXα constructed in this way
is called the box-topology on X and is denoted Tbox.
In general, is strictly finer than the product topology, Tprod.
Theorem 1: A net (xλ) converges in (ΠαXα, Tprod) if and only if (pα(xλ)) converges
in (Xα, Tα) for each α ∈I.
Theorem 2: Suppose that is any collection of subsets of a given set X satisfying
the finite intersection property. Then there is a maximal collection containing
and satisfying the finite intersection property, i.e., if
⊆ ′and if ′ satisfies the finite intersection property, then ′⊆ . Furthermore,
i. If A1,….., An ∈ , then A1 ∩ .... ∩ An ∈ , and
ii. If A is any subset of X such that A ∩ D ≠ φ for all D ∈ , then A ∈ .
Proof: As might be expected, we shall use Zorn’s lemma. Let denote the
collection of those families of subsets of X which contain and satisfy the finite
intersection property. Then ∈ , so is not empty. Evidently, is ordered by
set-theoretic inclusion. Suppose that φ is a totally ordered set of families in . Let
A =
∈φ
. Then ⊆ A, since ⊆ , for all ∈ φ. We shall show that A satisfies
the finite intersection property .To see this, let S1,…, Sn ∈A. Then each Si is an
element of some family i that belongs to φ. But φ is totally ordered and so there
is i0 such that i ⊆ i for all 1 ≤ i ≤ n. Hence S1∩….. ∩ Sn ≠ φ since i0 satisfies
0
the finite intersection property. It follows that A is an upper bound for φ in .
Hence, by Zorn’s lemma, contains a maximal element, , say.
i. Now suppose that A1, …., An ∈ and let B = A1 ∩ .... ∩ An. Let ' =
∪ {B}. Then any finite intersection of members of ' is equal to a finite
intersection of members of . Thus ' satisfies the finite intersection property.
Clearly, ⊆ ', and so, by maximality, we deduce that ' = . Thus
B ∈ .
ii. Suppose that A ⊆ X and that A ∩ ≠ φ for every D ∈ . Let ' = ∪
{A}, and let D1,…., Dm ∈ '. If Di ∈ , for all 1 ≤ i ≤ m, then D1 ∩ ... ∩
Dm ≠ φ since satisfies the finite intersection property. If Di ∈ A and some
Dj ≠ A, then D1 ∩ ... ∩ Dm has the form D1 ∩ ... ∩ Dk ∩ A with D1 ∩ ... ∩
D k ∈ . By (i), D 1 ∩ ... ∩ D k ∈ and so, by hypothesis,
A ∩ (D1 ... ∩ Dk) ≠ φ. Hence ' satisfies the finite intersection property
and, again by maximality, we have ' = and thus A ∈ .
Self-Instructional
98 Material
We are now ready to prove Tychonov’s theorem which states that the Order Topology
( )
pα−1n U α n ∈ .
( ) ( )
x ∈ pα−11 U α1 ∩,....., pα−1m U α m ⊆ G.
Self-Instructional
Material 99
Order Topology But we have shown that for any D ∈ ,
( ) ( )
D ∩ pα−11 U α1 ∩,....., pα−1m U α m ≠ φ and therefore D ∩ G ≠ φ. We deduce
∈ . Thus, F
∈
F ≠ φ since it contains x. The result follows.
= πY
λ
λ where Y = G and Y = X whenever λ ≠ β that is π
β β λ λ β
−1
(Gβ) = X1 × X2 ×
...× Xβ−1 × Gβ × Xβ+1....× ...
Self-Instructional
100 Material
Definition: For each λ in an arbitrary index set Λ, let (Xλ, Tλ) be a topological Order Topology
space and let X = πλ X λ . Then the topology T for X, which has a subbase the
{ }
collection B* = π β−1 (Gλ ); λ ∈ ∧ and Gλ ∈ Tλ is called the product topology or NOTES
Tichonov topology for X and (X, T) is called the product space of the given spaces.
The collection B* is called the defining subbase for T. The collection B of all
finite intersection of elements of B* would then form the base for T.
X = πλ X λ .
X β if β ≠ {α 1 , α 2 ,..., α m}
πβ(A) = G if β ∈ {α , α ,..., α }
β 1 2 m
Solution:
X × Y = {(a, u), (a, v), (b, u), (b, v), (c, u), (c, v)} is the product set on
which the product topology is defined. The defining subbase B* is the class of
π −x 1 ( X ) π y (Y ) = X × Y,
−1
π −x 1 (φ ) = π −x 1 (φ ) = φ
Self-Instructional
Material 103
Order Topology
Then π λ −1 (Gλ ) is V-open for every Gλ ∈Tλ. Since V is a topology for X, V
contains all the unions of finite intersections of members of the collection { π λ −1 (Gλ ) ;
NOTES λ ∈ Λ and Gλ ∈Tλ}.
⇒ V contains T that is T is coarser than V. Thus T is the smallest topology
for X such that πλ is T– Tλ continuous for each λ ∈ Λ.
Conversely, let B* be the collection of all sets of the form π λ −1 (Gλ ) where
Then Vj is an open subset of Xj and so V is an open subset (in fact a member of the
standard subbase) in the product topology on X. Evidently πj(x) ∈ Vj and so x ∈
V. Moreover, C ∩ V = φ since πj(C) ∩ πj(V) = φ. So V ⊂ X – C. Thus, X – C is
a neighbourhood of each of its point. Therefore, X – C is open and C is closed
in X.
Self-Instructional
Material 105
Order Topology
5.5 SUMMARY
Self-Instructional
106 Material
• Tychonov’s theorem: It states that the product of compact topological Order Topology
6.0 INTRODUCTION
6.1 OBJECTIVES
Therefore,
C(Α)∩C(Β) = {1} where A∩B = φ
But C(φ) = φ. Therefore C (A∩B) = φ and thus C (A∩B) ≠ C(Α)∩C(Β).
Note: The closed sets are simply the sets which are fixed under the closure operator.
[( ) ]= (∪ G )
C* ∪
λ
Gλ
C
λ
λ
C
By (K ) (∪ G ) ⊆ C* [(∪ G ) ]
C C
2 λ λ
λ λ
C* ∪
λ
[( ) ] ⊆ (∪ G )
Gλ
C
λ
λ
C
C* ∩
λ
[
(Gλ ) C
] ⊆ ∩(G )
λ
λ
C
Since ( ∩
λ
(Gλ ) ) ⊆ ( (Gλ )C ) for each particular λ.
C
C*[ ∩
λ
(Gλ ) ] ⊆ C*[ (Gλ )C ] for each λ.
C
So, C*[ ∩
λ
(Gλ ) ] ⊆ ∩ C*[ (Gλ )C ]
C
λ
Self-Instructional
114 Material
Topology: Subspace,
But, Gλ∈Τ ⇒ (Gλ )C ∈F. Closed Sets and
Hausdorff Spaces
Q = R.
Let T be finite complement topology on R. Then every infinite subset is
dense in R.
Theorem 5: A subset A of topological space (X, T) is dense in X iff for every
nonempty open subset B of X, A∩B ≠ φ.
Proof: Suppose A is dense in X and B is a nonempty open set in X. If A∩B = φ,
then A ⊆ X–B implies that A ⊂ X–B since X–B is closed. But then X–B
⊂ X contradicting such that A = X.
≠
Because A ⊂ X–B ⊂ X.
≠
⇒ A⊂B
⇒ X = A⊂B
Thus B is dense in (X, T).
Self-Instructional
116 Material
Topology: Subspace,
Closed Sets and
Check Your Progress Hausdorff Spaces
1. What is a subbase?
2. What is a base for the topology? NOTES
3. What do you mean by an open covering?
4. What is a subcover?
5. What is a topological groups?
Let X be a metric space. All points and sets mentioned here are understood to be
elements and subsets of X.
(i) If r > 0, the set N (p, r) = {x ∈ X: d (p, x) < r}
is called a neighbourhood of a point p. The number r is called the radius of
N(p, r).
In the metric space R,∈ N (p, r) = {x ∈ R : | x – p | < r)
= {x ∈ R : p – r < x < p + r} = ]p – r, p + r[
Thus in this case, neighbourhood of p is an open interval with p as a mid-
point.
(ii) A point p is said to be a limit point of the set A if every neighbourhood of
p contains points of A other than p.
The set of all limit points of A is called the derived set of A and shall be
denoted by D (A).
1
The subset A = {1, 2
, 12 ...} of R has 0 as a limit point since for each
r > 0, we can choose a positive integer n0 such that 1/n0 < r and since 1/n0 ≠ 0, we
see that every neighbourhood N(0, r) of 0 contains a point of A other than 0.
The set 1 of integers has no limit point whereas the set of limit points of Q
(the set of rationals) is all of R as the reader can easily verify.
(iii) A point p is called isolated point of a set A if p ∈ A but p is not a limit
point of A.
(iv) Set A is said to be closed if D(A) ⊂ A, that is, if A contains all its limit
points.
(v) A point p is called an interior point of A if there exists a neighbourhood
N of p such that N ⊂ A.
Self-Instructional
Material 117
Topology: Subspace, The set of all interior points of A is called the interior of A and shall be
Closed Sets and
Hausdorff Spaces denoted by A°.
For example, if A = [0, 1], then A° = ]0, 1[.
NOTES (vi) A set A is said to be open if it contains a neighbourhood of each of its
points, that is, if to each p ∈ A, there exists a neighbourhood N(p) of p such that
N(p) ⊂ A.
Thus A is open if and only if every point of A is an interior point of A.
Thus for every r > 0, the open interval ] p – r, p + r[ is a neighbourhood of a point
p ∈ R so a subset A of R is open if and only if to each p ∈ A, there exists r > 0
such that
]p – r, p + r[ ⊂ A.
In particular, every open interval ]a, b[ is an open set.
For if p ∈ ]a, b[, take
r = min {p – a, b – p}. Then ]p – r, p + r [⊂] a, b[ showing that ]a, b[ is
open.
(vii) A set A is said to be perfect if A is closed and if every point of A is a
limit point of A.
(viii) The closure of a set A is the union of A with its derived set D(A) and
shall be denoted by A .
Self-Instructional
Material 119
Topology: Subspace, Proof is similar to that of the preceding theorem.
Closed Sets and
Hausdorff Spaces Theorem 11: Let (X, d) be a metric space. Then,
(i) The empty set ∅ and the whole space X are open as well as closed.
NOTES (ii) Union of an arbitrary collection of open sets is open.
(iii) Union of finite number of closed sets is open.
(iv) Intersection of an arbitrary collection of closed sets is closed.
Proof: To prove case (i), let {Aλ : λ∈A} be an arbitrary collection of open sets.
Let, A = ∪ {Aλ : λ∈ A}.
x ∈ A ⇒ x ∈ A for some λ ∈ A
⇒ There exists ∈ > 0 such that N( x, ∈) ⊂ Aλ [ Aλ is open]
⇒ N (x,∈) ⊂ A∈ [ Aλ ⊂ A]
⇒ A is open (By definition).
Proofs of Cases (ii) and (iii) at once follow by using De Morgan laws for
complements. Thus to prove case (ii) let Ai, i = 1, 2,..., n be a finite collection of
closed sets. Then,
Ai is closed ⇒ X – Ai is open V – i = 1, 2,...., n.
⇒ ∩ {X – Ai : i = 1, 2,..., n} is open by case (iii).
⇒ X – ∪ {Ai : i = 1, 2,..., n} is open.
[By De Morgan Law]
⇒ {Ai : i = 1, 2,..., n} is closed.
6.3.1 Neighbourhoods
A subset N of R is called a neighbourhood of a point p ∈R if N contains an open
interval containing p and contained in N, that is, if there exists on open interval ] a,
b [such that,
p ∈]a, b[ ⊂ N.
It immediately follows that an open interval is a neighbourhood of each of its
points. For practical purposes, it will therefore suffice to take open intervals
containing a point of its neighbourhoods.
Note if ]a, b[ is an open interval containing a point p so that a < p < b, we
can always find an ε > 0, such that ]p – ε, p + ε[ ⊂ ]a, b[. Choose any ε less than
the smaller of the two numbers p–a and b–p]. Clearly ]p–ε, p + ε[ is an open
interval containing p and so it is a neighbourhood of p. We shall use this form of
neighbourhood of p, usually called an e-neighbourhood of p and shall denote it by
Self-Instructional
120 Material
N(p, ε). We call ε as the radius of N(p, ε). The point p itself is a mid-point of Topology: Subspace,
Closed Sets and
centre of N(p, ε). It is evident that, Hausdorff Spaces
x ∈, (p, ε) if x – p < ε,
NOTES
We shall use the abbreviated form ‘nhd’ for the word ‘neighbourhood’.
3 5
(i) The closed interval [1, 3] is an nhd of 2 since ] , [ is an open interval
2 2
3 5
such that 2 ∈][ , [ ⊂ [1, 3]. But [1, 3] is not an nhd of 1 since there
2 2
exists no open interval which contains 1 and contained in [1, 3]. Similarly
[1, 3] is not an nhd of 3.
(ii) The set N of natural numbers is not nhd of any of its points since no open
interval can be a subset of N.
6.3.2 Open Sets
A subset G of R is called open if for every point p ∈ G, there exists an open
interval I such that p ∈ I ⊂ G.
This is equivalent to saying that G is open if for every p ∈ G, there exists ε
nhd N(p,ε) = ]p–ε, p + ε[such that N(p, ε) ⊂ G.
For example,
(i) Every open interval is an open set.
(ii) The empty set φ and the whole real line R are open sets. Since φ contains no
points, the preceding definition is satisfied. Hence φ is open.
To show that R is open, we observe that for every p ∈ R and every ε > 0,
we have ]p–ε, p + ε[ ⊂ R. Hence, R is open.
Now consider the following examples,
(i) The closed open interval [2, 3[ is not open, since there exists no ε-nhd of 2
contained in [2, 3[.
(ii) The set A={1/n : n ∈ N} is not open since no point of A has an ε-nhd contained
in A.
Theorem 12: The union of any collection of open sets is an open set.
Proof: Let C be any collection of open sets and let S be their union, that is, let S
= {G : G ∈ C}. Let p ∈S. Then p must belong to at least one of the sets in C,
say p ∈ G. Since G is open there exists and ε-nhd N(p, ε) of p such that N(p, ε)
⊂ G. But G ⊂ S, and so N(p, ε) ⊂ S. Hence S is open.
Self-Instructional
Material 121
Topology: Subspace, Theorem 13: The intersection of a finite collection of open sets is open.
Closed Sets and
Hausdorff Spaces
n
NOTES
If S is empty, there is nothing to prove. Then p ∈Gi for every i=1, 2,....,n.
Since Gi is open, there exists εi > 0 such that N(p, εi) ⊂ Gi, for every i = 1, 2,...,
n. Let ε = min [ε1, ε2,...., εn].
n
Then N(p, ε) ⊂ G
i =1
i = S. Hence S is open.
Note: The intersection of an infinite collection of open sets is not necessarily open. For
example, if Gn = ]–1/n, 1/n] (n ∈ N), then each Gn is open (being an open interval), but
n
G
i =1
n = {0} which is not open since there exists no ε > 0 such that]– ε, ε[ ⊂ {0}.
Self-Instructional
122 Material
Let C be an arbitrary collection of closed sets. Then each F ∈ C is closed Topology: Subspace,
Closed Sets and
and so its complement F′ is open. By De Morgan law, we have ( F)′=(F ∈ C), Hausdorff Spaces
p − p1 , p − pa , ...., p − p n .
Self-Instructional
Material 123
Topology: Subspace, A set is said to be of first species if it has only a finite number of derived
Closed Sets and
Hausdorff Spaces sets. It is said to be of second species if the number of its derived sets is infinite.
Note that if a set is of first species, then its last derived set must be empty.
NOTES A set whose (n + 1)th derived set is empty is called a set of nth order.
For example, the set Q of all rational numbers is of second species, since
D(Q) = R, D2(Q) = D(R) = R.
D3(Q) = D(R) = R, etc.
Hence, all the derived sets of Q are equal to R.
Consider that A = {1/n : n ∈ N}. Then D(A) = {0}. Since D(A) consists of a
single point, it cannot have any limit point and so D2(A) = φ. Therefore A is of first
species and first order.
1 1 1 1 1 1 1 1 1 1
Again let A = {1, , , + , , + , , + ....}. Then A has the limit
2 3 2 3 4 2 4 5 2 5
1 1 1 1
point 0 and also the limit point , for the subset {1, , , ,....} is dense at the
2 2 3 4
1 1 1 1 1 1
origin and the subset { , + , + ,....} is dense at . Therefore
2 2 3 2 4 2
1
D(A) = {0, } and D2(A) = φ. Hence A is of first species and first order..
2
1 1 2 1 1 1 1 1 1 1
For example, let A = {1, , ( ) , + ( )2, ( )3, + ( )3, ( )2 + ( )3,
2 2 2 2 2 2 2 2 2
1 1 1 1 1 1 1 1
( )4, + ( )4, ( )2 + ( )4, ( )3 + ( )4, ( )5,...}.
2 2 2 2 2 2 2 2
Then it is clear by inspection that,
1 1 2 1 3
D(A) = {0, , ( ) , ( ) , ....}, D2(A) = {0} and D3(A) = φ.
2 2 2
Hence in this case, A is of first species and second order.
Let the points of a set A be given by,
1 1 1 1
S1 + S2 + S3 + ,
3 5 7 11S4
Where S1, S2, S3, S4 each have all positive integral values.
Hence D(A) consists of the four sets of points given by,
Self-Instructional
124 Material
Topology: Subspace,
1 1 1 1 1 1 1 1 1 Closed Sets and
S1 + S2 + S3 , S1 + S2 +, S4 , S1 + S3 , Hausdorff Spaces
3 5 7 3 5 11 3 7 11S4
1 1 1
S 2 + S3 + and the six sets of the points, NOTES
5 7 11S4
1 1 1 1 1 1 1 1
S1 + S2 , S1 + S2 , S1 + S4 , S 2 + S3
3 5 3 7 3 11 5 7
1 1 1 1
S2 + S4 , S3 + and four sets of the points,
5 11 7 11S4
1 1 1 1
S1 , S2 , S3 , together with the single point 0.
3 5 7 11S4
D2(A) consists of the last ten of these sets and the point 0, D3(A) consists of the
last four sets and the point 0 and D4(A) consists of the point 0 only. Thus, the set
A is of the first species and fourth order.
Example 2: Show that, zeros of sin (1/x) form a set of first order, zeros of sin
1
1
1 form a set of second order; zeros of sin form a set of third
sin 1
x sin
1
sin x
1 1 1
Solution: The zeros of sin are given by sin =0, which gives = nπ or
x x x
1 1
x= , where n is an integer. Hence if A is the set of zeros of sin , then A
nπ x
1
consists of all of the form where n is an integer. Clearly D(A) = {0} and so A
nπ
is of first order.
1 1
Again sin 1 = 0, gives 1 = nπ, where n is an integer..
sin sin
x x
Self-Instructional
Material 125
Topology: Subspace,
Closed Sets and 1 1 1
Hausdorff Spaces Then sin = , from which the general value is given by,,
x nπ x
1 1
NOTES = nπ + sin–1 = where m is an integer
x nπ
1
or x= ....(1)
1
−1
mπ + sin
nπ
1
Thus the zeros of sin
1 form a set, say B, of points of the form (1). It
sin
x
1
is clear that D(B) consists of points of the form and the point 0 and so D2(B)
mπ
consists of the single point 0. Hence B is of second order.
1
Similarly we can show that the zeros of sin form a set of third order, and
1
sin 1
sin x
so on.
Theorem 16 (Bolzano-Weierstrass Theorem): A bounded infinite set of real
numbers has at least one limit point.
Proof: Let A be an infinite bounded subset of R. Then, there exist finite constants
m and M such that m ≤ a ≤ M for all a ∈A. At least one of the intervals [m,
(m+M), M] must contain an infinite number of points of A. We rename such an
1
interval as [a 1 +b 1 ]. Similarly, one of the intervals [a 1,
2
1
(a1 + b1), [a1 + b1], [ (a1 + b1), b1] contains infinitely many points of A and we
2
desingnate it as [a2,b2]. Now proceed with [a2, b2] as we did with [a1, b1]. Con-
tinuing in this way, we obtain a sequence of closed intervals {In}=
Self-Instructional
126 Material
Topology: Subspace,
M –m Closed Sets and
{[an, bn]} such that In ⊃ In +1 and [Ιn] = bn– an= →0 as n →∝. Hence In Hausdorff Spaces
2n
consists of a single point, say x0. We choose n such that bn–an<ε. Then In ⊂ ]xo–
ε, x0+ε[ and consequently the interval ]xo–ε, x0+ε[contains an infinite number of NOTES
points of A. It follows that x0 is a limit point of A. This completes the proof.
6.3.5 Closed Sets and Accumulation Points
A closed set was defined to be the complement of an open set. The Theorem 1.17
describes closed sets in another way.
Theorem 17: A set A is closed if and only if it contains all its accumulation points.
Proof: Assume A closed and P is an accumulation point of A. We have to prove
that P ∈A. suppose, if possible, P ∉A . Then P ∈A, and since A, is an open, there
exists an ∈-nhd N(p, ∈ )=]sP-, P+ ∈ [such that N (p , ∈ ) ⊂ A. Consequently N (p
, ∈) contains no point of A, contradicting the fact that p is an accumulation point of
A. Hence, we must have P ∈A.
Conversely, we assume that A contains all its accumulation points and show
that A is closed. Let P ∈A′. Then P ∉A, so by hypothesis p is not an accumulation
point of A. Hence there exists an ∈-nhd N (p , ∈ ) of p which contains no point of
A other then p. Since P ∉A, N((p , ∈ ) contains no point of A and consequently N
(p , ∈ ) ⊂ ∀A′. Therefore A′ is open, and hence A is closed.
Theorem 18: All the derived sets D (A), D2 (A), ... Dn (A),... of a given set A are
closed sets and each of these derivatives, after the first, consists of points belong-
ing to the preceding one and therefore to D (A).
Proof: We first prove that D (A) is closed. Let p be any accumulation point (limit
point) of D. Then every ∈-nhd of p contains infinitely many points of D (A) and
since point of D (A) is an accumulation point of A, every ∈-nhd of p must contain
infinitely many points of A. Thus, p is also a limit point of A and so p ∈D (A).
Therefore, D (A) contains all its accumulation points and so D (A) is closed. Again
since D2 (A) is the derived set of D (A), and so it must be closed as proved earlier.
Similarly D2 (A), ..Dn (A), ... are closed sets.
To prove the second part of the theorem, let x ∈ Dn (A), n ≥ 2 and sup-
pose, if possible, that p ∉D (A). Then there can be found an ∈-nhd of x which
contains only a finite number of points of A or no such points and this nhd would
therefore contain no points of D (A) and consequently it can contain no point of
D2 (A). D3 (A), ..., Dn (A) which is contrary to the hypothesis that x ∈ Dn (A).
Hence every point of Dn (A) (n ≥ 2) must belong to D (A).
Self-Instructional
Material 127
Topology: Subspace, 6.3.6 Closure
Closed Sets and
Hausdorff Spaces
The closure of a set A in R is the smallest closed set containing A and is denoted
by A .
NOTES
By this definition , A ⊂ A . Also A is always a closed set of A.
Theorem 19: Let A be a set in R. Then A = A D (A), i.e., A is the set of all
adherent points of A.
Proof: We first observe that A D (A) is closed. For if p is any limit of A D (A).
then either p is a limit point of A or a limit of D (A). If p is a limit point of A, then
p ∈D (A). If p is a limit point of D(A), then since D (A) is closed p ∈D (A). So on
either case, p ∈D (A) and surely then p ∈ A D (A). Hence A D (A) is closed.
(iii) A B ⊂ A B , (iv) A = A .
Theorem 21: Let X be a Hausdorff topological space. Then no net in X can have
two different limits.
Proof: Let X be a Hausdorff topological space and ( xλ )λ∈∧ be a net in X. Suppose
a, b ∈ X and we have both xλ → a and xλ → b . We claim a = b must hold.
If not, by the Hausdorff property of X, there are U, V ⊂ X open, disjoint
with a ∈ U and b ∈ V. By the definition of xn → a , there is λ a ∈ Λ so that
xλ ∈U ∀λ ≥ λ a . By the definition of xλ → b , there is λ b ∈ Λ so that xλ ∈ B ∀λ ≥ λb .
Since Λ is directed, there is λ ∈ Λ with λ ≥ λ a and λ ≥ λ b . Then both xλ ∈ U
and xλ ∈ V hold. But this leads to the contradiction xλ ∈ U ∩ V =θ.
Theorem 22: Let X be a topological space in which there is no net with two
different limits. Then X is Hausdorff.
Proof: Take a, b ∈ X with a ≠ b . Our claim is that there exist U and V open with
a ∈ U , b ∈ V and U ∩ V ≠ φ . If not, we have U ∩ V ≠ φ for any open U ,V ⊆ X
where a ∈ U , b ∈ V .
From this we need to find a net with two limits (which will be a and b). We
take for the index
= set Λ {(U ,V ) : U ,V ⊆ X open, a ∈ U , b ∈ V } where we define
the order (U1 ,V1 ) ≤ (U 2 ,V2 ) to mean that both U1 ⊇ U 2 and V1 ⊇ V2 hold. It is
straightforward to check that Λ is then a directed set. The least trivial part is to
show that (U1 ,V1 ),(U 2 ,V2 ) ∈ Λ implies there is (U 3 ,V3 ) ∈ Λ with (U1 ,V1 ) ≤ (U 3 ,V3 ) Self-Instructional
Material 129
Topology: Subspace,
Closed Sets and and (U 2 ,V2 ) ≤ (U 3 ,V3 ) . We just take U=
3 U 1 ∩ U 2 and V=
3 V1 ∩ V2 and check U3
Hausdorff Spaces
and V3 open, a ∈U 3 , b ∈ V3 and the four containments we need.
Self-Instructional
p ∈]a, b[ ⊂ N.
130 Material
7. A subset G of R is called open if for every point p ∈ G, there exists an open Topology: Subspace,
Closed Sets and
interval I such that p ∈ I ⊂ G. Hausdorff Spaces
6.6 SUMMARY
Self-Instructional
Material 133
Topology: Subspace,
Closed Sets and 6.9 FURTHER READINGS
Hausdorff Spaces
Munkres, James R. 1987. Topology a First Course. New Delhi: Prentice Hall of
NOTES India.
Dugundji, James. 1975. Topology. New Delhi: Prentice Hall of India.
Simmons, George F. 1963. Introduction to Topology and Modern Analysis.
US: McGraw Hill Inc.
Munkres, James R. 2011. Topology, 2nd edition. New Delhi: PHI Learning Pvt.
Ltd.
Basener, William F. Topology and Its Applications. New Jersey: John Wiley &
Sons, Inc.
Bourbaki, Nicolas. 1966. General Topology: Elements of Mathematics, Volume
2. United States: Addison-Wesley.
Kelley, John L. 1975. General Topology. New York: Springer-Verlag.
Willard, Stephen. 2004. General Topology. United States: Dover Publications.
Self-Instructional
134 Material
Continuous Function,
7.0 INTRODUCTION
A function for which sufficiently small changes in the input result in arbitrarily small
changes in the output is known as a continuous function. Otherwise, a function is
called a discontinuous function. A continuous function with a continuous inverse
function is known as a homeomorphism. Continuity of functions is one of the core
concepts of topology. A product space is the Cartesian product of a family
of topological spaces equipped with a natural topology known as the product
topology. In this unit you will study continuous functions and continuity of a function.
You will understand characterisation of continuous functions using pre-images.
You will learn general properties of continuous functions. You will describe
homeomorphisms. The product topology is also discussed in this unit.
7.1 OBJECTIVES
NOTES D R is compact if and only if for any given open covering of D we can subtract
a finite sucovering. That is, given (G), A, a collection of open subsets of R
(A an arbitrary set of indices) such that D A G , then there exist finitely
Self-Instructional
Material 137
Continuous Function,
, which implies the equality D = i 1 (Vi D) i 1 f Gi . But
Product Topology and N N N –1
Homeomorphism i 1 Gi
image of f ), contradiction.
Theorem 5: A continuous function on a compact set is uniformly continuous.
Proof: Assume D compact and f : D R continuous. Given > 0 we need to
find > 0 such that if x, y D and |x – y| < , then |f(x) – f(y)| < .
From the definition of continuity, given > 0 and x D, there exists
x such that if |y – x| < x, then |f(y) – f(x)| < . Clearly D
1
x D B x . From this open covering we can extract a finite
2
subcovering (D is compact), meaning there must exists finitely many x1, x2, ....,xN
1
D such that D iN1 B xi ( xi (/2)).
2
1
Let now = min{ xi (/2)}.
2
Take y, z D arbitrary such that |y – z| < . The idea is that y will be
near some xj, which in turn places z near that same xj. But that forces both f(y),
f(z) to be close to f(xj) (by continuity at xj), and hence close to each other.
1
Since y D, there must exist some j, 1 < j < N such that y Bx ( x j
j 2
(/2)). Thus
1
|y – xj|< x (/2)
Self-Instructional 2 j
138 Material
Continuous Function,
1 Product Topology and
but |y – z|< () x j (/2) Homeomorphism
2
1 NOTES
By the triangle inequality it follows that |z – x| < x j (/2). So y, z are within
2
1
x (/2) of x.
2 j
This implies that
|f(y) – f(xj)|< /2
|f(z) – f(xj)|< /2
By the triangle inequality once again we have | f(y) – f(z)| <.
7.2.3 Alternative Proof Using Sequences
Assume f is not uniformly continuous, meaning that there exists > 0 such that no
1
> 0 does the job. Checking what this means for = , we see
n
1
that for any such 3n 1 there exist xn, yn D such that |xn – yn| < and yet
n
|f(xn) – f(yn)| > . However D is compact; in particular any sequence in D has a
convergent subsequence whose limit belongs to D. Applying this principle twice
we find that there must exist n1< n2 < ... such that the subsequences xnk and
k 1
ynk
k 1
are convergent, and x = lim x xnk D, y = lim x ynk D. We have
the following:
1 1
By construction, xnk – ynk . Taking the limit, we find x = y..
nk k
lim k f ynk f ( y ) .
Also by construction, f xnk – ynk > . Hence in the limit, |f(x) – f(y)|
>.
We thus reach a contradiction.
Self-Instructional
Material 139
Continuous Function, Proposition: Let D R. Then the following propositions are equivalent:
Product Topology and
Homeomorphism
a) D is compact
b) D is bounded and closed
NOTES
c) Every sequence in D has a convergent subsequence whose limit belongs
to D.
1 1
N 1 such that D R – [ y , y ]. But this implies that
N N
1 1
y , y R – D . But y was chosen arbitrary in R – D, so this set is
N N
open, and hence D itself is closed.
b c. This has to do with the fact that every bounded sequence has a convergent
subsequence.
c b. Here one shows D = D and this has to do with the fact that D is the set of
limits of convergent sequences of D, etc.
c a. Let D k 1 Gk be an arbitrary open covering of D.
Note: A covering by a countable collection of open sets is not the most general infinite open
covering one can imagine, of course; we need an intermediate step to prove that from any
open covering of D we can extract a countable subcovering, and this has to do with the fact
that R admits a countable dense set.
We will now prove that there exists n 1 such that D k 1 Gk . Assume this was
not the case. Then N 1 , there exists xn D – k 1 Gk . But xn is a sequence
Self-Instructional
140 Material
Continuous Function,
n
that for j large enough (larger than j0 and larger than N) we have xn j GN k j 1 , Product Topology and
Homeomorphism
since nj j > N. This contradicts the defining property of xn’s.
Theorem 6: R is connected. NOTES
Proof: This can be restated as, and R itself are the only subsets of R which are
both open and closed. To prove this, let E be a non-empty subset of R with this
property. We will prove that E = R. For that, take an arbitrary c R. To prove
that c E, we assume that c E and look for a contradiction. Since E is non-
empty, it follows that E either has points to the left of c or to the right of c. Assume
that the former holds.
Consider the set S = {x E|x < c}. By construction, S is bounded from
above (c is an upper bound for S). Therefore we can consider
y = lub(S) R.
Input: E is closed. Then S = E – , c is also closed. Then y S = S,
so y < c.
Input: E is open, y S E and E is open. This means that there exists >
0 such that (y – , y + ) E. Choose small enough so that < c – y. In
that case z = y +/2 (y – , y + ) E is an element of E with the
properties,
o z < c, hence z S
o z>y
which is in contradiction with the defining property of y.
Theorem 7: The only connected subsets of R are the intervals (bounded or
unbounded, open or closed or neither).
Proof: First we prove that a connected subset of R must be an interval.
Let E R be a connected subset. We prove that if a < b E, then [a,b]
E. In other words, together with any two elements, E contains the entire interval
between them. To see this, let c be a real number between a and b. Assume c
E. Then E = A B, where A = (–, c) E and B = (c, + E. Note that A
and B are disjoint subsets of D, both open relative to D. Since S is connected, at
least one of them should be empty, contradiction, since a A and b B. Thus c
E.
To show that E is actually an interval, consider inf E and sup E. E is bounded.
Then m = inf E, M = sup E R, and clearly E [m, M]. On the other hand, for
any given x (m, M), there exists a,b E such that a < x < b. That is because
m, M E and one can find elements of E as close to m (respectively M) as
desired (draw a picture with the interval (m, M) and place a point x inside it). But
Self-Instructional
Material 141
Continuous Function, then [a,b] E, and in particular x E. Since x was chosen arbitrarily in (m, M),
Product Topology and
Homeomorphism we must have (m, M) E [m, M], so E is definitely an interval. Case two: E is
unbounded. With a similar argument, show that E is an unbounded interval.
NOTES Conversely, we need to show that intervals are indeed connected sets. The
proof is almost identical to that in the case where the interval is R itself.
Theorem 8: Let D R be compact and f : D R be a continuous function. Then
there exists y1, y2 D such that f (y1) f(x) f(y2), x D.
Proof: f(D) is a compact subset of R, so it is bounded and closed. This implies
that glb(f(D)) f(D) and lub(f(D)) f(D) as well. But then there must exist y1, y2
D such that f(y1) = glb f(D) and f(y2) = lub f(D). But this implies f(D) [f(y1),
f(y2)] and we are done.
Note: We use the notation supx D f(x) to denote the lub of the image of D. In other words,
supx D f(x) = lub{f(y) | y D}. The theorem says that if D is compact and f is continuous, then
supx D f(x) is finite, and moreover that there exists y1 D such that f(y1) = supx D f(y). If the
domain is not compact, one can find examples of continuous functions such that either i) sup
f = + or such that ii) sup f is a real number but not in the image of f.
For case i), take f(x) = 1/x defined on (0,1]. For case ii), take f(x) = x defined on [0,1).
Theorem 9: A continuous (real-valued) function defined on an interval in R has
the intermediate value property.
Proof: Assume E is an interval in R and f: E R a continuous function. Let a,b
E (say a < b) and y a number between f(a) and f(b). The intermediate value
property is the statement that there exists c between a and b such that f(c) = y. But
this follows immediately from the fact that f(E) is an interval. E is an interval in R
E is connected f(E) is a connected subset of R f(E) is an interval in R.
7.3 HOMEOMORPHISM
In topology and related fields of mathematics, there are many limitations that we
often make on the kinds of topological spaces that we wish to consider. Some of
these restrictions are given by the separation axioms. These separation axioms
are often termed as Tychonoff separation axioms, after Andrey Tychonoff. The
separation axioms are axioms only in the sense that, when defining the notion of
topological space, one could add these conditions as extra axioms to get a more
restricted notion of what a topological space is. The separation axioms are denoted
with the letter ‘T’ after the German Trennungsaxiom, meaning separation axiom.
The separation axioms are used to distinguish disjoint sets and distinct points.
It is not enough for elements of a topological space to be distinct. They have to
be topologically distinguishable. In the same way, it is not enough for subsets of
a topological space to be disjoint. They have to be separated in some way.
Suppose X is a topological space. Then the two points x and y in X are topologically
distinguishable if they do not have exactly the same neighbourhoods or we can
say that at least one of them has a neighbourhood that is not a neighbourhood of
Self-Instructional
144 Material
the other. If x and y are topologically distinguishable points, then the singleton Continuous Function,
Product Topology and
sets {x} and {y} must be disjoint. Homeomorphism
Two points x and y are separated if each of them has a neighbourhood that
is not a neighbourhood of the other. More generally, two subsets A and B of X are NOTES
separated if each is disjoint from the other’s closure; the closures themselves do
not have to be disjoint. The points x and y are separated if and only if their singleton
sets {x} and {y} are separated. All of the remaining conditions for sets may also
be applied to points or to a point and a set by making use of singleton sets.
Additionally, subsets A and B of X are separated by neighbourhoods if they
have disjoint neighbourhoods. They are separated by closed neighbourhoods if
they have disjoint closed neighbourhoods. They are separated by a function if
there exists a continuous function f from the space X to the real line R such that
the image f(A) equals {0} and f(B) equals {1}. Lastly, they are precisely separated
by a function if there exists a continuous function f from X to R such that
the preimage f–1({0}) equals A and f –1({1}) equals B. Any two topologically
distinguishable points must be distinct and any two separated points must be
topologically distinguishable. Moreover, any two separated sets must be disjoint
and any two sets separated by neighbourhoods must be separated, and so on.
Theorem 10: A topological space X is Hausdorff if and only if the diagonal is
closed in X X with the product topology.
Proof: Let D denote the diagonal {( x, x) | x X } in X X.
Suppose D is closed. Then the complement of D is open. We want to show
that X is Hausdorff. Let x y . The point ( x, y ) lies in an open set disjoint from D.
In particular, there is a basis open set about ( x, y ) that does not intersect D. Let U
× V be such a basis open set so U and V are both open in XClearly, if y U V
then ( y, y) U V . But U × V does not intersect D, and hence U and V are
disjoint open sets.
Conversely, suppose X is Hausdorff. Then, we want to show that D is
closed.
We know that given x y , there are disjoint open sets U and V containing
x and y respectively. Thus, any ( x, y ) lies inside an open set
U × V. Further, as U V is empty, the set U × V does not intersect D. Hence, for
every point outside D, there is a neighbourhood of the point outside D. Taking the
union of all these neighbourhoods, we conclude that the complement of D is open,
and hence that D is closed.
Though the two directions of proof seem almost identical to one another,
there is a subtle difference. In proving that the diagonal is closed from Hausdorffness,
Self-Instructional
Material 145
Continuous Function, all we need to use is that products of open sets are open. Thus, the same proof
Product Topology and
Homeomorphism will go through if we add more open sets. On the other hand, the proof of
Hausdorffness from the diagonal being closed critically uses the fact that the so
called open rectangles the products of open setsform a basis.
NOTES
Theorem 11: The product of Hausdorff spaces is Hausdorff in the product
topology.
Proof: Let X and Y be the two Hausdorff spaces. Then, the product space is X
Y.
Select the points ( x1 , y1 ) and ( x2 , y2 ) . Now either x1 x2 or y1 y2 .
Theorem 13: A product space X λ is first axiom iff each space X is first
λ
E where each
Self-Instructional
146 Material
Continuous Function,
Product Topology and
Homeomorphism
xλ such that xλ z λ if λ β
xβ is any point of X β and
E NOTES
z λ is a fixed point of X Xλ
λ
and the first axiom of countability is both hereditary and topological, each space is
first axiom. Now if the space X is indiscrete, we may choose a point x X
which is contained in an open set GXIf Xis indiscrete, we choose any point
x XLet X x and suppose BnnN is a countable open base at X. For
each integer n, the set Bn must contain a member of the Tichonov base of the form
Yλ where Y is open in X for all and Y X for all but a finite number of
λ
values of n n λ n k n The collection of all the expected values of i
kn and n is countable. For any other value of we choose x
GX if Xwas not discrete, but π λ 1 Gλ would then be an open set containing
X which would not contain any Bn. Hence for all other values of X must be
indiscrete.
Now suppose that X is first axiom for all and indiscrete for iiN.
Let X xbe an arbitrary point in πλ X λ , and let Bn, be a countable open
base at x We note that Bn, x for all n if i The family
is a countable collection of open sets in the product
space. The set of all finite intersections of members of this collection is also countable
and it is already an open base at x, as required.
Self-Instructional
Material 147
Continuous Function, 2. In the mathematical field of topology, a homeomorphism or topological
Product Topology and
Homeomorphism isomorphism (from the Greek words (homoios)’ means similar and (morphe)’
means shape which is taken form Latin deformation of morphe is a
bicontinuous function between two topological spaces.
NOTES
3. A topological space is a geometric object, and the homeomorphism is a
continuous stretching and bending of the object into a new shape. Thus, a
square and a circle are homeomorphic to each other, but a sphere and a
donut are not.
4. An example of a continuous bijection that is not a homeomorphism is the
map that takes the half-open interval [0,1) and wraps it around the circle.
5. the two points x and y in X are topologically distinguishable if they do not
have exactly the same neighbourhoods or we can say that at least one of
them has a neighbourhood that is not a neighbourhood of the other. If x and y
are topologically distinguishable points, then the singleton sets {x} and {y}
must be disjoint.
6. A topological space X is Hausdorff if and only if the diagonal is closed in X
X with the product topology.
7.6 SUMMARY
there exist finitely many indices 1,...,n A such that D iN1 G1 .
A product space X λ is first axiom iff each space X is first axiom and
λ
Self-Instructional
150 Material
Metric and Quotient
TOPOLOGY
NOTES
Structure
8.0 Introduction
8.1 Objectives
8.2 Constructing Continuous Functions
8.3 The Metric Topology
8.4 The Quotient Topology
8.5 Answers to Check Your Progress Questions
8.6 Summary
8.7 Key Words
8.8 Self Assessment Questions and Exercises
8.9 Further Readings
8.0 INTRODUCTION
A metric space is a kind of topological space. In a metric space any union of open
sets is open and any finite intersection of open sets is open. Consequently a metric
space meets the axiomatic requirements of a topological space and is thus a
topological space. This particular property of a metric space was used to define a
topological space. A quotient space, also known as an identification space, is the
result of identifying certain points of a given topological space. The quotient topology
consists of all sets with an open pre-image under the canonical projection map
that maps each element to its equivalence class. In this unit you will study construction
of continuous functions. You will describe the metric topology and their properties.
The quotient topology is also explained in this unit.
8.1 OBJECTIVES
Continuity of functions is one of the core concepts of topology. The special case is
defined as where the inputs and outputs of functions are real numbers. A stronger
form of continuity is uniform continuity. Any function from a discrete space to any
Self-Instructional
Material 151
Metric and Quotient other topological space is continuous and also any function from any topological
Topology
space to an indiscrete space is continuous. Any constant function is continuous
(regardless of the topologies on the two spaces). The pre-image under such a
function of any set containing the constant value is the whole domain, and the pre-
NOTES image of any set not containing the constant value is empty.
Let f : → be given by f(x) = x3. Then f is a continuous function from
usual to usual.
Rules for Constructing Continuous Functions
Let X, Y, and Z be topological spaces.
1. Constant Function: If f : X → Y maps all of X into a single point y0 ∈ Y,
then f is continuous.
2. Inclusion: If A is a subspace of X, the inclusion function j : A → X is
continuous.
3. Composites: If f : X → Y and g : Y → Z are continuous, then the map
g ° f : X → Z is continuous.
4. Restricting the Domain: If f : X → Y is continuous and if A is a subspace
of X, then the restricted function f |A : A → Y is continuous.
5. Restricting or Expanding the Range: Let f : X → Y be continuous. If X
is a subspace of Y containing the image set f(X), then the function g : X →
Z obtained by restricting the range of f is continuous. If Z is a space having
Y as a subspace, then the functions h : X → Z obtained by expanding the
range of f is continuous.
6. Local Formulation of Continuity: The map f : X → Y is continuous if X
can be written as the union of open sets Uα such that f |Uα is continuous for
each α.
0 if x = y
d ( x, y ) =
1 if x ≠ y.
Self-Instructional
Material 155
Metric and Quotient This is equipped with the topology where the open sets are defined to be those
Topology
sets of equivalence classes whose unions are open sets in X:
NOTES
Equivalently, we can define them to be those sets with an open pre-image under
the surjective map q : X ’‡ X / ~, which sends a point in X to the equivalence class
containing it:
The quotient topology is the final topology on the quotient space with respect to
the map q.
8.6 SUMMARY
• Metric space: A metric space is a set together with a metric on the set.
• Quotient space: A quotient space (also called an identification space) is
the result of identifying certain points of a given topological space.
• Equivalence relation: It is a binary relation that is reflexive, symmetric
and transitive. The relation “is equal to” is the canonical example of an
equivalence relation.
Self-Instructional
Material 157
Metric and Quotient
Topology 8.9 FURTHER READINGS
Munkres, James R. 1987. Topology a First Course. New Delhi: Prentice Hall of
NOTES India.
Dugundji, James. 1975. Topology. New Delhi: Prentice Hall of India.
Simmons, George F. 1963. Introduction to Topology and Modern Analysis.
US: McGraw Hill Inc.
Munkres, James R. 2011. Topology, 2nd edition. New Delhi: PHI Learning Pvt.
Ltd.
Basener, William F. Topology and Its Applications. New Jersey: John Wiley &
Sons, Inc.
Bourbaki, Nicolas. 1966. General Topology: Elements of Mathematics, Volume
2. United States: Addison-Wesley.
Kelley, John L. 1975. General Topology. New York: Springer-Verlag.
Self-Instructional
158 Material
Connected Spaces
and Sets
BLOCK - III
CONNECTED AND COMPACT SPACES
NOTES
9.0 INTRODUCTION
9.1 OBJECTIVES
Self-Instructional
Material 165
Connected Spaces Note that the phrase ‘B is open in A’ means that B is open relative to the
and Sets
induced metric on A. Also ‘B is open in X ’ means that B is open with respect to
the metric on X.
NOTES Notes: (i) If A ⊂ X is open, then B ⊂ A is open in A if it is open in X.
(ii) If A ⊂ X is closed, then B ⊂ A is closed in A if it is closed in X.
Another definition is subset A of a metric space X is said to be disconnected
if it is the union of two nonempty disjoint sets both open in A such that,
C ∩ D = ∅ and C ∪ D = A.
It follows from the preceding definition that a subset of a metric space X is
disconnected if it is the union of two non-empty disjoint sets both closed in A.
We call C ∩ D the separation (or disconnection) of A.
It follows at once from definition that every singleton set is a connected set.
Theorem 1: R is connected.
Proof: Suppose, if possible, R is disconnected. Then there exist two non-empty,
disjoint, closed sets A and B such that R = A ∪ B. Since A, B are non-empty, we
can find a1 ∈ A and b1 ∈ B. Since A ∪ B = ∅, a1 ≠ b1, and so either a1 > b1 or a1
< b1. Suppose a1, < b1. Let I1 = ]a1, b1] so that I1 is a closed interval. Bisect I1 and
a1 + b1
observe that its mid-point must belong either to A or to B but not both
2
since A and B are disjoint. It follows that one of the two halves must have its left
end point in A and its right end point in B. We denote this interval by I2 = [a2, b2].
We bisect I2 and proceed as before. We continue this process ad infinitum. Evidently
I1 ⊃ I2 ⊃ I3 ⊃... Thus we obtain a nested sequence <In> of closed intervals such
that their length |In| → 0 as n → ∞. Hence, by the nested interval theorem, there
exists a unique point c which belongs to every In, that is
c ∈ ∩ {In : n ∈ N}.
It is easy to see that c is a limit point of both A and B. For if V (c, ∈) = ] c
– ∈, c +∈[ is any ∈-nhd of c, we can find a positive integer m0 so large that In ⊂
N (c, ∈) for all n > m0 and consequently N (c, ∈) contains infinite number of
points of both A and B. Since A and B are closed, c ∈ A and c ∈ B which is a
contradiction since A ∩ B = ∅.
Hence, R must be connected.
Theorem 2: A sebset A of R is connected if and only if it is an interval.
Proof: The ‘only if’ part. Let A be connected and suppose if possible, A is not an
interval. Then there exist real numbers a, p, b with a < p < b such that a, b ∈ A
but p ∉ A. Let, G = ] – ∞, p[ and H = ]p, x[.
Self-Instructional
166 Material
Then G, H are disjoint, nonempty open sets in R. They are nonempty since Connected Spaces
and Sets
a ∈ G and b ∈ H. Let
C = A ∩ G and D = A ∩ H.
Then, C and D are open in A. Further a ∈ C and b and D so that they are NOTES
nonempty. Also
C ⊂ G, D ⊂ H and G ∩ H = ∅ ⇒ C ∩ D = ∅,
and C ∪ D = (A ∩ G) ∪ (B ∩ H)
= A ∩ (G ∪ H) = A ∩ (R – {p}) = Α
[ p ∉ A ⇒ A ⊂ R – {p}]
Hence, C ∪ D is a separation of A and consequently A is disconnected
which is contradiction. Hence, A must be an interval.
The ‘if’ part. The proof of this part is exactly on the same lines and is left as
an exercise.
9.5 SUMMARY
Self-Instructional
Material 169
Connected Spaces • Arc connectedness: A space X is said to be arc-connected or arcwise
and Sets
connected if any two distinct points can be joined by an arc, that is a path f
which is a homeomorphism between the unit interval [0,1] and its image
f([0,1]).
NOTES
• Locally connected space: In topology and other branches of mathematics,
a topological space X is locally connected if every point admits a
neighbourhood basis consisting entirely of open connected sets.
Munkres, James R. 1987. Topology a First Course. New Delhi: Prentice Hall of
India.
Dugundji, James. 1975. Topology. New Delhi: Prentice Hall of India.
Simmons, George F. 1963. Introduction to Topology and Modern Analysis.
US: McGraw Hill Inc.
Munkres, James R. 2011. Topology, 2nd edition. New Delhi: PHI Learning Pvt.
Ltd.
Basener, William F. Topology and Its Applications. New Jersey: John Wiley &
Sons, Inc.
Bourbaki, Nicolas. 1966. General Topology: Elements of Mathematics, Volume
2. United States: Addison-Wesley.
Kelley, John L. 1975. General Topology. New York: Springer-Verlag.
Self-Instructional
170 Material
Local Connectedness
10.0 INTRODUCTION
Connectedness and compactness have been two of the most widely studied
topological properties throughout the history of topology. If a space is locally
connected at each of its points, we call the space locally connected. In general
topology, compactness is a property that generalizes the notion of a subset
of Euclidean space being closed and bounded. A topological space is compact if
every open cover of has a finite sub cover. In this unit, you will study local
connectedness and compact spaces. You will understand compactness, nets and
para-compact spaces applying some mathematical theorems.
10.1 OBJECTIVES
Proof: Suppose ∏X
λ
λ is locally connected, and let xβ ∈ Xβ be contained in
some open set Yβ. Choose some point z = <zλ> with zβ = Xβ and we have z
belonging to the open set π β−1 (Yβ ). By local connectedness, there must exist a
connected open set G containing z and contained in π β−1 (Yβ ).Taking the β-th
projection, we see that zβ = xβ is contained in the connected open set πβ(G) which
is itself contained in Yβ and so Xβ is locally connected. Further, if z is any point of
the product space, it must be contained in some connected open set G. By
definition, z ∈ πY
λ
λ ⊆ G where Y is open in X for all λ and Y = X for all but a
λ λ λ λ
certain finite number of values of λ. But then the projections of G are connected
and are equal to Xλ, except for that finite number of values of λ.
Now suppose that Xλ is locally connected for old λ and connected for λ ≠
β1, β2, ...., βn. Let X = < xλ>λ be an arbitrary point of πY
λ
λ where Y is open in X
λ λ
for all λ and Yλ = Xλ for λ ≠ β1∗, β2∗, ...., βk*. Since xλ ∈ Yλ for all λ and Yλ is
locally connected, there is a connected open set Gλ in Xλ such that xλ ∈ Gλ ⊆ Yλ.
Self-Instructional
172 Material
Local Connectedness
Consider the subset πλ Z λ where Zλ = Gλ if λ = β1, β2, ...., βn, β1∗,...., βk* and and Compact Spaces
Definition: We say that a net {xλ } has x ∈ X as a cluster point if and only if for
each neighbourhood U of x and for each λ 0 ∈ Λ there exist some λ ≥ λ 0 such
that xλ ∈ U . In this case we say that {xλ } is cofinally (or frequently) in each
neighbourhood of x.
Theorem 2: A net {xλ } has y ∈ X as a cluster point if and only if it has a sub net,
which converges to y.
Proof: Let y be a cluster point of {xλ } . Define M =: {(λ,U ) : λ ∈ Λ,U a
neighbourhood of y such that xλ ∈ U } and order M as follows: (λ1 ,U1 ) ≤ (λ 2 ,U 2 )
if and only if λ1 ≤ λ 2 and U 2 ⊆ U1 . This is easily verified to be a direction on M.
Define ϕ : M → Λ by ϕ(λ,U ) =λ . Then ϕ is increasing and cofinal in Λ, so ϕ
defines a subnet of {xλ } . Let U0 be any neighbourhood of y and find λ 0 ∈ Λ such
that xλ 0 ∈ U 0 . Then (λ 0 ,U 0 ) ∈ M , and moreover,, (λ,U ) ≥ (λ 0 ,U 0 ) implies
U ⊆ U 0 , so that xλ ∈ U ⊆ U 0 . It follows that the subnet defined by ϕ converges to
y.
Suppose ϕ : M → Λ defines a subnet of {xλ } which converges to y. Then
for each neighbourhood U of y, there is some uU in M such that u ≥ uU implies
xϕ ( u ) ∈ U . Suppose a neighbourhood U of y and a point λ 0 ∈ Λ are given. Since
convergent subnet, let say {xλm } . That is, there exists x ∈ X such that xλm → x .
We will show that x ∈ Fi for all i ∈ I . Fix some Fi. Hence,there exists m0 such
that λ m 0 ≥ {i} . Thus, for =
every λ m {i1 , i2 ,..., in , i} ≥ λ m 0 ≥ {i} we have that
xλ m ∈ Fi1 Fi 2 ... Fin Fi ⊆ Fi . Since xλm → x and Fi is closed then x ∈ Fi .
This finishes the proof of the theorem.
by opens Un for which U n is compact. Since closure commutes with finite unions,
compact yet is covered by the open Ui’s, for sufficiently large N we have U n ⊆
UN. If we recursively replace Un+1 with such a UN for each n, then we can arrange
that U n ⊆ Un+1 for each n. Let K0 = U 0 and for n ≥ 1 let Kn = U n − Un−1 = U n ∩
(X− Un−1), so Kn is compact for every n (as it is closed in the compact U n ) but
for any fixed N we see that UN is disjoint from Kn for all n ≥ N.
Now we have a situation similar to the concentric shells in our proof of
paracompactness of Rn, and so we can carry over the argument from Euclidean
spaces as follows. We seek a locally finite refinement of {Un}. For n ≥ 2, the open
set Wn = Un+1− U n−2 contains Kn, so for each x ∈ Kn there exists some Vm ⊆ Wn
around x. There are finitely many such Vm’s that actually cover the compact Kn,
Self-Instructional
176 Material
and the collection of Vm’s that arise in this way as we vary n ≥ 2 is clearly a locally Local Connectedness
and Compact Spaces
finite collection of opens in X whose union contains X − U 0 . Throwing infinitely
many Vm’s contained in U1 that cover the compact U 0 thereby gives an open NOTES
cover of X that refines {Ui} and is locally finite.
Corollary: Let X be a Hausdorff topological premanifold. The following properties
of X are equivalent: its connected components are countable unions of compact
sets, its connected components are second countable, and it is paracompact.
Proof: If {U, V} is a separation of X and X is paracompact then it is clear that
both U and V are paracompact. Hence, since the connected components of X are
open, X is paracompact if and only if its connected components are paracompact.
We may therefore restrict our attention to connected X. For such X, we claim that
it is equivalent to require that X be a countable union of compact sets, that X be
second countable, and that X be paracompact. By the preceding theorem, if X is
second countable then it is paracompact. Since X is connected, Hausdorff, and
locally compact, if it is paracompact then it is a countable union of compacts.
Hence, to complete the cycle of implications it remains to check that if X is a
countable union of compacts then it is second countable. Let {Kn} be a countable
collection of compacts that cover X, so if {Ui} is a covering of X by open sets
homeomorphic to an open set in a Euclidean space we may find finitely many Ui’s
that cover X. Since each Ui is certainly second countable (being, open in a Euclidean
space), a countable base of opens for X is given by the union of countable bases
of opens for each of the Ui’s. Hence, X is second countable.
1. A space is said to be locally connected iff for every open set U, the connected
components of U in the subspace topology are open. A continuous function
from a locally connected space to a totally disconnected space must be
locally constant.
Self-Instructional
Material 177
Local Connectedness
and Compact Spaces 2. We say that a net {xλ } has x ∈ X as a cluster point if and only if for each
neighbourhood U of x and for each λ 0 ∈ Λ there exist some λ ≥ λ 0 such
that xλ ∈ U .
NOTES
3. A topological space X is compact if and only if every net on X has a
convergent subnet on X.
4. A paracompact space is a topological space in which every open
cover admits a locally finite open refinement.
10.6 SUMMARY
• ∏X
λ
λ is locally connected if and only if each space Xλ is locally connected
and all but a finite number are connected.
• By local connectedness, there must exist a connected open set G containing
z and contained in π β−1 (Yβ ).
• We say that a net {xλ } has x ∈ X as a cluster point if and only if for each
neighbourhood U of x and for each λ 0 ∈ Λ there exist some λ ≥ λ 0 such
that xλ ∈ U .
• A net {xλ } has y ∈ X as a cluster point if and only if it has a sub net, which
converges to y.
• A topological space X is compact if and only if every net on X has a
convergent subnet on X.
• A paracompact space is a topological space in which every open
cover admits a locally finite open refinement.
• The space X is locally compact if each x ∈ X admits a compact
neighbourhood N.
• If X is locally compact and Hausdorff, then all compact sets in X are closed
and hence if N is a compact neighbourhood of x then N contains the closure
the open int (N) around x.
Self-Instructional
178 Material
• If X is a locally compact Hausdorff space that is second countable, then it Local Connectedness
and Compact Spaces
admits a countable base of opens {Un} with compact closure.
• An open covering {Ui} of X refines an open covering {Vj} of X if each Ui
is contained in some Vj. NOTES
• An open covering {Ui} of X is locally finite if every x∈ X admits a
neighbourhood N such that N ∩ Ui is empty for all but finitely many i.
• A topological space X is paracompact if every open covering admits a
locally finite refinement.
• Any second countable Hausdorff space X that is locally compact is
paracompact.
Self-Instructional
Material 179
Local Connectedness
and Compact Spaces 10.8 FURTHER READINGS
Munkres, James R. 1987. Topology a First Course. New Delhi: Prentice Hall of
NOTES India.
Dugundji, James. 1975. Topology. New Delhi: Prentice Hall of India.
Simmons, George F. 1963. Introduction to Topology and Modern Analysis.
US: McGraw Hill Inc.
Munkres, James R. 2011. Topology, 2nd edition. New Delhi: PHI Learning Pvt.
Ltd.
Basener, William F. Topology and Its Applications. New Jersey: John Wiley &
Sons, Inc.
Bourbaki, Nicolas. 1966. General Topology: Elements of Mathematics, Volume
2. United States: Addison-Wesley.
Kelley, John L. 1975. General Topology. New York: Springer-Verlag.
Self-Instructional
180 Material
Compact Set and Limit
POINT COMPACTNESS
NOTES
Structure
11.0 Introduction
11.1 Objectives
11.2 Compact Set in the Real Line
11.2.1 The Bolzano-Weierstrass Property and Sequential Compactness
Sequential Compactness
11.2.2 Finite Intersection Property
11.2.3 Continuous Functions and Compact Sets
11.3 Limit Point Compactness
11.4 Local Compactness
11.5 Answers to Check Your Progress Questions
11.6 Summary
11.7 Key Words
11.8 Self Assessment Questions and Exercises
11.9 Further Readings
11.0 INTRODUCTION
11.1 OBJECTIVES
X = ∪{Gλ : λ ∈ A},
there exist finitely many sets Gλ ,..., Gλ among the G λ ’ss such that
1 n
X = Gλ1 ∪ ... ∪ Gλ n
A ⊂ ∪{Gλ : λ ∈ A},
Since A ⊂ Y, we have A = Y ∩ A.
Hence A ⊂ Y ∩ {Gλ ∪,..., ∪Gλ } = (Y ∩ Gλ ) ∪ ... ∪ (Y ∩ Gλ )
1 n 1 n NOTES
[Distributive law]
Self-Instructional
Material 185
Compact Set and Limit Lemma 2: If X is sequentially compact then it is separable.
Point Compactness
Proof: Fix δ > 0 and let x1 ∈ X. Choose x2 ∈ X such that d(x1, x2) > δ, if
possible. Having chosen x1,..., xj, choose xj+i (if possible) such that d(xi, xj+i) > δ
NOTES for all i = 1,... ,j. We first notice that this process has to stop after a finite number
of iterations. Indeed, otherwise we would obtain an infinite sequence of points xi
mutually distant by at least δ; since X is sequentially compact the infinite subset
{xi, i = 1,2,...} would admit a limit point y, and the neighbourhood Nδ/2(y) would
contain infinitely many of the xi’s, contradicting the fact that any two of them are
distant by at least d. So after a finite number of iterations we obtain x1,..., xj such
that Nδ(x1)∪... ∪Nδ(xj) = X (every point of X is at distance less than δ from one
of the xi’s).
1
We now consider this construction for δ = (n = 1, 2,...). For n = 1 the
n
construction gives points x11,..., x1j1 such that N1(x11) ∪......∪ N1(x1j1) = X, for n
= 2 we get x21,..., x2j2 such that N1/2(x21∪...∪N1/2(x2j2) X, and so on. Let S = {xki,
k ≥ 1,1 ≤ i ≤ jk}: clearly S is countable. We claim that S is dense (i.e., S = X).
Indeed, if x ∈ X and r > 0, the neighbourhood Nr(x) always contains at least a
1
point of S (choosing n so that < r, one of the xni’s is at distance less than r from
n
x), so every point of X either belongs to S or is a limit point of S, i.e., S = X.
At this point we know that every sequentially compact set has a countable
base. We now show that this is enough to get countable subcovers of any open
cover.
Lemma 3: If X has a countable base, then every open cover of X admits an at
most countable subcover.
Lemma 4: If {Fn} is a sequence of non-empty closed subsets of a sequentially
compact set K such that Fn ⊃ Fn + 1 for all n = 1, 2,..., then ∩∞n =1 Fn ≠ φ .
Proof: Take xn ∈ Fn for each integer n, and let E = {xn, n = 1, 2,... }. If E is finite
then one of the xi belongs to infinitely many Fn’s. Since F1 ⊃ F2 ⊃ ..., this implies
∞
that xi belongs to every Fn, and we get that y ∈ ∩n =1 Fn is not empty..
Assume now that E is infinite. Since K is sequentially compact, E has a limit
point y. Fix a value of n: every neighbourhood of y contains infinitely many points
of E; among them, we can find one which is of the form xi for i > n and therefore
belongs to Fn (because xi ∈ Fi ⊂ Fn). Since every neighbourhood of y contains a
point of Fn, we get that either y ∈ Fn, or y is a limit point of Fn; however, since Fn
Self-Instructional
186 Material
is closed, every limit point of Fn belongs to Fn. So in either case we conclude that Compact Set and Limit
Point Compactness
∞
y ∈ Fn. Since this holds for every n, we obtain that y ∈ ∩n =1 Fn , which proves
that the intersection is not empty.
NOTES
We can now prove the theorem. Assume that K is sequentially compact,
and let {Gα} be an open cover of K. By Lemma 1 and Lemma 2, K has a countable
base, so by Lemma 3 {Gα} admits an at most countable subcover that we will
denote by {Gi}i ≥ 1 . Our aim is to show that {Gi} admits a finite subcover (which
will also be a finite subcover of {Gα}. If {Gi} only contains finitely many members,
we are already done; so assume that there are infinitely many Gi’s and assume that
for every value of n we have G1∪ ..... ∪ Gn ⊄ K (else we have found a finite
subcover).
{ }
m
∉ ∪im=1U z , for all n ≥ max N zi .
i =1
Self-Instructional
Material 187
Compact Set and Limit Sequential Compactness
Point Compactness
Suppose (xn) is a sequence from X. Now consider any sequence (τn) of positive
( ) ( )
∞
NOTES integers such that τn < τn+i for all n. Then xτn ≡ xτn is called a subsequence
n =1
such that xτn → x ∈ X. Therefore, for any ε > 0, there is an N > 0 such
that n > N implies d( xτn , x) < ε. Therefore, xn ∈ Nε(x) for all n > τN,
which implies that (xn) satisfies B-W.
• Suppose X satisfies B-W so that there is a cluster point x ∈ X. We may
construct convergent sequence recursively as follows. Let τ1 = 1. For each
n choose τn ≥ τn–1 such that ( xτn ) ∈ N 1 ( x) . Then xτn → x .
n
ε ε
d(xτ, x) ≤ + = ε.
2 2
NOTES
11.2.2 Finite Intersection Property
The finite intersection property is a property of a collection of subsets of a set X.
A collection has this property if the intersection over any finite subcollection of the
collection is nonempty.
A centered system of sets is a collection of sets with the finite intersection
property.
Let X be a set with A = {Ai}i∈I, a family of subsets of X. Then the collection
A has the finite intersection property (fip), if any finite subcollection J ⊂ I has non-
empty intersection Ai .
i∈J
The finite intersection property is most often used to give the following
equivalent condition for the compactness of a topological space (a proof of which
may be found here):
Proposition: A topological space X is compact if and only if for every collection
C = {Cα }α∈J of closed subsets of X having the finite intersection property has
nonempty intersection.
An important special case of the preceding condition is that in which C is a
countable collection of non-empty nested sets, i.e., when we have C1 ⊃ C2 ⊃ C3
⊃.... In this case, C automatically has the finite intersection property and if each Ci
is a closed subset of a compact topological space, then, by the proposition,
n
i =1
Ci ≠ φ .
Self-Instructional
190 Material
The fip characterization of compactness may be used to prove a general Compact Set and Limit
Point Compactness
result on the uncountability of certain compact Hausdorff spaces, and is also used
in a proof of Tychonoff’s theorem.
Theorem 7: A topological space is compact if and only if any collection of its NOTES
closed sets having the finite intersection property has non-empty intersection.
The preceding theorem is essentially the definition of a compact space rewritten
using de Morgan’s laws. The usual definition of a compact space is based on open
sets and unions. The above characterization, on the other hand, is written using
closed sets and intersections.
Proof: Suppose X is compact, i.e., any collection of open subsets that cover X
has a finite collection that also covers X. Further, suppose {Fi }i∈I is an arbitrary
collection of closed subsets with the finite intersection property. We claim that
∩ i∈I Fi is non-empty..
written as Ac). Since each Fi is closed, the collection { F i c }i∈ I is an open cover
closed subsets { F i c }i∈ I has the finite intersection property. If J is a finite subset of
finite. Then, since X has the finite intersection property, φ ≠ i∈J Fic =( i∈J Fi )c ,
Self-Instructional
Material 191
Compact Set and Limit 11.2.3 Continuous Functions and Compact Sets
Point Compactness
D ∪ R is compact if and only if for any given open covering of D we can subtract
a finite sucovering. That is, given (Gα), α ∈ A, a collection of open subsets of R
NOTES (A an arbitrary set of indices) such that D ⊂ ∪α∈A Gα , then there exist finitely
( )
f Ba ( δ a ( ε ) ) ∩ D ⊆ B f ( a ) (ε)
( )
f −1 ( G ) =∪ a∈ f –1 (G ) Ba ( δ a ) ∩ D
N
this implies in turn that f ( D ) ⊆ ∪=i 1 Gαi is compact.
NOTES
Theorem 11: A continuous function maps connected sets into connected sets.
In other words, assume f : D → R is continuous and D is connected. Then
f(D) is connected as well.
Proof: Assume f(D) is not connected. Then there must exist A, B disjoint, non-
empty subsets of f(D), both open relative to f(D), such that f(D) = A ∪ B. Being
open relative to f(D) simply means there exists U, V ⊆ R open such that A = f(D)
∩ U, B = f(D) ∩ V. So f(D) ⊆ U ∪ V. But this implies that
D ⊂ f–1(U) ∩ f–1(V). Since U, V are open, it follows that f–1(U) and f–1(V) are
open relative to D. But they are also disjoint. Since D is connected, it follows that
at least one of them, say f–1(U), is empty. But A ⊆ U, so this forces
f–1(A) = φ as well, which is impossible unless A = φ (note that A is a subset of the
image of f ), contradiction.
Theorem 12: A continuous function on a compact set is uniformly continuous.
Proof: Assume D compact and f : D → R continuous. Given ε > 0 we need to
find δ (ε) > 0 such that if x, y ∈ D and |x – y| < δ(ε), then |f(x) – f(y)| < ε.
From the definition of continuity, given ε > 0 and x ∈ D, there exists
δx (ε) such that if |y – x| < δx(ε), then |f(y) – f(x)| < ε. Clearly D ⊆
1
∪ x∈ D B x δ ( ε / 2 ) . From this open covering we can extract a finite
2
subcovering (D is compact), meaning there must exists finitely many x1, x2, ....,xN
1
ε D such that D ⊆ ∪ iN=1 B xi ( δ xi (ε/2)).
2
1
Let now δ(ε) = min{ δ xi (ε/2)}.
2
Take y, z ∈ D arbitrary such that |y – z| < δ(ε). The idea is that y will be
near some xj, which in turn places z near that same xj. But that forces both f(y),
f(z) to be close to f(xj) (by continuity at xj), and hence close to each other.
1
Since y ∈ D, there must exist some j, 1 < j < N such that y ∈ Bx ( δ x j (ε/
j 2
2)). Thus
Self-Instructional
194 Material
Compact Set and Limit
1 Point Compactness
• |y – xj|< δ x j (ε/2)
2
1 NOTES
• but |y – z|< δ(ε) ≤ δ x (ε/2)
2 j
1 1
By the triangle inequality it follows that |z – x| < δ x j (ε/2). So y, z are within δ x j
2 2
(ε/2) of x.
This implies that
• |f(y) – f(xj)|< ε/2
• |f(z) – f(xj)|< ε/2
By the triangle inequality once again we have | f(y) – f(z)| <ε.
Alternative proof using sequences: Assume f is not uniformly continuous,
meaning that there exists ε > 0 such that no δ > 0 does the job.
1
Checking what this means for δ = , we see that for any such 3n ≥ 1 there exist
n
1
xn, yn ∈ D such that |xn – yn| < and yet |f(xn) – f(yn)| > ε. However D is
n
compact; in particular any sequence in D has a convergent subsequence whose
limit belongs to D. Applying this principle twice we find that there must exist n1<
1 1
• By construction, xnk – ynk < ≤ . Taking the limit, we find x = y..
nk k
( )
• By continuity, lim k →∞ f xn = f ( x) , since x ∈ D. Also
k
( )
lim k →∞ f ynk = f ( y ) .
( ) ( )
• Also by construction, f xnk – ynk > ε. Hence in the limit, |f(x) – f(y)|
>ε.
We thus reach a contradiction.
Self-Instructional
Material 195
Compact Set and Limit Proposition: Let D ⊆ R. Then the following propositions are equivalent:
Point Compactness
a) D is compact
b) D is bounded and closed
NOTES
c) Every sequence in D has a convergent subsequence whose limit belongs
to D.
1 1
∃N ≥ 1 such that D ⊆ R – [ y − , y + ]. But this implies that
N N
1 1
y − , y + ⊆ R – D . But y was chosen arbitrary in R – D, so this set is
N N
open, and hence D itself is closed.
b ⇒ c. This has to do with the fact that every bounded sequence has a convergent
subsequence.
c ⇒ b. Here one shows D = D and this has to do with the fact that D is the set
of limits of convergent sequences of D, etc.
We will now prove that there exists n ≥ 1 such that D ⊆ ∪∞k =1 Gk . Assume this was
Self-Instructional
196 Material
Compact Set and Limit
n
that for j large enough (larger than j0 and larger than N) we have xn j ∈ GN ⊆ ∪k =j 1 , Point Compactness
Self-Instructional
198 Material
Proof: Let {Hλ:λ ∈ A} be an open cover of f [X]. Since f is continuous, f–1 [Hλ] is Compact Set and Limit
Point Compactness
an open set in X. It follows that the collection {f–1[Hλ]:λ ∈A} is an open cover of
X. Since X is compact, there exist finitely many indices λ1...., λn such that
X = f -1 [Hλ1] ... f–1 [Hλn) = f1 [Hλ1 ... Hλn]. NOTES
It follows that
f = [X] = f [f–1 (Hλ1 ... Hλ1] ⊂ Hλn) ... Hλn
Hence f[X] is compact.
A mapping f of a set A into Rn is said to be bounded if there exists a real
number M such that | f ( x) | ≤ M for all x ∈ A.
Limits and Continuity
Let (X, d) and (Y, p) be two metric spaces and A ⊂ X . Suppose f maps A into Y,,
and p is a limit point of A. Then we say that f(x) tends to the limit q ∈ Y as x tends
to p if for every q > 0 there exists a δ > 0 such that
0 < d ( x, p) < δ ⇒ ρ ( f ( x), q) < ∈
lim
We then write f(x) → q as x → p or x → p f(x) = q.
Let (X, d) and (Y, p) be two metric spaces, A ⊂ X , p ∈ A and f maps A into
Y. Then we say that f is continuous at p if for every ∈> 0 there exists a aδ > 0
such that
x ∈ A, d ( x, p ) < δ ⇒ ρ ( f ( x), f ( p )) <∈
If f is continuous at every point of A, then f is said to be continuous on A or
simply continuous.
Continuity in Rn
Let A be a subset of Rn and let f be a mapping of A into Rm. Then f is said to be
continuous at a point p ∈ A if for every ∈> 0 there exists δ > 0 such that
| x – p |< δ ⇒| f(x) – f(p) |<∈ .
Example 1: Let (X, d) and (Y, p) be two metric spaces and p an isolated point of
A ⊂ X . Show that the map f: A → Y is continuous at p.
Solution: Let ∈> 0 be given. Since p is an isolated point of A, we can always find
a δ > 0 such that the only point x ∈ A for which d ( x, p) < δ is x = p. We then
have
Self-Instructional
Material 199
Compact Set and Limit
Point Compactness
ρ ( f ( x), f ( p)= ρ ( f ( p), f ( p))= 0 <∈ .
Hence f is continuous at p.
Theorem 18: Let (X, d) (Y, ρ ) and (Z, σ ) be three metric spaces, A ⊂ X f
NOTES
maps A into Y, g maps f [A] into Z, and h is a mapping of A into Z defined by
h( x) g ( f ( x))( x ∈ A)
=
(The mapping h is called the composition map of the functions f and g). If is
continuous at a point p ∈ A and if g is continuous at f(p) then h is continuous at p.
Proof: Let ∈> 0 be given. Since g is continuous at f(p) there exists η > 0 such
that
y ∈ f [ A], ρ ( y, f ( p )) < η ⇒ σ ( g ( y ), g ( f ( p )) <∈
Again since f is continuous at p there exists δ > 0 such that
x ∈ A, d ( x, p ) < δ ⇒ ρ ( f ( x), f ( p )) < η
Since f(x) ∈ f [ A] taking y = f(x) in the equation, it then follows from the
above equations that
x ∈ A, d ( x, p ) < δ ⇒ σ ( g ( f ( x)), g ( f ( p ))) <∈
= √ [( 14 (x1 – x2)2 + 1
4 (y1 – y2)2]
1
= √[(x1 – x2) + (y1 – y2)]
2 2
2
1
= 2 d(x1 – y)
Self-Instructional
Material 201
Compact Set and Limit 3. For each compact C and open U ⊃ C, there is a relatively compact open V
Point Compactness
with C ⊂ V ⊂ V ⊂ U.
4. X has a basis consisting of relatively compact open sets.
NOTES Proof
(1) ⇒ (2) There is some open W with x ∈ W ⊂ W and W compact. Since W is
a regular space and W ∩ U is a neighbourhood of x in W , there is a set G
f (U ) is compact.
Definition: Let (X, T) be a topological space and A ⊂ X. Then A is T-locally
compact if and only if A is TA locally compact.
Theorem 23: Let (X, T) be a local compact space and A ⊂ X. Then A is locally
compact if and only if for any x ∈ A there exists a T-neighbourhood V of x such
Self-Instructional
202 Material
Compact Set and Limit
that A ∩ ( A ∩ V ) is T-compact. Point Compactness
Theorem 24: ∏ {Yα : α ∈ } is locally compact if and only if all the Yα are locally
compact Hausdroff spaces and at most finitely many are not compact.
Proof: Assume the condition holds. Given {yα} ∈ ∏ Yα , for each of the atmost
α
finitely many indices for which Yα is not compact, choose a relatively compact
neighbourhood Vαi ( yαi ) ; then < Vα1 ,...,Vα n > is a neighbourhood of {yα} and
< Vα1 ,..., Vα n > = < Vα ,..., Vα > is compact.
1 n
since pα( V ) = Yα for all but atmost finitely many indices α, the result follows.
A one point compactification of a non-compact space is Hausdorff space
exactly when the space is Hausdorff and locally compact.
Theorem 25: Let (X, T) be a non-compact space and (Y, U) be an Alexandroff
one-point compactification of (X, T). Then (Y, U) is a Hausdorff space if and only
if (X, T) is Hausdorff and locally compact.
Self-Instructional
Material 203
Compact Set and Limit Theorem 26: Every locally compact Hausdorff space is completely regular.
Point Compactness
Proof: Let (X, T) be a locally compact Hausdorff space and the space (Y, U) be
an Alexandroff one-point compactification of (X, T). Since (Y, U) is a compact
NOTES Hausdorff space, then U is a normal topology. By Urysohn’s lemma, (Y, U) must
be completely regular. Then (X, T) is a subspace of a completely regular space
and so is also completely regular.
( ) ( )
∞
positive integers such that τn < τn+i for all n. Then xτn ≡ xτn is called
n =1
a subsequence of (xn)
5. A topological space (X, T) is locally compact if each point has a relatively
compact neighbourhood.
6. A one point compactification of a non-compact space is Hausdorff space
exactly when the space is Hausdorff and locally compact.
Self-Instructional
204 Material
Compact Set and Limit
11.6 SUMMARY Point Compactness
X = ∪{Gλ : λ ∈ A},
there exist finitely many sets Gλ ,..., Gλ among the Gλ’ss such that
1 n
X = Gλ1 ∪ ... ∪ Gλ n
Self-Instructional
Material 205
Compact Set and Limit • A topological space X satisfies the Bolzano-Weierstrass (B-W) property if
Point Compactness
every sequence (xn) from X has at least one cluster point.
• Suppose (xn) is a sequence from X. Now consider any sequence (τn) of
NOTES
( ) ( )
∞
positive integers such that τn < τn+i for all n. Then xτn ≡ xτn is called
n =1
a subsequence of (xn)
• A centered system of sets is a collection of sets with the finite intersection
property.
• Let X be a set with A = {Ai}i∈I, a family of subsets of X. Then the collection
A has the finite intersection property (fip), if any finite subcollection J ⊂ I
has non-empty intersection Ai .
i∈J
Self-Instructional
208 Material
Compact Set and Limit
11.9 FURTHER READINGS Point Compactness
Munkres, James R. 1987. Topology a First Course. New Delhi: Prentice Hall of
India. NOTES
Dugundji, James. 1975. Topology. New Delhi: Prentice Hall of India.
Simmons, George F. 1963. Introduction to Topology and Modern Analysis.
US: McGraw Hill Inc.
Munkres, James R. 2011. Topology, 2nd edition. New Delhi: PHI Learning Pvt.
Ltd.
Basener, William F. Topology and Its Applications. New Jersey: John Wiley &
Sons, Inc.
Bourbaki, Nicolas. 1966. General Topology: Elements of Mathematics, Volume
2. United States: Addison-Wesley.
Kelley, John L. 1975. General Topology. New York: Springer-Verlag.
Willard, Stephen. 2004. General Topology. United States: Dover Publications.
Self-Instructional
Material 209
Countability and
Separation Axioms
BLOCK - IV
COUNTABILITY AXIOMS AND NORMAL SPACES
NOTES
12.0 INTRODUCTION
12.1 OBJECTIVES
Following are the axioms of countability specifically used for topological spaces.
First Axiom of Countability
A topological space X is said to satisfy the First Axiom of Countability if, for
every x ∈ X there exists a countable collection � of neighbourhoods of x, such
that if N is any neighbourhood of x, then there exists U ∈ � with U ⊆ N.
A topological space that satisfies the first axiom of countability is said
to be First Countable.
All metric spaces satisfy the first axiom of countability because for any
neighbourhood N of a point x, there is an open ball within N, and the countable
collection of neighbourhoods of x that are where , has the
neighbourhood where .
Theorem 1. If a topological space satisfies the first axiom of countability, then for
any point x of closure of a set S, there is a sequence {ai} of points within S which
converges to x.
Proof: Let {Ai} be a countable collection of neighbourhoods of x such that for
any neighbourhood N of x, there is an Ai such that Ai ⊂ N. Define,
Then form a sequence {ai} such that Ai ⊂ Bi. Consequently, {ai} converges
to x.
Theorem 2. Let X be a topological space satisfying the first axiom of countability.
Then, a subset A of X is closed if and only if all convergent sequences {xn} ⊂ A
which converge to an element of X converge to an element of A.
Proof: Suppose that {xn} converges to x within X. The point x is a limit point of
{xn} and thus is a limit point of A, and since A is closed, it is contained within A.
Conversely, suppose that all convergent sequences within A converge to an element
within A, and let x be any point of contact for A. Then by the theorem above, there
is a sequence {xn} which converges to x, and so x is within A. Thus, A is closed.
Self-Instructional
Material 211
Countability and Second Axiom of Countability
Separation Axioms
A topological space is said to satisfy the Second Axiom of Countability if it
has a countable base. Consequently, the topological space that satisfies the second
NOTES axiom of countability is said to be Second Countable.
Fundamentally, the topological space that satisfies the second axiom of
countable is first countable, since the countable collection of neighbourhoods of a
point can be all neighbourhoods of the point within the countable base, so that any
neighbourhood N of that point must contain at least one neighbourhood A within
the collection, and A must be a subset of N.
Theorem 3. If a topological space X satisfies the second axiom of countability,
then all open covers of X have a countable subcover.
Proof: Let be an open cover of X, and let B be a countable base for X. B
covers X. For all points x, select an element of , Cx which contains x, and an
element of the base Bx, which contains x and is a subset of Cx (which is possible
because B is a base). { Bx} forms a countable open cover for X. For each Bx,
select an element of which contains Bx, and this is a countable subcover of .
The separation axioms Ti specify the degree to which distinct points or closed sets
may be separated by open sets. These axioms are statements about the richness
of topology.
Definition (Ti axioms): Let (X, ) be a topological space.
T0 axiom : If a, b are two distinct elements in X, there exists an open set U
∈ such that either a ∈ U and b ∉U, or b ∈U and a ∉U (i.e., U containing
exactly one of these points).
T1 axiom: If a, b ∈ X and a ≠ b, there exist open sets Ua, Ub ∈ containing
a, b respectively, such that b ∉ Ua, and a ∉ Ub.
T2 axiom: If a, b ∈ X, a ≠ b, there exist disjoint open sets Ua, Ub ∈
containing a, b respectively.
T3 axiom: If A is a closed set and b is a point in X such that b ∉ A, there exist
disjoint open sets UA, Ub ∈ containing A and b respectively.
T4 axiom : If A and B are disjoint closed sets in X, there exist disjoint open
sets UA, UB ∈ containing A and B respectively.
Self-Instructional
212 Material
T5 axiom : If A and B are separated sets in X, there exist disjoint open sets Countability and
Separation Axioms
UA , UB ∈ containing A and B respectively.
If (X, ) satisfies a Ti axiom, X is called a Ti space. A T0 space is sometimes
called a Kolmogorov space and a T1 space, a Frechet space. A T2 is called a NOTES
Hausdorff space.
Each of axioms in Definition above is independent of the axioms for a
topological space; in fact there exist examples of topological spaces which fail to
satisfy any Ti. But they are not independent of each other, for instance, axiom T2
implies axiom T1, and axiom T1 implies T0.
More importantly than the separation axioms themselves is the fact that they
can be employed to define successively stronger properties. To this end, we note
that if a space is both T3 and T0 it is T2, while a space that is both T4 and T1 must
be T3. The former spaces are called regular, and the latter normal.
Specifically a space X is said to be regular if and only if it is both a T0 and a
T3 space, normal if and only if it is both a T1 and T4 space, completely normal if
and only if it is both a T1 and a T5 space. Then we have the following implications:
Completely normal ⇒ Normal ⇒ Regular ⇒ Hausdorff ⇒ T1 ⇒ T0
The use of terms ‘regular’ and ‘normal’ is not uniform throughout the
literature. While some authors use these terms interchangeably with ‘T3 space’
and ‘T4 space’ respectively, others refer to our T3 space as a ‘regular’ space and
vice versa, and similarly permute ‘T4 space’ and ‘normal’. This allows the
successively stronger properties to correspond to increasing Ti axioms.
12.3.1 Hausdorff Spaces
Theorem 4: Let (X, ) be a topological space. Then the following statements are
equivalent:
1. (T2 axiom). Any two distinct points of X have disjoint neighbourhoods.
2. The intersection of the closed neighborhoods of any point of X consists of
that point alone.
3. The diagonal of the product space X × X is a closed set.
4. For every set I, the diagonal of the product space Y + XI is close in Y.
5. No filter on X has more than one limit point.
6. If a filter on X converges to x, then x is the only cluster point of .
Proof: We will proof the implications:
(1) ⇒ (2) ⇒ (6) ⇒ (5) ⇒ (1)
(1) ⇒ (4) ⇒ (3) ⇒ (1)
Self-Instructional
Material 213
Countability and (1) ⇒ (2) : If x ≠ y there is an open neighbourhood U of x and an open
Separation Axioms
neighbourhood V of y such that U ∩ V =∅ ; hence y ∉ U .
Self-Instructional
214 Material
Countability and
For this graph is the set of all ( x, y) ∈ X × Y such that f ( x) = y and the two Separation Axioms
mappings ( x, y ) → f ( x) are continuous.
The invariance properties of Hausdorff topologies are:
NOTES
Theorem 7:
1. Hausdorff topologies are invariant under closed bijections.
2. Each subspace of a Hausdorff space is also a Hausdorff space.
if ∏X
α
α is Hausdorff, then each Xα is homeomorphic to some slice in
∏Xα
α , so by (2) (since the Hausdorff property is a topological invariant),
Xα is Hausdorff.
Theorem 8: If every point of a topological space X has a closed neighbourhood,
which is a Hausdorff subspace of X, then X is Hausdorff.
12.3.2 Convergence to T0 Space
Definition : Let (X, T) be a topological space and x ∈ X. Let <xn> be a sequence
of points in X. Then the sequence has limit x or converges to x written as lim xn =
x or xn → x if and only if for every open set G containing x there exists an integer
N(G) such that xn ∈ G whenever n > N(G).
A sequence will be called convergent if and only if there is at least one point
to which it converges. Every subsequence of a convergent sequence is also
convergent and has the same limits. The convergence of a sequence and its limits
are not affected by a finite number of alternations in the sequence, including the Self-Instructional
Material 215
Countability and adding or removing of a finite number of terms of the sequence. It is the failure of
Separation Axioms
limits of sequences to be unique that makes this concept unsatisfactory in general
topological spaces. For example let T be the trivial topology on a set X and let
<xn> be a sequence in X and x be any member of X, then <xn> → x.
NOTES
However in a Hausdorff space, a convergent sequence has a unique limit as
the following theorem shows.
Theorem 9: In a Hausdorff space, a convergent sequence has a unique limit.
Proof: Suppose a sequence <xn> converges to two distinct points x and x* in a
Hausdorff space X. By the Hausdorff property, there exists two disjoint open sets
G and G* such that x ∈G and x* ∈ G*. Since xn → x, there exists an integer N
such that xn ∈ G whenever n > N. Also xn → x*, there exists an integer N such
that xn ∈G* whenever n > N*. If m is any integer greater than both N and N*,
then xm must be in both G and G* which contradicts that G and G* are disjoint.
Note: The converse of this theorem is not true.
A ⊂ {c : c ∈ C}
Proof: Let S= {G:G ∈ C} and let x∈S. Then there is at least one G ∈ C such
that x∈G. Since G is open, there exists an open interval Ix with centre at x such
that Ix ⊂ G. Since every interval Ix contains infinitely many rational points we can
find an open interval J x with rational end points such that
x ∈ Jx ⊂ Ix. Since the collection {Jx}, x ∈ S, is countable, and
S = {Jx:x ∈ S}.
For each interval in {Jx}, choose a set G in C which contains it. This gives
a countable subcollection
∞
{Gi }i =1
∞
= of C and S = Gi
i =1
∞
Hence ∪{G : G ∈ C} = S = Gi .
i =1
that
∞
∪{G : G ∈ C} = S = Gi
i =1
∞
and so A = Gi Hence the theorem.
Self-Instructional i =1
220 Material
The Heine-Borel covering theorem states that from any open covering of an Countability and
Separation Axioms
arbitrary set A of real numbers, we can extract a countable covering. The Heine-
Borel theorem tells us that if, in addition, we know that A is closed and bounded,
we can reduce the covering to a finite covering. The proof makes use of the
NOTES
nested interval theorem.
Theorem 19 (Heine-Borel): Let F be a closed and bounded set of real numbers.
Then each open covering of F has a finite subcovering. That is, if C is a collection
of open sets such that F ⊂ ∪{G : G ∈ C}, then there exists a finite subcollection
n
(G1 G2,...,Gn) of C such that F ⊂ Gi .
i =1
In other words, every closed and bounded set of real numbers is compact.
Proof: Since F is bounded, it is contained in some closed and bounded interval
[a, b]. Let C* be the collection obtained by adding F' (the complement of F) to
C; that is, C* = C ∪{F'}. Since F is closed, F' is open and so C' is a collection of
open sets. By hypothesis, F ⊂ ∪{G : G ∈ C}, and so
R = F∪F' ⊂ [∪{G : G ∈ C}] ∪ F' = ∪{G : G ∈ C*}
We now show that [a, b] is covered by a finite sub-collection of C. Suppose the
contrary to be true. Now if I0= [a, b] connot be covered by a finite subcollection
1 1
of C*, then one of the intervals [a, (a + b)], [ (a + b), b] cannot be so
2 2
covered. We rename such an interval as [a1, b2]. Similarly, one of the intervals
1 1 cannot be covered by a finite subcollection
a1 , 2 ( a1 + b1 ) , 2 ( a1 + b1 ) , b1
of C*. We designate such an interval as [a2, b2]. Continuing in this way, we obtain
a sequence of closed intervals
{In} = {[an, bn]} such that In ⊂ In+l
b–a
and =
I n bn –=
an → C as n → ∞ .
2n
∞
Hence by the nested interval theorem, I n consists of a single point, say
n =1
x0. This point x0 must belong to one of the members, say G0 of C*.
Since G 0 is an open set and x 0 ∈ G 0, there exists ε > 0 such that ]
b−a
x0 – ε, x0+ ε [⊂ G0. Also we can choose k so large that < ε . Then
2k
I k ⊂]x0 – ε, x0 + ε[⊂ G0 and so Ik is covered by a single member of C*. But this
Self-Instructional
Material 221
Countability and contradicts the constructed property of the members of {In : n ∈ N}. Hence [a,
Separation Axioms
b] must be covered by a finite subcollection of C* and hence F must also be
covered by a finite subcollection of C*. If this finite subcollection does not contain
F', it is a subcollection of C and the conclusion of our theorem holds. If the
NOTES
subcollection contains F', denote it by {Gl G2...,Gn, F'}. Then F ⊂ F' ∪
G1∪G2∪...∪Gn. Since no point of F is contained in F', we have F ⊂ G1 ∪ G2
∪.....∪ Gn, and the collection {G1, G2,..., Gn} is a finite subcollection of C which
covers F.
This proves the theorem.
The converse of the preceding theorem is given in the next theorem.
Theorem 20: Compact subsets of R are closed and bounded.
Proof: Let A be any compact subset of R. If An=]–n, n[, then the collection
C = {An : n ∈ N} is evidently an open cover of R and so an open cover of A.
Since A is compact, there exist finitely many positive integers n1,n2...nk such that
{ }
the subcollection An1 , An2 ,...., Ank of C covers A. Let n0= max {n1, n2...,nk],
A ⊂ [R – ∩{Fn : n ∈ N}] =
∪{R – Fn : n ∈ N ] [De Morgan law].
contained in Fmi – [a – 1/mi, a + 1/mi]. This implies that a is not a limit point of A.
Hence A is closed.
A Characterization of Compact Sets on R
Theorem 21: A subset of R is compact if and only if it is closed and bounded.
Self-Instructional
222 Material
Theorem 22: R is not compact. Countability and
Separation Axioms
Proof: Let An=] – n, n[. Then clearly C = {An : n ∈ N} is an open cover of R. If
{A n1 , }
An2 ,...., Ank be any finite subfamily of C, let n0= max {n1, n2,...,nk}. Then
NOTES
n0 ∉ Ani , for any i = l, 2,...,k.
{ }
of C which covers A. For, if C' = An1 , An2 ,...., Ank be any finite subcollection of
C, let n0 = max {n1 n2 ,....., nk } . Then it is evident that the subset ]a, a + 1/n0] of
A is not covered by C'. Thus we have shown that there exists an open cover of A
which does not admit of a finite subcover. Hence ]a, b[ is not compact.
12.3.5 Separable Spaces and Separability
A topological space is called separable if it contains a countable dense subset;
that is, there exists a sequence { xn }n =1 of elements of the space such that every
∞
nonempty open subset of the space contains at least one element of the sequence.
In particular, every continuous function on a separable space whose image is a
subset of a Hausdorff space is determined by its values on the countable dense
subset.
In general, separability is a technical hypothesis on a space which is quite
useful and among the classes of spaces studied in geometry and classical analysis
generally considered to be quite mild. It is important to compare separability with
the related notion of second countability, which is in general stronger but equivalent
on the class of metrizable spaces. Let us consider some examples of separable
space.
• Every compact metric space (or metrizable space) is separable.
• Any topological space which is the union of a countable number of separable
subspaces is separable. Together, these first two examples give a different
proof that n-dimensional Euclidean space is separable.
Self-Instructional
Material 223
Countability and • The space of all continuous functions from a compact subset of Rn into R is
Separation Axioms
separable.
• It follows easily from the Weierstrass approximation theorem that the set
NOTES Q[t] of polynomials with rational coefficients is a countable dense subset of
the space C([0,1]) of continuous functions on the unit interval [0, 1] with
the metric of uniform convergence. The Banach-Mazur theorem asserts
that any separable Banch space is isometrically isomorphic to a closed
linear subspace of C([0, 1]).
• The Lebesuge spaces Lp are separable for any 1 < p < ∞.
• A Hilbert space is separable if and only if it has countable orthonormal
basis; it follows that any separable, infinite-dimensional Hilbert space is
isometric to 2 .
• An example of a separable space that is not second-countable is Rllt,the
set of real numbers equipped with the lower limit topology.
• A topological space X is separable if and only if there exists a finite or
denumerable subset A of X such that the closure of A is the entire space i.e.,
A = X.
• The real line R with the usual topology is separable since the set Q of rational
numbers is denumerable and is dense in R, i.e., Q = R .
• Every second countable space is separable but not every separable space
is second countable. For example, the real line R with the topology generated
by the closed-open intervals [a, b) is a classic example of a separable space
which does not satisfy the second axiom of countability.
such that every nonempty open subset of the space contains at least one
element of the sequence.
12.5 SUMMARY
Self-Instructional
Material 225
Countability and • The convergence of a sequence and its limits are not affected by a finite
Separation Axioms
number of alternations in the sequence, including the adding or removing of
a finite number of terms of the sequence.
NOTES • In a Hausdorff space, a convergent sequence has a unique limit.
• If <xn> is a sequence of distinct points of a subset E of a topological space
X which converges to a point x ∈ X then x is a limit point of the set E.
• If f is a continuous mapping of the topological space X into the topological
space X*, and <xn> is a sequence of points of X, which converges to the
point x ∈ X, then the sequence <f(xn)> converges to the point f(x) ∈ X*.
• An infinite Hausdorff space X contains an infinite sequence of non-empty
disjoint open sets.
• A function defined on a first countable space X is continuous at p ∈ X if and
only if it is sequentially continuous at p.
• A second countable space is also first countable.
• Let A be any subset of a second countable space X. Then every open
cover of A is reducible to a countable cover.
• Let X be a second countable space. Then every base B for X is reducible
to a countable base for X.
Munkres, James R. 1987. Topology a First Course. New Delhi: Prentice Hall of
India.
Dugundji, James. 1975. Topology. New Delhi: Prentice Hall of India.
Simmons, George F. 1963. Introduction to Topology and Modern Analysis.
US: McGraw Hill Inc.
Munkres, James R. 2011. Topology, 2nd edition. New Delhi: PHI Learning Pvt.
Ltd.
Basener, William F. Topology and Its Applications. New Jersey: John Wiley &
Sons, Inc.
Bourbaki, Nicolas. 1966. General Topology: Elements of Mathematics, Volume
2. United States: Addison-Wesley.
Kelley, John L. 1975. General Topology. New York: Springer-Verlag.
Willard, Stephen. 2004. General Topology. United States: Dover Publications.
Self-Instructional
Material 227
Normal Spaces
13.0 INTRODUCTION
13.1 OBJECTIVES
A topological space X is a regular space if, given any nonempty closed set F and
any point x, such that x ∉ F, there exists a neighbourhood U of x and a NOTES
neighbourhood V of F that are disjoint or we can say that it must be possible to
separate x and F with disjoint neighbourhoods.
If a topological space is both regular and a Hausdorff space then it is said to
be a T3 space or regular Hausdorff space. A Hausdorff space or T2 space is a
topological space in which any two distinct points are separated by neighbourhoods.
Also, a space is T3 iff it is both regular and T0. A T0 or Kolmogorov space is a
topological space, wherein any two distinct points are topologically distinguishable,
i.e., for every pair of distinct points, at least one of them has an open neighborhood
not containing the other. In fact, if a space is Hausdorff then it is T0 and each T0
regular space is Hausdorff, since given two distinct points, at least one of them
misses the closure of the other one. So by regularity there exist disjoint
neighbourhoods separating one point from the closure of the other.
A topological space is said to be topologically regular if every point has an
open neighbourhood that is regular. Clearly, every regular space is locally regular,
but the converse is not true.
Normal Spaces
A topological space X is said to be a normal space if, given any disjoint closed
sets E and F, there are open neighbourhoods U of E and V of F that are also
disjoint. This condition implies that E and F can be separated by neighbourhoods.
U V
E F
Theorem 1 (Urysohn’s Lemma): Let X be a topological space and let any two
disjoint closed sets A, B in X can be separated by open neighbourhoods. Then
there is a continuous function f : X → [0, 1] such that f | A ≡ 1 and
f | B ≡ 0.
Proof: Here, define f as the pointwise limit of a sequence of functions. Any
collection of sets r = (A0, A1,…, Ar) is an admissible chain if A = A0 ⊂ A1 ⊂, ....,
0 0
⊂ Ar ⊂ X \B and A k −1 ⊂ A k
,0 ≤ k ≤ r . The set A k +1
\ A k −1 is the kth step domain
of Ur , where Ar+1 = X and A–1 = φ.
( )
0 0
Proof: Since A k +1
\ A k −1 = A k +1 X \ A k −1 is the finite intersection of open sets,
hence it is open. For any Ur, define the uniform step function fr: X → [0, 1] as,
fr|A ≡ 1, fr|(X \Ar) ≡ 0 and fr|(Ak\Ak–1) ≡ 1−k/r, 1 ≤ k ≤ r
Lemma 3: If x and y are in the same step domain, then |fr(x) − fr(y)| ≤ 1/r.
0 0
Proof: Let x, y ∈ A k +1
\ A k −1 . If both x and y are in A k +1
or Ak, then by definition
0
of fr, fr(x) = fr(y). Hence | fr(x) − fr(y)|= 0. If x ∈ A k +1
and y ∈ Ak, then fr(x) =
1− (k+1)/r and fr(y) = 1 − k/r. So |fr(x) − fr(y)| = 1/r.
The above three lemmas will be used in the last step of the proof.
Now, let the admissible chain 2r–1=(A0, A′1, …, A′r, Ar) be a refinement of
the admissible chain r =(A0, A1, …, Ar).
We can say that, the refinement 2r–1 of the admissible chain r contains
every set in r, and for every i ≥ 1 contains a set A′i such that Ai −1 ⊂ Α′i ⊂ Ai.
Naturally, refinements place new sets between each pair of sets in the original
admissible chain.
Lemma 4: Every admissible chain has a refinement.
0
Proof: It is sufficient to show that for any subsets M, N of X, with M ⊂ N , there
0 0
0
0
exists L ⊂ X with M ⊂ L ⊂ L ⊂ N . Now since M ⊂ N , M X \ N = φ
0
and since (X \ N ) is the complement of an open set and therefore closed, there
0
exist disjoint open sets U, V, with M ⊂ U and (X \ N ) ⊂ V. Again since U and
V are disjoint, U ⊂ (X \V). Also because (X \V) is closed and U is contained in
0
every closed set containing U, so U ⊂ (X \V). Moreover, (X \ N ) ⊂ V means (X
Self-Instructional
Material 231
Normal Spaces
0 0 0
\V) ⊂ N . Putting all this collectively gives, M ⊂ U ⊂ U ⊂ ( X \ V ) ⊂ N . Let
L = U and the proof is complete.
NOTES Lemma 5: Let r be an admissible chain with r + 1 elements and s be a
refinement with 2r+1 elements. Then |fr(x) − fs(x)| ≤ 1/(2r).
Proof: Suppose x ∈ Ak\Ak–1, where Ak, Ak–1 ∈ Ur. Then, fr(x) = 1 − k/r. Also, s
= (A0, A′1, A1, …, A′j, Aj, …, A′k, Ak) = ( A0 , A1' , A2' ,...., A(2 k −1)' , A2 k , A( 2 r −1)' , A2 r ' ).
Now, x is either in Ak\A′k = A2k\A(2k – 1) or in A′k\Ak−1 = A(2k – 1). Therefore either,
fs(x) = 1 − (2k)/(2r) = fr(x) or, fs(x) = 1−(2k−1)/(2r) = fr(x) + 1/(2r). Either
way we get the desired result.
Now we will define the sequence. Let 0 = (Α, X \B) and let n+1 be a
refinement of n.
By Lemma 4, every admissible chain has a refinement. So we get a sequence
of admissible chains. Let fn be the uniform step function on the nth admissible
chain.
Lemma 6: The sequence {fn(x)} converges for each x ∈ X.
Proof: From the definition of the uniform step functions, the sequence is bounded
above by 1. Now it remains to prove that the sequence is non-decreasing. Note
first that 0 contains one term excluding A itself and therefore by definition of
refinement, 1 will contain 2 terms excluding A.
Applying induction, n contains 2n terms excluding A. Notice that for x ∉
Aj\Aj–1 ∀ Aj, Aj–1 ∈ r, fk(x) is either 0 or 1, i.e., constant and constant sequences
converge. Suppose x ∈ Aj\Aj–1, where Aj, Aj–1∈ Ur. Then fk(x) = 1−j/k.
Furthermore, k +1 = (A 0 , A′ 1 , A 1 , …, A′ j, A j ,…, A′ k , A k ) =
( A0 , A1' , A2' ,...., A(2 j −1) , A2 j ,....., A(2 k −1)' , A2 k ' ) and x is either in A j \
= | lim k →∞ ( f k ( x ) − f n ( x )) | = lim k →∞ | ( f k ( x ) − f k −1 ( x )) +
k ≥n k ≥n
+ ( f k −1 ( x ) − f k −2 ( x )) + ( f n+1 ( x ) − f n ( x )) |
(
≤ lim k →∞ 1 / 2 k + 1 / 2 k −1 + .... + 1 / 2 n +1 )
k ≥n
(∑ )
∞
∑1 / 2 k ∞
= = 1/ 2 n k −1
1/ 2k = 1/ 2n
k = n +1
Take n large enough so that 3/2n < ε, and suppose x lies in the kth step domain,
0
Sk = A k +1
\ A k −1 (Since by Lemma 1, every x lies in some step function).
=| f ( x ) − f n ( x ) + f n ( x ) − f n ( y ) + f n ( y ) − f ( y ) |
≤ | f (x ) − f n ( x ) | + | f n (x ) − f n ( y ) | + | f n ( y ) − f ( y ) |
≤ 1 / 2 n + 1 / 2 n + 1 / 2 n = 3 / 2 n < ε . So every y ∈ Sk maps into (a, b), which
proves that f is continuous.
Self-Instructional
Material 233
Normal Spaces
1 2
X → R such that |g(x)| < for x ∈ X, and |f(x) – g(x)| ≤
3 3
for X ∈ A.
NOTES
1 1
Proof: The sets f −1 – ∞ – and f −1 , ∞ are disjoint and closed in
3 3
A. Since A is closed, they are also closed in X. Since X is normal, then by Urysohn’s
1 1
lemma and the fact that [0, 1] is homomorphic to – , , there is a continuous
3 3
1 1 –1 1 1
function g: X → – , such that g f −∞, − c = − and
3 3 3 3
1 1 1
g f –1 , ∞ =. Thus | g ( X ) |≤ for x ∈ X. Now, if – ∞ ≤ f(X) ≤ − 1 ,
3 3 3 3
1 2 1
then |g(x)| ≤ − and thus f ( x) – g ( x) ≤ . Similarly if ≤ f ( x) ≤ 1, then g(x)
3 3 3
1 2 1 1
= and thus f ( x) – g ( x) ≤ . Finally, for |f(x)| ≤ we have that |g(x)| ≤ ,
3 3 3 3
2 2
and so f ( x) – g ( x) ≤ . Hence f ( x) – g ( x) ≤ holds for all x ∈ A.
3 3
Theorem 2: First suppose that for any continuous function on a closed subset
there is a continuous extension. Let C and d be disjoint and closed in X. Define f:
C ∪ D → R by f(x) = 0 for x ∈ C and f(x) = 1 for x ∈ D. Now f is continuous
and we can extend it to a continuous function F: X → R. By Urysohn’s lemma, x
is normal because F is continuous function such that F(x) = 0 for x ∈ C and F(x)
= 1 for x ∈ D.
Conversely, let X be normal and A be closed in X. By the Lemma 8,
1
there is a continuous function g0: X → R such that g 0 ( x ) ≤ for x ∈ X
3
1
and f ( x ) – g 0 ( x ) ≤
for x ∈ A. Since (f – g0): A → R is continuous, the
3
lemma tells us that there is a continuous function g1: X → R such that
1 2 22
g1 ( x ) ≤ for x ∈ X and f ( x) – g 0 ( x) – g1 ( x) ≤ for x ∈ A.
Self-Instructional 3 3 33
234 Material
By repeated application of the lemma we can constuct a sequence of continuous Normal Spaces
n
1 2
function g0 , g1 , g 2 ,..... , such that g n ( x) ≤ for all x ∈ X, and
3 3
NOTES
n
2
f ( x) − g 0 ( x) − g1 ( x) − g 2 ( x) – ...... ≤ for x ∈ A.
3
n ∞ n
1 2 1 2
Define F ( x) = ∑ n=0 g n ( x) . Since g n ( x) ≤ and
∞
3 3
∑ 3 3
n=0
∞
converges as a geometric series, then ∑ gn ( x ) converges absolutely and
n =0
∞ n
1 2
uniformly, so F is a continuous function defined everywhere. Moreover, ∑ 3 3 =
n =0
1, implies that |F(x)| ≤ 1.
k +1
2
Now, for x ∈ A, we have that f ( x)∑ n =0 g n ( x) ≤
k
and as k goes
3
to infinity, the right side goes to zero and so the sum goes to F(x). Thus |f(x) –
F(x)| = 0 Therefore f extends F.
Notes: If f was a function satisfying |f(x)| < 1, then the theorem can be
strengthended. Find an extension F of f. The set B F–1 ({–1} ∪ {1}) is closed and
disjoint from A because |F(x)| = |f(x)| < 1 for x ∈ A. By Urysohn’s lemma there is
a continuous function f such that φ(A) = {1} and φ(B) = {0}. Hence φ(x)φ(x) is
a continuous extension of φ(x) and has the property that |F(x)f(x)| < 1.
If f is unbounded, then Tietze extension theorem holds as well. To see that
consider t(x) = tan–1(x)/(n/2). The function t . f has the property that (t . f) (x) <
for x ∈ a, and so it can be extended to a continuous function h: X → R which has
the property |h(x)| < 1. Hence t–1 . h is a continuous extension of f.
13.4.1 Complete Regularity and Complete Normality
Self-Instructional
Material 235
Normal Spaces Definition: A T5 space is a completely normal T1 space.
Theorem 3: Every completely normal space is normal and consequently every
T5 space is a T4 space.
NOTES Proof: Suppose (X, T) is a completely normal space and A and B are two closed
subsets of X such that A ∩ B = φ. Now, as A and B are closed, we have
C(A) = A, C(B) = B ⇒C(A) ∩ B = φ, A ∩ C(B) = φ
Hence A and B are separated subsets of X. Now, by complete normality,
there exist open sets G and H such that A ⊂ G, B ⊂ H and G ∩ H = φ. This
implies that (X, T) is normal. We know that, a T5 space is T1 also. Therefore T5 is
both normal as well as T1. Hence every T5 space is T4.
Theorem 4: Complete normality is a topological property.
Proof: Consider a completely normal space (X, T) and let (Y, T*) be its
homeomorphic image under a homeomorphism f. We have to prove that
(Y, T*) is completely normal. Let A and B be any two separated subsets of Y such
that,
A∩C(B) = φ, B∩C(A) = φ
Now, as f is continuous mapping, therefore
C[f –1(A)] ⊂ f –1[C(A)] and C[f –1(B)] ⊂ f –1[C(B)]
Hence, f –1(A) ∩ C[f –1 (B)] ⊂ f –1(A) ∩f –1[C(B)]
=f –1[A ∩ C(B)] = f –1(φ) = φ
And
C[f –1(A)] ∩ f –1 (B) ⊂ f –1[C(A)] ∩ f –1(B)
=f –1[C(A) ∩ B] = f –1(φ) = φ
Thus f –1(A) and f –1(B) are two separated subsets of X. Since (X, T) is
completely normal, there exist T-open sets G and H such that,
f –1(A) ⊂ G, f –1(B) ⊂ H and G∩H = φ
So, we get that
A = f [f –1(A)] ⊂ f (G)
B = f [f –1(B)] ⊂ f (H) (Because of ontoness)
And f (G) ∩ f (H)=f (G∩H) = f (φ) = φ (Because f is 1–1)
Also, since f is a open map, f (G) and f (H) are T* open sets. Thus we have
shown that for any two separated subsets A, B of Y, there exist T* open subsets
G1 = f (G) and H1 = f (H)
such that A ⊂ G1, B ⊂ H1 and G1 ∩ H1= φ.
Self-Instructional
236 Material
Hence the theorem is proved. Normal Spaces
Self-Instructional
238 Material
Y = X–[C(A) ∩ C(B)] Normal Spaces
Self-Instructional
Material 241
Normal Spaces Theorem 11: A normal space is completely regular iff it is regular.
Proof: Now, as every completely regular space is regular, we only need to show
that any normal regular space is completely regular. Let F be a closed subset of X
NOTES not containing the point x so that x belongs to the open set X–F. Since the space
X is regular, there exists an open set G such that x∈G and C(G) ⊂ X–F so that
F ∩ C(G) = φ
Thus C(G) and F are disjoint closed subsets of a normal space X. Hence
by Urysohn’s lemma, there exists a continuous mapping f : X → [0, 1] such that
f(F) = {1} and f[C(G)] = {0}
Also x ∈ G and f[C(G)] = {0} implies that f(x) = 0. Therefore it follows
that (X, T) is completely regular.
Example 1: Consider a completely regular space (X, T). Prove that if F is a T-
closed subset of X and p ∉ F, then there exists a continuous mapping f of X into
[0, 1] such that f(p) = 1 and f(F) = {0}.
Since (X, T) is completely regular, there exists a continuous map g of X into
[0, 1] such that
g(p) = 0 and g(F) = {1}.
Now consider the mapping f : X → [0, 1] defined by setting f(x) = 1–g(x)
∀ x ∈ X.
Since constant functions are continuous, it follows that f is continuous.
1. A topological space X is a regular space if, given any nonempty closed set
F and any point x, such that x ∉ F, there exists a neighbourhood U of x and
a neighbourhood V of F that are disjoint or we can say that it must be
possible to separate x and F with disjoint neighbourhoods.
2. A topological space X is said to be a normal space if, given any disjoint
closed sets E and F, there are open neighbourhoods U of E and V of F that
are also disjoint.
3. A completely normal space or a hereditarily normal space is a topological
space X in which every subspace of X with subspace topology is a normal
space. Self-Instructional
Material 243
Normal Spaces 4. A perfectly normal space is a topological space X in which every two disjoint
non-empty closed sets E and F can be precisely separated by a continuous
function f from X to the real line R.
NOTES 5. Let X be a topological space and let any two disjoint closed sets A, B in X
can be separated by open neighbourhoods. Then there is a continuous
function f : X → [0, 1] such that f | A ≡ 1 and f | B ≡ 0.
6. A topological space (X, T) is called completely normal if and only if it satisfies
the statement given as: if A and B are two separated subsets of X, then there
exist two disjoint open sets G and H such that A ⊂ G and B ⊂ H.
13.6 SUMMARY
• A topological space X is a regular space if, given any nonempty closed set
F and any point x, such that x ∉ F, there exists a neighbourhood U of x
and a neighbourhood V of F that are disjoint or we can say that it must be
possible to separate x and F with disjoint neighbourhoods.
• If a topological space is both regular and a Hausdorff space then it is said to
be a T3 space or regular Hausdorff space.
• A topological space is said to be topologically regular if every point has an
open neighbourhood that is regular.
• A completely T4 space or T5 space is a completely normal Hausdorff
topological space X, or every subspace of X must be a T4 space.
• A locally normal space is a topological space where every point has an
open neighbourhood that is normal.
• Let X be a topological space and let any two disjoint closed sets A, B in X
can be separated by open neighbourhoods. Then there is a continuous
function f : X → [0, 1] such that f | A ≡ 1 and f | B ≡ 0.
• If X is a normal topological space and A is closed in X, then for any continuous
function f: A → R such that |f(x) < 1, there is a continuous function g: X →
R such th
Self-Instructional
244 Material
• Normal space: A topological space X is said to be a normal space if, given Normal Spaces
14.0 INTRODUCTION
14.1 OBJECTIVES
After going through this unit, you will be able to:
• Discuss Uryshon’s metrization theorem
• Understand characterisation of the embedding topology
• Analyse composition of embedding and characterisation of the product
topology
• Describe embedding lemma and Tychonoff’s embedding theorem
X→∏ → ∏ Y j → Y is continuous.
f f π
Yj j
j∈J
is continuous ⇔ ∀ j ∈ J: X j∈J j
The product topology is the only topology on the product set with these
two properties.
Proof: Let TX be the topology on X and Tj the topology on Y j. Then
f : X →∏
Yj
is continuous ⇔ f –1( j∈J π j ( j ) ) ⊂ X
−1
j∈J
⇔ ( j∈J f (π j ( j )) ) ⊂ TX
−1 −1
⇔ ∀ j ∈ J: ( π j ο f ) −1 ( j ) ⊂ X
Self-Instructional copy with the product topology and the other copy with some topology that has
248 Material
the two properties of the above theorem. Then the identity map between these The Uryshon’s
Metrization Theorem
two copies is a homeomorphism.
Theorem 3: Let (Xj)j∈J be an indexed family of topological spaces with subspaces
Aj ⊂ Xj. Then ∏A
j∈J
j is a subspace of ∏X
j∈J
j . NOTES
1. ∏A =∏Aj j
2. (∏ A )° ⊂ ∏ A
j
°
j and equality holds if Aj = Xj for all but finitely many j ∈
J.
Proof: (1) Let (xj) be a point of ∏ X j . Since S Π = j∈J π j ( j ) is a subbasis
−1
Self-Instructional
Material 249
The Uryshon’s (2) Suppose that U is open in X and x ∈ U. Choose f ∈ such that f(x)
Metrization Theorem
∉ f ( X \ U ) . The set B = {z ∈ e(X)| π f (z) ∉ f ( X \ U ) } is a
neighbourhood of e(x) as the set is open (it is defined for components not
NOTES
being in the closed set f ( X \ U ) and clearly e(x) ∈ B. Moreover
πf (B) ⊂ f(U) by construction. It is now claimed that f(U) ⊂ πf (B). This
follows trivially from the definition of a family of functions distinguishing
points and closed sets. Therefore f (U) = πf (B) and subsequently f (U) is
an open subset of πgοe(X). Therefore the evaluation map is an open
mapping.
(3) The definition of distinguishing points implies injectivity.
(4) Combining a, b and c, we see that X ≅ e(X) as e is a continuous, open,
injective, surjective (as a continuous map is always surjective onto its image)
map.
Definition: If X is a space and A, a set then by the power XA we mean the
product space ΠαXα, where Xα =X, for each α ∈ A. Any power of [0, 1] is called
a cube. A map e: X → Y is an embedding iff the map e: X → e(X) is a
homeomorphism. If there is an embedding e: X →Y then we say that X can be
embedded in Y.
Theorem 5 (Tychonoff’s embedding theorem): A space is Tychonoff iff it can
be embedded in a cube.
Proof: ⇒ Let X be a Tychonoff space and let A = {f : X → [0, 1] / f is continuous}.
Define e: X → [0, 1]A by e(x)(f) = f (x).
(i) e is injective: If x, y ∈ X with x ≠ y, then there is f ∈A so that f(x) = 0 and
f(y) = 1. Then e(x)(f) ≠ e(y)(f), so e(x) ≠ e(y).
(ii) e is continuous: This is immediate since πf e = f.
(iii) e: X → e(X) carries open sets of X to open subsets of e(X): For let U be
open in X and let x ∈ U. Then there is f ∈ A so that f(x) = 0 and f(X – U)
= 1. Let V = π −f 1 ([0, 1)), an open subset of [0, 1]A. Then e(x) ∈ V and if y
∈ X is such that e(y) ∈ V, then e(y)(f) ∈ [0, 1), so f(y) < 1 and y ∈ U. Thus
e(x) ∈ V ∩ e(X) ⊂ e(U).
(i), (ii) and (iii) together imply that e is an embedding.
⇐: [0, 1] is clearly so [0, 1]A is Tychonoff for any A. Any subspace of a
Tychonoff space is Tychonoff. Thus if X can be embedded in a cube, then X is
homeomorphic to a Tychonoff space and so is itself Tychonoff.
Theorem 6: Let (T, ) be the 3-point topological space defined by
T = {0, 1, 2} and = { ϕ, {0}, T}. Let (X, ) be any topogical space and
suppose that ∩ X=ϕ. Then there is an embedding e: X → ∪ X.
Self-Instructional
250 Material
Proof: For each U ∈ , define fU: X → T by fU(y) = 0 if y ∈ U and fU(y)=1 if y The Uryshon’s
Metrization Theorem
∉ U. Then fU is continuous. For each x ∉ X, define fx: X → T by fx(y) = 2 if y =
x and fx(y) = 1 if y ≠ x. Then fx is also continuous.
Define e by ei(y)=fi(y) for each i ∈ ∪ X. Then
NOTES
(i) e is injective, for if x, y ∈ X with x ≠ y then ex(y) = 1 but ex(x) = 2, so ex(x)
≠ ex(y) and hence e(x) ≠ e(y).
(ii) e is continuous because each fi is continuous.
(iii) e is open into e(X), for if U ∈ and x ∈ U then V = πU−1 (0) is open in T
∪X
. Furthermore, so πUe(x)=0, so e(x) ∈ V while if y ∈ X is such that e(y)
∈ V then πUe(y)= 0 and hence y ∈ U. Thus V ∩ e(X) ⊂ e().
14.2.2 Urysohn’s Metrization Theorem
Theorem 7 (Urysohn’s metrization theorem): Suppose (X, ) is a regular
topological space with a countable basis , then X is metrizable.
Proof: Let (X, ) be a regular metrizable space with countable basis . For this
proof, we will first create a countable collection of functions {fn}n∈N, where fm:X
→ R for all m ∈ N, such that given any x ∈ X and any open neighbourhood U of
x there is an index N such that fN(x) > 0 and zero outside of U. We will then use
these functions to imbed X in Rw.
Let x ∈ X and let U be any open neighbourhood of x. There exists Bm ∈
such that x ∈ Bm. Now, since X has a countable basis and is regular, we know that
X is normal. Next, as Bm is open, there exists some Bn ∈ such that Bn ⊂ Bm.
Thus we now have two closed sets Bn and X \ Bm, and so we can apply Urysohn’ss
lemma to give us a continuous function gn,m: X → R such that gn,m( Bn ) = {1} and
gn,m(X \ Bm) = {0}. Notice here that this function satisfies requisite: gn,m(y) = 0 for
y ∈ X \ Bm and gn,m(x) > 0. Here, g was indexed purposely, as it shows us that
{gn,m} is indexed by N×N, which is countable (since the cross product of two
countable sets is countable). Considering this, relable the functions {gn,m}n,m∈N as
{fn}n∈N.
We now imbed X in the metrizable space Rw. Let F: X → Rw where F(x) =
(f1(x), f2(x), f3(x), …), where fn are the functions constructed above. We claim
that F is an imbedding of X into Rw.
For F to be an imbedding it is required of F to be homeomorphic onto its
image. First, this needs that F should be a continuous bijection onto its image. We
know that F is continuous as each of its component functions fN are continuous by
construction. Now we show that F is an injection.
Let x, y ∈ X be distinct. From the Hausdorff condition there exist open sets
Ux and Uy such that x ∈ Ux, y ∈ Uy with Ux ∩ Uy= φ. By the construction of our
Self-Instructional
Material 251
The Uryshon’s maps f there exists an index N ∈ N such that fN(Ux) > 0 and FN(X \ Ux) = 0. It
Metrization Theorem
follows that fN(x) ≠ fN(y) and so F(x) ≠ F(y). Hence, F is injective.
Now, as it is clear that F is surjective onto its image F(X), all that is left to
show is that F is an embedding. We will show that for any open set U ∈ X, F(U)
NOTES
is open in Rw. Let U ⊂ X be open and let x ∈ U. Pick an index N such that fN(x)
> 0 and fN (X \U) = 0. Let F(x) = z ∈ F(U). Let V = π −N1 ((0, ∞)), i.e., all elements
of Rw with a positive Nth coordinate. Now let W = F(X) ∩ V. We claim that z ∈W
⊂ F(U) showing that F(U) can be written as a union of open sets, hence making
it open.
First we show that W is open in F(X). We know that V is an open set in Rw.
W = F(X) ∩ V, and W is open by the definition of the subspace topology.
Thereafter, we will first show that f(x) = z ∈ W and then W ⊂ F(U). To
prove our first claim, F(x) = z ⇒ (F(x)) = fN(x) > 0 ⇒ – π N(z) = π N(F(x)) =
fN(x) > 0 ⇒ π N(z) > 0 which means that z ∈ π −N1 (V) and also z ∈ F(X) ⇒ z ∈
F(X) ∩V = W. Now we show that W ⊂ F(U). Let y ∈ W. This means y ∈ F(X)
∩ V = W.
Now we show that W ⊂ F(U). Let y ∈ W. This means y ∈ F(X) ∩ V. This
means there exists some w ∈ X such that F(w) = y. But, since y ∈ V we have that:
π N(y) = π N(F(w)) = fN(w) > 0 since y ∈ V, but fN(w) = 0 for all w ∈ X \U
and so y ∈ F(U).
In conclusion, as we have shown that F: X → Rw is a map that preserves
open sets in both directions and bijective onto its image, we have shown that F is
an embedding of the space X into the metrizable space Rw and X is therefore
metrizable, the metric being given by the induced metric from Rw.
Example 1: The topology generated by the dictionary ordering on R2 is metrizable.
Proof: From previous Theorem 3.19, all we have to do for showing that R2 is
metrizable in the dictionary ordering is to prove that this space is regular with a
countable basis.
Now, since the set {(a, b), (c, d)| a ≤ c, b < d; a, b, c, d ∈ R} is a basis for
the dictionary ordering on R2 and the set of intervals with rational end-points are a
basis for the usual topology on R, it follows that the set {(a, b), (c, d)|a ≤ c, b <
d; a, b, c, d ∈ Q } is a countable basis for the dictionary ordering.
Now we will show that the dictionary ordering is regular. Let a ∈ R2 and B
⊆ R2 such that B is closed in the dictionary ordering and a ∉ B. Let ε = inf {d(a,
b)| b ∈ B}. We know that ε is greater than 0, for otherwise a would be an
accumulation point of B, which is a contradiction. It follows that the open sets ((a,
a–ε/2), (a, a+ε/2)) and b∈B
((b, b–ε/2), (b, b+ε/2)) are disjoint open sets
containing a and B, respectively. Hence, the dictionary ordering over R2 is
Self-Instructional metrizable, since it is regular and has a countable basis.
252 Material
Note: In this proof we have shown that a sequence of functions {fn}n∈N with the property The Uryshon’s
Metrization Theorem
that for each x ∈ X and each neighbourhood U of x there is some n ∈ N such that fn(x) > 0 and
fn(y) > 0 for all y ∈X \U, gives us an imbedding F: X → Rw. Notice that we have the very similar
result if we have a sequence of functions {fj}j∈J with same properties as above: given any x
∈ X and any neighbourhood U of x there exists j∈J such that fj(x) > 0 and fj(y) = 0 for all y ∈X NOTES
\U, then we have an imbedding from X → Rj given by F(x) = (fj(x))j∈J. This is known as the
imbedding theorem and is a generalization of Urysohn’s metrization theorem.
14.4 SUMMARY
• A one-one and onto (bijection) continuous map f : X → Y is a
homeomorphism if its inverse is continuous.
• Suppose X is a set, Y a topological space and f : X → Y an injective map.
The embedding topology on X (for the map f) is the collection,
f –1(Y) = { f –1(V)|V ⊂ Y open} of subsets of X.
• The injective map f : X → Y is an embedding iff the bijective corestriction f
(X)| f : X → f (X) is a homeomorphism.
• If f : X → Y is a homeomorphism (embedding) then the corestriction of the
restriction f (A)| f \ A: A → f (A) (B| f \ A: A → B) is a homeomorphism
(embedding) for any subset A of X (and any subset B of Y containing f (A)). Self-Instructional
Material 253
The Uryshon’s • A space is Tychonoff iff it can be embedded in a cube.
Metrization Theorem
• Suppose (X, ) is a regular topological space with a countable basis ,
then X is metrizable.
NOTES
14.5 KEY WORDS
Self-Instructional
254 Material