The student is advised to draw relevant pictures as he reads on.
Suppose that a cover
has no Lebesgue number. Then for every
,
is not a Lebesgue number and so there is a point
such that the ball of radius
centered at
is not contained in any of the open sets in the covering. By compactness the sequence
has a
convergent subsequence converging to a point
. Choose an
such that
contains
and there is a
such that the ball of radius
around
is contained in
.
Now take
large enough that
and
is contained in the ball of radius
centered at
.
Now, since the ball of radius
with center
is not contained in any of the open sets in our covering, there exists
such that
and
. But
So
is in the ball of radius
centered at
and so
which is a contradiction.
nisha
2012-03-20