9.无限的等级问题.docxVIP

无限的等级问题

可数的定义是什么？就是某集合的元素能够与自然数一一对应.但任何“对应”都离不开某种“对应方式”，也即是具体的某种“函数关系”.于是可数，就是在某种具体的对应方式（函数关系）下，某集合的元素可以与自然数一一对应.显然，只要一种具体的对应方式能够达到此目的，就是可数.即使还有无穷种对应方式，使得该集合的元素不能与自然数一一对应，也无所谓.比如最简单的：一个自然数集合A，一个自然数集合B，A的真子集偶数集合如果与自然数集合B一一对应了，那么，显然在此对应方式下（或这种函数关系解除之前），自然数集合A就不能再与自然数集合B建立一一对应了.但这绝对不是自然数集合A就不可数了.因为显然，自然数集合A与B之间，当然是可以有一一对应的（在显而易见的对应方式下），因为它们都是自然数.1对应于1，2对应于2，3对应于3，................，当然可以.更明显的，比如有理数集合，直观地看，有理数比自然数要多的多，自然数只是它的一个真子集.换言之，有无数种不同的对应方式，使得有理数集合与自然数集合不能一一对应.比如一个独立的自然数集合与有理数集合中的、作为其真子集的自然数一一对应上了，在此对应方式下，这个有理数集合的全部元素还能与那个独立的自然数集合的全部元素一一对应上吗？但是，康托不是揭示了一种众所周知的、特殊排列的穷尽有理数的方法（即对应方式）吗？在这种特殊的对应方式下，居