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

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

Отношение гомоморфизма является более общим (и более слабым). Поэтому всякий изоморфизм есть гомоморфизм, но не наоборот. В этом случае однозначное соответствие между элементами систем выполняется только в одном направлении. Каждому элементу первой системы соответствует единственный элемент второй системы, но не наоборот: элементу второй системы может соответствовать более одного элемента первой системы. В этом случае первая система называется гомоморфным прообразом для второй, а вторая — гомоморфным образом первой.

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

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