proof of 1 l jz then u tai - xiamen universitymath.xmu.edu.cn/group/nona/nla/proofth1.pdf ·...

2
proof of Theorem 1 L induction on jz we prove if tjto.jo 1.2 l then U El iii 0 and TAI zo U is Fj to a spanfi.AE Ài spanlixo.io __ spanqpi.li span i Li 2 o riiz.fi i 0 p ii fit it EA ri t f FAI Apis Fi 30 nor it tjiòi 21 iii pint to spanfni i.it spansij spanSni ri span9i 2170 it i i 2 AI in t Ri dim span hi i i if I iiiiitisiilii lxiiDN.jo and Uiaj induction Pit hypothesis span i 1 spangiiii i.in span spanii.nil_V tli.ly hilt and 1 1 i iini iri x i.it this 0 if i1 1 0 By hypothesis go.mg

Upload: others

Post on 13-Apr-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

  • proof of Theorem1 Linduction on jz

    we prove if tjto.jo 1.2 l then U Eliii ⼆二0 and TAI zo U isFjto

    a spanfi.AE Ài spanlixo.io __spanqpi.li ⼼心阿⼆二span结 i 闷

    Li 2 器器 o riiz.fi ⼀一⼩小啪 i 0p⼆二 ii fit ⼆二脂 it成 EAri t fFAI ApisFi 30 norit tjiòi21iii pint to

    spanfni i.it spansij spanSni ri span9i代2170 it ⼆二⼩小 i i 2AI 上

    ⽔水 狱 in tRi dimspanhi扪i i if I ⼆二iiiiitisiilii

    lxiiDN.joand腘肛 Uiajinduction Pithypothesis span i 我 以 1哵 spangiiii i.in 划

    ⼆二span肺 乃

    spanii.nil_Vtli.ly hilt and让1 1i iini iri xi.itthis0 if i 1 1 0 By hypothesis

    go.mg

  • if itrisphii.irtI ii tAiiAI iLIi iPuiPir tio ir norl.ltratfuRIAN

    TAI 腊 it 㼩itliftIt if ⼆二 ⼆二0 Byhypothesisdi Ei TitNtl ten ⼆二0

    if i 1 1TAPE iit IfAli

    i d tin2cl l

    瑟 是噍 ⼆二 器器L Lit t.npiitfp.to

    spanhi i.io i ⼀一划 span pin 问2 ITltllr.sopi.it1 itsi lx io.ci ⼀一划

    span Iii rigiiiiii

    span i 我 他了了i i 2Api Edimspanfiii.int ⼆二