MTH 427
LECTURE 09
2012.10.11
Lec05p01
9.1 Denition. A topological space X satises the axiom T1 if for every points X such
that = there exist open sets U V X such that U, V and V , U.
X
U
V
9.2 Exampl
MTH 427
Lec02p01
LECTURE 03
2012.09.04
3.1 Denition. Let 1 and 2 be two metrics on the same set X . We say that the metrics 1
and 2 are equivalent if for every X and for every > 0 there exist 1 2 > 0
MTH 427
Lec09p01
LECTURE 08
2012.10.09
8.1 Denition. A space X is path connected if for every 0 1 X there is a continuous
function : [0 1] X such that (0) = 0 and (1) = 1 .
0
1
0
1
The function is cal
MTH 427
LECTURE 01
2012.08.28
1.1 Notation. Sets: A B C
1.2 Example.
? = the empty set (contains no elements)
N = cfw_0 1 2 the set of natural numbers
Z = cfw_ 2 1 0 1 2 the set of integers
Q = the
MTH 427
Lec01p01
LECTURE 02
2012.08.30
2.1. Recall that a function : R R is continuous at 0 R if for each > 0 there exists
> 0 such that if |0 | < then |(0 ) ()| < :
0
R
A function is continuous if i
MTH 427
LECTURE 05
2012.09.13
5.1 Denition. Let X be a topological space. A set A X is a closed set if the set X r A is
open.
5.2 Example. A closed interval [ ] R is a closed set since the set
is open
MTH 427
LECTURE 06
2012.09.20
Recall: Let X , Y be topological spaces. A function : X U is continuous i for every open
set U Y the set 1 (U) X is open.
6.1 Proposition. Let X , Y be topological spaces
MTH 427
LECTURE 07
2012.09.25
7.1. Let [ ] R be a closed interval and let ( ) R be an open interval. We would like
to verify that [ ] and ( ) are non-homeomorphic topological spaces. The idea of a pro
MTH 427
LECTURE 12
2012.10.30
12.1 Denition. Let X be a topological space.
Lec11p01
1) A cover of X is a collection Y = cfw_Y I of subsets of X such that
Y1
X
Y2
I
Y = X :
Y3
2) If the set Y is open i
MTH 427
LECTURE 15
2012.11.20
We have seen already that a product of nitely many compact spaces is compact (13.6) . The
main goal here is to show that the same is true for arbitrary products of compac
MTH 427
LECTURE 16
2012.11.27
We have seen that compact Hausdor spaces have several interesting properties. For this
reason this class of spaces is of special importance in topology. If we are working
MTH 427
LECTURE 10
2012.10.18
10.1 Urysohn Lemma. Let X be a normal space and let A B X be closed sets such that
A B = ?. There exists a continuous function : X [0 1] such that A 1 (cfw_0) and
B 1 (cf
MTH 427
LECTURE 14
2012.11.15
The Heine-Borel Theorem 13.3 describes compact subspaces of R . We have previously
noticed (13.4) that this theorem is not true if we replace R by an arbitrary metric spa
MTH 427
LECTURE 11
2012.10.25
Recall that a topological space X is metrizable if there exists a metric on X such that the
topology on X is induced by . Our goal here is to show that if a topological s
MTH 427
LECTURE 13
2012.11.13
We have seen already that a closed interval [ ] R is a compact space (12.11). Our next
goal is to prove Heine-Borell Theorem 13.3 which gives a simple description of all
MTH 427
LECTURE 04
2012.09.06
4.1 Denition. Let X be a set. A basis on X is a collection of subsets of X satisfying the
following conditions:
1) X = V B V ;
2) for any V1 V2 B and V1 V2 there exists W