和整数一样,正整数也是一个可数的无限集合。在数论中,正整数,即1、2、3;但在集合论和计算机科学中,自然数则通常是指非负整数,即正整数与0的集合,也可以说成是除了0以外的自然数就是正整数。正整数又可分为质数,1和合数。正整数可带正号(+),也可以不带。
定义
整数分类
正整数分类
我们知道正整数的一种分类办法是按照其约数或积因子的多少来划分的,比如仅仅有两个的(当然我们总是多余地强调这两个是1和其本身),我们就称之为质数或素数,而多于两个的就称之为合数。
皮亚诺公理
利用皮亚诺公理可以对正整数及进行如下描述:
任何一个满足下列条件的非空集合叫做正整数集合,记作。如果
Ⅰ1是正整数;
Ⅱ每一个确定的正整数a,都有一个确定的后继数也是正整数(数a的后继数就是紧接在这个数后面的整数。例如,等等。);
Ⅲ如果b、c都是正整数a的后继数,那么;
Ⅳ1不是任何正整数的后继数;
Ⅴ设,且满足2个条件(i);(ii)如果,那么。那么S是全体正整数的集合,即。(这条公理也叫归纳公理,保证了数学归纳法的正确性)
皮亚诺公理对进行了刻画和约定,由它们可以推出关于正整数的各种性质。
算术基本定理
离散不等式
若,则等价于
