楼主:
nahsnib (悟)
2026-04-11 14:05:26https://x.com/lam/status/2042180960658334109
https://pbs.twimg.com/media/HFdDuDwaQAA9-dt.jpg
昨天有点错,今天重发一次
那么要开始喽~教授的hom教学!
虽然大家可能光看到这三个字母就感到一阵恶臭,在数学领域里面这是个重要的概念:
“拓朴同胚”
众所皆知的,拓朴学里面甜甜圈与马克杯完全是同一种东西,
那么我们要怎么验证呢?
这里就要先来定义所谓的hom集合,以及hom群
所谓的hom集合,是指一群“把X丢去Y”的函数的集合,
教授举的例子也非常好懂:渚与日步美之间到底有几种函数呢?
我们可以从图上轻易发现,渚对日步美有两种函数:爱恋与怀疑,
而日步美对渚也有两种函数:惶恐与尊敬。
讲完了hom集合,那么,如果hom集合满足群(group)的特性,就会进化为hom群,
这时候我们就能大胆的说,在拓朴上,渚跟日步美根本同胚!
这就是教授的齁姆课程,我们下次见