复合运算保持函数性质：单射 ·单射的复合是单射 定理：如果f:A→B,g:B→C均是单射，则gfA→C也 是单射。 口证明要点： 若不然，即存在x1,x2∈A,且x1≠2，使得gx广gx2),设 f(x1=t1,f(x2=t2, 如果=，与f是单射矛盾。 如果≠2，与g是单射矛盾。复合运算保持 函数性质：单射 ◼ 单射的复合是单射 ◼ 定理：如果f :A→B, g:B→C均是单射，则g f:A→C也 是单射。 ❑ 证明要点： 若不然，即存在x1 ,x2A, 且x1x2，使得g f(x1 )=g f(x2 ) ，设 f (x1 )=t1 , f (x2 )=t2， 如果 t1 =t2，与f是单射矛盾。 如果 t1 t2，与g是单射矛盾