Отображение. Виды отображений
Отображение это бинарное отношение на паре множеств А, В, такое, что каждый элемент из множества А находится в этом отношении с единственным элементом множества В.
Отображение — закон, который устанавливает связь всех элементов из А с элементами В, такой, что каждый элемент из А находится в этой связи с единственным элементом В. Прообразом(-ами) элемента множества В называется(-ются) тот(те) элемент(ы) множества А, из которого (которых) выходит дуга в этот элемент множества В.
Совокупность всех прообразов называется полным прообразом.
Если a:A→B и множества А, В имеют числовую природу, то отображение называют функцией.
Отображение вида a:С^n→C называют операцией, где С — произвольное множество.
Пусть А — упорядоченное множество a*А называется наименьшим (наибольшим) элементом множества А, если для любого aA, a*≤а(a*≥а)
Элемент a* из множества А называется максимальным (минимальным), если в множестве А не существует элементов aA, a*>а(a*<а)
Если упорядоченное множество имеет наименьший(наибольший) элемент, то только один. Если элемент наибольший, то он максимальный, обратно неверно. Если элемент наименьший, то он минимальный, обратное неверно.
a:С^n→C — операция
Если a() то в качествве С можно выбрать например I(универсальное множество) или элементы булеана.
Отображение a:А^n→{1,0} называется предикатом.
Во всех примерах n это арность отображения. А — количество элементов если a функция.
Отображение можно задавать графически, аналитически, таблицами и т.д
Над отображениями, как над бинарными отношениями, можно производить операции ,,, ^(-1), *. Результатом будет отношение, которое вообще говоря, не является отображением.
Теорема. Объединение(пересечение) двух отображений множества А в множество В, тогда и только тогда является отображением, когда оба заданых отображения совпадают друг с другом.
Виды отображений
Среди отображений выделяют три основных вида:
1)сюръективное
2)биективное
3)инъективное
Даными видами множество отображений не ограничивается.
1)Отображение a:A→B называется сюръективным, если аждый элемент из множествa В имеет прообраз.
В графическом изображении сюръективного отображения каждый элемент множества В имеет по крайней мере 1 входящую дугу.
a(x)=b xA,bB (1)
Если a — сюръективное отображение, то уравнение (1) имеет по крайней мере одно решение.
2)Отображение a:A→B называется биективным (взаимно однозначным), если при этом отображении каждый элемент множества В имеет в точности один прообраз.
Каждый элемент множества В имеет в точности одну дугу.
Уравнение (1) имеет в точности одно решение.
Отображение является биективным, если оно одновременно и сюръективно и биективно.
3)Отображение a:A→B называется инъективным, если при этом отображении различные элементы отображаются различно.
В графическом изображении каждый элемент множества В имеет не больше одной входящей дуги.
Уравнение (1) имеет не более одного решения.
-
Содержание
- Множества. Основные понятия.
- Операции над множествами и их свойства.
- Декартово произведение. Разбиение множеств.
- Алгебра множеств
- Отношение. Бинарное отношение
- Алгебра бинарных отношений
- Отображение. Виды отображений
- Отношение порядка. Изоморфизм упорядоченных множеств.
- Алгебраические системы. Изоморфизм алгебраических систем.
- Функции алгебры логики.
- Формулы. Реализация функций формулами.
- Эквивалентность формул. Свойства элементарных булевых функций.
- Двойственные функции. Принцип двойственности
- Разложение булевых функций по переменным. Сднф.
- Полнота и замкнутость.
- Представление булевых функций в виде полинома Жегалкина. Теорема Жегалкина.
- Классы т0, т1.
- Класс s.
- Класс м.
- Класс l
- Теорема о функциональной полноте. Проверка системы функций на полноту.
- Задача минимизации булевых функций.
- Задача минимизации булевых функций в геометрической постановке.
- Сокращенные днф.
- Тупиковые днф и решение задачи минимизации.
- Графы. Основные понятия.
- Орграфы. Основные понятия.
- Маршруты. Цепи. Циклы. Связность.
- Операции над графами