同构
维基百科,自由的 encyclopedia
同构(英语:Isomorphism)是一种线性变换,当T:V → W 是可逆时,这种线性变换就称之为同构。
在抽象代数中,同构指的是一个保持结构的双射。在更一般的范畴论语言中,同构指的是一个态射,且存在另一个态射,使得两者的复合是一个恒等态射。
正式的表述是:同构是在数学对象之间定义的一类映射,它能揭示出在这些对象的属性或者操作之间存在的关系。若两个数学结构之间存在同构映射,那么这两个结构叫做是同构的。一般来说,如果忽略掉同构的对象的属性或操作的具体定义,单从结构上讲,同构的对象是完全等价的,也就是说,如果我们定义一个关系∼ ,使得只要V和W同构,那么 V ∼ W ,可知 ∼ 是一个等价关系。