I have a bone to pick with the standard proof of the closed interval in R being compact with respect to the usual topology.(adsbygoogle = window.adsbygoogle || []).push({});

The proof starts out claiming that we can divide the interval in two and it is one of these two halves that is not coverable a finite subcollection of any open cover. Then we proceed to cut that interval in half and make the same claim and so on and so on.

The bone that I pick is what if both halves of the initial interval are uncoverable or both quarters of the initial half and so on.

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# [a,b] in R is compact

Loading...

Similar Threads - compact | Date |
---|---|

What is the significance of compactness? | Dec 12, 2012 |

Extending Bounded metric spaces to compact spaces | Jan 20, 2012 |

Compactness and every infinite subset has a limit point | Jan 13, 2012 |

Question About Compact Sets | Jan 11, 2012 |

Proof that Every Compact Set is Bounded | Jan 6, 2012 |

**Physics Forums - The Fusion of Science and Community**