• Corpus ID: 16318865

A Novel Proof of the Heine-Borel Theorem

  title={A Novel Proof of the Heine-Borel Theorem},
  author={Matthew Macauley and Brian Rabern and Landon Rabern},
  journal={arXiv: History and Overview},
Every beginning real analysis student learns the classic Heine-Borel theorem, that the interval (0,1) is compact. In this article, we present a proof of this result that doesn't involve the standard techniques such as constructing a sequence and appealing to the completeness of the reals. We put a metric on the space of infinite binary sequences and prove that compactness of this space follows from a simple combinatorial lemma. The Heine-Borel theorem is an immediate corollary. 1. The Heine… 
The Nonstraddling Lemma and a new look at the Heine-Borel Theorem
Any family of intervals in the real line determines a linking equivalence relation on its union. The equivalence classes are order convex so are therefore themselves intervals, partitioning the union


A first course in topology
A little set theory Metric and topological spaces Geometric notions Building new spaces from old Connectedness Compactness Homotopy and the fundamental group Computations and covering spaces The
An introduction to the geometry of ultrametric spaces
Some examples and basic properties of ultrametric spaces are briefly discussed.
Graduate Texts in Mathematics
Graduate Texts in Mathematics bridge the gap between passive study and creative understanding, offering graduate-level introductions to advanced topics in mathematics. The volumes are carefully
The Polar Express: Copyright restrictions prevent ACM from providing the full text for this work.
This Christmas Eve, many years ago, a group of children travelled through cold, dark forests where lean wolves roamed and white tailed rabbits hid from their train as it thundered through the quiet wilderness.
Über Definitionsbereiche von- Funktionen
Math. Annalen
  • Math. Annalen
  • 1927
A First Course in Topology: Continuity and Dimension
  • American Mathematical Society, Student Mathematical Library
  • 2006
Model theory for infinitary logic
Die Vollstandigbert der Axiome des logischen Vunktionen Kalkuls, Monatshefte für Mathematik und Physik
  • Die Vollstandigbert der Axiome des logischen Vunktionen Kalkuls, Monatshefte für Mathematik und Physik
  • 1930