Биекция

редактировать

Функция, которая является взаимно однозначной и на (математика)

Биективная функция, f: X → Y, где множество X равно {1, 2, 3, 4} и множество Y равно {A, B, C, D}. Например, f (1) = D.

В математике, биекция, биективная функция, взаимно однозначное соответствие, или обратимая функция, представляет собой функцию между элементами двух наборов, где каждый элемент одного набора сопряжен ровно с одним элементом другого set, и каждый элемент другого набора сопряжен ровно с одним элементом первого набора. Нет непарных элементов. С математической точки зрения, биективная функция f: X → Y - это взаимно однозначное (инъективное) и на (сюръективное) отображение множества X в множество Y. термин «взаимно однозначное соответствие» не следует путать с функцией «один к одному» (инъективная функция ; см. рисунки).

Инъективная не сюръективная функция (инъекция, а не биекция)
Инъективная сюръективная функция (биекция)
Неинъективная сюръективная функция (сюръекция, не биекция)
Неинъективная несюръективная функция (также не биекция)

Биекция из множества X в множество Y имеет обратную функцию от Y к X. Если X и Y являются конечными множествами, тогда существование биекции означает, что они имеют одинаковое количество элементов. Для бесконечных множеств картина более сложная, что приводит к концепции кардинального числа - способа различать различные размеры бесконечных множеств.

Биективная функция от набора к самому себе также называется перестановкой, а набор всех перестановок набора образует группу симметрии.

Биективные функции необходимы для многие области математики, включая определения изоморфизма, гомеоморфизма, диффеоморфизма, группы перестановок и проективного отображения.

Содержание

1 Определение
2 Примеры
- 2.1 Состав команды по бейсболу или крикету
- 2.2 Места и ученики в классе
3 Дополнительные математические примеры и некоторые не-примеры
4 Инверсии
5 Композиция
6 Мощность
7 Свойства
8 Теория категорий
9 Обобщение на частичные функции
10 Контраст с
11 См. Также
12 Примечания
13 Ссылки
14 Внешние ссылки

Определение

Чтобы пара между X и Y (где Y не должно отличаться от X) было взаимно однозначным, должны выполняться четыре свойства:

каждое элемент X должен быть спарен хотя бы с одним элементом из Y,
ни один элемент X не может быть спарен с более чем одним элементом Y,
каждый элемент Y должен быть спарен по крайней мере с одним элементом X, и
ни один элемент Y не может быть спарен более чем с одним элементом X.

Удовлетворение свойств (1) и (2) означает, что спаривание представляет собой функцию с доменом ИКС. Обычно свойства (1) и (2) записываются как один оператор: каждый элемент X сопряжен ровно с одним элементом Y. Функции, удовлетворяющие свойству (3), называются "на Y »и называются сюръекциями (или сюръективными функциями). Функции, удовлетворяющие свойству (4), называются «однозначными функциями » и называются инъекциями (или инъективными функциями). Согласно этой терминологии, биекция - это функция, которая является одновременно сюръекцией и инъекцией, или, используя другие слова, биекция - это функция, которая одновременно является «один-к-одному» и «на».

Биекция иногда обозначаются двуглавой стрелкой вправо с хвостом (U + 2916 ⤖ ДВУХГОЛОВАЯ СТРЕЛКА ВПРАВО С ХВОСТОМ), как в f: X ⤖ Y. Этот символ представляет собой комбинацию двуглавой стрелки вправо стрелка (U+ 21A0 ↠ ДВЕ СТРЕЛКА ВПРАВО), иногда используется для обозначения участков, а также стрелка вправо с зазубренным хвостом (U+ 21A3 ↣ СТРЕЛКА ВПРАВО С ХВОСТОМ), иногда используется для обозначения инъекций.

Примеры

Состав отбивающих бейсбол или крикет

Рассмотрим состав отбивающих команды бейсбол или команда по крикету (или любой список всех игроков любой спортивной команды, где каждый игрок занимает определенное место в расстановке). Набор X будет игроками в команде (размер девять в случае бейсбола), а набор Y будет позициями в порядке отбивания (1-е, 2-е, 3-е и т. Д.). игрок в какой позиции в этом порядке. Свойство (1) выполняется, поскольку каждый игрок находится где-то в списке. Свойство (2) выполняется, поскольку ни один игрок не бьет в двух (или более) позициях в порядке. Свойство (3) говорит о том, что для каждой позиции в порядке на этой позиции есть отбивающий игрок, а свойство (4) утверждает, что два или более игрока никогда не отбивают одну и ту же позицию в списке.

Сиденья и ученики в классе

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

Каждый ученик сидел на одном месте (никто не стоял),
Ни один ученик не занимал более одного места,
На каждом сиденье кто-то сидел (там были нет свободных мест), и
Ни на одном месте не было более одного ученика.

Инструктор смог сделать вывод, что было столько же мест, сколько и учеников, без необходимости подсчитывать оба набора.

Дополнительные математические примеры и некоторые не-примеры

Для любого набора X функция идентичности 1X: X → X, 1X(x) = x является биективной.
Функция f: R→ R, f (x) = 2x + 1 является биективной, поскольку для каждого y существует уникальный x = (y - 1) / 2 такой, что f (x) = y. В более общем смысле, любая линейная функция над действительными числами, f: R→ R, f (x) = ax + b (где a не равно нулю), является биекцией. Каждое действительное число y получается из действительного числа x = (y - b) / a (или в паре с ним).
Функция f: R → (−π / 2, π / 2), заданная формулой f (x) = arctan (x) биективно, так как каждое действительное число x сопряжено с ровно одним углом y в интервале (−π / 2, π / 2), так что tan (y) = x (то есть y = arctan (x)). Если бы область (−π / 2, π / 2) была увеличена, чтобы включить целое число, кратное π / 2, то эта функция больше не была бы на (сюръективной), поскольку нет действительного числа которое может быть объединено с кратным π / 2 этой функцией арктангенса.
экспоненциальная функция, g: R→ R, g (x) = e, не является биективной: для Например, в R нет x такого, что g (x) = −1, показывая, что g не на (сюръективно). Однако, если домен ограничен положительными действительными числами $R + ≡ (0, + ∞) {\ displaystyle \ scriptstyle \ mathbb {R} ^ {+} \; \ Equiv \; \ left (0, \, + \ infty \ right)}$ $\ scriptstyle \ R ^ + \; \ Equiv \; \ left (0, \, + \ infty \ right)$ , тогда g будет биективным; его обратным (см. ниже) является натуральный логарифм функция ln.
Функция h: R→ R, h (x) = x не является биективной: например, h (−1) = h (1) = 1, показывая, что h не является взаимно однозначным (инъективным). Однако, если домен ограничен $R 0 + ≡ [0, + ∞) {\ displaystyle \ scriptstyle \ mathbb {R} _ {0} ^ {+} \; \ Equiv \ ; \ left [0, \, + \ infty \ right)}$ $\ scriptstyle \ R ^ + _ 0 \; \ эквив \; \ left [0, \, + \ infty \ right)$ , тогда h будет биективным; его обратная функция - положительная функция квадратного корня.

Инверсия

Биекция f с областью определения X (обозначенная f: X → Y в функциональной записи ) также определяет обратное отношение, начиная с Y и заканчивая X (поворотом стрелок). Процесс «поворота стрелок» для произвольной функции, как правило, не дает функции, но свойства (3) и (4) биекции говорят, что это обратное отношение является функцией с областью определения Y. Более того, свойства Тогда (1) и (2) говорят, что эта обратная функция является сюръекцией и инъекцией, то есть существует обратная функция, которая также является биекцией. Функции, имеющие обратные функции, называются обратимыми. Функция обратима тогда и только тогда, когда она биекция.

В кратких математических обозначениях функция f: X → Y биективна тогда и только тогда, когда она удовлетворяет условию

для каждого y в Y существует уникальный x в X с y = f (x

Продолжая пример с расстановкой бейсбольных битов, определяемая функция принимает на входе имя одного из игроков и выводит позицию этого игрока в порядке отбивания. Поскольку эта функция является биекцией, у нее есть обратная функция, которая принимает в качестве входных данных позицию в порядке отбивания и выводит игрока, который будет отбивать эту позицию.

Композиция

композиция $g ∘ f {\ displaystyle \ scriptstyle g \, \ circ \, f}$ $\ scriptstyle g \, \ circ \, f$ двух биекций. f: X → Y и g: Y → Z - биекция, обратная которой дается выражением $g ∘ f {\ displaystyle \ scriptstyle g \, \ circ \, f}$ $\ scriptstyle g \, \ circ \, f$ is $(г ∘ е) - 1 знак равно (е - 1) ∘ (г - 1) {\ Displaystyle \ scriptstyle (г \, \ circ \, f) ^ {- 1} \; = \; (е ^ {- 1 }) \, \ circ \, (g ^ {- 1})}$ $\ scriptstyle (g \, \ circ \, f) ^ {- 1} \; = \; (е ^ {- 1}) \, \ circ \, (g ^ {- 1})$ .

Биекция, состоящая из инъекции (слева) и сюръекции (справа).

И наоборот, если композиция $g ∘ f {\ displaystyle \ scriptstyle g \, \ circ \, f}$ ${\ displaystyle \ scriptstyle g \, \ circ \, f}$ двух функций является биективным, отсюда только следует, что f инъективно, а g сюръективно.

Мощность

Если X и Y являются конечными множествами, то существует взаимное соответствие между двумя множествами X и Y тогда и только тогда, когда X и Y имеют одинаковое количество элементы. Действительно, в аксиоматической теории множеств это принято как определение «одинакового числа элементов» (равнодоступность ), и обобщение этого определения на бесконечные множества приводит к к концепции кардинального числа, способ различать различные размеры бесконечных множеств.

Свойства

Функция f: R→ Rбиективна тогда и только тогда, когда ее график встречает каждую горизонтальную и вертикальную линию ровно один раз.
Если X является набор, то биективные функции от X к себе, вместе с операцией функциональной композиции (∘), образуют группу, симметрическую группу X, которая по-разному обозначается S (X), S X или X! (X факториал ).
Биекции сохраняют мощности множеств: для подмножества A области с мощностью | A | и подмножества B области с мощностью | B | выполняются следующие равенства :
| f (A) | = | A | и | f (B) | = | B |.
Если X и Y являются конечными множествами с одинаковой мощностью, и f: X → Y, то следующее эквивалентно:
1. f - биекция.
2. f - сюръекция.
3. f - инъекция.
Для конечного множества S существует взаимно однозначное соответствие между набором возможных общих порядков элементов и набором биекций от S к S. То есть количество перестановок элементов S совпадает с количеством полных порядков этого набора, а именно n !.

Теория категорий

Биекции - это в точности изоморфизмы в category Набор из устанавливает и набор функций. Однако взаимно однозначные соответствия не всегда являются изоморфизмами для более сложных категорий. Например, в CA tegory Grp из групп, морфизмы должны быть гомоморфизмами, так как они должны сохранять структуру группы, поэтому изоморфизмы являются групповыми изоморфизмами, которые являются биективными гомоморфизмами.

Обобщение на частичные функции

Понятие взаимно-однозначного соответствия обобщается на частичные функции, где они называются частичными взаимно однозначными соответствиями, хотя частичные взаимно однозначные соответствия требуются только для быть инъективным. Причина этого ослабления состоит в том, что (правильная) частичная функция уже не определена для части своего домена; таким образом, нет веских причин ограничивать его обратную функцию полной функцией, то есть определяемой везде в своей области. Множество всех частичных биекций на данном базовом наборе называется симметричной обратной полугруппой.

. Другой способ определения того же понятия - сказать, что частичная биекция от A к B - это любое отношение R (которое оказывается равным - частичная функция) со свойством, что R является графиком биекции f: A ′ → B ′, где A ′ - подмножество A, а B ′ - подмножество из B.

Когда частичное взаимно однозначное соответствие находится на одном и том же наборе, оно иногда называется частичным преобразованием один-к-одному. Примером может служить преобразование Мёбиуса, просто определенное на комплексной плоскости, а не его завершение до расширенной комплексной плоскости.

Контраст с

Многозначной функцией

См. Также

Математический портал

Примечания

Ссылки

Это Тема - это базовое понятие теории множеств, которое можно найти в любом тексте, который включает введение в теорию множеств. Почти все тексты, которые имеют дело с введением в написание доказательств, будут включать раздел по теории множеств, поэтому эту тему можно найти в любом из них:

Wolf (1998). Доказательство, логика и гипотеза: набор инструментов математика. Фримен.
Сандстрем (2003). Математическое мышление: написание и доказательство. Прентис-Холл.
Смит; Эгген; Святой Андрей (2006). Переход к высшей математике (6-е изд.). Томсон (Брукс / Коул).
Шумахер (1996). Глава нулевая: основные понятия абстрактной математики. Эддисон-Уэсли.
О'Лири (2003). Структура доказательства: с помощью логики и теории множеств. Прентис-Холл.
Мораш. Мост к абстрактной математике. Рэндом Хаус.
Мэддокс (2002). Математическое мышление и письмо. Harcourt / Academic Press.
Lay (2001). Анализ с введением в доказательство. Прентис Холл.
Гилберт; Ванстон (2005). Введение в математическое мышление. Пирсон Прентис-Холл.
Флетчер; Пэтти. Основы высшей математики. PWS-Kent.
Иглевич; Стойл. Введение в математические рассуждения. Макмиллан.
Девлин, Кейт (2004). Множества, функции и логика: введение в абстрактную математику. Chapman Hall / CRC Press.
Д'Анджело; Запад (2000). Математическое мышление: решение проблем и доказательства. Прентис Холл.
Купиллари. Гайки и болты доказательств. Уодсворт.
Бонд. Введение в абстрактную математику. Брукс / Коул.
Барнье; Фельдман (2000). Введение в высшую математику. Прентис Холл.
Эш. Учебник по абстрактной математике. MAA.

Внешние ссылки

На Wikimedia Commons есть материалы, связанные с Bijectivity.