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