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

性质跟结构的区别

本文参考了 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万字8个月前
快穿之恋爱脑男主养成记 连载中
快穿之恋爱脑男主养成记
177***305_2182843138
萧晓:男德班创始人,养成经验源于男人,用于男人。致力于养成恋爱脑男人。
0.3万字6个月前
亓妄 连载中
亓妄
十云逝
亓妄说过,他只爱沈晚烟,他只信余倞和余焚。沈晚烟和他的母亲,是亓妄最后的防线;可在不久后,这最后的防线也断裂了。
1.3万字5个月前
复仇之途 连载中
复仇之途
有亿点物质
器宗被灭,百里辰竹四人找到苏浅陌寻求庇护
4.5万字5个月前
噬月羁绊 连载中
噬月羁绊
青秋_094204047
一个背负着沉重过去的吸血鬼,他孤傲、冷漠,却在遇见纯真善良的少女芈祝后,逐渐敞开了心扉。芈祝,一个对未知世界充满好奇的普通人类,她的勇敢和坚......
1.4万字5个月前
天定世间生机 连载中
天定世间生机
八面玲珑的冷漠美人
利益。自保。残忍。劫富济贫。要利益,要自保,要大义,要善心。王者般的存在,是没落还是向心所至。已签约/连载中/原创禁止转载❗❗❗
3.6万字2个月前