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

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

Смотреть больше слов в «Общих основах педагогики»

ИНДУКЦИЯ →← ЗУН

Смотреть что такое ИЗОМОРФИЗМ И ГОМОМОРФИЗМ в других словарях:

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

ИЗОМОРФИЗМ И ГОМОМОРФИЗМ         логико-математич. понятия, выражающие одинаковость (изоморфизм; от греч. — одинаковый и — форма) либо уподобление (... смотреть

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

логико-математич. понятия, выражающие одинаковость либо уподобление строения (структуры) систем (множеств, процессов, конструкций). Системы А и А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 системе А. При использовании надлежащих абстракций и идеализации под понятия И. и г. могут быть подведены широкие классы отношений, существующие между системами различной природы (напр., отношения между фотографией и оригиналом, переводом языкового текста на нек-рый язык и подлинником, географич. картой и соответств. местностью, чертежом машины и самой машиной, разговорной речью и магнитной лентой, на к-рой она записана, движениями небесных тел и описывающей их системой дифференциальных уравнений и т. п.). Вполне точно понятия И. и г. реализуются в математике и логике. Изоморфизм представляет собой отношение типа равенства. Отсюда проистекает его методологич. значение как средства обоснования правомерности переноса знаний, полученных при изучении одной изоморфной системы, на другую. В отличие от изоморфизма, гомоморфизм, не будучи симметричным отношением, обосновывает перенос знаний лишь с гомоморфного образа на прообраз, но не наоборот (любые знапия, извлекаемые, напр., из верной географич. карты, переносимы на соответств. местность, но не всё, что имеется на местности, отображается на карте). Понятия И. и г. (всякий изоморфизм есть гомоморфизм, но не наоборот) используются для характеристики понятия модели и метода моделирования, а также гносеологич. категории образа (если он фиксирован средствами к.-л. знаковых систем).... смотреть

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

греч. isos — одинаковый, ho-moios — подобный и morphe — форма) — понятия, характеризующие соответствие между структурами объектов. Две системы, рассматриваемые отвлеченно от природы составляющих их элементов. являются изоморфными друг другу, если каждому элементу первой системы соответствует лишь одни элемент второй и каждой связи в одной системе соответствует связь в др., и обратно. Такое взаимооднозначное соответствие называется И. Полный И. может быть лишь между абстрактными, идеализированными объектами, напр. соответствие между геометрической фигурой и ее аналитическим выражением в виде формулы. И. связан не со всеми, а лишь с нек-рыми фиксированными в познавательном акте свойствами и отношениями сравниваемых объектов, к-рые в др. своих отношениях и свойствах могут отличаться. Г. отличается от И. тем, что соответствие объектов (систем) однозначно лишь в одну сторону. Поэтому гомоморфный образ есть неполное, приближенное отображение структуры оригинала. Таково, напр., отношение между картой и местностью, между грамзаписью и ее оригиналом — звуковыми колебаниями воздушной среды. Понятия “И.” и “Г.” широко применяются в математической логике и кибернетике, физике, химии и др. областях знания. В теории познания эти понятия применяются при анализе сходства (соответствия) между образом и предметом, теорией и объектом, при анализе преобразования информации. И. и г. тесно связаны с понятиями “модель” (Моделирование). “сигнал”, “образ” (Отражение, Идеальное), “адекватность”. ... смотреть

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

термины, выражающие одинаковость. Изоморфизм означает полное подобие. Гомоморфизм - частичное подобие, или уподобление.

T: 122