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

性质跟结构的区别

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

相关小说

天天暴富APP 连载中
天天暴富APP
奈斯木拉
(已签约+万华镜文社)暴富第一天,到账500万。暴富第二天,到账魔方手表一枚。暴富第三天,到账海城别墅一套。暴富第四天,到账无限额卡一张。…......
39.2万字8个月前
林晓晓 连载中
林晓晓
多吃一点米
故事设定了基调和背景,接下来的故事将围绕陆霆骁和林晓晓之间的关系发展,以及他们如何共同面对即将到来的挑战和阴谋
2.1万字8个月前
今天还了债吗? 连载中
今天还了债吗?
元霏
元霏因为太无聊,坑了一堆人(元霏有点恶毒女配的感觉,不喜勿喷)
1.1万字6个月前
王楚钦:无人知晓的我 连载中
王楚钦:无人知晓的我
吉林的风
清冷记者×天才少年“我们注定不能在一起,我想要无人知晓,而你却家喻户晓”
2.3万字5个月前
蛇莓穿越初中之穿越之旅 连载中
蛇莓穿越初中之穿越之旅
屑榵榵
蛇莓穿越到了初三3班成为学生,从27章开始,蛇莓的名字改为了白珠樱,第29章开始模仿怪盗基德不更新了
115.9万字3个月前
人生剧场 连载中
人生剧场
沐沐月惜
《人生剧场》是一部聚焦多元叙事的故事合集,以“故事”为核心载体,编织世间百态的戏剧化图景。全书突破传统单一主线框架,用独立成篇的短篇故事构建......
2.7万字2个月前