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

性质跟结构的区别

本文参考了 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),接着再看更方便。

相关小说

聆笙集 连载中
聆笙集
棠鹤begonia
2.6万字5个月前
三人行之二:金色学院的宝藏 连载中
三人行之二:金色学院的宝藏
璃月非李月
三人行系列2这一本内容逐渐魔幻作者非常需要评论!!看过的朋友们请留下足迹!!不拒绝吐槽月学院内部的规则,究竟有什么意图❓传说中的宝藏,和规则......
5.0万字3个月前
龙卷风之后 连载中
龙卷风之后
飞向天宏
南海的某夏天,一场突如其来的龙卷风,这是五千罕见的超强风,它所之处,一片狼藉……
12.1万字3个月前
时钟妤你 连载中
时钟妤你
沈噫予
茫茫人海与你相遇,这是真正的幸运
0.2万字2个月前
我将不断追寻精神的本真:两个人的孤独方程 连载中
我将不断追寻精神的本真:两个人的孤独方程
*夜半太阳*
有关于维持时空稳定的失落之石遭到破坏使时空重组,发生在混沌世界的一个小小故事
0.5万字2个月前
予你囚光 连载中
予你囚光
时珺3881882278
强制性的完本是为了更好的创作新的。因为有很多想法不让出来。
8.7万字24小时前