Основные понятия анализа функций многих переменных
Переход от функций одного переменного к функциям многих переменных (отображениям из Rⁿ в R) требует введения новых понятий, аналогичных одномерному случаю, но с учётом многомерности пространства аргументов. Основой для построения теории служит понятие предела, которое, в свою очередь, базируется на свойствах последовательностей векторов.
Последовательности в Rⁿ и их сходимость
Последовательность векторов {xₖ} в Rⁿ сходится к вектору x, если расстояние (норма разности) между xₖ и x стремится к нулю при k → ∞. Это определение полностью повторяет одномерный случай, где модуль заменяется нормой вектора.
- Сходимость по норме: xₖ → x* означает, что ||xₖ - x*|| → 0.
- Связь с координатами: Сходимость вектора эквивалентна сходимости всех его координат.
- Свойства сходящихся последовательностей: Сходящаяся последовательность обязательно имеет конечный предел и является ограниченной (существует константа, ограничивающая нормы всех её элементов).
Сходимость последовательности векторов означает, что, начиная с некоторого номера, все её элементы попадают в сколь угодно малую окрестность предельной точки.
Топология в Rⁿ: окрестности, открытые и замкнутые множества
Для работы с пределами функций необходимо определить, что такое окрестность точки в многомерном пространстве.
- Окрестность точки: Открытым шаром (окрестностью) радиуса ε с центром в точке x* называется множество всех точек x, таких что ||x - x*|| < ε.
- Внутренняя и предельная точки: Точка является внутренней для множества, если существует её окрестность, целиком лежащая в этом множестве. Точка называется предельной для множества, если в любой её проколотой окрестности есть точки из этого множества.
- Открытые и замкнутые множества: Множество называется открытым, если все его точки — внутренние. Множество называется замкнутым, если оно содержит все свои предельные точки (или если его дополнение открыто).
Эти определения позволяют дать два эквивалентных определения предела функции.
Предел функции многих переменных
Пусть функция f определена в некоторой проколотой окрестности точки x* ∈ Rⁿ. Число A называется пределом функции f(x) при x → x*, если выполняется одно из двух эквивалентных условий:
- На языке "ε-δ": Для любого ε > 0 существует δ > 0 такое, что для всех x, удовлетворяющих условию 0 < ||x - x*|| < δ, выполняется неравенство |f(x) - A| < ε.
- На языке последовательностей: Для любой последовательности {xₖ}, сходящейся к x* (где xₖ ≠ x*), соответствующая последовательность значений функции {f(xₖ)} сходится к A.
Второе определение часто удобнее для доказательства отсутствия предела: достаточно предъявить две последовательности, сходящиеся к точке x*, но дающие разные пределы значений функции.
Например, для функции f(x, y) = xy / (x² + y²) предел в точке (0,0) не существует, так как при стремлении по разным прямым (например, y = kx) получаются разные предельные значения.
Непрерывность функций многих переменных
Функция f(x) называется непрерывной в точке x, если предел функции в этой точке существует и равен значению функции в ней: lim_{x→x} f(x) = f(x*).
- Локальные свойства: Если функция непрерывна в точке и f(x*) > 0, то существует целая окрестность этой точки, где функция остаётся положительной.
- Арифметические операции: Сумма, разность, произведение и частное (где знаменатель не ноль) непрерывных функций являются непрерывными функциями.
- Композиция (суперпозиция): Композиция непрерывных функций является непрерывной функцией. Если внутренняя функция φ(x) непрерывна в точке x, а внешняя функция g(y) непрерывна в точке y = φ(x*), то сложная функция g(φ(x)) непрерывна в точке x*.
Эти свойства широко используются для исследования функций, позволяя разлагать сложные функции на комбинации простых непрерывных элементов.