任选一个非零的自然数→□×878→□-765→□×2→□+2000→□-470→□÷1756→8 用计算机算一算,你发现了什么?
依然得到这个自然数自己。
推导过程:设自然数为X,则有X×878→X-765→X×2→X+2000→X-470→X÷1756→8=X
自然数集N是指满足以下条件的集合:
①N中有一个元素,记作1。
②N中每一个元素都能在 N 中找到一个元素作为它的后继者。
③1是0的后继者。④0不是任何元素的后继者。
⑤不同元素有不同的后继者。
⑥(归纳公理)N的任一子集M,如果1∈M,并且只要x在M中就能推出x的后继者也在M中,那么M=N。
扩展资料:
性质
1、对自然数可以定义加法和乘法。其中,加法运算“+”定义为:
a + 0 = a;
a + S(x) = S(a +x), 其中,S(x)表示x的后继者。
如果我们将S(0)定义为符号“1”,那么b + 1 = b + S(0) = S( b + 0 ) = S(b),即,“+1”运算可求得任意自然数的后继者。
同理,乘法运算“×”定义为:
a × 0 = 0;
a × S(b) = a × b + a
自然数的减法和除法可以由类似加法和乘法的逆的方式定义。
2、有序性。自然数的有序性是指,自然数可以从0开始,不重复也不遗漏地排成一个数列:0,1,2,3,…这个数列叫自然数列。一个集合的元素如果能与自然数列或者自然数列的一部分建立一一对应,我们就说这个集合是可数的,否则就说它是不可数的。
3、无限性。自然数集是一个无穷集合,自然数列可以无止境地写下去。
对于无限集合来说“,元素个数”的概念已经不适用,用数个数的方法比较集合元素的多少只适用于有限集合。
为了比较两个无限集合的元素的多少,集合论的创立者德国数学家康托尔引入了一一对应的方法。这一方法对于有限集合显然是适用的,21世纪把它推广到无限集合,即如果两个无限集合的元素之间能建立一个一一对应,我们就认为这两个集合的元素是同样多的。
对于无限集合,我们不再说它们的元素个数相同,而说这两个集合的基数相同,或者说,这两个集合等势。与有限集对比,无限集有一些特殊的性质,其一是它可以与自己的真子集建立一一对应。
参考资料来源:百度百科--自然数