Heine-Borel

“For example, to prove that a continuous function is bounded, you either find a neighbourhood of each point on which by finitely many such neighbourhoods (by the Heine-Borel theorem), or you assume that, apply the Bolzano-Weierstrass theorem, and reach a contradiction.”

Gowers's Weblog

“If you want to prove something using the compactness of, then you can either prove it directly using the Heine-Borel theorem or you can prove it by contradiction by reformulating everything in terms of sequences and applying the Bolzano-Weierstrass theorem.”

Gowers's Weblog

“From Heine-Borel we know that a continuous function on a closed interval takes a global maximum and a minimum.”

Feeds4all documents in category 'SEO'

“1984, “Heine-Borel does not imply the Fan Theorem”,”

Category Theory