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

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

Определение. Взаимно однозначным соответствием между множествами Х и У называется такое соответствие, при котором каждому элементу множества Х сопоставляется единственный элемент множества У и каждый элемент множества У соответствует только одному элементу множества Х.

Рассмотрим примеры взаимно однозначных соответствий.

Пусть Х – множество кругов, У – множество квадратов и соответствие между ними задано при помощи стрелок.

Это соответствие взаимно однозначное, так как каждому кружку из множества Х сопоставляется единственный квадрат из множества У и каждый квадрат из У соответствует только одному кружку из множества Х.

Пример

Пусть Х – множество действительных чисел, У – множество точек координатной прямой. Соответствие между ними таково: действительному числу сопоставляется точка координатной прямой. Это соответствие взаимно однозначное, так как каждому действительному числу сопоставляется единственная точка координатной прямой и каждая точка на прямой соответствует только одному числу.

В математике взаимно однозначное соответствие между множествами Х и У часто называют взаимно однозначным отображением множества Х на множество У.

Равномощные множества

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

Если множества Х и У равномощны, то пишут Х ~ У.

Нетрудно видеть, что множества рассмотренные в предыдущих примерах равномощны.

Равномощными могут быть как конечные, так и бесконечные множества Равномощные конечные множества называют еще равночисленными. В начальном обучении математике равночисленность выражается словами «столько же» и может использоваться при ознакомлении учащихся со многими понятиями. Например, чтобы ввести равенство чисел, сравнивают два множества, устанавливая между их элементами взаимно однозначное соответствие. Например, пишут, что 5 = 5, так как кружков столько же, сколько квадратов.

Понятие равночисленности множеств лежит и в основе определения отношений «больше на …» и «меньше на…». Например, чтобы утверждать, что 6 больше 4 на 2, сравнивают два множества, устанавливая взаимно однозначное соответствие между множеством Х, в котором 4 элемента, и подмножеством У₁ другого множества У, в котором 6 элементов, и делают вывод: треугольников столько же, сколько кружков, и еще 2. Другими словами, треугольников на 2 больше, чем кружков.

Х