|
|

楼主 |
发表于 2011-5-4 11:51
|
显示全部楼层
【解读黑格尔】 运动:“在这个地点又不在这个地点”
下面引用由天茂在 2011/04/18 05:37pm 发表的内容:
对于有理集的任何两个元 x,y,关系 x < y, x = y, x > y 有且只有一个成立。
令x=a^2,y=b^2,则关系 a^2 < b^2, a^2 = b^2, a^2 > b^2 有且只有一个成立。
令b^2=2, 则关系 a^2 < 2, a^2 = 2, a^2 > 2 有且只有一个成立。
事实上,在有理数集中,关系 a^2 < 2, a^2 = 2, a^2 > 2 中,a^2 = 2永远也不可能成立。
也就是说,在有理数集这个序集中,三岐性只能表现为二岐性,即只有关系 a^2 < 2, a^2 > 2 有且只有一个成立。 这些言论其实是出于对三岐性的误解。
三岐性是全序集的本质属性。全序集又可称为线性序集。它无非是说任何两个元总可比较大小,而且大小关系是线性的: x = y 就不会再有 x < y 或 x > y; x 在 y 前 (x < y) 就不会再有x 在 y 后或者 x 就是 y 的可能等等。
把全序集的一类数拿出来跟某个固定的数比,当然有可能只出现二岐,一岐的情况。这并不与全序集的三岐性本质矛盾。再说了,您的这些 a^2 彼此比较的话,还会是三岐的。
从数理逻辑看,二岐满足三岐,反之不然。
|
|