Частичная функция

Функция, фактическая область определения которой может быть меньше ее видимой области определения.

В математике частичная функция f из набора X в набор Y — это функция из подмножества S из X (возможно, всего самого X ) в Y. Подмножество S , то есть область определения f, рассматриваемая как функция, называется областью определения или естественной областью определения f . Если S равно X , то есть если f определена для каждого элемента в X , то f называется полной функцией .

С технической точки зрения, частичная функция — это бинарное отношение над двумя наборами , которое связывает каждый элемент первого набора не более чем с одним элементом второго набора; таким образом, это одновалентное отношение . Он обобщает концепцию (общей) функции , не требуя, чтобы каждый элемент первого набора был связан с элементом второго набора.

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

Когда для функций используется стрелочная нотация , частичная функция от до иногда записывается как или . Однако общего соглашения не существует, и последнее обозначение чаще используется для карт включения или вложений . ^{[ нужна цитата ]} ${\displaystyle f}$ ${\displaystyle X}$ ${\displaystyle Y}$ ${\displaystyle f:X\rightharpoonup Y,}$ ${\displaystyle f:X\nrightarrow Y,}$ ${\displaystyle f:X\hookrightarrow Y.}$

В частности, для частичной функции и любой из них: ${\displaystyle f:X\rightharpoonup Y,}$ ${\displaystyle x\in X,}$

• ${\displaystyle f(x)=y\in Y}$(это один элемент в Y ), или
• ${\displaystyle f(x)}$является неопределенным.

Например, если функция извлечения квадратного корня ограничена целыми числами ${\displaystyle f}$

${\displaystyle f:\mathbb {Z} \to \mathbb {N} ,}$определяется:

${\displaystyle f(n)=m}$если и только если, ${\displaystyle m^{2}=n,}$ ${\displaystyle m\in \mathbb {N} ,n\in \mathbb {Z} ,}$

то определяется только в том случае, если является полным квадратом (т. е. ). Итак, но не определено. ${\displaystyle f(n)}$ ${\displaystyle n}$ ${\displaystyle 0,1,4,9,16,\ldots }$ ${\displaystyle f(25)=5}$ ${\displaystyle f(26)}$

Базовые концепты

Частичная функция возникает в результате рассмотрения отображений между двумя множествами X и Y , которые не могут быть определены на всем множестве X. Типичным примером является операция извлечения квадратного корня из действительных чисел : поскольку отрицательные действительные числа не имеют действительных квадратных корней, операцию можно рассматривать как частичную функцию от до . Областью определения частичной функции является подмножество S из X на для которой определена частичная функция; в этом случае частичную функцию также можно рассматривать как функцию от S до Y. В примере операции извлечения квадратного корня набор S состоит из неотрицательных действительных чисел. ${\displaystyle \mathbb {R} }$ ${\displaystyle \mathbb {R} }$ ${\displaystyle \mathbb {R} .}$ ${\displaystyle [0,+\infty ).}$

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

В случае, если область определения S равна всему множеству X , частичная функция называется полной . Таким образом, полные частичные функции от X до Y совпадают с функциями от X до Y .

Многие свойства функций могут быть расширены в соответствующем смысле до частичных функций. Частичная функция называется инъективной , сюръективной или биективной, если функция, заданная ограничением частичной функции на область ее определения, является инъективной, сюръективной и биективной соответственно.

Поскольку функция тривиально сюръективна, если она ограничена своим образом, термин « частичная биекция» обозначает частичную функцию, которая является инъективной. ^[1]

Инъективную частичную функцию можно инвертировать в инъективную частичную функцию, а частичная функция, которая является одновременно инъективной и сюръективной, имеет инъективную функцию как обратную. Более того, инъективную функцию можно обратить в биективную частичную функцию.

Понятие преобразования можно обобщить и на частичные функции. Частичное преобразование — это функция , в которой оба и являются подмножествами некоторого множества ^[1] ${\displaystyle f:A\rightharpoonup B,}$ ${\displaystyle A}$ ${\displaystyle B}$ ${\displaystyle X.}$

Функциональные пространства

Для удобства обозначим множество всех частичных функций от множества к множеству как Этот набор представляет собой объединение множеств функций, определенных на подмножествах с той же кодовой областью : ${\displaystyle f:X\rightharpoonup Y}$ ${\displaystyle X}$ ${\displaystyle Y}$ ${\displaystyle [X\rightharpoonup Y].}$ ${\displaystyle X}$ ${\displaystyle Y}$

${\displaystyle [X\rightharpoonup Y]=\bigcup _{D\subseteq X}[D\to Y],}$

последний также записывается как В конечном случае его мощность равна ${\textstyle \bigcup _{D\subseteq {X}}Y^{D}.}$

${\displaystyle |[X\rightharpoonup Y]|=(|Y|+1)^{|X|},}$

потому что любая частичная функция может быть расширена до функции с помощью любого фиксированного значения, не содержащегося в , так что кодомен является инъективной операцией (уникальной и обратимой по ограничению). ${\displaystyle c}$ ${\displaystyle Y,}$ ${\displaystyle Y\cup \{c\},}$

Обсуждение и примеры

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

Натуральный логарифм

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

Вычитание натуральных чисел

Вычитание натуральных чисел (в которых есть неотрицательные целые числа ) является частичной функцией: ${\displaystyle \mathbb {N} }$

${\displaystyle f:\mathbb {N} \times \mathbb {N} \rightharpoonup \mathbb {N} }$

${\displaystyle f(x,y)=x-y.}$

Оно определяется только тогда, когда ${\displaystyle x\geq y.}$

Нижний элемент

В денотационной семантике частичная функция рассматривается как возвращающая нижний элемент , когда он не определен.

В информатике частичная функция соответствует подпрограмме, которая вызывает исключение или бесконечно зацикливается. Стандарт IEEE с плавающей запятой определяет значение , не являющееся числом, которое возвращается, когда операция с плавающей запятой не определена и исключения подавляются, например, когда запрашивается квадратный корень из отрицательного числа.

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

В теории категорий

В теории категорий при рассмотрении операции композиции морфизмов в конкретных категориях операция композиции является функцией тогда и только тогда, когда имеет один элемент. Причина этого в том, что два морфизма и могут быть составлены только так , как если бы кодомен должен равняться домену ${\displaystyle \circ \;:\;\hom(C)\times \hom(C)\to \hom(C)}$ ${\displaystyle \operatorname {ob} (C)}$ ${\displaystyle f:X\to Y}$ ${\displaystyle g:U\to V}$ ${\displaystyle g\circ f}$ ${\displaystyle Y=U,}$ ${\displaystyle f}$ ${\displaystyle g.}$

Категория множеств и частичных функций эквивалентна , но не изоморфна категории точечных множеств и отображений, сохраняющих точку. ^[2] В одном учебнике отмечается, что «Это формальное завершение множеств и частичных отображений путем добавления «несобственных», «бесконечных» элементов изобреталось заново много раз, в частности, в топологии ( одноточечная компактификация ) и в теоретической информатике ». ^[3]

Категория множеств и частичных биекций эквивалентна двойственной ей категории . ^[4] Это прототип обратной категории . ^[5]

В абстрактной алгебре

Частичная алгебра обобщает понятие универсальной алгебры на частичные операции . Примером может служить поле , в котором мультипликативная инверсия является единственной правильной частичной операцией (поскольку деление на ноль не определено). ^[6]

Набор всех частичных функций (частичных преобразований ) на данном базовом наборе образует регулярную полугруппу , называемую полугруппой всех частичных преобразований (или полугруппой частичных преобразований на ) , обычно обозначаемую ^{[7] [8] [9]} всех частичных биекций на образует симметричную обратную полугруппу . ^{[7] [8]} ${\displaystyle X,}$ ${\displaystyle X}$ ${\displaystyle {\mathcal {PT}}_{X}.}$ ${\displaystyle X}$

Диаграммы и атласы многообразий и пучков волокон

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

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

Смотрите также

• Аналитическое продолжение  - Расширение области определения аналитической функции (математика)
• Многозначная функция  – Обобщенная математическая функция.
• Плотно определенный оператор  - функция, которая определена почти везде (математика).

Рекомендации

1. Кристофер Холлингс (2014). Математика за железным занавесом: история алгебраической теории полугрупп. Американское математическое общество. п. 251. ИСБН 978-1-4704-1493-1.
2. Лутц Шредер (2001). «Категории: бесплатная экскурсия». В Юргене Козловски и Остине Мелтоне (ред.). Категориальные перспективы . Springer Science & Business Media. п. 10. ISBN 978-0-8176-4186-3.
3. Нил Коблиц; Б. Зильбер; Ю. И. Манин (2009). Курс математической логики для математиков . Springer Science & Business Media. п. 290. ИСБН 978-1-4419-0615-1.
4. Фрэнсис Борсо (1994). Справочник по категориальной алгебре: Том 2, Категории и структуры. Издательство Кембриджского университета. п. 289. ИСБН 978-0-521-44179-7.
5. Марко Грандис (2012). Гомологическая алгебра: взаимодействие гомологии с дистрибутивными решетками и ортодоксальными полугруппами. Всемирная научная. п. 55. ИСБН 978-981-4407-06-9.
6. Питер Бурмейстер (1993). «Частичные алгебры – вводный обзор». В Иво Г. Розенберге; Герт Сабидусси (ред.). Алгебры и порядки . Springer Science & Business Media. ISBN 978-0-7923-2143-9.
7. Альфред Хоблицелле Клиффорд; ГБ Престон (1967). Алгебраическая теория полугрупп. Том II. Американское математическое соц. п. xii. ISBN 978-0-8218-0272-4.
8. Питер М. Хиггинс (1992). Методы теории полугрупп . Издательство Оксфордского университета, Инкорпорейтед. п. 4. ISBN 978-0-19-853577-5.
9. Александр Ганюшкин; Владимир Мазорчук (2008). Классические полугруппы конечного преобразования: введение . Springer Science & Business Media. стр. 16 и 24. ISBN. 978-1-84800-281-4.

• Мартин Дэвис (1958), Вычислимость и неразрешимость , McGraw – Hill Book Company, Inc, Нью-Йорк. Переиздано Дувром в 1982 году . ISBN 0-486-61471-9 . 
• Стивен Клини (1952), «Введение в метаматематику» , издательство North-Holland Publishing Company, Амстердам, Нидерланды, 10-е издание с исправлениями, добавленными в 7-е издание (1974). ISBN 0-7204-2103-9 . 
• Гарольд С. Стоун (1972), Введение в компьютерную организацию и структуры данных , McGraw – Hill Book Company, Нью-Йорк.