忘了怎么扯到无穷大上了
答案是"胡扯",也许是"古扯"!?
1. ...
2. ...
无穷大不是数,当然不是实数,也不是复数。这是从不严格的定义出来的。
稍为严格的说法是无穷大与实数、复数都合不来,也就无法放进集来。
再严格点是实数及复数的norm无least upper bound。
稍再严格点...
数学有很多层面看事情,也有很多不同的方法进行论证。
数学家最高兴的事也许是获奖,但两门不同出发点的数学分支能合在一起也许是次高兴的事。起点不同,但都在谈无穷,它们在哪相交目前仍不知。但除非能找出各自的"无穷"慨念有根本分别,否则它们便该于某天某处碰面。到时有人获奖最高兴,其它数学家们次高兴,古某站在一旁次次高兴。
注意:国内中学课本上对复数的定义是错误的,课本上说 C = {a + ib | a, b in R, i = sqrt(-1)}. 但事实上存在着一个 field automorphism i : x+iy -> x- iy,使得 sqrt(-1) = i or -i 都可以,并且我们根本无法区分 i 和 -i 的差别。因此,以上定义在逻辑上是不严格的。
有点不对!我们当然能分辨i及-i,它们并不相等,但去选谁是+i、谁是–i却有点麻烦,把–i叫做+i当然可以,互换位置便成。
平方根并非严格的数学函数,它是1到2的映射,拿来作数学定义当然有问题。数学上严格的平方根定义是"正的平方根"。但什么叫正虚数?什么叫负虚数?如何定正负?正数大于零,但虚数又如何大于或少于零呢?
从自然数引出整数实数,自然数内无负数,正负从开始已经不对称,对称是人为后加的,故实数中并无正负对称问题。但虚数是另一个单位,乘上实数便是正负对称。这是对称问题,要么想法子打破对称!要么承认正负的选择是随意的!
没看过国内中学课本,但若如此定义,问题也仅是进行了一个随意选择而不自知。"中学课本",别说编者水平未必能分辨定义上的差异,若真要进行严格定义,颖老师在中学时能否欣赏它的严格吗?
正如中学把原子说成是微小的太阳系,大学却说是电子云。难道要批评它错了吗?
填上的这个点就是无穷大。但这个无穷大和集合理论中,cardinal numbers 里用到的无穷大是不一样的
Infinite Cardinal Numbers可看成Finite Cardinal Numbers的延伸,都是点算用的,Finite Cardinal Numbers就是自然数,Finite Cardinal Numbers能引出整数、有理数、实数及复数,那么Infinite Cardinal Numbers能否进行类似的引出?
Cardinal Numbers是点算用的,但实数不能进行点算,把Infinite Cardinal Numbers看成是实数的延伸当然不妥,实数延伸是Infinite Measuring Numbers。那么,喜欢追问的人很自然地会问:复数有类似的延伸吗?
你提到了“这些Infinite Cardinal numbers若组成集合,它的Cardinality是什么?” 这个其实不就是 continuum hypothesis 么?
古某坏蛋!
Infinite Cardinal numbers不能组成集合,它是一个proper class!可参看Burali-Forti paradox。
倒看不出与Continuum Hypothesis有直接关系。如何看出来?
常闻Universal Set非集合,那好像太遥远了。这里是一个成不了集合的例子。
问题再问:它到底有多大?
这个命题在数学界属于非真非假,倒可以用作反对唯一可能论的例题。
按此说法,所有公理皆属于非真非假。
Continuum Hypothesis是说明缺了一个公理!是前题不足。Incompleteness theorem却说我们永远都会缺少公理。也好!数学家永远有活干。
最后承认一下错误,...
明白,HyperInteger与Real一样大,很自然以为HyperReal与Real的power set一样大。
是不小心!但小心坏蛋。特别是某坏蛋!