合肥踏尖教育高一数学111集合的含义与表示.ppt

(3) (极小性)一个符号序列是一算术表达式当且仅当它能得自有限次应用条款1和2。 用这个定义刻画的算术表达式集合包括45,000,(-321),(3+7),(3*(-35))和(+(-(+7/2))))等, 不包括诸如+)和+6+之类的符号串。 有些归纳定义是以其它归纳定义的集合作基础建立起来的, 我们称这样的归纳定义为“二次归纳定义”, 二次归纳定义不需要极小性条款, 因为基础集合的极小性条款保证了所定义的集合的极小性。 作为基础集合最常见的是自然数集合N。因此, 以自然数集合为基础集合的归纳定义常不需极小性条款。 例 6 设a∈R+且n∈N。an的归纳定义如下: (1) (基础)a0=1 (2) (归纳)an+1=an·a 这个归纳定义的基础集合是N, 所以不需要极小性条款。 程序设计语言, 诸如ALGOL, 它们的语法也常用归纳定义(以巴科斯范式形式给出)描述 2.3.2 自然数 自然数可应用后继集合的概念归纳地定义。 定义 2.3-3 设A是任意集合, A的后继集合记为A′, 定义为 例 7 (a) {a,b}的后继集合是{a,b}∪{{a,b}}={a,b,{a,b}}。 (b) {}的后继集合是{}∪{{}}