ИЗОМОРФИЗМ И ГОМОМОРФИЗМ

логико-математич. понятия, выражающие одинаковость либо уподобление строения (структуры) систем (множеств, процессов, конструкций). Системы А и А1 наз. изоморфными (или находящимися в отношении изоморфизма), если между их элементами, а также функциями (операциями), свойствами и отношениями, осмысленными для этих систем, существует или может быть установлено взаимнооднозначное соответствие. В этом случае каждая из систем А и А1 наз. изоморфным образом другой.

Для изоморфных систем выполняются след. условия. 1) Каждому элементу а, принадлежащему одной из них, напр. системе А (что записывается как а э А), соответствует единств. элемент а1 э А1 (образ элемента а в системе А1) и наоборот. 2) Каждой функции ф, определённой на элементах системы А и принимающей значение в А, для образов этих элементов в системе А1 соответствует единств. функция «фи»1, и, наоборот, функции «фи»1 в А1 соответствует единств. функция «фи» в А (для соответств. элементов). 3) Для каждого свойства Р, к-рым обладают к.-л. элементы из А, и каждого отношения R, в к-ром находятся наборы к.-л. элементов из А , для образов этих элементов в А1 существуют взаимнооднозначно соответствующие им свойства Р1 и R1. Замена условия (1) более слабым требованием однозначного соответствия элементов только в одну сторону, напр. от А к А1 (так что каждому ? э А соответствует единств. элемент а1 э А1, но не наоборот: элементу а1 в А 1 может соответствовать много разных элементов в А), приводит к более общему (и более слабому) отношению гомоморфизма. В этом случае А наз. гомоморфным прообразом для A1, a А1 - гомоморфным образом системы А. Гомоморфный образ упрощает структуру прообраза, т. к. допускает множество «склеенных» элементов, соответствующих нек-рому элементу а1 э А1. Аналогично ослабление условий (2) и (3), связанных между собой, ведёт к понятиям, выражающим дальнейшее упрощение уподобления системы А1 системе А.

При использовании надлежащих абстракций и идеализации под понятия И. и г. могут быть подведены широкие классы отношений, существующие между системами различной природы (напр., отношения между фотографией и оригиналом, переводом языкового текста на нек-рый язык и подлинником, географич. картой и соответств. местностью, чертежом машины и самой машиной, разговорной речью и магнитной лентой, на к-рой она записана, движениями небесных тел и описывающей их системой дифференциальных уравнений и т. п.). Вполне точно понятия И. и г. реализуются в математике и логике.

Изоморфизм представляет собой отношение типа равенства.  Отсюда проистекает его методологич. значение как средства обоснования правомерности переноса знаний, полученных при изучении одной изоморфной системы, на другую. В отличие от изоморфизма, гомоморфизм, не будучи симметричным отношением, обосновывает перенос знаний лишь с гомоморфного образа на прообраз, но не наоборот (любые знапия, извлекаемые, напр., из верной географич. карты, переносимы на соответств. местность, но не всё, что имеется на местности, отображается на карте). Понятия И. и г. (всякий изоморфизм есть гомоморфизм, но не наоборот) используются для характеристики понятия модели и метода моделирования, а также гносеологич. категории образа (если он фиксирован средствами к.-л. знаковых систем).