2.3归纳法和自然数11.pptVIP

2.3 归纳法和自然数 2.3.1 集合的归纳定义 2.3.2 自然数 2.3.1 集合的归纳定义 一、递归定义：一个集合的归纳定义由3部分组成： （1）基础：指定某些基本元素在集合中 （2）归纳：指由集合中的元素按一定规则产生新的元素也在集合中 （3）极小性：指定该集合的界限，断言一个事物除非能有限次应用基础和归纳条款构成外，那么这个事物不是集合成员。 2.3.1 集合的归纳定义（续） 集合S的极小性条款有如下形式： 集合S是满足基础和归纳条款的最小集合 如果T是S的子集，使T满足基础和归纳条款，那么T=S. 其意义是：S满足基础和归纳条款，但没有S的真子集满足他们。 例如：命题逻辑中的命题合式公式 谓词逻辑中的谓词合式公式 例如 字母表：设∑表示一个有限的非空符号集合，称∑为字母表。 串（字）：由∑中有限个字符拼接起来的符号串 如:∑={a,b,c,…,z}, 则if, then, else是∑上的字. 字的长度, 令x=a1a2 ··· an, ai∈∑， x中的符号个数称为字x的长度，记为|x|. 空串：长度为0的串,用Λ表示。 注：空串不是空白符 例（续） 连接: 设 x=a1a2 ··· an, y=b1b2 ···bm，ai∈∑，bj∈∑，则x连 接y记为xy是串，xy= x=a1a2 ··· an y=b1b2 ···bm. 如：x= Λ,xy=y, y=Λ,xy=x. 例（续） 定义：设∑是一个字母表， ∑上的非空串的集合∑+定义如下： (1)基础：如果a∈∑，则a∈ ∑+. (2)归纳：如果x ∈ ∑+且a∈∑，则ax ∈ ∑+. (3)极小性：集合∑+仅包含这些元素，它能由有限次应用(1)和(2)构成. 由此∑+包含长度为1,2,3····的串，是一个无限集合. 例（续） 定义：设∑是字母表，那么∑*定义如下(其中∑* )表示所有有限符号串的集合，包含空串 (1)基础：Λ∈ ∑*. (2)归纳：如果x ∈ ∑*, a∈ ∑,则ax ∈ ∑*. (3)极小性：没有一个串可以是集合∑*的元素，除非它能有限次应用(1)和(2)构成. ∑*= ∑+∪{Λ}. 如： ∑={a,b}, ∑*= {Λ,a,b,aa,ab,bb, ·····} ∑={0,1}, 则∑*是有限二进制序列，包含空序列 2.3.2 自然数 定义: 设A是任意集合，A的后继集合记为A’，定义为 A’=A∪{A}. 如：{a,b}的后继集合 {a,b} ∪{{a,b} }={a,b, {a,b} } {Φ}的后继集合{Φ} ∪{{Φ} }={Φ,{Φ} } 自然数归纳定义 定义：自然数N是如下集合： （1）基础： Φ ∈ N （2）归纳：如果n ∈ N, 那么n ∪{n } ∈ N （3）极小性：如果S? N且满足 (1)和(2)，则S=N. 由此自然数集合的元素： Φ Φ ∪{Φ} Φ ∪{Φ} ∪{Φ ∪{Φ}}····· 另一个定义 (1)基础：0 ∈ N， (2)归纳：如果n∈ N，那么n+1∈ N. (3)极小性：如果S? N且满足 (1)和(2)，则S=N. 称(1)(2)(3)为归纳特征。 注（1）帮助讨论归纳证明。 （2）但定义不完善，因为加法定义在自然N上，而又由加法定义自然数，犯了循环定义的错误。 另一定义（续） 自然数集合的定义（皮亚诺公设） (1)0 ∈ N， (2)如果n ∈ N, 则恰好存在n的后继者n’ ∈ N. (3)0不是任何自然数的后继者。 (4)如果n’=m’，则n=m. (5)如果S是N的子集，使 ①0 ∈ S, ②如果n ∈ S,则n’ ∈ S， 那么S=N. 归纳证明 对于任意x,P(x)，如果其论述域S是归纳定义的集合，则归纳法是一个有效的证明方法： 归纳法通常由基础和归纳两部分组成： （1）基础步骤：证明S中基础条款指定的每一个元素x ∈ S，P(x)为真。 （2）归纳步骤：证明如果事物x,y,···z具有性质P，那么用归纳条款指定的方法组合他们所得的新元素也具有性质P。 归纳证明（续） 结构归纳法： 设A和A*是对偶式，P1,P2,···Pn是命题变元，则 ?A(P1, P2 … Pn) ?A*(? P1, ? P2 … ? Pn) 证明：设A仅有联结词?, ∧,∨构成，由此公式A可归纳定义 ①Pi是公式，T,F是公式 ②A,B是公式，则?A,A ∧B,A∨B是