离散数学集合论,证明:f是映射,设f:X->Y,f是单射当且仅当任意F属于2^X,f-1(f(F))=F
收藏:
0
点赞数:
0
评论数:
0
1个回答

若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)).

点赞数:
0
评论数:
0
关注公众号
一起学习,一起涨知识