В математике областью определения функции является набор входных данных, принимаемых функцией . Иногда его обозначают или , где f — функция. С точки зрения непрофессионала, область определения функции обычно можно рассматривать как «каким может быть x». [1]
Точнее, для данной функции областью определения f является X. На современном математическом языке область определения является частью определения функции, а не ее свойством.
В особом случае, когда X и Y являются наборами действительных чисел , функцию f можно изобразить в виде графика в декартовой системе координат . В этом случае область определения представляется на оси x графика как проекция графика функции на ось x .
Для функции набор Y называется кодоменом , а набор значений, достигаемых функцией (который является подмножеством Y ), называется ее диапазоном или изображением .
Любая функция может быть ограничена подмножеством своей области определения. Ограничение на , где , записывается как .
Естественный домен
Если действительная функция f задана формулой, она может быть не определена для некоторых значений переменной. В этом случае это частичная функция , а набор действительных чисел, на которых формула может быть вычислена до действительного числа, называется натуральной областью или областью определения f . Во многих контекстах частичная функция называется просто функцией , а ее естественная область определения называется просто ее областью определения .
Примеры
Функция, определенная как, не может быть оценена как 0. Следовательно, естественная область определения — это набор действительных чисел, исключая 0, которые можно обозначить или .
Кусочная функция , определенная, имеет в качестве естественной области определения множество действительных чисел.
Функция квадратного корня имеет в качестве естественной области определения набор неотрицательных действительных чисел, которые можно обозначить , интервалом или .
Обозначенная функция тангенса имеет в качестве естественной области определения набор всех действительных чисел, которые не имеют формы некоторого целого числа , которое можно записать как .
Иногда такая область определения используется как область определения функции, хотя функции могут быть определены на более общих множествах. Эти две концепции иногда объединяются, как, например, при изучении уравнений в частных производных : в этом случае область представляет собой открытое связное подмножество того, где ставится проблема, что делает ее одновременно областью анализа и областью анализа. искомая неизвестная функция(и).
Установите теоретические понятия
Например, в теории множеств иногда удобно разрешить областью определения функции быть собственный класс X , и в этом случае формально не существует такой вещи, как тройка ( X , Y , G ) . При таком определении функции не имеют области определения, хотя некоторые авторы до сих пор неформально используют ее после введения функции в виде f : X → Y. [2]
^ «Домен, диапазон, обратные функции» . Легкое образование Sevens . Проверено 13 апреля 2023 г.
^ Экклс 1997, с. 91 (цитата 1, цитата 2); Мак Лейн 1998, с. 8; Мак Лейн, Scott & Jech 1971, стр. 232; Шарма 2010, с. 91; Стюарт и Талл 1977, с. 89
Рекомендации
Бурбаки, Николя (1970). Теория ансамблей . Элементы математики. Спрингер. ISBN 9783540340348.
Экклс, Питер Дж. (11 декабря 1997 г.). Введение в математические рассуждения: числа, множества и функции. Издательство Кембриджского университета. ISBN 978-0-521-59718-0.
Мак Лейн, Сондерс (25 сентября 1998 г.). Категории для работающего математика. Springer Science & Business Media. ISBN 978-0-387-98403-2.
Скотт, Дана С.; Джех, Томас Дж. (31 декабря 1971 г.). Аксиоматическая теория множеств, часть 1. Американская математическая соц. ISBN 978-0-8218-0245-8.
Шарма, АК (2010). Введение в теорию множеств. Издательство Дискавери. ISBN 978-81-7141-877-0.
Стюарт, Ян; Высокий, Дэвид (1977). Основы математики. Издательство Оксфордского университета. ISBN 978-0-19-853165-4.