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

ИЗОМОРФИЗМ И ГОМОМОРФИЗМ
ИЗОМОРФИЗМ И ГОМОМОРФИЗМ
        логико-математич. понятия, выражающие одинаковость (изоморфизм; от греч. — одинаковый и — форма) либо уподобление (гомоморфизм; от греч. — один и тот же, равный) строения (структуры) систем (множеств, процессов, конструкций). Системы А и А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 системе А.
        При использовании надлежащих абстракций и идеализации под понятия И. и г. могут быть подведены широкие классы отношений, существующие между системами различной природы (напр., отношения между фотографией и оригиналом, переводом языкового текста на некоторый язык и подлинником, географич. картой и соответств. местностью, чертежом машины и самой машиной, разговорной речью и магнитной лентой, на которой она записана, движениями небесных тел и описывающей их системой дифференциальных уравнений и т. п.). Вполне точно понятия И. и г. реализуются в математике и логике.
        Изоморфизм представляет собой отношение типа равенства. Отсюда проистекает его методологич. значение как средства обоснования правомерности переноса знаний, полученных при изучении одной изоморфной системы, на другую. В отличие от изоморфизма, гомоморфизм, не будучи симметричным отношением, обосновывает перенос знаний лишь с гомоморфного образа на прообраз, но не наоборот (любые знапия, извлекаемые, напр., из верной географич. карты, переносимы на соответств. местность, но не всё, что имеется на местности, отображается на карте). Понятия И. и г. (всякий изоморфизм есть гомоморфизм, но не наоборот) используются для характеристики понятия модели и метода моделирования, а также гносеологич. категории образа (если он фиксирован средствамик.-л. знаковых систем).
        Э ш б и У. Р., Введение в кибернетику, пер. с англ., М., 1959; Бирюков Б. В., Кибернетика и методология науки, М., 1974; Ван-дер-Варден Б. Л., Алгебра, пер. с нем., М., 19792.

Философский энциклопедический словарь. — М.: Советская энциклопедия. . 1983.

ИЗОМОРФИЗМ И ГОМОМОРФИЗМ
    ИЗОМОРФИЗМ И ГОМОМОРФИЗМ — понятия, выражающие одинаковость (изоморфизм; от греч. isos — одинаковый и morphe — форма) либо подобие (гомоморфизм; от греч. homoios— подобный) строения (структуры) систем (множеств, процессов, конструкций). Две системы называются изоморфными (находящимися в отношении изоморфизма), если между их элементами, а также функциями (операциями), свойствами и отношениями, осмысленными для этих систем, существует или может быть установлено взаимооднозначное соответствие. В этом случае каждая из систем называется изоморфным образом другой.
    Отношение гомоморфизма является более общим (и более слабым). Поэтому всякий изоморфизм есть гомоморфизм, но не наоборот. В этом случае однозначное соответствие между элементами систем выполняется только в одном направлении. Каждому элементу первой системы соответствует единственный элемент второй системы, но не наоборот: элементу второй системы может соответствовать более одного элемента первой системы. В этом случае первая система называется гомоморфным прообразом для второй, а вторая — гомоморфным образом первой.
    Под понятия изоморфизма и гомоморфизма могут быть подведены широкие классы отношений, существующие между системами различной природы (напр., отношения между фотографией и оригиналом, переводом языкового текста на другой язык и подлинником, географической картой и соответствующей местностью, движениями небесных тел и описывающей их системой дифференциальных уравнений и пр.). Вполне точно эти понятия реализуются в математике .и логике.
    Изоморфизм представляет собой отношение типа равенства. Отсюда проистекает его методологическое значение как средства обоснования правомерности переноса знаний, полученных при изучении одной изоморфной системы, на другую. Гомоморфизм же, не будучи симметричным отношением, обосновывает перенос знаний лишь с гомоморфного образа на прообраз, но не наоборот (любые знания, извлекаемые, напр., из верной географической карты, переносимы на отображаемую ею местность, но не все, что имеется на местности, отображается на карте). Понятия изоморфизма и гомоморфизма используются для характеристики понятия модели и метода моделирования, а также гносеологической категории образа (если он фиксирован средствами каких-либо знаковых систем). Ю. А. Гастев

Новая философская энциклопедия: В 4 тт. М.: Мысль. . 2001.


.

Игры ⚽ Поможем написать курсовую

Полезное


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

  • ГОМОМОРФИЗМ —         см. Изоморфизм и гомоморфизм. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. ГОМОМОРФИЗМ …   Философская энциклопедия

  • ИЗОМОРФИЗМ — (от греч. isos – равный, однозначный и morphe – форма) понятие, выражающее тождественность, идентичность форм. В психологии идентичность (теоретическая) между гештальтами в переживании непосредственно созерцаемого и в процессах, совершающихся в… …   Философская энциклопедия

  • Изоморфизм групп — Для общего описания теории групп см. Группа (математика) и Теория групп. Курсив обозначает ссылку на этот словарь. # А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У …   Википедия

  • Изоморфизм — У этого термина существуют и другие значения, см. Изоморфизм (значения). Изоморфизм (от др. греч. ἴσος «равный, одинаковый, подобный» и μορφή «форма»)  это очень общее понятие, которое употребляется в различных разделах математики. В общих… …   Википедия

  • Гомоморфизм — Не следует путать с гомеоморфизмом. Гомоморфизм (от др. греч. ὁμός  равный, одинаковый и μορφή  вид, форма)  это морфизм в категории алгебраических систем. Это отображение алгебраической системы А, сохраняющее основные операции и… …   Википедия

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

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

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

  • ИЗОМОРФИЗМ — соответствие (отношение) между объектами или системами объектов, выражающее в некотором смысле тождество их строения. И. в произвольной категории есть обратимый морфизм, т. е. морфизм j, для к рого существует такой морфизм j 1,что произведение j… …   Математическая энциклопедия

  • ТОМА ИЗОМОРФИЗМ — изоморфизм между (обобщенными) (ко)гомологиями базы векторного (сферического) расслоения и (ко)гомологиями его Тома пространства Пусть n мерное векторное расслоение над конечным клеточным пространством X ориентируемо в некоторой мультипликативной …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»