具体构造正整数列全体与严格单增正整数列全体之间的双射
问题描述:
具体构造正整数列全体与严格单增正整数列全体之间的双射
答
正整数列全体 { A= {an| an:正整数,n=1,2,...} }严格单增正整数列全体 { B= {bn| bn:正整数,b(n+1) > bn,n=1,2,...} }F:正整数列全体 ---------> 严格单增正整数列全体,F:A |-------------> Bb1 = a1b2 = b1 + a2,.....