Соответствие между двумя множествами — это концепция, которая описывает отношение между элементами этих множеств. Одному элементу из первого множества может соответствовать несколько элементов второго множества и наоборот. Также возможна ситуация, когда некоторым элементам одного множества не находится соответствия в другом.
Математически это можно выразить следующим образом. Пусть и
— два множества. Соответствие между множествами
и
— это подмножество декартова произведения
, то есть набор пар
, где
и
. Другими словами, соответствие задаётся как множество
.
Для элемента может существовать несколько пар
в соответствии, где
. Это означает, что одному элементу могут соответствовать несколько элементов в другом множестве.
Не каждому элементу множества обязательно найдется соответствующий элемент во множестве
, и наоборот.
Пример. Пусть и
. Соответствие между
и
может быть задано следующим множеством пар:
. Здесь элементу 1 из множества
соответствуют элементы
и
из множества
, элементу 2 соответствует элемент
, а элементу 3 не соответствует ни один элемент из множества
, как и элементу
не соответствует ни один элемент из множества
.
Пример. Рассмотрим множество студентов и их курсы в университете. Пусть — множество студентов, а
— множество курсов. Соответствие между студентами и курсами может быть установлено на основе того, какие курсы каждый студент выбирает.
— Студент А может быть записан на курсы по математике, физике и литературе.
— Студент Б может выбрать курсы по математике, экономике и истории.
Здесь у нас есть соответствие между студентами и курсами. Каждому студенту сопоставляется один или несколько курсов, которые он выбрал. Такое соответствие может быть неоднозначным, поскольку разные студенты могут выбрать один и тот же курс, и не каждый курс может быть выбран студентами.
Один студент может быть записан на несколько курсов, и несколько студентов могут быть записаны на один и тот же курс.
Таблица 1.4.1 — Соответствие между студентами и курсами
Студент | Математика | Физика | Литература | Экономика | История | Биология |
А | Да | Да | Да | Нет | Нет | Нет |
Б | Нет | Нет | Нет | Да | Да | Нет |
В | Нет | Нет | Нет | Нет | Нет | Нет |
Г | Да | Нет | Нет | Нет | Нет | Нет |
Д | Нет | Нет | Да | Нет | Да | Нет |
В данной таблице студент «В» не выбрал ни одного курса, и никто из студентов не выбрал курс «Биология».
Отображение (или функция) в математике — это правило, которое каждому элементу одного множества (называемого областью определения) ставит в соответствие ровно один элемент другого множества (называемого областью значений).
Пусть и
— два множества. Отображением из множества
во множество
, обозначаемым как
, называется правило, согласно которому каждому элементу
из множества
ставится в соответствие ровно один элемент
из множества
. Элемент
называется образом элемента
и обозначается как
.
Математически определение отображения формулируется следующим образом: , где
.
При таком отображении множества во множество
, элемент
называется образом элемента
, а элемент
называется прообразом элемента
.
Пример. Пусть — множество студентов в аудитории,
— множество столов в этой аудитории. Соответствие "студент
сидит за столом
" задает отображение множества
во множество
, так как все студенты сидят за столами, также студенты могут сидеть по двое за одним столом, по трое и т. д., но есть и пустые столы.
Пример. Пусть задана формулой
. Здесь каждому действительному числу
сопоставляется значение
.
Сюръективное отображение — это такое отображение между двумя множествами, что каждый элемент во втором множестве имеет по крайней мере один прообраз в первом множестве. Другими словами, отображение переводит элементы первого множества в элементы второго множества, при этом охватываются все элементы второго множества.
Математически определение сюръективного отображения формулируется следующим образом: пусть есть отображение между множествами
и
; отображение
считается сюръективным (сюръекцией), если для каждого элемента
из множества
существует элемент
из множества
такой, что
.
Пример. Рассмотрим отображение , где
.
Отображение является сюръективным, потому что для каждого вещественного числа
существует такое вещественное число
, что
. Например, если
, то
или
. Таким образом, каждый элемент второго множества
имеет по крайней мере один прообраз в первом множестве
.
Это свойство сюръективности означает, что отображение «покрывает» всю область значений, достигает каждое возможное значение во втором множестве.
Пример. Пусть — множество книг,
— множество студентов. Соотношение «книга
принадлежит студенту
» задает сюръективное отображение множества
на множество
.
Пример. Представим себе ситуацию с заказом еды через доставку. Пусть у нас есть два множества:
A = {Варианты блюд для заказа};
B = {Клиенты, которые могут сделать заказ}.
Теперь предположим, что есть сюръективное отображение , где каждому клиенту сопоставлен хотя бы один вариант блюда.
A = {Пицца, Суши, Бургеры, Мороженое, Салат, Суп};
B = {Джон, Мария, Арслан}.
Джон заказал пиццу и салат; Мария — суп, суши и мороженое; Арслан — бургеры. Каждому клиенту сопоставлен хотя бы один вариант блюда, и, таким образом, отображение является сюръективным.
При данном отображении первое множество (вариантов блюд) полностью покрывает второе множество (клиентов), т. е. каждый клиент имеет возможность выбрать хотя бы один вариант для заказа.
Инъективное отображение — это такое отображение между двумя множествами, что разным элементам первого множества соответствуют разные элементы второго множества.
Другими словами, отображение не отображает различные элементы первого множества в один и тот же элемент второго множества (каждый элемент из первого множества имеет уникальное отображение во втором).
Математически определение инъективного отображения формулируется следующим образом: пусть есть отображение между множествами
и
; отображение
считается инъективным (или инъекцией), если для любых различных элементов
и
из множества
выполняется условие
.
Пример. Пусть — множество студентов,
— множество стульев. Соответствие «студент
сидит на стуле
» задает инъективное отображение между множествами
и
. Это очевидно, так как все студенты сидят на стульях, причем каждый на своем, но в аудитории есть и пустые стулья.
Пример. Рассмотрим отображение , где
. Это отображение инъективно, потому что разные значения
и
вещественных чисел приводят к разным значениям
и
. Например, если
и
, то
и
, и эти значения не равны. Таким образом, отображение
является инъективным.
Биективное отображение (биекция, взаимно-однозначное соответствие).
Если при отображении каждому элементу
поставлен в соответствие один элемент
, и при этом соответствии каждому элементу
соответствует единственный элемент
, то такое отображение называется биективным (взаимно-однозначным). Иными словами, каждому элементу первого множества сопоставляется единственный и уникальный элемент второго множества, и наоборот.
Математически определение биективного отображения формулируется следующим образом: пусть есть два множества и
, и отображение
; если для каждого элемента
из множества
существует единственный элемент
из множества
такой, что
, и для каждого элемента
из множества
существует единственный элемент
из множества
такой, что
, то отображение
является биекцией (взаимно-однозначным соответствием) между
и
.
Пример. Рассмотрим два множества: и
. Пусть у нас есть отображение
такое, что:
,
,
.
Это отображение устанавливает взаимно-однозначное соответствие между элементами множеств и
, так как каждому элементу из
сопоставлен уникальный элемент из
, и наоборот. Таким образом, отображение
является взаимно-однозначным соответствием.
Пример. Взаимно-однозначное соответствие «студенты и номера студенческих билетов». Пусть — множество студентов,
— множество студенческих билетов. В университете каждому студенту может быть выдан уникальный номер студенческого билета. Соответствие «студенту
принадлежит студенческий билет
» задает взаимно-однозначное отображение между множествами
и
. Это очевидно, так как все студенты имеют студенческие билеты, причем каждый только один и каждый студенческий билет принадлежит своему студенту.
1.4.1. Изобразите соответствие . Проверьте соответствие на сюръективность, инъективность и биективность. Найдите образ множества
и прообраз множества
при данном соответствии,
;
;
;
;
.
Решение.
- Изобразим соответствие с помощью диаграммы (рис. 1.4.7). Мы имеем множество
и множество
. Стрелки проводятся от каждого элемента
к соответствующему элементу
в соответствии с
: стрелка от
к
, от
к
, от
к
, и от
к
.
- Анализ свойств соответствия
.
Сюръективность. Нет, так как в присутствует 1, для которого нет пары в
.
Инъективность. Нет, поскольку элемент в
соответствует двум различным элементам в
(
и
).
Биективность. Нет, поскольку при данном виде отображения каждому элементу первого множества должен сопоставляться единственный и уникальный элемент второго множества, и наоборот. В данном случае это условие нарушается: в присутствует 1, для которого нет пары в
; элемент
в
соответствует двум различным элементам в
(
и
).
- Нахождение образа множества
и прообраза множества
. Образом
будет множество элементов
, которым соответствуют элементы
. Таким образом,
.
Прообразом будет множество элементов
, которые соответствуют элементам
. Следовательно,
.
Задания для самостоятельной работы
1.4.2. Изобразите соответствие . Проверьте соответствие на сюръективность, инъективность и биективность. Найдите образ множества
и прообраз множества
при данном соответствии,
;
;
;
;
.
1.4.3. Изобразите соответствие . Проверьте соответствие на сюръективность, инъективность и биективность. Найдите образ множества
и прообраз множества
при данном соответствии,
;
;
;
;
.
1.4.4. Изобразите соответствие . Проверьте соответствие на сюръективность, инъективность и биективность. Найдите образ множества
и прообраз множества
при данном соответствии,
;
;
;
;
.
1.6.34. Изобразите соответствие . Проверьте соответствие на сюръективность, инъективность и биективность. Найдите образ множества
и прообраз множества
при данном соответствии,
;
;
;
;
.
1.6.35. Изобразите соответствие . Проверьте соответствие на сюръективность, инъективность и биективность. Найдите образ множества
и прообраз множества
при данном соответствии,
;
;
;
;
.
1.6.36. Изобразите соответствие . Проверьте соответствие на сюръективность, инъективность и биективность. Найдите образ множества
и прообраз множества
при данном соответствии,
;
;
;
;
.