构造从A到B的双射函数 有穷集之间的构造 例5A=P({1,2,3}),B={0,1}2,3 解A={∞,{1},{2},{3}{1,2},{1,3},{2,3},{1,2,3}. B={J0,f1,…,f},其中 f={<1,0>,2,0>,3,0>},f1={<1,0>,2,0>,3,1>}, f2={1,0>,2,1>,3,0>},3={<1,0>,2,1>,3,1>}, ∫={1,1>,2,0>,3,0},f={<1,1>,2,0>,3,1>}, ∫6={<1,1>,2,1>,3,0-},∫7={<1,1>,2,1>,3,1> 令f:A→B, f)f6,f{1})=1,f{2})=2,f({3})千5, f({1,2})=f4,f{1,3})5,f({2,3})6,f({1,2,3})711 构造从A到B的双射函数 有穷集之间的构造 例5 A=P({1,2,3}), B={0,1}{1,2,3} 解 A={,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}. B={ f0 , f1 , … , f7 }, 其中 f0={<1,0>,<2,0>,<3,0>}, f1={<1,0>,<2,0>,<3,1>}, f2={<1,0>,<2,1>,<3,0>}, f3={<1,0>,<2,1>,<3,1>}, f4={<1,1>,<2,0>,<3,0>}, f5={<1,1>,<2,0>,<3,1>}, f6={<1,1>,<2,1>,<3,0>}, f7={<1,1>,<2,1>,<3,1>}. 令 f：A→B, f()=f0 , f({1})=f1 , f({2})=f2 , f({3})=f3 , f({1,2})=f4 , f({1,3})=f5 , f({2,3})=f6 , f({1,2,3})=f7