Пусть областью определения функции нескольких
переменных
служит некоторая область
.
Графиком функции
называется подмножество
-мерного пространства
с координатами
, заданное уравнением
, то есть множество
(последняя координата
точки
, принадлежащей графику
, равна значению функции в точке
).
Рис.7.7.
Изобразить график функции
переменных на чертеже можно лишь в случае
(мы не можем изобразить на бумаге пространство большей размерности) и, следовательно,
лишь при
(что соответствует функциям одной вешественной переменной) или при
, то есть для функции двух переменных. В последнем случае, при
, график
обычно изображают в виде некоторой поверхности, расположенной над (или под) областью
определения
, а область определения располагают в горизонтальной плоскости чертежа --
плоскости
. Вертикальная координатная ось тогда соответствует оси значений функции,
. Точки
, лежащие на графике, имеют тогда три координаты:
, причём
.
Введём ещё несколько понятий, относящихся к множествам точек
в
.
Пусть
-- отрезок
на вещественной оси
, переменная на которой обозначается буквой
. Рассмотрим
функций
, заданных на отрезке
. Каждому
соответствует тогда точка
пространства
. Получаем отображение
сопоставляющее каждому
соответствующую точку
. Это отображение
называется вектор-функцией, заданной на отрезке
.
Пусть теперь все функции
, задающие вектор-функцию
, непрерывны на отрезке
. Тогда и вектор-функцию
будем называть непрерывной. Для такой непрерывной вектор-функции,
при изменении
на отрезке
точка
непрерывно перемещается из положения
в положение
.
Определение
7.5 В описанной
выше ситуации будем называть отображение
заданное формулой
, непрерывным путём, или просто путём,
соединяющим точку
с точкой
пространства
.
Рис.7.4.
Множество всех точек
будем называть непрерывной линией в
, соединяющей точки
и
, а ту вектор-функцию
, которая порождает линию
-- параметризацией этой линии.
Заметим,
что одна и та же линия
может иметь разные параметризации. Например, на плоскости
с координатами
отрезок
оси
можно параметризовать, положив либо
, либо
(разумеется, формулы
, при любом
задают ещё бесконечное множество различных параметризации той же линии
).
Определение
7.6 Множество
называется связным, если любые две точки
и
этого множества
можно соединить непрерывной линией
, целиком лежащей в множестве
, то есть если существует путь
, начинающийся в
и заканчивающийся в
, такой что
при всех
.