Well-defined & Wonderful

Supremum of Sets and The Bolzano--Weierstraß Theorem


Listen Later

In this episode we apply our knowledge of real numbers to obtain that for any non-empty bounded above set of real numbers there exists a least upper bound in the real numbers. This helps to construct the square-root or, in fact, any integer root, of non-negative real numbers. Furthermore, we introduce the Bolzano--Weierstraß Theorem, that is, we prove that any bounded sequence contains a convergent subsequence.

...more
View all episodesView all episodes
Download on the App Store

Well-defined & WonderfulBy profmoppi