Взаимно однозначное соответствие

Определения и обозначения

Соответствие между двумя множествами — это связь их элементов по заданному правилу. Например, правило может связывать дни недели с их порядковыми номерами. Оно помогает понять, какие элементы нужно поставить в пару.

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

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

Элементы, связанные взаимно однозначным соответствием, можно объединить в пары: в каждой паре находится по одному элементу из каждого множества. Каждый элемент должен попасть ровно в одну пару. Так проще заметить пропуски и повторения.

Как это устроено

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

Обычное соответствие не обязательно образует полные пары. Например, правилу «ученику соответствует предмет, который он любит» может подойти несколько предметов для одного ученика, а у какого-то предмета не окажется ни одного любителя. Значит, сама связь по правилу ещё не гарантирует взаимно однозначного соответствия.

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

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

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

Как распознать взаимно однозначное соответствие

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

Разбор задач

Дни недели и номера

Даны дни недели и номера от 1 до 7. Нужно установить связь каждого дня с его номером и проверить, взаимно ли однозначно соответствие. Проверим, что правило работает для всех дней и что номера тоже не повторяются.

1. Составим пары: понедельник — 1, вторник — 2, среда — 3, четверг — 4, пятница — 5, суббота — 6, воскресенье — 7.
2. У каждого дня ровно один номер, потому что по правилу у дня недели только одно место в порядке.
3. Каждый номер от 1 до 7 использован ровно один раз, значит, у каждого номера тоже есть один партнёр.

Ответ: соответствие взаимно однозначное. Все дни и все номера образовали пары без пропусков и повторов.

Ученики и стулья

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

1. У неотмеченного ученика нет стрелки, поэтому у него нет партнёра. Первое условие уже нарушено.
2. К одному стулу ведут две стрелки, значит, с ним связаны два ученика. У этого стула больше одного партнёра, поэтому нарушено и второе условие.
3. Для взаимно однозначного соответствия у каждого ученика должна быть одна стрелка, а к каждому стулу должна вести одна стрелка.

Ответ: нет, это соответствие не является взаимно однозначным. Есть и пропуск, и повторное сопоставление.

Числовые множества

Даны множества {2, 4, 6, 8} и {1, 2, 3, 4}. Сначала сопоставим элементы по порядку, а затем изменим правило так, чтобы 6 соответствовало 2. Нужно выяснить, останутся ли пары взаимно однозначными.

1. По первому правилу получаем пары: 2 — 1, 4 — 2, 6 — 3, 8 — 4.
2. Каждый элемент каждого множества встретился один раз, поэтому первое соответствие взаимно однозначное.
3. При изменении правила пара 6 — 2 заменяет пару 6 — 3. Теперь 2 во втором множестве используется дважды: с числами 4 и 6, а 3 остаётся без пары.

Ответ: первоначальное соответствие взаимно однозначное, а после изменения правила — нет. Равное количество элементов не спасает пары, если есть повтор и пропуск.

Типичные ошибки

Ошибка — проверить только элементы первого множества. У каждого из них действительно может быть партнёр, но некоторые элементы второго множества при этом останутся без пары. Проверь себя: пройди по обоим множествам и убедись, что каждый элемент связан ровно один раз.

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

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

Равное количество элементов тоже не доказывает, что конкретные пары составлены верно. Из-за одинакового числа объектов можно не заметить повтор или пропуск, если не проверить связи. Пересчитай элементы и отдельно проверь каждую пару: равенство количества — полезная подсказка, но не замена проверке.

Связь с другими темами

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

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

Что запомнить

• Взаимно однозначное соответствие связывает два множества попарно.
• Каждый элемент первого множества имеет ровно одного партнёра.
• Каждый элемент второго множества тоже имеет ровно одного партнёра.
• В соответствующих парах нельзя пропускать элементы или использовать их повторно.
• Для конечных множеств взаимно однозначное соответствие означает равенство числа элементов.
• Равное число элементов ещё не доказывает, что конкретное соответствие взаимно однозначно.