同构

✍ dations ◷ 2025-04-04 11:23:40 #Morphisms,Equivalence (mathematics),态射

在抽象代数中,同构(英语:isomorphism)指的是一个保持结构的双射。在更一般的范畴论语言中,同构指的是一个态射,且存在另一个态射,使得两者的复合是一个恒等态射。

正式的表述是:同构是在数学对象之间定义的一类映射,它能揭示出在这些对象的属性或者操作之间存在的关系。若两个数学结构之间存在同构映射,那么这两个结构叫做是同构的。一般来说,如果忽略掉同构的对象的属性或操作的具体定义,单从结构上讲,同构的对象是完全等价的。

对数 log : R + R {\displaystyle \log :R^{+}\to R}

log ( x y ) = log ( x ) + log ( y ) {\displaystyle \log(xy)=\log(x)+\log(y)}

指数函数

exp ( x + y ) = exp ( x ) exp ( y ) {\displaystyle \exp(x+y)=\exp(x)\exp(y)}

Z 6 Z 2 × Z 3 {\displaystyle \mathbb {Z} _{6}\cong \mathbb {Z} _{2}\times \mathbb {Z} _{3}}

因为中国剩余定理,若m, n是互素的,则

Z m n Z m × Z n {\displaystyle \mathbb {Z} _{mn}\cong \mathbb {Z} _{m}\times \mathbb {Z} _{n}}

在数学中研究同构的主要目的是为了把数学理论应用于不同的领域。如果两个结构是同构的,那么其上的对象会有相似的属性和操作,对某个结构成立的命题在另一个结构上也就成立。因此,如果在某个数学领域发现了一个对象结构同构于某个结构,且对于该结构已经证明了很多定理,那么这些定理马上就可以应用到该领域。如果某些数学方法可以用于该结构,那么这些方法也可以用于新领域的结构。这就使得理解和处理该对象结构变得容易,并往往可以让数学家对该领域有更深刻的理解。


相关

  • 明史《明史》是二十四史中的最后一部,是一部纪传体的史书。清朝明史馆官修,张廷玉等主撰,全书共三百三十二卷,计本纪二十四卷、志七十五卷、表十三卷、列传二百二十卷;记明代史事,起自
  • 奥尔约翰·博伊德·奥尔,第1代博伊德-奥尔男爵(John Boyd Orr, 1st Baron Boyd-Orr,1880年9月23日-1971年6月25日),是苏格兰教师、医生、生物学家和政治家,因为在联合国粮食和农业组织
  • 永嘉之乱永嘉之乱,或称永嘉之祸,是发生在中国西晋永嘉五年(311年)的一场动乱事件。动乱由居于中原的少数民族发动,少数民族军队击败西晋京师洛阳的守军,攻陷洛阳并大肆抢掠杀戮,更俘掳晋怀
  • 让·保罗让·保罗(德语:Jean Paul,1763年3月21日-1825年11月14日),原名Johann Paul Friedrich Richter,德国作家,德国浪漫主义文学的先驱。
  • 翟志刚翟志刚(1966年11月21日-),男,汉族,中国黑龙江省齐齐哈尔市龙江县人。他是神舟七号太空船三名正选航天员之一,他的队友还有刘伯明和景海鹏。翟志刚于2008年9月25日在甘肃酒泉随神七
  • 陈洪武陈洪武(1962年12月-),男,江苏淮安人,中华人民共和国书法家,中国书法家协会分党组书记、驻会副主席、秘书长,第十三届全国政协委员。
  • 巴里桑山脉巴里桑山脉(Barisan Mountains)是印度尼西亚苏门答腊西部的山脉,全长1,700公里,主要由火山组成,海拔高度3,800米的葛林芝火山是山脉中最高的山峰,山脉南端附近有武吉巴里杉西拉坦
  • 巨港巨港(印尼语:Palembang,音译巴邻旁,中国古籍称巴林冯和旧港)是一个位于印尼苏门达腊岛东部的城市,为苏门达腊岛上较大的城市,亦是南苏门达腊省之省会和重要河港,现有国际机场,亦有许
  • 马来西亚报刊列表本列表列出了在马来西亚印刷和发行的报刊。
  • 石狩锅石狩锅(日语:石狩鍋/いしかりなべ)是一道日本北海道的乡土料理,是以味噌调味过的鲑鱼为主要食材的一道火锅料理。石狩锅虽然常常会被跟以腌制鲑鱼为主要食材的三平汁搞混,不过石狩