Lecture 12, Tuesday 1999/11/2, 8:00-9:50 AM:

Proved equivalence of (a)-(c) and (d)
Introduced finite Intersection property 

(a) compact
(b) sequenial cmpact
(c) closed and totally bounded

(d) in R^n, closed and bounded