Пример 1

а) Англо-русский словарь устанавливает соответствие между множествами слов русского и английского языка. Оно не является функциональным, так как почти каждому русскому слову соответствует несколько английских переводов; оно, также, не является, как правило, полностью определённым соответствием, так как всегда существуют английские слова, не включённые в данный словарь. Таким образом, это частичное соответствие.

б) Соответствие между аргументами функции и значениями этой функции является функциональным. Однако оно не является взаимнооднозначным, так как каждому значению функции соответствуют два прообраза и .

в) Соответствие между расположенными на шахматной доске фигурами и занимаемыми ими полями является взаимно однозначным.

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

2. Взаимнооднозначные соответствия и мощности множеств.

Если между двумя конечными множествами А и В существует взаимнооднозначное соответствие, то эти множества равномощны. Этот очевидный факт позволяет, во-первых, установить равенство мощности этих множеств, не вычисляя их. Во-вторых, часто можно вычислить мощность множества, установив его однозначное соответствие с множеством, мощность которого известна, либо легко вычисляется.

Теорема 2.1. Если мощность конечного множества А равна , то число всех подмножеств А равно , то есть .

Множество всех подмножеств множества М называется булеаном и обозначается . Для конечных множеств выполняется: .

Определение. Множества А и В называются равномощными, если между их элементами можно установить взаимнооднозначное соответствие.

Заметим, что для конечных множеств это утверждение легко доказать. Для бесконечных множеств оно определят само понятие равномощности.

Определение. Множество А называется счётным, если оно равномощно множеству натуральных чисел : .

Очень упрощённо можно сказать, что данное бесконечное множество является счётным, если для его элементов можно установить нумерацию с помощью натуральных чисел.

Без доказательства примем ряд важных фактов:

1. Любое бесконечное подмножество множества натуральных чисел является счётным.

2. Множество является счётным.

3. Множество рациональных чисел является счётным (является следствием из предыдущего утверждения).

4. Объединение конечного числа счётных множеств является счётным.

5. Объединение счётного числа конечных множеств является счётным.

6. Объединение счётного числа счётных множеств является счётным.

Все эти утверждения, как можно видеть, позволяют достаточно успешно устанавливать факт, что данное множество является счётным. Однако сейчас будет показано, что не всякое бесконечное множества является счётным; существует множества большей мощности.

Теорема 2.2 (теорема Кантора). Множество всех действительных чисел из отрезка не является счётным.

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

Теперь рассмотрим любую бесконечную десятичную дробь вида , организованную таким образом, что и так далее. Очевидно, что данная дробь не входит в рассматриваемую последовательность, поскольку от первого числа она отличается первой цифрой после запятой, от второго – второй цифрой и так далее. Следовательно, мы получили число из данного интервала, которое не пронумеровано и, таким образом, множество не является счётным. Его мощность называется континуум, а множества такой мощности называются континуальными. Приведённый метод доказательства называется диагональным методом Кантора.

Следствие 1. Множество действительных чисел континуально.

Следствие 2. Множество всех подмножеств счётного множества континуально.

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

3. Отображения и функции.

Функцией называется любое функциональное соответствие между двумя множествами. Если функция устанавливает соответствие между множествами А и В, то говорят, что функция имеет вид (обозначение ). Каждому элементу из своей области определения функция ставит в соответствие единственный элемент из области значений. Это записывается в традиционной форме . Элемент называется аргументом функции, элемент - её значением.

Полностью определённая функция называется отображением А в В; образ множества А при отображении обозначается . Если при этом , то есть соответствие сюръективно, говорят, что имеет отображение А на В.

Если состоит из единственного элемента, то называется функцией-константой.

Отображение типа называется преобразованием множества А.

Пример 2.

а) Функция является отображением множества натуральных чисел в себя (инъективная функция). Эта же функция при всех является отображением множества целых чисел в множество рациональных чисел.

б) Функция является отображением множества целых чисел (кроме числа 0) на множество натуральных чисел. Причём в данном случае соответствие не является взаимно однозначным.

в) Функция является взаимнооднозначным отображением множества действительных чисел на себя.

г) Функция не полностью определена, если её тип , но полностью определена, если её тип или .

Определение. Функция типа называется местной функцией. В этом случае принято считать, что функция имеет аргументов: , где .

Например, сложение, умножение, вычитание и деление являются двухместными функциями на , то есть функциями типа .

Определение. Пусть дано соответствие . Если соответствие таково, что тогда и только тогда, когда , то соответствие называют обратным к и обозначают .

Определение. Если соответствие, обратное к функции является функциональным, то оно называется функцией, обратной к .

Очевидно, что в обратном соответствии образы и прообразы меняются местами, поэтому для существования обратной функции требуется, чтобы каждый элемент из области значения имел бы единственный прообраз. Это означает, что для функции обратная функция существует тогда и только тогда, когда является биективным соответствием между своей областью определения и областью значений.

Пример 3. Функция имеет тип . Отрезок она взаимно однозначно отображает на отрезок . Поэтому для неё на отрезке существует обратная функция. Как известно, это .

Определение. Пусть даны функции и . Функция называется композицией функций и (обозначается ), если имеет место равенство: , где .

Композиция функций и представляет собой последовательное применение этих функций; применяется к результату .Часто говорят, что функция получена подстановкой в .

Для многоместных функций возможны различные варианты подстановок в , дающие функции различных типов. Особый интерес представляет случай, когда задано множество функций типа: . В этом случае возможны, во-первых, любые подстановки функций друг в друга, а во-вторых, любые переименования аргументов. Функция, полученная из данных функций некоторой подстановкой их друг в друга и переименованием аргументов, называется их суперпозицией.

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

А.Н. Колмогоровым и В.И. Арнольдом доказано, что всякая непрерывная функция переменных представима в виде суперпозиции непрерывных функций двух переменных.

Замечание. Понятие функции широко используется в математическом анализе, более того, является в нём базовым понятием. В целом, подход к пониманию термина “функция” в матанализе несколько уже, чем в дискретной математике. Как правило, в нём рассматриваются так называемые вычислимые функции. Функция называется вычислимой, если задана процедура, позволяющая по любому заданному значению аргумента найти значение функции.

Назад, в начало конспекта.

Лекция № 3. Отношения и их свойства.

1. Основные понятия и определения.

Определение. Подмножество называется местным (мерным) отношением на множестве А. Говорят, что элементы находятся в отношении , если .

Одноместное (одномерное) отношение – это просто некоторое подмножество А. Такие отношения называют признаками. Говорят, что обладает признаком , если и . Свойства одноместных отношений – это свойства подмножеств А, поэтому для случая термин “отношения” употребляется редко.

Наиболее часто встречающимися и хорошо изученными являются двухместные или бинарные отношения. Если и находятся в отношении , это обычно записывается в виде .

Пример 1. Бинарные отношения на множестве .

а) Отношение “” выполняется для пар и не выполняется для пары .

б) Отношение “иметь общий делитель, не равный единице” выполняется для пар и не выполняется для пар .

в) Отношение “быть делителем” выполняется для пар и не выполняется для пар .

Пример 2. Бинарные отношения на множестве точек координатной плоскости.

а) Отношение “быть равноудалёнными от начала координат” выполнятся для пар точек и , но не выполнятся для пары точек и .

б) Отношение “принадлежать окружности, центр которой находится в начале координат”, выполняется для первой пары точек из предыдущего примера и не выполняется для второй пары.

в) Отношение “быть удалёнными на разное расстояние от начала координат” выполняется для всех точек, для которых не выполняется отношение, описанное в пункте “б”.

Пусть дано отношение на множестве А. Для любого подмножества определяется отношение , называемое сужением на , которое получается из отношения удалением всех пар, содержащих элементы, не принадлежащие . Иначе говоря, .

Строго говоря, само отношение и его сужение - это разные отношения, с разными областями определения. Однако, по умолчанию, если не возникает явных разночтений, эта разница не учитывается. Например, вполне можно говорить об отношении “быть делителем”, не уточняя, задано оно на множестве или на каком-нибудь его подмножестве.

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

Пример 3. Для конечного множества матрицы отношений из примера 1 (а – в) приведены в следующих таблицах.

а)

б)

в)

Поскольку отношения на множестве А задаются подмножествами А², для отношений можно определить те же операции, что и для множеств. Например, отношение “” является объединением отношений “<” и “=”.

Определение. Отношение называется обратным к отношению , если тогда и только тогда, когда .

Непосредственно из определения следует, что . Например, для отношения “” обратным является отношение “”.

2. Свойства отношений.

Определение. Отношение называется рефлексивным, если для любого элемента имеет место .

Главная диагональ матрицы рефлексивного отношения содержит только единицы.

Определение. Отношение называется антирефлексивным, если ни для какого элемента не выполняется .

Главная диагональ матрицы рефлексивного отношения содержит только нули.

Например, отношения “” и “иметь общий делитель” являются рефлексивными. Отношения “” и “иметь сына” являются антирефлексивными. Отношение “быть симметричным относительно оси абсцисс” не является ни рефлексивным, ни антирефлексивным: точка плоскости симметрична сама себе, если лежит на этой оси, и не симметрична себе, если не лежит на ней.

Определение. Отношение называется симметричным, если для любой пары из отношения следует . Иными словами, отношение является симметричным тогда и только тогда, когда для любой пары оно выполняется в обе стороны (или вовсе не выполняется).

Матрица симметричного отношения симметрична относительно главной диагонали: для любых .

Определение. Отношение называется антисимметричным, если из отношений и следует, что .

Отношение “быть симметричным относительно оси абсцисс” является симметричным: если первая точка симметрична второй относительно этой оси, то и вторая точка симметрична первой. Отношение “” является антисимметричным. Действительно, если и , это означает, что .

Нетрудно убедиться в том, что отношение симметрично тогда и только тогда, когда .

Определение. Отношение называется транзитивным, если для любых из отношений и следует .

Отношения “быть равным”, “жить в одном городе”, “быть параллельным” являются транзитивными. Отношения “пересекаться”, “быть сыном” не являются транзитивными.

Замечание. В отличие от отношений рефлексивности и симметричности, для отношения транзитивности не формулируется противоположного понятия (антитранзитивности).

Определение. Транзитивным замыканием отношения называется отношение, определяемое следующим образом: если в множестве существует цепочка из элементов , в которой между каждыми двумя соседними элементами выполняется отношение (, то говорят, что существует транзитивное замыкание .

Замечание. Замыкание является весьма общим математическим понятием. Упрощённо говоря, замкнутость означает, что многократное повторение допустимых шагов не выводит за определённые границы. Например, множество натуральных чисел замкнуто относительно операции сложения, однако открыто (то есть незамкнуто) относительно операции деления.

Если отношение транзитивно, то, очевидно, (и наоборот). Например, отношение “быть делителем” транзитивно для любой цепочки элементов и само является транзитивным замыканием этого отношения.

Если отношение не транзитивно, то .

Например, транзитивным замыканием отношения “быть сыном” является отношение “быть прямым потомком”, включающее в себя понятия “быть сыном”, “быть внуком”, “быть правнуком” и так далее.

Назад, в начало конспекта.

Лекция № 4. Основные виды отношений.

Из содержания предыдущей лекции и рассмотренных в ней примеров видно, что понятие “отношение” следует понимать весьма широко. В данной лекции мы попытаемся ввести определённую классификацию отношений и рассмотреть наиболее значительные с точки зрения математики виды отношений – а именно отношения эквивалентности и порядка.

1. Отношения эквивалентности.

Определение. Отношение называется отношением эквивалентности (или просто эквивалентностью), если оно рефлексивно, симметрично и транзитивно.

Пример 1.

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

б) Утверждения вида или , состоящие из формул, соединённых знаком равенства, задают бинарное отношение на множестве формул, описывающих суперпозиции элементарных функций. Это отношение обычно называется отношением равносильности и определяется следующим образом: две формулы равносильны, если они задают одну и ту же функцию. Равносильность в данном случае, хотя и обозначена знаком “=”, означает не то же самое, что отношение равенства, так как оно может выполняться для различных формул. Впрочем, можно считать, что знак равенства в таких отношениях относится не к самим формулам, а к функциям, которые ими описываются. Для формул же отношение равенства – это совпадение формул по написанию. Оно называется графическим равенством. Кстати, чтобы в подобных ситуациях избежать разночтений, часто для обозначения отношения равносильности используют знак “”.

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

г) Отношение “иметь один и тот же остаток отделения на натуральное число ” на множестве натуральных чисел является отношением эквивалентности.

е) Отношение “быть делителем” не является на множестве отношением эквивалентности. Оно обладает свойствами рефлексивности и транзитивности, но является антисимметричным (см. ниже).

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

Эта система обладает следующими свойствами:

1) она образует разбиение множества , то есть классы попарно не пересекаются;

2) любые два элемента из одного класса эквивалентны;

3) любые два элемента из разных классов не эквивалентны.

Все эти свойства прямо следуют из определения отношения эквивалентности. Действительно, если бы, например, классы и пресекались, то они имели бы хотя бы один общий элемент. Этот элемент был бы, очевидно, эквивалентен и . Тогда, в силу транзитивности отношения выполнялось бы . Однако, по способу построения классов, это не возможно. Аналогично можно доказать другие два свойства.

Построенное разбиение, то есть система классов – подмножеств множества , называется системой классов эквивалентности по отношению . Мощность этой системы называется индексом разбиения. С другой стороны, любое разбиение множества на классы само определяет некоторое отношение эквивалентности, а именно отношение “входить в один класс данного разбиения”.

Пример 2.

а) Все классы эквивалентности по отношению равенства состоят из одного элемента.

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

в) Разбиение множества треугольников по отношению равенства имеет континуальный индекс, причём каждый класс имеет также мощность континуум.

г) Разбиение множества натуральных чисел по отношению “иметь общий остаток при делении на 7” имеет конечный индекс 7 и состоит из семи счётных классов.

1. Отношения порядка.

Определение 1. Отношение называется отношением нестрогого порядка, если оно является рефлексивным, антисимметричным и транзитивным.

Определение 2. Отношение называется отношением строгого порядка, если оно является антирефлексивным, антисимметричным и транзитивным.

Оба типа отношений вместе называются отношениями порядка. Элементы сравнимы по отношению порядка , если выполняется одно из двух отношений или . Множество , на котором задано отношение порядка, называется полностью упорядоченным, если любые два его элемента сравнимы. В противном случае, множество называется частично упорядоченным.

Пример 3.

а) Отношения “” и “” являются отношениями нестрогого порядка, отношения “<” и “>” – отношениями строгого порядка (на всех основных числовых множествах). Оба отношения полностью упорядочивают множества и .

б) Определим отношения “” и “<” на множестве следующим образом:

1) , если ;

2) , если и при этом ходя бы для одной координаты выполняется .

Тогда, например, , но и несравнимы. Таким образом, эти отношения частично упорядочивают .,

в) На системе подмножеств множества отношение включения “” задаёт нестрогий частичный порядок, а отношение строгого включения “” задаёт строгий частичный порядок. Например, , а и не сравнимы.

г) Отношение подчинённости в трудовом коллективе создаёт строгий частичный порядок. В нём, например, несравнимыми являются сотрудники различных структурных подразделений (отделов и т. п.).

д) В алфавите русского языка порядок букв зафиксирован, то есть всегда один и тот же. Тогда этот список определяет полное упорядочение букв, которое называется отношением предшествования. Обозначается (предшествует ). На основании отношения предшествования букв построено отношение предшествования слов, определяемое примерно, таким образом, как производится сравнение двух десятичных дробей. Это отношение задаёт полное упорядочение слов в русском алфавите, которое называется лексикографическим упорядочением.

Пример 4.

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

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

в) Лексикографическое упорядочивание цифровых представлений дат вида 19.07.2004 (девятнадцатое июля две тысячи четвёртого года) не совпадает с естественным упорядочением дат от более ранних к более поздним. Например, дата 19.07.2004 “лексикографически” старше восемнадцатого числа любого года. Чтобы возрастание дат совпадало с лексикографическим упорядочением, обычное представление надо “перевернуть”, то есть записать в виде 2004.07.19. так обычно делают при представлении дат в памяти ЭВМ.

Назад, в начало конспекта.

РАЗДЕЛ II. ВВЕДЕНИЕ В ОБЩУЮ АЛГЕБРУ.

Лекция № 5. Элементы общей алгебры.

1. Свойства бинарных алгебраических операций.

Определение. На множестве А определена алгебраическая операция, если каждым двум элементам этого множества, взятым в определенном порядке, однозначным образом поставлен в соответствие некоторый третий элемент из этого же множества.

Примерами алгебраических операций могут служить такие операции как сложение и вычитание целых чисел, сложение и вычитание векторов, матриц, умножение квадратных матриц, векторное умножение векторов и др.

Отметим, что скалярное произведение векторов не может считаться алгебраической операцией, т.к. результатом скалярного произведения будет число, и числа не относятся к множеству векторов, к которому относятся сомножители.

Замечание. Вообще говоря, операция, определённая таким образом, называется бинарной, поскольку в ней участвуют два элемента. Но также можно говорить об унарных операциях, в которых участвует только один элемент данного множества, и в соответствие ему однозначным образом поставлен второй элемент этого множества. Таковы, например, операции извлечения корня квадратного или нахождения модуля числа.

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

Определение. Операция , отображающая любой элемент множества в себя, называется тождественной операцией.

Тождественной операцией на множестве , например, является умножение на единицу.

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

Определение. Операция называется коммутативной, если для любых элементов выполняется: .

Операции сложения и умножения чисел коммутативны, а вычитание и деление некоммутативны. Также некоммутативна операция умножения матриц (как известно из курса линейной алгебры).

Определение. Операция называется ассоциативной, если для любых элементов выполняется: .

Выполнение условия ассоциативности означает, что скобки в выражении можно не расставлять. Сложение и умножение чисел ассоциативны, что и позволяет не ставить скобки в выражениях типа и . В качестве примера неассоциативной операции можно привести возведение в степень:

.

Правда, запись является допустимой, но служит сокращением записи выражения , а не (сокращённая запись которого - ). Важным примером ассоциативной операции является композиция отображений.

Определение. Операция называется дистрибутивной слева относительно операции , если для любых выполняется:

,

и дистрибутивной справа относительно операции , если для любых выполняется:

.

Наличие свойства дистрибутивности позволяет раскрывать скобки. Например, умножение дистрибутивно относительно сложения (и вычитания) и справа, и слева:

.

Возведение в степень дистрибутивно относительно умножения справа: , но не слева: . Сложение (и вычитание) чисел недистрибутивно относительно умножения: . Ниже будет показано, что операции пересечения и объединения множеств дистрибутивны относительно друг друга и слева, и справа.

2. Алгебраические структуры.

Определение. Пусть дано некоторое множество , на котором задана совокупность операций . Структура вида называется алгеброй; множество называется несущим множеством, совокупность операций - сигнатурой, вектор “” операций называется типом.

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

Пример 1.

а) Алгебра R называется полем действительных чисел (определение понятия поля будет дано ниже). Её тип - . Это означает, что сигнатура данной алгебры содержит две бинарные операции. Здесь все конечные подмножества (кроме множества ) не замкнуты относительно обеих операций и, следовательно, не могут образовывать подалгебры. Но алгебра вида Q- поле действительных чисел – образует подалгебру.

б) Пусть задано множество . Множество всех его подмножеств – булеан, обозначается как или . Алгебра называется булевой алгеброй множеств над множеством . Её тип: . Для любого будет являться подалгеброй .

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

Определение. Замыканием множества относительно сигнатуры (обозначается ) называется множество всех элементов, которые можно получить из элементов этого множества, применяя операции из сигнатуры(включая сами элементы ).

Например, в алгебре целых чисел Z замыканием числа 2 является множество чётных чисел.

Теорема 5.1. Непустое пересечение подалгебр образует подалгебру.

1. Гомоморфизм и изоморфизм.

Алгебры с различными типами (в смысле, определённом в пункте 1), очевидно, имеют существенно различное строение. Если же алгебры имеют одинаковый тип, то наличие у них сходства характеризуется вводимых ниже понятий.

Определение. Пусть даны две алгебры и . Гомоморфизмом алгебры в алгебру называется функция , такая, что для всех выполняется условие:

для любого . (*)

Смысл данного определения состоит в следующем. Независимо от того, выполнена ли сначала операция в алгебре , а потом произведено отображение , либо сначала произведено отображение , а потом в алгебре выполнена соответствующая операция , результат будет одинаков.

Сейчас мы определим некоторые виды гомоморфизма, обладающие дополнительными свойствами.

Определение. Гомоморфизм, который является инъекцией, называется мономорфизмом.

Определение. Гомоморфизм, который является сюръекцией, называется эпиморфизмом.

Определение. Гомоморфизм, который является биекцией, называется изоморфизмом.

Таким образом, можно сказать, что изоморфизм – это взаимно однозначный гомоморфизм.

Замечание. Если множества-носители двух данных алгебр равны, то их гомоморфизм называется эндоморфизмом, а изоморфизм – автоморфизмом.

Теорема 5.2. Если и - две алгебры одного типа и - изоморфизм, то - тоже изоморфизм.

Пример 2.

а) Пусть - множество натуральных чисел, множество натуральных чётных чисел. Алгебры и изоморфны; изоморфизмом является отображение , причём условие здесь имеет вид . Поскольку , то данный изоморфизм есть изоморфизм алгебры в себя.

б) Изоморфизмом между алгебрами и является, например, отображение . Условие имеет вид .

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

Теорема 5.3. Отношение изоморфизма является отношением эквивалентности на множестве алгебр.

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

Дата добавления: 2014-01-04