Изоморфизм (математикада)

Изоморфизм (математикада) - азыркы математиканын негизги түшүнүктөрүнүн бири; объектилердин же алардын системасынын түзүлүшүнүн бирдейлигин туюнтуучу касиет. «Изоморфизм» термини математикага 19-кылымдын ортосунда кирген. Анын азыркы аныктамасын немис математиги Э. Нётер эмгектеринде берген. Изоморфизм группа, шакек, талаа ж. б. алгебралык түзүлүштөрдө колдонуудан келип чыгып, азыр математиканын ар бир бөлүмүнүн түзүлүшүн жана колдонулушун түшүндүрүүнүн негизги каражаты. Изоморфизмдин жалпы аныктамасы: А жана А1 объектилер системасы, биринчисинде Fk(x1, x2, ...), k = 1, 2, ..., n, ал эми экинчисинде = (x^, x1,...), k = 1, 2, ..., n катыштары аныкталсын. Эгерде А жана А1 системаларынын арасында Fk(x1, x2, ...) бар чоңдуктан Fk1(xJ, x^,...) жана тескерисинче өз ара бир маанилүү x =<p(x), x =y(x 1), чагылдырууну (мында х А нын каалаган элементи, х1 болсо, А1 дин каалаган элементи) түзүүгө мүмкүн болсо, анда А жана А1 системалары жогоруда көрсөтүлгөн катыштары боюнча изоморфтуу деп аталат. Көрсөтүлгөн тиешелүүлүктүн өзү изоморфтуу чагылыш же изоморфизм. Мисалы, бардык чыныгы сандардын х = х1 + х2 кошуу амалы менен берилген системасы R, чыныгы оң сандардын у = у1у2 көбөйтүү амалы менен берилген системасы Р болсо, сандардын мына ушул эки системасынын ички түзүлүшү бирдей болот. Ал үчүн R системасындагы дагы ар бир Хке Р системасынан у = а (а>1) санын туура келтирип, R системасын Рга чагылдыруу жетиштүү. х = = х1+ х2 суммага у1 = ах1 жана у2х2 сандардын у = у1у2 көбөйтүндүсү туура келет. Мында Рнын Rгe тескери чагылышы х = log y түрүндө болот. Изоморфизмдин жеке учуру автоморфизм деп аталат.

Колдонулган адабияттар

түзөтүү