Khác biệt giữa bản sửa đổi của “Phép đẳng cấu”

Nội dung được xóa Nội dung được thêm vào
Không có tóm lược sửa đổi
Không có tóm lược sửa đổi
Dòng 15:
'''Phép đẳng cấu chính tắc''' là một [[ánh xạ chính tắc]] thỏa mãn yêu cầu của phép đẳng cấu. Hai đối tượng được gọi là '''đẳng cấu chính tắc''' nếu tồn tại một phép đẳng cấu chính tắc giữa chúng. Ví dụ, ánh xạ chính tắc từ một không gian vectơ hữu hạn chiều ''V'' vào không gian đối ngẫu thứ hai của nó là một đẳng cấu chính tắc; mặt khác, ''V'' là đẳng cấu vào không gian đối ngẫu nhưng nói chung không chính tắc.
 
IsomorphismsPhép aređẳng formalizedcấu usingđược hình thức hóa bằng [[categorylý thuyết phạm theorytrù]]. Một Acấu morphismxạ {{nowrap|''f'' : ''X'' → ''Y''}} introng amột categoryphạm istrù an isomorphismmột ifđẳng itcấu admitsnếu anhó two-sidedcho inversephép tồn tại nghịch đảo hai phía, meaning thatnghĩa there is anothermột morphismcấu xạ khác {{nowrap|''g'' : ''Y'' → ''X''}} introng thatphạm categorytrù suchđó thatsao cho {{nowrap|''gf'' {{=}} 1<sub>''X''</sub>}} and {{nowrap|''fg'' {{=}} 1<sub>''Y''</sub>}}, wherevới 1<sub>''X''</sub> and 1<sub>''Y''</sub> are thenhững identitycấu morphismsxạ ofđồng nhất của tương ứng ''X'' and ''Y'', respectively.<ref>{{cite book|author=Awodey, Steve|chapter=Isomorphisms|title=Category theory|publisher=Oxford University Press|year=2006|isbn=9780198568612|page=11|url=http://books.google.com/books?id=IK_sIDI2TCwC&pg=PA11}}</ref>
==Chú thích==
{{tham khảo|group=note}}
Dòng 30:
*{{planetmath reference|id=1936|title=Isomorphism}}
*{{MathWorld | urlname=Isomorphism | title = Isomorphism}}
{{sơ khai toán học}}
 
[[thể loại:Cấu xạ]]