Если множество
бесконечно, то способ перечисления значений уже не годится. В этом случае функция
может быть задана некоторой формулой, позволяющей по каждому значению аргумента
найти соответствующее ему значение
, например:
![]() | |||
Замечание 1.3 Функции, заданные одной и той же формулой, но на разных множествах, считаются различными. Так, функция
при
и функция
при
-- это две разные функции, так как функция
устанавливает соответствие между точками множества
и некоторыми точками числовой прямой, а функция
-- между точками другого множества
и точками числовой прямой. Конечно, две эти функции -- "близкие родственники", так как
при всех
.
Определение 1.6 Если дана функция, и
, то мы можем получить новую функцию, рассматривая значения функции
только на элементах
. Эта функция
определена равенством
при
. Функция
называется ограничением функции
на подмножество
её области определения
и обозначается
, то есть
.
Пример 1.12 Пусть-- числовая плоскость и функция
задана формулой
Рассмотрим на плоскостиподмножество -- прямую линию
, заданную уравнением
. Тогда мы можем рассмотреть в качестве аргументов функции
точки только прямой
. Ограничение
определено только при
, поэтому его, кроме исходной формулы
можно задать такими формулами:
| (1.1) |
(так какна прямой
), или
| (1.2) |
(так какна прямой
). Во всех точках
прямой
все три формулы дают одно и то же значение функции
. Мы видим, что формула (1.1) даёт для
те же значения, что функция одного переменного
:
, а формула (1.2) -- те же значения, что функция одного переменного
:
.
Две последние функции называются параметризациями ограничения.
Рассмотрим функцию
и такой промежуток
, на котором
имеет несколько особенностей. Будем считать, что особенности
имеются в тех точках промежутка, при приближении к которым функция имеет неинтегрируемые
разрывы11, а также в
и
, если они являются концами рассматриваемого промежутка
.
Итак, пусть
имеет особенности в
, где, возможно,
и
, а все оставшиеся
-- точки оси
. Точки
разбивают промежуток
на части -- интервалы
, где внутри интервалов функция уже не имеет особенностей, то есть интегрируема
по любому отрезку
. Если промежуток
-- это отрезок
и в точках
и
функция не имеет особенностей, то к интервалам
добавляются ещё полуинтервалы
и
с особенностями только в точках
и
. Выберем в каждом из интервалов
по точке
. Тогда на полуинтервалах