同构

✍ dations ◷ 2025-08-24 14:21:05 #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}}

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


相关

  • 资讯鉴识信息鉴识(Information Forensics)是一种网络行为,利用所有已知的或未知的信息渠道来辩证一段网络信息的真伪,不论这个渠道是实体的还是虚拟的。互联网是一个自由的信息载体(Infor
  • 西罗曼语西罗曼语(英语:Western Romance languages)是罗曼语族下属的分类之一,和意大利-达尔马提亚语共同形成了意大利-西罗曼语支。西罗曼语言虽然和意大利-达尔马提亚语,但由于经过了拉
  • 总科超科(Superfamily),又译作总科,是生物分类法中的一个层级,介于亚目和科之间。有时在超科和亚目之间还有下目(或称次目)的分类。一般超科名称的拉丁字尾是-oidea。
  • 分数N ⊆ Z ⊆ Q ⊆ R ⊆
  • 赖远明赖远明(1962年8月-),中国寒区工程、土木工程专家。中国科学院寒区旱区环境与工程研究所研究员。生于江西龙南。1983年毕业于江西理工大学,1986年在兰州交通大学获硕士学位,1999年
  • 量纲量纲,又叫作因次(Fundamental unit),是表示一个物理量由基本量组成的情况。确定若干个基本量后,每个导出量都可以表示为基本量的幂的乘积的形式。引入量纲这一概念可以进行量纲分
  • Psub2/subClsub4/sub四氯化二磷是一种无机磷化合物,化学式为P2Cl4,于1910年首次合成。四氯化二磷可由三氯化磷和氢气在低压下放电得到。
  • 乃马真后昭慈皇后(?-1246年)名脱列哥那(蒙古语:.mw-parser-output .font-mong{font-family:"Menk Hawang Tig","Menk Qagan Tig","Menk Garqag Tig","Menk Har_a Tig","Menk Scnin Tig","
  • 格林尼治公园格林威治公园(英语:Greenwich Park)是位于英国格林威治的一座公园,曾是英国皇室的狩猎地。格林威治公园是伦敦东南部最大的绿地之一,也是伦敦御苑之一,并且是首座圈定范围的御苑(14
  • 10族元素固体、液体、气体10族元素(又称镍族元素)是指元素周期表上第10族的元素,位于9族元素和11族元素之间,在过去和8族元素及9族元素合称为ⅧB族元素。9族元素包含镍(Ni)、钯(Pd)、铂(Pt)、�(D