Сюръективная функция
Функция |
---|
Икс ↦ ж ( Икс ) |
История концепции функции |
Примеры доменов и кодоменов |
Классы/свойства |
Конструкции |
Обобщения |
В математике ( сюръективная функция также известная как сюръекция или на функцию / ˈ ɒ n . t uː / ) — это функция f такая, что для каждого элемента y функции кодомена существует хотя бы один элемент x в функции область такая, что f ( x ) = y . Другими словами, для функции f : X → Y кодобласть Y является образом области определения функции X . [1] [2] Не требуется, чтобы x был уникальным ; функция f может отображать один или несколько элементов X и тот же элемент Y. в один
Термин «сюръективный» и связанные с ним термины «инъективный» и «биективный» были введены Николя Бурбаки . [3] [4] группа в основном французских 20-го века математиков , которые под этим псевдонимом написали серию книг, представляющих изложение современной высшей математики, начиная с 1935 года. Французское слово sur означает сверх « » и связано с тем фактом, образ что область определения сюръективной функции полностью покрывает кодобласть функции.
Любая функция вызывает сюръекцию, ограничивая свою кодомен образом своей области. Каждая сюръективная функция имеет правую обратную, если принять аксиому выбора , и каждая функция с правой обратной обязательно является сюръекцией. Композиция . сюръективных функций всегда сюръективна Любую функцию можно разложить на сюръекцию и инъекцию.
Определение [ править ]
Сюръективная функция — это функция которой , образ равен ее кодомену . Эквивалентно, функция с доменом и кодомен сюръективно, если для каждого в существует хотя бы один в с . [1] Сюръекции иногда обозначаются двунаправленной стрелкой вправо ( U+ 21A0 ↠ ДВУГОЛОВОЧНАЯ СТРЕЛКА ВПРАВО ), [5] как в .
Символически,
- Если , затем называется сюръективным, если
Примеры [ править ]
- Для любого множества X id тождественная функция X на X сюръективна .
- Функция f : Z → {0, 1}, определяемая формулой f ( n ) = n mod 2 (т. е. четные целые числа отображаются в 0, а нечетные целые числа в 1), является сюръективной.
- Функция f : R → R , определенная формулой f ( x ) = 2 x + 1, является сюръективной (и даже биективной ), поскольку для каждого действительного числа y у нас есть x такой, что f ( x ) = y : такой подходящий x есть ( у - 1)/2.
- Функция f : R → R, определенная формулой f ( x ) = x 3 − 3 x сюръективно, поскольку прообраз любого действительного числа y является множеством решений кубического полиномиального уравнения x 3 − 3 x − y = 0, и каждый кубический многочлен с вещественными коэффициентами имеет хотя бы один вещественный корень. Однако эта функция не является инъективной (и, следовательно, не биективной ), поскольку, например, прообразом y = 2 является { x = −1, x = 2}. (Фактически, прообраз этой функции для каждого y , −2 ≤ y ≤ 2 имеет более одного элемента.)
- Функция g : R → R , определенная формулой g ( x ) = x 2 является не сюръективным, поскольку не существует вещественного числа x такого, что x 2 = −1 . Однако функция g : R → R ≥0 , определенная формулой g ( x ) = x 2 (с ограниченной кодообластью) является сюръективным, поскольку для каждого y в неотрицательной вещественной кодомене Y существует хотя бы один x в вещественной области X такой, что x 2 = и .
- Функция натурального логарифма . ln : (0, +∞) → R является сюръективной и даже биективной (отображение множества положительных действительных чисел во множество всех действительных чисел) Ее обратная экспоненциальная функция , если она определена с набором действительных чисел в качестве домена и кодомена, не является сюръективной (поскольку ее диапазон представляет собой набор положительных действительных чисел).
- Матричная экспонента не является сюръективной, если рассматривать ее как отображение пространства всех n × n матриц размера в себя. Однако его обычно определяют как отображение пространства всех матриц размера n × n в общую линейную группу степени n (то есть группу всех размера n × n обратимых матриц ). Согласно этому определению, матричная экспонента сюръективна для комплексных матриц, но все же не сюръективна для вещественных матриц.
- Проекция на один из его декартова произведения A × B факторов сюръективна, если только другой фактор не пуст.
- В 3D-видеоигре векторы проецируются на плоский 2D-экран с помощью сюръективной функции.
Свойства [ править ]
Функция биективна тогда и только тогда, когда она одновременно сюръективна и инъективна .
Если (как это часто делается) функция отождествляется со своим графиком , то сюръективность является не свойством самой функции, а скорее свойством отображения . [7] Это функция вместе с ее кодоменом. В отличие от инъективности, сюръективность нельзя считать только по графику функции.
Сюръекции как обратимые вправо функции [ править ]
Функция g : Y → X называется правой обратной функцией f : X → Y , если f ( g ( y )) = y для каждого y из Y ( g может быть отменено с помощью f ). Другими словами, g является правой обратной функцией f, композиция f o g g и g f в этом порядке является функцией в области Y если тождественной . Функция g не обязательно должна быть полной обратной функцией f , поскольку композиция в другом порядке, g f , может не быть тождественной функцией в области X функции f . Другими словами, f может отменить или « перевернуть » g , но не обязательно может быть отменено с его помощью.
Любая функция, имеющая правую обратную, обязательно является сюръекцией. Утверждение о том, что каждая сюръективная функция имеет правую обратную, эквивалентно аксиоме выбора .
Если f : X → Y сюръективно и является подмножеством Y , B то f ( f −1 ( Б )) знак равно Б . Таким образом, B можно восстановить по его прообразу f −1 ( Б ) .
Например, на первой иллюстрации в галерее есть некоторая функция g такая, что g ( C Также существует некоторая функция f такая, что f (4) = C. )=4 . Не имеет значения, что g не уникален (это также будет работать, если g ( C ) равно 3); имеет значение только то, что f «переворачивает» g .
как эпиморфизмы Сюръекции
Функция f : X → Y сюръективна тогда и только тогда, когда она правосократима : [8] для любых функций g , h : Y → Z , если g o f = h o f , то g = h . Это свойство формулируется в терминах функций и их композиции может быть обобщено на более общее понятие морфизмов категории и и их композиции. Правосократительные морфизмы называются эпиморфизмами . В частности, сюръективные функции — это в точности эпиморфизмы в категории множеств . Префикс эпи происходит от греческого предлога ἐπί, означающего «над » , «над» , «на» .
Любой морфизм с правым обратным является эпиморфизмом, но обратное, вообще говоря, неверно. Правый g морфизма f называется сечением f . обратный Морфизм с правым обратным называется расщепляемым эпиморфизмом .
как бинарные Сюръекции отношения
Любую функцию с доменом X и кодоменом Y можно рассматривать как полное слева и уникальное справа бинарное отношение между X и Y , отождествив его с графиком функции . Сюръективная функция с областью определения X и кодоменом Y тогда представляет собой бинарное отношение между X и Y , уникальное справа и полное как слева, так и справа .
Мощность области сюръекции [ править ]
Мощность — сюръективная области определения сюръективной функции больше или равна мощности ее кодомена: Если f : X → Y функция, то X имеет по крайней мере столько же элементов, сколько Y , в смысле кардинальных чисел . (Доказательство апеллирует к аксиоме выбора, чтобы показать, что функция g : Y → X, удовлетворяющее условиям f ( g ( y )) = y для всех y в Y, существует. g Легко видеть, что инъективен, поэтому формальное определение | Ю | ≤ | Х | доволен.)
В частности, если и X, и Y конечны с одинаковым количеством элементов, то f : X → Y сюръективен тогда и только тогда, f инъективен когда .
Для двух наборов X и Y обозначение X ≤ * Y используется, чтобы сказать, что либо пуст , либо существует сюръекция из Y на X. X Используя аксиому выбора, можно показать, что X ≤ * Y и Y ≤ * X вместе подразумевают, что | Ю | = | X |, вариант теоремы Шрёдера–Бернштейна .
Состав и разложение [ править ]
Композиция оба сюръективны , сюръективных функций всегда сюръективна: если f и g а кодобласть g равна области определения f , то f o g сюръективен. И наоборот, если f o g сюръективна, то f сюръективна (но g , функция, применяемая первой, не обязательно). Эти свойства обобщаются от сюръекций в категории множеств на любые эпиморфизмы в любой категории .
Любую функцию можно разложить на сюръекцию и инъекцию : для любой функции h : X → Z существуют сюръекция f : X → Y и инъекция g : Y → Z такие, что h = g o f . Чтобы убедиться в этом, определим Y как набор прообразов h −1 ( z ) где z находится в час ( X ) . Эти прообразы не пересекаются и разбивают X . Затем f переносит каждый элемент x элемент Y в содержащий его , а g переносит каждый элемент Y в точку Z, в которую h отправляет свои точки. Тогда f сюръективно, поскольку это отображение проекции, а g инъективен по определению.
Индуцированная сюръекция индуцированная и биекция
Любая функция вызывает сюръекцию, ограничивая свою кодомен своим диапазоном. Любая сюръективная функция порождает биекцию, определенную на факторе ее области определения, путем свертывания всех аргументов, отображаемых на данное фиксированное изображение. Точнее, каждую сюръекцию f : A → B можно факторизовать как проекцию, за которой следует биекция следующим образом. Пусть A /~ — эквивалентности A классы при следующем отношении эквивалентности : x ~ y тогда и только тогда, когда f ( x ) = f ( y ). Эквивалентно, A /~ — это множество всех прообразов при отображении f . Пусть P (~) : A → A /~ — отображение проекции , которое переводит каждый x в A в его класс эквивалентности [ x ] ~ , и пусть f P : A /~ → B — четко определенная функция, заданная f P ([ Икс ] ~ ) знак равно ж ( Икс ). Тогда f = f P o P (~).
Набор сюръекций [ править ]
Учитывая фиксированные A и B можно сформировать набор сюръекций A ↠ B. , Мощность и этого набора является одним из двенадцати аспектов Двенадцатеричного пути Роты определяется выражением , где обозначает число Стирлинга второго рода .
Галерея [ править ]
- Сюръективная композиция: первая функция не обязательно должна быть сюръективной.
- Несюръективные функции в декартовой плоскости. Хотя некоторые части функции являются сюръективными, когда элементы y в Y имеют значение x в X такое, что y = f ( x ), некоторые части таковыми не являются. Слева: существует y 0 в Y , но не существует x 0 в X такого, что y 0 = f ( x 0 ). Справа: есть y 1 , y 2 и y 3 в Y не существует таких x 1 , x 2 и x 3 , но в X , что y 1 = f ( x 1 ), y 2 = f ( x 2 ), и y 3 знак равно ж ( Икс 3 ).
- Интерпретация сюръективных функций в декартовой плоскости, определяемых отображением f : X → Y , где y = f ( x ), X = область определения функции, Y = диапазон функции. Каждый элемент диапазона сопоставляется с элементом домена по правилу f . Может существовать несколько элементов домена, которые сопоставляются с одним и тем же элементом диапазона. То есть каждый y в Y отображается из элемента x в X , более одного x может отображаться в один и тот же y . Слева: показан только один домен, что делает f сюръективным. Справа: два возможных домена X 1 и X 2 . показаны
См. также [ править ]
- Биекция, инъекция и сюръекция
- Обложка (алгебра)
- Карта покрытия
- Перечисление
- Пучок волокон
- Набор индексов
- Раздел (теория категорий)
Ссылки [ править ]
- ↑ Перейти обратно: Перейти обратно: а б «Инъективное, сюръективное и биективное» . www.mathsisfun.com . Проверено 7 декабря 2019 г.
- ↑ Перейти обратно: Перейти обратно: а б «Биекция, инъекция и сюръекция | Блестящая математическая и научная вики» . блестящий.орг . Проверено 7 декабря 2019 г.
- ^ Миллер, Джефф, «Инъекция, сюръекция и биекция», «Ранние варианты использования некоторых математических слов» , «Трипод» .
- ^ Машаал, Морис (2006). Бурбаки . Американское математическое соц. п. 106. ИСБН 978-0-8218-3967-6 .
- ^ «Стрелки – Юникод» (PDF) . Проверено 11 мая 2013 г.
- ^ Фарлоу, С. Дж. «Инъекции, сюръекции и биекции» (PDF) . math.umaine.edu . Проверено 6 декабря 2019 г.
- ^ ТМ Апостол (1981). Математический анализ . Аддисон-Уэсли. п. 35.
- ^ Голдблатт, Роберт (2006) [1984]. Топои, Категориальный анализ логики (пересмотренная ред.). Дуврские публикации . ISBN 978-0-486-45026-1 . Проверено 25 ноября 2009 г.
Дальнейшее чтение [ править ]
- Бурбаки, Н. (2004) [1968]. Теория множеств . Элементы математики . Том. 1. Спрингер. дои : 10.1007/978-3-642-59309-3 . ISBN 978-3-540-22525-6 . LCCN 2004110815 .