Взаимно однозначные преобразования.
При рассмотрении всевозможных преобразований одного и того же множества прежде всего замечается фундаментальное различие между взаимно однозначными отображениями множества на себя и отображениями не взаимно однозначными. Преобразование А множества М называется взаимно однозначным отображением этого множества на себя, если не только каждому элементу множества М отвечает определенный единственный элемент множества М, — это содержится в определении преобразования, — но если также для каждого элемента у множества М существует один и только один элемент х, который переходит в элемент у. Иными словами, преобразование А является взаимно однозначным, если «уравнение»
для каждого у из М имеет одно и только одно «решение» х в М.
Все рассмотренные выше преобразования пространств — отражения, повороты и переносы — являются взаимно однозначными, так как при этом не только для каждой точки X существует точка, в которую X переходит, но также существует единственная точка, которая переходит в X.
Легко привести и противоположные примеры; так, преобразование множества чисел 1, 2, 3, 4, заданное таблицей
Является взаимно однозначным, так как при нем в число 4 ничто не переходит. Преобразование множества всех натуральных чисел
заданное таблицей
также не является взаимно однозначным. Хотя здесь для каждого числа
имеется число
которое в него переходит, но число
не единственное, обладающее этим свойством, поскольку
также переходит в
Вообще для преобразований, заданных таблицами, очень легко установить признак, при котором преобразования будут взаимно однозначными. Для этого, очевидно,
необходимо и достаточно, чтобы в нижней строке таблицы встречался каждый элемент множества и притом только один раз.
Иногда в математике рассматривают и не взаимно однозначные преобразования. Например, известно, какое большое значение имеет операция проектирования пространства на плоскость. Это преобразование не взаимно однозначное, так как при нем в каждую точку проектируется не одна, а целый ряд точек пространства. Но в большинстве случаев приходится иметь дело лишь с взаимно однозначными преобразованиями; эти преобразования, в частности, играют основную роль, когда рассматриваются физические процессы, при которых элементы изучаемой системы не сливаются друг с другом, не уничтожаются и не возникают.
В дальнейшем, говоря о преобразованиях, мы будем подразумевать преобразования взаимно однозначные; их часто называют также подстановками, особенно в случаях, когда речь идет о преобразованиях конечного множества.
Для каждого (взаимно однозначного) преобразования А множества М на себя легко определить обратное преобразование
Если преобразование А переводит произвольный элемент х множества М в элемент у, то преобразование, переводящее элемент у в
называется обратным преобразованию А и обозначается
Например, если
пространства вокруг оси на угол
, то
— поворот вокруг той же оси на угол
в противоположном направлении, и т. д.
Иногда может случиться, что обратное преобразование будет совпадать с данным. Таким свойством, в частности, обладают отражения относительно плоскости или точки в пространстве. Тем же свойством обладает подстановка
Так как
Заметим, что говорить об обратном преобразовании для преобразований не взаимно однозначных нельзя, так как эти преобразования в отдельные элементы могут или ничего
переводить или переводить несколько элементов.