Если каждой совокупности значений "n" переменных
из некоторого множества D этих совокупностей соответствует своё единственное значение переменной z, то говорят, что на множестве D задана функция
"n" переменных.
Множество D, указанное в определении 1.1, называется областью определяния илиобластью существования этой функции.
дополнительно:
Если рассматривается функция двух переменных, то совокупности чисел
обозначаются, как правило, (x, y) и интерпретируются как точки координатной плоскости Oxy, а область определения функции z = f ( x, y ) двух переменных изобразится в виде некоторого множества точек на плоскости Oxy.
Так, например, областью определения функции
является множество точек плоскости Oxy, координаты которых удовлетворяют соотношению
т. е. представляет собой круг радиуса r с центром в начале координат.
Для функции
областью определения служат точки, которые удовлетворяют условию
т. е. внешние по отношению к заданному кругу.
Часто функции двух переменных задаются в неявном виде, т. е. как уравнение
связывающее три переменные величины. В этом случае каждую из величин x, y, z можно рассматривать как неявную функцию двух остальных.
Геометрическим изображением (графиком) функции двух переменных z = f ( x, y ) является множество точек P ( x, y, z) в трехмерном пространстве Oxyz, координаты которых удовлетворяют уравнению z = f ( x, y ).
Графиком функции непрерывных аргументов, как правило, является некоторая поверхность в пространстве Oxyz, которая проектируется на координатную плоскость Oxy в область определения функции z= f ( x, y ).
Так, например, (рис. 1.1) графиком функции
является верхняя половина сферы, а графиком функции
- нижняя половина сферы.
Графиком линейной функции z = ax + by + с является плоскость в пространстве Oxyz, а графиком функции z = сonst служит плоскость, параллельная координатной плоскости Oxyz.
Заметим, что функцию трех и большего числа переменных изобразить наглядно в виде графика в трехмерном пространстве невозможно.
В дальнейшем будем в основном ограничиваться рассмотрением функций двух или трех переменных, так как рассмотрение случая большего (но конечного) числа переменных производится аналогично.