термины, выражающие одинаковость. Изоморфизм означает полное подобие. Гомоморфизм - частичное подобие, или уподобление.
ИЗОМОРФИЗМ И ГОМОМОРФИЗМ
ИЗОМОРФИЗМ И ГОМОМОРФИЗМ
Изоморфизм и гомоморфизм
(от греч. isos – одинаковый и homos – равный + morphe – форма) – виды соответствия между образом и предметом в теории познания. И. предполагает взаимооднозначное соответствие между элементами двух множеств – образа и предмета. В случае Г. имеет место частичное соответствие, когда не все элементы предмета отражаются в элементах образа. Например, административно-политическая географическая карта изоморфна административно-политической структуре определенной территории, но может быть гомоморфной другим её аспектам, если содержит в себе, допустим, обозначения некоторых рек, путей сообщения, особенностей рельефа и т.д.
ИЗОМОРФИЗМ И ГОМОМОРФИЗМ
греч. isos — одинаковый, ho-moios — подобный и morphe — форма) — понятия, характеризующие соответствие между структурами объектов. Две системы, рассматриваемые отвлеченно от природы составляющих их элементов. являются изоморфными друг другу, если каждому элементу первой системы соответствует лишь одни элемент второй и каждой связи в одной системе соответствует связь в др., и обратно. Такое взаимооднозначное соответствие называется И. Полный И. может быть лишь между абстрактными, идеализированными объектами, напр. соответствие между геометрической фигурой и ее аналитическим выражением в виде формулы. И. связан не со всеми, а лишь с нек-рыми фиксированными в познавательном акте свойствами и отношениями сравниваемых объектов, к-рые в др. своих отношениях и свойствах могут отличаться. Г. отличается от И. тем, что соответствие объектов (систем) однозначно лишь в одну сторону. Поэтому гомоморфный образ есть неполное, приближенное отображение структуры оригинала. Таково, напр., отношение между картой и местностью, между грамзаписью и ее оригиналом — звуковыми колебаниями воздушной среды. Понятия “И.” и “Г.” широко применяются в математической логике и кибернетике, физике, химии и др. областях знания. В теории познания эти понятия применяются при анализе сходства (соответствия) между образом и предметом, теорией и объектом, при анализе преобразования информации. И. и г. тесно связаны с понятиями “модель” (Моделирование). “сигнал”, “образ” (Отражение, Идеальное), “адекватность”.
Источник: Философский энциклопедический словарь
ИЗОМОРФИЗМ И ГОМОМОРФИЗМ
понятия, выражающие одинаковость (изоморфизм; от греч. isos — одинаковый и morphe — форма) либо подобие (гомоморфизм; от греч. homoios— подобный) строения (структуры) систем (множеств, процессов, конструкций). Две системы называются изоморфными (находящимися в отношении изоморфизма), если между их элементами, а также функциями (операциями), свойствами и отношениями, осмысленными для этих систем, существует или может быть установлено взаимооднозначное соответствие. В этом случае каждая из систем называется изоморфным образом другой.
Отношение гомоморфизма является более общим (и более слабым). Поэтому всякий изоморфизм есть гомоморфизм, но не наоборот. В этом случае однозначное соответствие между элементами систем выполняется только в одном направлении. Каждому элементу первой системы соответствует единственный элемент второй системы, но не наоборот: элементу второй системы может соответствовать более одного элемента первой системы. В этом случае первая система называется гомоморфным прообразом для второй, а вторая — гомоморфным образом первой.
Под понятия изоморфизма и гомоморфизма могут быть подведены широкие классы отношений, существующие между системами различной природы (напр., отношения между фотографией и оригиналом, переводом языкового текста на другой язык и подлинником, географической картой и соответствующей местностью, движениями небесных тел и описывающей их системой дифференциальных уравнений и пр.). Вполне точно эти понятия реализуются в математике .и логике.
Изоморфизм представляет собой отношение типа равенства. Отсюда проистекает его методологическое значение как средства обоснования правомерности переноса знаний, полученных при изучении одной изоморфной системы, на другую. Гомоморфизм же, не будучи симметричным отношением, обосновывает перенос знаний лишь с гомоморфного образа на прообраз, но не наоборот (любые знания, извлекаемые, напр., из верной географической карты, переносимы на отображаемую ею местность, но не все, что имеется на местности, отображается на карте). Понятия изоморфизма и гомоморфизма используются для характеристики понятия модели и метода моделирования, а также гносеологической категории образа (если он фиксирован средствами каких-либо знаковых систем). Ю. А. Гастев
Отношение гомоморфизма является более общим (и более слабым). Поэтому всякий изоморфизм есть гомоморфизм, но не наоборот. В этом случае однозначное соответствие между элементами систем выполняется только в одном направлении. Каждому элементу первой системы соответствует единственный элемент второй системы, но не наоборот: элементу второй системы может соответствовать более одного элемента первой системы. В этом случае первая система называется гомоморфным прообразом для второй, а вторая — гомоморфным образом первой.
Под понятия изоморфизма и гомоморфизма могут быть подведены широкие классы отношений, существующие между системами различной природы (напр., отношения между фотографией и оригиналом, переводом языкового текста на другой язык и подлинником, географической картой и соответствующей местностью, движениями небесных тел и описывающей их системой дифференциальных уравнений и пр.). Вполне точно эти понятия реализуются в математике .и логике.
Изоморфизм представляет собой отношение типа равенства. Отсюда проистекает его методологическое значение как средства обоснования правомерности переноса знаний, полученных при изучении одной изоморфной системы, на другую. Гомоморфизм же, не будучи симметричным отношением, обосновывает перенос знаний лишь с гомоморфного образа на прообраз, но не наоборот (любые знания, извлекаемые, напр., из верной географической карты, переносимы на отображаемую ею местность, но не все, что имеется на местности, отображается на карте). Понятия изоморфизма и гомоморфизма используются для характеристики понятия модели и метода моделирования, а также гносеологической категории образа (если он фиксирован средствами каких-либо знаковых систем). Ю. А. Гастев
Источник: Новая философская энциклопедия
ИЗОМОРФИЗМ И ГОМОМОРФИЗМ
логико-математич. понятия, выражающие одинаковость либо уподобление строения (структуры) систем (множеств, процессов, конструкций). Системы А и А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 системе А.
При использовании надлежащих абстракций и идеализации под понятия И. и г. могут быть подведены широкие классы отношений, существующие между системами различной природы (напр., отношения между фотографией и оригиналом, переводом языкового текста на нек-рый язык и подлинником, географич. картой и соответств. местностью, чертежом машины и самой машиной, разговорной речью и магнитной лентой, на к-рой она записана, движениями небесных тел и описывающей их системой дифференциальных уравнений и т. п.). Вполне точно понятия И. и г. реализуются в математике и логике.
Изоморфизм представляет собой отношение типа равенства. Отсюда проистекает его методологич. значение как средства обоснования правомерности переноса знаний, полученных при изучении одной изоморфной системы, на другую. В отличие от изоморфизма, гомоморфизм, не будучи симметричным отношением, обосновывает перенос знаний лишь с гомоморфного образа на прообраз, но не наоборот (любые знапия, извлекаемые, напр., из верной географич. карты, переносимы на соответств. местность, но не все, что имеется на местности, отображается на карте). Понятия И. и г. (всякий изоморфизм есть гомоморфизм, но не наоборот) используются для характеристики понятия модели и метода моделирования, а также гносеологич. категории образа (если он фиксирован средствами к.-л. знаковых систем).
Для изоморфных систем выполняются след. условия. 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 системе А.
При использовании надлежащих абстракций и идеализации под понятия И. и г. могут быть подведены широкие классы отношений, существующие между системами различной природы (напр., отношения между фотографией и оригиналом, переводом языкового текста на нек-рый язык и подлинником, географич. картой и соответств. местностью, чертежом машины и самой машиной, разговорной речью и магнитной лентой, на к-рой она записана, движениями небесных тел и описывающей их системой дифференциальных уравнений и т. п.). Вполне точно понятия И. и г. реализуются в математике и логике.
Изоморфизм представляет собой отношение типа равенства. Отсюда проистекает его методологич. значение как средства обоснования правомерности переноса знаний, полученных при изучении одной изоморфной системы, на другую. В отличие от изоморфизма, гомоморфизм, не будучи симметричным отношением, обосновывает перенос знаний лишь с гомоморфного образа на прообраз, но не наоборот (любые знапия, извлекаемые, напр., из верной географич. карты, переносимы на соответств. местность, но не все, что имеется на местности, отображается на карте). Понятия И. и г. (всякий изоморфизм есть гомоморфизм, но не наоборот) используются для характеристики понятия модели и метода моделирования, а также гносеологич. категории образа (если он фиксирован средствами к.-л. знаковых систем).
Источник: Советский философский словарь
