Взаимнооднозначное отображение
- Взаимнооднозначное отображение
-
Биективная функция.
Функция называется биекцией (и обозначается ), если она:
- Переводит разные элементы множества X в разные элементы множества Y (инъективность). Иными словами,
- .
- Любой элемент из Y имеет свой прообраз (сюръективность). Иными словами,
- .
Биекцию также называют взаимно однозначным отображением. Множества, для которых существует биекция, называются равномощными.
Примеры
- — функция, сохраняющая все элементы множества X, биективна на этом множестве.
- — биективные функции из в себя. Вообще, любой моном одной переменной нечетной степени является биекцией.
- f(x) = ex — биективная функция в . Но если её рассматривать как функцию в , то она уже не будет биективной (у нуля и отрицательных чисел не будет прообразов).
- f(x) = sinx не является биективной функцией, если считать её определённой на всём .
Свойства
- Функция является биективной тогда и только тогда, когда существует обратная функция такая, что
- и
- Если функции f и g биективны, то и композиция функций биективна, в этом случае . Коротко: композиция биекций является биекцией. Обратное, вообще говоря, неверно: если биективна, то мы можем утверждать лишь, что f инъективна, а g сюръективна.
Использование модели
В информатике
Организация связи «один к одному» между таблицами реляционной БД на основе первичных ключей
См. также
Литература
- Ершов Ю. Л., Палютин Е. А. Математическая логика: Учебное пособие. — 3-е, стереотип. изд. — СПб.: «Лань», 2004—336 с.
Wikimedia Foundation.
2010.
Полезное
Смотреть что такое "Взаимнооднозначное отображение" в других словарях:
Словарь терминов планиметрии — Здесь собраны определения терминов из планиметрии. Курсивом выделены ссылки на термины в этом словаре (на этой странице). # А Б В Г Д Е Ё Ж З И К Л М Н О П Р С … Википедия
Коллинеарные точки — Здесь собраны определения терминов из планиметрии. Курсивом выделены ссылки на термины в этом словаре (на этой странице). # А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф … Википедия
Конкурентные прямые — Здесь собраны определения терминов из планиметрии. Курсивом выделены ссылки на термины в этом словаре (на этой странице). # А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф … Википедия
Окружность Аполония — Здесь собраны определения терминов из планиметрии. Курсивом выделены ссылки на термины в этом словаре (на этой странице). # А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф … Википедия
Преобразование плоскости — Здесь собраны определения терминов из планиметрии. Курсивом выделены ссылки на термины в этом словаре (на этой странице). # А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф … Википедия
Чевиана — Здесь собраны определения терминов из планиметрии. Курсивом выделены ссылки на термины в этом словаре (на этой странице). # А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф … Википедия
Глоссарий планиметрии — Эта страница глоссарий. См. также основную статью: Планиметрия Здесь собраны определения терминов из планиметрии. Курсивом выделены ссылки на термины в этом словаре (на этой странице) … Википедия
СЛЕД — отображение Sр K/k поля Кв поле k(где К расширение k), являющееся гомоморфизмом аддитивных групп и ставящее в соответствие элементу след матрицы k линейного отображения , переводящего b из Кв ab. Если K/k сепарабельное расширение, то где si… … Математическая энциклопедия
ИЗОМОРФИЗМ — (от греч. isos – равный, однозначный и morphe – форма) понятие, выражающее тождественность, идентичность форм. В психологии идентичность (теоретическая) между гештальтами в переживании непосредственно созерцаемого и в процессах, совершающихся в… … Философская энциклопедия
Rabbit — Схема работы алгоритма Rabbit высокоскоростной поточный шифр впервые представленный [1] в феврале 2003 года на 10 м симпозиуме FSE. В мае 2005, он был отправлен на конку … Википедия