可数集就是可列集,只要可以将K个整数一一编号,即证明其为可数集.
显然,这是可以编号的(前提是你所说的正整数是无限个,而不是有限个)
或者也可以说,因为有理数集是可数集,一个可数集的任意子集至多是一个可数集.正整数集是有理数的子集,也至多是一个可数集.
可数集就是可列集,只要可以将K个整数一一编号,即证明其为可数集.
显然,这是可以编号的(前提是你所说的正整数是无限个,而不是有限个)
或者也可以说,因为有理数集是可数集,一个可数集的任意子集至多是一个可数集.正整数集是有理数的子集,也至多是一个可数集.