Биекция: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
→Примеры: уточнение |
Drakosh (обсуждение | вклад) по АИ без дефиса |
||
Строка 1: | Строка 1: | ||
[[Файл:Bijection.svg|thumb|200px|Биективная функция.]] |
[[Файл:Bijection.svg|thumb|200px|Биективная функция.]] |
||
'''Биекция''' — это [[отображение]], которое является одновременно и [[Сюръекция|сюръективным]], и [[Инъекция (математика)|инъективным]]. При биективном отображении каждому элементу одного множества соответствует ровно один элемент другого множества, при этом определено обратное отображение, которое обладает тем же свойством. Поэтому биективное отображение называют ещё '''взаимно |
'''Биекция''' — это [[отображение]], которое является одновременно и [[Сюръекция|сюръективным]], и [[Инъекция (математика)|инъективным]]. При биективном отображении каждому элементу одного множества соответствует ровно один элемент другого множества, при этом определено обратное отображение, которое обладает тем же свойством. Поэтому биективное отображение называют ещё '''взаимно однозначным отображением''' (соответствием), '''одно-однозначным отображением'''. |
||
Если между двумя множествами можно установить взаимно |
Если между двумя множествами можно установить взаимно однозначное соответствие (биекцию), то такие множества называются '''[[Мощность множества|равномощными]]'''. С точки зрения [[Теория множеств|теории множеств]], равномощные множества неразличимы. |
||
Взаимно |
Взаимно однозначное отображение [[Конечное множество|конечного множества]] в себя называется [[Перестановка|перестановкой]] (или подстановкой) элементов этого множества. |
||
== Определение == |
== Определение == |
||
Строка 15: | Строка 15: | ||
#* <math>\forall y\in Y,\;\exists x\in X\;f(x)=y</math>. |
#* <math>\forall y\in Y,\;\exists x\in X\;f(x)=y</math>. |
||
<!-- Биекцию также называют '''взаимно |
<!-- Биекцию также называют '''взаимно однозначным отображением''' (взаимно однозначным соответствием <ref name="Дегтярёв">{{книга |автор=Дегтярёв Ю. И. |заглавие=Исследование операций |издание=Учеб. для вузов по спец. АСУ |место=М. |издательство=Высш. шк. |год=1986 |страниц=21}}</ref>).--> |
||
== Примеры == |
== Примеры == |
Версия от 16:46, 8 сентября 2018
Биекция — это отображение, которое является одновременно и сюръективным, и инъективным. При биективном отображении каждому элементу одного множества соответствует ровно один элемент другого множества, при этом определено обратное отображение, которое обладает тем же свойством. Поэтому биективное отображение называют ещё взаимно однозначным отображением (соответствием), одно-однозначным отображением.
Если между двумя множествами можно установить взаимно однозначное соответствие (биекцию), то такие множества называются равномощными. С точки зрения теории множеств, равномощные множества неразличимы.
Взаимно однозначное отображение конечного множества в себя называется перестановкой (или подстановкой) элементов этого множества.
Определение
Функция называется биекцией (и обозначается ), если она:
- Переводит разные элементы множества в разные элементы множества (инъективность). Иными словами,
- .
- Любой элемент из имеет свой прообраз (сюръективность). Иными словами,
- .
Примеры
- Тождественное отображение на множестве биективно.
- — биективные функции из в себя. Вообще, любой моном одной переменной нечетной степени является биекцией из в себя.
- — биективная функция из в .
- не является биективной функцией, если считать её определённой на всём .
- Строго монотонная и непрерывная функция является биекцией из отрезка на отрезок .
Свойства
- Функция является биективной тогда и только тогда, когда существует обратная функция такая, что
- и
- Если функции и биективны, то и композиция функций биективна, в этом случае . Коротко: композиция биекций является биекцией. Обратное, однако, неверно: если биективна, то мы можем утверждать лишь, что инъективна, а сюръективна.
Применения
В информатике
Организация связи «один к одному» между таблицами реляционной БД на основе первичных ключей.
Примечания
См. также
- Инъекция (математика)
- Сюръекция
- Отображение
- Гомоморфизм
- Морфизм
- Эндоморфизм
- Автоморфизм
- Мономорфизм
- Эпиморфизм
- Биморфизм
- Изоморфизм
- Синоним
- Подобие
- Аналогия
Литература
- Н. К. Верещагин, А. Шень. Часть 1. Начала теории множеств // Лекции по математической логике и теории алгоритмов. — 2-е изд., испр. — М.: МЦНМО, 2002. — 128 с.
- Ершов Ю. Л., Палютин Е. А. . Математическая логика: Учебное пособие. — 3-е, стереотип. изд. — СПб.: Лань, 2004. — 336 с.
Для улучшения этой статьи желательно:
|