Биекция (>nytenx)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a5/Bijection.svg/200px-Bijection.svg.png)
Бие́кция — отображение, которое является одновременно и сюръективным, и инъективным. При биективном отображении каждому элементу одного множества соответствует ровно один элемент другого множества, при этом определено обратное отображение, которое обладает тем же свойством. Поэтому биективное отображение называют также взаимно однозначным отображением (соответствием).
Биективное отображение, являющееся гомоморфизмом, называют изоморфным соответствием.
Если между двумя множествами можно установить взаимно однозначное соответствие (биекцию), то такие множества называются равномощными. С точки зрения алгебры равномощные множества неразличимы.
Взаимно однозначное отображение конечного множества на себя называется перестановкой (или подстановкой) элементов этого множества.
Формально, функция называется биекцией (и обозначается ), если она:
- переводит разные элементы множества в разные элементы множества (инъективность):
- .
- любой элемент из имеет свой прообраз (сюръективность):
- .
Примеры:
- Тождественное отображение на множестве биективно.
- — биективные функции из в себя; вообще, любой моном одной переменной нечетной степени является биекцией из в себя.
- — биективная функция из в .
- не является биективной функцией, если считать её определённой на всём .
- Строго монотонная и непрерывная функция является биекцией из отрезка на отрезок .
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a2/Bijective_composition.svg/300px-Bijective_composition.svg.png)
Функция является биективной тогда и только тогда, когда существует обратная функция такая, что:
- и
Если функции и биективны, то и композиция функций биективна, в этом случае , то есть, композиция биекций является биекцией. Обратное в общем случае неверно: если биективна, то можно лишь утверждать, что инъективна, а сюръективна.
Литература
[править | править код]- Н. К. Верещагин, А. Шень. Часть 1. Начала теории множеств // Лекции по математической логике и теории алгоритмов. — 2-е изд., испр. — М.: МЦНМО, 2002. — 128 с.
- Ершов Ю. Л., Палютин Е. А. Математическая логика: Учебное пособие. — 3-е изд., стереотип.. — СПб.: Лань, 2004. — 336 с.
Для улучшения этой статьи желательно:
|