A bit more topology ... for now
From Vectorcalcumb
Contents |
Compact Sets
Speaking Loosely
- A compact set on <m>\\bbR</m> is any set of closed intervals
- <m> A \\subset \\bbR^n</m> is compact <m>\\leftright~A</m> is closed and bounded.
Speaking Tightly :)
General Definition of Compactness
A set <m>A</m> is compact <m>\\leftright</m> every open "covering" of <m>A</m> contains a finite "sub-covering". i.e
<m> A \\subset bigcup{i \\in I}{}{U_i} </m> if <m>A</m> is not closed.