實數集的定義

實數集通俗地認為，通常包含所有有理數和無理數的集合就是實數集。18世紀，微積分學在實數的基礎上發展起來。但當時的實數集並沒有精確的定義。直到1871年，德國數學家康托爾第一次提出了實數的嚴格定義。任何一個非空有上界的集合必有上確界。