数学联邦政治世界观
超小超大

性质跟结构的区别

本文参考了 nlab: stuff, structure, property

性质跟结构都是对一组对象而言的,比如集合、代数等,而当我们考虑满足某某性质或者有某某结构的对象时,这些对象就在原本的对象中形成了一个子集,在这种意义下我们确实难以区别“性质”跟“结构”这两个词。

假设我们拥有一组对象,我们不能单单考虑对象本身,还应该考虑对象之间的态射,不过我们真正要考虑的是对象之间的同构,因为正是同构给出了对象之间本质,这意思是它告诉我们哪些对象是一样的,哪些是不一样的。所以我们得考虑这组对象所形成的广群 (groupoid). 然后考虑性质 P 或者结构 S,满足性质 P 跟结构 S 的对象们会在这个广群中形成两个子范畴,在子范畴里面的态射也就是同构,它们得保持这种性质 P 或者结构 S. 比如,等下我们会知道的拓扑对于一个集合而言是结构 S,集合之间的同构只要是双射就好了,但拓扑空间之间的同构得是保持拓扑结构的同胚,这不能是随便一个双射。

“性质”比“结构”更内蕴 (intrinsic).

如果根据某条断言 X (比如具有拓扑,有单位元等等) 我们得到原来范畴C 中的一个子范畴 D ,这个子范畴里面的同构恰好等于原来范畴里面的同构即

lsomᴅ(α,b)=lsomᴄ(α,b)

那么 X 就是一个性质 P. 因此我们可以将性质理解为可以被对象之间的同构自动保持的某类断言。

如果我们有真包含

lsomᴅ(α,b) ⊂ lsomᴄ(α,b)

那么 X 就是一个结构 S.

那么很显然了,我们上面说的具有拓扑则是一个结构。而假如你要将ℝ 上的有限维向量空间变成一个线性赋范空间,那么这就变成了一个性质而不是结构了,这是泛函里面的一个定理。

交换性对于一个结合代数而言也是一个性质。

单位元对于一个结合代数而言也是一个性质,这个对高阶的结合代数比如Eₙ-algebra 也对。

在 Lurie 的 Higher Algebra 里面,他还证明了稳定性 (stability) 对无穷范畴而言也是一个性质

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

云与夜 连载中
云与夜
琪琪拉
哎嘿!甜甜甜!轻微ABO
2.3万字5个月前
她们真的是救世主嘛? 连载中
她们真的是救世主嘛?
汽see
在这个鬼怪与人类的世界里,六个女孩通过解开一个又一个的灵异事件,去探寻星清学院的真相,她们会发生什么样的事呢…不过,她们真的是救世主吗?无c......
13.5万字3个月前
神仙爱情手札 连载中
神仙爱情手札
青衣如故QYRG
渣爹再婚后,他被继后的儿子宠哭了。【1v1,双洁,日久生情,远古洪荒,无逻辑,勿考究。】经常修文
3.3万字2个月前
玉言 连载中
玉言
甜墨墨
有病我写的很糟心,看的很糟心。心灵鸡汤保命秘籍随笔会填补的完结再续自我评价:写的神出鬼没的
1.4万字2个月前
白痴我在结界当猎人 连载中
白痴我在结界当猎人
淼淼猫_8697846306955834
弑神,一切都是喜剧,世界永远也跳不出被控制的命运,我们都是演员。都是表演者,都是为了取悦他人,取悦那个控制我们的人
0.7万字2周前
凤隐山河 连载中
凤隐山河
二酱紫
《凤隐山河》讲述现代法医林锦书穿越架空王朝。凭借刑侦技术破解《璇玑录》死局的故事。当她腕间赤凤纹引发时空裂隙,竟发现镇北王世子谢珩的“尸体”......
2.7万字1周前