老实说,实数是人为虚构的“理想数”,并不实际存在。
从古希腊一直到17世纪,数学家们才慢慢接受无理数的存在,并把它和有理数平等地看作数;后来有虚数概念的引入,为加以区别而称作“实数”,意即“实在的数”。在当时,尽管虚数已经出现并广为使用,实数的严格定义却仍然是个难题,以至函数、极限和收敛性的概念都被定义清楚之后,才由十九世纪末的戴德金、康托等人对实数进行了严格处理。
所有实数的集合则可称为实数系(real numbersystem)或实数连续统。任何一个完备的阿基米德有序域均可称为实数系。在保序同构意义下它是惟一的,常用 R表示。由于 R 是定义了算数运算的运算系统,故有实数系这个名称。
袁萌 2月22日