Изоморфизм множеств

Изоморфизм ( гр. изо – равный, одинаковый, подобный; morphē – вид, форма ) с математической точки зрения : свойство одинаковости строения каких – либо совокупностей элементов, совершенно безразличное к природе этих элементов.

Множества М и М * изоморфны, если существует взаимно однозначное соответствие такое, что для найдется такой, что и существует обратное взаимно однозначное соответствие такое, что для найдется такой, что .

Упорядоченные множества М и М * изоморфны , если между ними существует изоморфизм, сохраняющий порядок, т.е. существует взаимно однозначное соответствие между М и М *, когда из следует и наоборот: из следует .

Пример.□ Любые две алгебры множеств, образованные различными

множествами U и U * одинаковой мощности, изоморфны : операции у них просто одинаковы, а отображением может служить любое взаимно однозначное соответствие между U и U *. ■

Понятие изоморфизма является одним из важнейших понятий в математике. Его суть можно выразить следующим образом : если алгебры А и А* изоморфны, то элементы и операции в алгебре А* можно переименовать так, что А* совпадет с А. Из условия изоморфизма следует, что, например, любое эквивалентное соотношение в алгебре А сохраняется в любой изоморфной ей алгебре. Это позволяет, получив такие соотношения в алгебре А, автоматически распространить их на все алгебры, изоморфные А. Выражение “рассматривать объекты с точностью до изоморфизма” означает, что рассматриваются только те свойства объектов, которые сохраняются при изоморфизме, т.е. являются общими для всех изоморфных объектов. В частности, изоморфизм сохраняет ассоциативность, коммутативность и дистрибутивность.

Установлено, что алгебра множеств изоморфна булевой алгебре, рассматриваемой в разделе “Математическая логика”.