Lecture 01 - Top - Sapces
Lecture 01 - Top - Sapces
1 Topological Spaces 1
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Topological Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.3 Topologies on Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.4 Continuous Maps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.5 Subspace Topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Abstract
Although this text is tagged as the Abstract in the Front Matter, it will
appear in the typeset document as the Preface. Replace this text with your
preface.
iii
CONTENTS
iv
Chapter 1
Topological Spaces
1.1 Introduction
Topology is a branch of mathematics which studies the properties of geometric
spaces under continuous transformation. In other words, topology is the study of
what happen when objects are stretched, twisted and deformed, but not cut.
Hence, from a topological point of view, two objects are equivalent, or homeo-
morphic, if one can obtain the second by deforming the …rst one. It does not matter
if we change shapes or distances between points in topology. What matters is not
to change what point is next to another.
M 2 and? 2 ,
1
Chapter 1. Topological Spaces
then, the collection is called a topology on M , and the ordered pair (M; ) is
called a topological space. The elements of , denoted by U above, are called open
sets.
3 := f?; f1g; f2g; f3g; f1; 2g; f1; 3g; f3; 2g; f1; 2; 3gg : all axioms (i - iii) satis-
…ed =) 1 forms a topology on M =) the ordered pair (M; ) is a topological
space.
dis := P(M ), where P(M ), called the power set of M , is the collection of all
subsets of M . dis is a topology on M called the discrete topology.
1.3 Topologies on Rn
There are di¤erent topologies that can be de…ned on the set Rn = R R ::: R,
including the trivial and discrete topologies we saw in the examples previously.
However, the most important one for physics is the one called standard topology.
De…nition 2. Let X(x1 ; x2 ; ::; xn ) and Y (y1 ; y2 ; ::; yn ) be two points of Rn . An open
ball around X of radius r 2 R+ is:
P
n
Br (X) = f(y1 ; y2 ; ::; yn ) : (xi yi )2 < r2 g .
i=1
2
Chapter 1. Topological Spaces
In R, open balls are the open intervals. For instance, B1 (0) is the interval
B1 (0) = fy 2 R : y 2 < 1g =] 1; +1[
In R2 , open balls are the open discs. For instance, B1 (Xp ) is the disc
B1 (Xp ) = f(y1 ; y2 ) : (xp1 y1 )2 + (xp2 y2 )2 < 1g .
For the set U1 , since points on the dashed line, such as p2 , do not belong to the set,
the de…nition of standard topology is satis…ed, and U1 is elements of st . However,
for the set U2 , points like p3 belongs to the set U2 , but we cannot …nd a real r for
which Br (p3 ) is in U2 . Hence, U2 is not an open set in the standard topology, i.e.,
U2 = st .
3
Chapter 1. Topological Spaces
Example 4. Let M = R1 (the real line). The set of all intervals ]a; b[, for real a
and b, de…nes a standard topology on R1 . However, we cannot write down explicitly
the elements of st because it is an uncountable set.
f (x) : M ! N
x 7 ! f (x)
Imf (U ) = fn 2 N; 9m 2 M : f (m) = ng ,
Preimf (V ) = fm 2 M : f (m) 2 V g .
f is called surjective (or onto) if every element of N can be mapped from some
element of M : 8y 2 N; 9x 2 M : f (x) = y :
De…nition 6. Let (M; M ) and (M; N ) be two topological spaces. Then, the map
f : M ! N is called continuous (with respect to topologies M and N ) if the
preimage of all open sets V in N are open sets in M , or
8V 2 N; Preimf (V ) 2 M .
Example 5. Let M = f1; 2g be a set endowed with the topology M = f?; f1g; f2g; f2; 1gg,
while N = f1; 2g be another set endowed with the topology N = f?; f2; 1gg.
4
Chapter 1. Topological Spaces
Consider the map f : M ! N . Since Preimf (?) = ? 2 M and Preimf (f2; 1g) =
M 2 M , f is continuous.
1
Consider the map g : N ! M . (notice that g is just f ).
jM = fS \ U j U 2 Mg .
jM = fS \ U j U 2 M g
= fS \ ?; S \ fag; S \ fcg; S \ fa; cg; S \ fa; b; c; dgg
= f?; fag; fa; bgg .
We can easily check that jM satis…es the three axioms of a topology, hence
(S; jM ) is a topological space.