⑯Let C and D be a

separation of X. If y is a subset of X is compactthen

either J is a subsetof C or J is a subsetof D

Soln:
CompactSpaces

⑩ The real line IR is not compact.

Proof:Open
covering of IR
by the open intervals

(n,n+1) for n 1,2,

=

...

the cover has no finite subcover.

②Every closed subspace of a

compactspace is compact.
Proof:Let y be a closed
subspace of the compact space X.
Given a
covering A of Y by sets open in X, let us

form B
by adjoing to
of X A the
open covering
an

singleopen setX-y, thatis

B AUGX -y)
=

Hence, some finite subcollection of B covers X.

Every compact subspace

③ of a Hansdorff space is closed.
Proof:Let y be a
compactsubspace of the Hansdorffspace X. We

prove that x-y thaty

shall is is closed
open, so
Letto be a
pointof x-y. We show there is a
neighborhood of to that
is
disjointfrom J. For each y, let choose disjoint
pointy of us

and of the The collection

neighborhood points to and y respectively.
SVgly-y] is a
covering of y by sets
open in X;
Therefore, finitely many of them Vy,..., Vy, cover y.

The
open setv Vy,0... Wyn contains y and it is disjointfrom the
=

open setU Wy,1 ...1 Vyn formed by taking the intersection of the corresponding
=

neighborhood of No. For if Zis a pointof V, then zE

Vy,for some i hence

zC Uy and so zfU. Then U is a neighborhood of to disjoint from y

as desired