作业帮 > 数学 > 作业

离散数学集合论,证明:f是映射,设f:X->Y,f是单射当且仅当任意F属于2^X,f-1(f(F))=F

来源:学生作业帮 编辑:拍题作业网作业帮 分类:数学作业 时间:2024/04/30 06:07:27
离散数学集合论,证明:f是映射,设f:X->Y,f是单射当且仅当任意F属于2^X,f-1(f(F))=F
若f是单射,记Y*=f(X),f是X->Y*的双射,结论成立.
若f不是单射,存在x1,x2∈X.y0∈Y,y0=f(x1)=f(x2).则x1,x2∈f-1({y0})
令A={x1}∈2^X,f-1(f(A))=f-1({y0}),因为x2∉A,x2属于f-1({y0}),所以A≠f-1(f(A)).