Borel’s Proof of the Heine-Borel Theorem

We present a polished version of Borel’s proof based on Cantor’s theory of sets. More specifically, we use transfinite recursion and the fact that any strictly decreasing sequence in a well-ordered set is finite in length.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: