以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 计算机考研交流 』   (http://bbs.xml.org.cn/list.asp?boardid=67)
----  [求助]北大离散教材自然数最后1题(关于第二归纳法证明)  (http://bbs.xml.org.cn/dispbbs.asp?boardid=67&rootid=&id=51419)


--  作者:fgffggfg
--  发布时间:8/15/2007 11:34:00 PM

--  [求助]北大离散教材自然数最后1题(关于第二归纳法证明)
北大离散教材第四章自然数的最后一道例题:
例4.8:设A为一个集合,G是一个函数,f1,f2均属于N-->A,若对于任意的n属于N,
f1在n上的限制,f2在n上的限制都属于domG,且
f1(n)=G(f1在n上的限制),f2(n)=G(f2在n上的限制),
则有f1=f2.

教材中用第二数学归纳法证:
   设T={n|n属于N 合取 f1(n)=f2(n)}
证明到第二步时:
(2)设小于等于n的自然数都属于T,要证n+属于T
    f1(n+)=G(f1在n+上的限制),f2(n+)=G(f2在n+上的限制),
    由假设知道   f1在n+上的限制=f2在n+上的限制

请问"由假设知道   f1在n+上的限制=f2在n+上的限制"是怎么来的啊?
谢谢各位啊,实在是没看懂啊啊啊啊啊


--  作者:datoubaicai
--  发布时间:8/16/2007 7:43:00 AM

--  
f1 | n+={<x,f1(x)>| x∈n+={0,1,2,…n}}
f2 | n+={<x,f2(x)>| x∈n+={0,1,2,…n}}
由假设小于等于n的自然数都属于T知道
f1(0)=f2(0)
f1(1)=f2(1)

f1(n)=f2(n)
因此f1 | n+= f2 | n+

--  作者:fgffggfg
--  发布时间:8/16/2007 10:05:00 AM

--  
谢谢白菜了,明白啦,编教材的人思维跨度真够大滴!
--  作者:nashwhu
--  发布时间:8/16/2007 9:05:00 PM

--  
同谢
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
39.063ms