西安电子科技大学s4.4.1集合基数的大小软件学院家『定理』o是最小的无限集基数。证明：设A是任一无限集合，A必包含一个可数无限子集B。构作函数f：B→A，使得f(区)=X，f是单射的，所以IB|<IAI。因为「B=o，所以Ko≤「A|。由A是任意的，得<是最小的无限集基数。西安电子科技大学 §4.4.1 集合基数的大小 软件学院 『定理』 א 0是最小的无限集基数。 证明：设A是任一无限集合，A必包含一个可数无 限子集B。构作函数f: B→A，使得f (x)=x，f是单 射的，所以|B|≤|A|。 因为|B|= א 0，所以 א 0≤|A|。由A是任意的， 得 א 0是最小的无限集基数