24.等子,余等子例子

a.在大多数具体范畴中,如集合范畴,拓扑空间范畴,群范畴,巴拿赫空间范畴等。两个态射的等子其实就给出了使两个态射值相等的定义域中的元素集合。就是满足f(a)=g(a)的A中的元素集。

b.集合范畴中,余等子是值域对象的商集,商集所依赖的等价关系是通过序对(f(a),g(a))生成的。

assume\ A=\{1,2,3\},B=\{1,2,3,4,5,6\}f(a)=a,g(a)=2a(f(a),g(a))生成的等价关系如下。通过等价关系性质拓展到整个集合B。

每种颜色为一个等价类。共三个等价类{1,2,4}{3,6}{5}。这就是商集的三个元素了。

c.交换群范畴,考虑群同态,那么这个同态和零同态的余等子就是群B关于子群f(A)的商群。一般的,两个态射的余等子就是f-g和零态射的余等子。同样的描述在向量空间或者模范畴中也成立。??f-g是什么,线性运算(f-g)(a)=f(a)-g(a)吗?

d.在许多与代数很像的结构中,情况比较简单。普遍的余等子的计算方法是构造B的商,关于序对(f(a),g(a))所生成的共轭。这个共轭就是包含所有序对,并且在代数运算下封闭的,最小的等价关系。可参见第二册第三章。

e.拓扑空间范畴中,余等子和集合范畴中的构造一样,并且附加一个商拓扑。

f.豪斯多夫空间或者紧豪斯多夫空间,两个连续映射的余等子就是B关于序对生成的闭等价关系的商。这样的商空间还是豪斯多夫空间,并且保持紧性。比如。。。

g.巴拿赫空间和线性收缩,一个线性收缩和零映射的余等子是B关于闭包f(A)的商。商空间还是巴拿赫空间,一般的,两个线性收缩的余等子和线性收缩\frac{1}{2} (f-g)与零映射的余等子一致。


这一节差不多是余等子的构造了。与商运算密切相关,等子是对A的提取,余等子是对B的划分。等子很简单,余等子却比较复杂,呈现一种不对称的对偶性,对偶却不对称,很有意思,假如对偶性作为美的基础,而不是对称性,那么会呈现何种艺术作品呢?

©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 关于昨天的问题,偏序集作为范畴时,对象的积就是下确界,在重新看了定义后,了解到对于任意三元组,都要有唯一态射到积所...
    Obj_Arr阅读 1,402评论 1 0
  • 姓名:闵聿宽 学号:16020188028 转自:https://blog.csdn.net/Jason_yesl...
    myuk阅读 15,314评论 1 0
  • 命题逻辑 命题 命题 能确定真值的陈述句 原子命题 不能再细分的命题 复合命题 由联结词、标点符号和原子命题复合构...
    snpara阅读 6,087评论 0 3
  • a.集合范畴中,满态就是满射。证明: ***满射推出满态 第一个等号是因为f是满射,第二个等号是满态的假设条件,第...
    Obj_Arr阅读 829评论 0 1
  • 接着学习函子,函子是范畴之间的结构保持映射。 给出两个函子,通过逐点复合的方式可以得到一个新的函子,可以验证,这种...
    Obj_Arr阅读 1,465评论 0 0