设f:A→B,g:B→C是两个函数,证明:若f⊙g是单射且f是满射,则g是单射.(7分)
问题描述:
设f:A→B,g:B→C是两个函数,证明:若f⊙g是单射且f是满射,则g是单射.(7分)
答
用反证法证明,假设g不是单射,不妨设B中元素a,b由g映射到C中同一元素c上.则因为f是满射,所以存在A中元素d,f分别由f映射到a,b上,所以d,f由f⊙g映射到c上,即f⊙g不为单射.与条件矛盾,假设不成立.所以g一定为单射