自然映射
正规映射
自然映射是一种重要的映射,亦称正规映射、典型映射。自然映射是满射;反之,若f为满射,则f可分解为一个自然映射与一个双射的积。
定义
自然映射一种重要的映射,亦称正规映射、典型映射。
设R是集合A上的等价关系,若映射g:A→A/R对当a∈A有g(a)=[a]R,则g称为A关于等价关系R的自然映射,记为nR.
注:自然映射nR把A的元素a映射成它的等价类[a]R,即nR(a)=[a]R.
性质
自然映射是满射。反之,设f:A→B是满射,则
是A的直和分解。而{f-1(b)}b∈B是A的划分,若由此划分定义的等价关系为R,则当f(a)=b时,[a]R=f-1(b),于是f可分解为一个自然映射与一个双射的积:f=g°nR,这里g:f-1(b)→b.
举例
例 设A={a,b,c,d,e,f}={某大学宿舍的大学生};R是A上的同乡关系(不难证明同乡关系是等价关系),若a,b是北京人,c是广东人,d,e,f是南京人,则R={(a,a),(a,b),(b,a),(b,b),(c,c),(d,d),(d,e),(d,f),(e,d),(e,e),(e,f),(f,d),(f,e),(f,f)}. A关于R的商集A/R={[a]R,[c]R,[d]R}={{a,b},{c},{d,e,f}}.
A中各元素关于R的等价类(自然映射)分别是:
[a]R=[b]R={a,b};
[c]R={c};
[d]R=[e]R=[f]R={d,e,f}.
参考资料
最新修订时间:2023-12-24 20:53
目录
概述
定义
性质
举例
参考资料