
- •3. Дифференциальное исчисление функций нескольких переменных.
- •Принцип выбора Больцано-Вейштрасса. Распространение на случай пространства произвольной конечной размерности
- •Предел функции. Повторные пределы функции. Предел функции нескольких переменных
- •Определение
- •Равенство повторных пределов
- •Критерий Коши существования предела функции.
- •Непрерывность функции по совокупности переменных и по каждой переменной в отдельности.
- •Непрерывность и суперпозиция непрерывных функций.
- •2. Непрерывность сложной функции.
- •Теорема Коши о промежуточном значении функции, непрерывной на множестве.
- •Теорема Вейерштрасса о функциях, непрерывных на множествах. Теорема Вейерштрасса для непрерывных функций на компакте
- •Равномерная непрерывность функции нескольких переменных. Теорема Кантора.
- •Доказательство. Воспользуемся доказательством от противного.
- •Замечания
- •Частные производные от функции нескольких переменных.
- •Формула для полного приращения функции. Дифференцируемость функции в точке.
- •Функции нескольких переменных
- •Теорема о дифференцируемости сложной функции.
- •Связь между полным дифференциалом и полным приращением функции. Дифференциал функции
- •Связь дифференциала с частными производными
- •Инвариантность формы первого дифференциала.
- •Касательная плоскость и нормаль к поверхности.
- •Производная от скалярной функции по данному направлению.
- •Градиент скалярной функции и его аналитическое выражение. Оператор «набла».
- •Определение
- •Частные производные высших порядков. Теорема о независимости смешанной производной от порядка дифференцирования. Частные производные высших порядков
- •Основа теоремы о независимости смешанной производной от порядка дифференцирования
- •Полные дифференциалы высших порядков. Дифференциал высшего порядка функции нескольких переменных
- •Формула Тейлора для функции нескольких переменных.
- •Понятие неявной функции. Теорема о её существовании и дифференцируемости. Неявно заданная функция
- •Теорема существования и дифференцируемости функции, заданной неявно
- •Вычисление частных производных функция, заданных неявно.
- •Необходимые условия локального экстремума функции нескольких переменных. Локальный экстремум функций нескольких переменных. Необходимые условия безусловного локального экстремума.
- •Необходимые условия экстремума функции многих переменных.
- •Достаточные условия локального экстремума. Достаточные условия экстремума функции двух переменных
- •Исследование квадратичной формы для функции двух переменных. Метод вычисления критериев Сильвестера.
- •Понятие условного экстремума. Сведение условного экстремума к безусловному.
- •Метод неопределённых множителей Лагранжа.
- •Описание метода
- •Обоснование
- •Двумерный случай
Непрерывность функции по совокупности переменных и по каждой переменной в отдельности.
Определение 6. Функцияf (х, у)
называется непрерывной в точке M0(x0,y0),
если она определена в точке и некоторой
её окрестности иили
.
Введём обозначения:
,
,
,
.
Определение 7. Функция
f(x,y) непрерывна в точке (x0,y0),
еслиили
.
Иначе говоря, функция z = f (х, у) непрерывна в точке M0(x0,y0), если бесконечно малым приращениям аргументов соответствует бесконечно малое приращение функции.
Определение 8. Функция непрерывна в области D , если она непрерывна в каждой точке этой области. Точки, в которых условия непрерывности нарушены, называются точками разрыва(это точки, где функция не определена).
Определение 9. Точка M0называется точкой разрыва функции u= f(M), если функция u= f(M) определена вблизи точки M0(то есть её окрестности), но не определена в самой точке M0. Линия, все точки которой являются точками разрыва функции u= f(M) , называется линией разрыва этой функции.
Непрерывность и суперпозиция непрерывных функций.
1. Алгебраическая сумма и произведение конечного числа непрерывных в данной точке функций есть непрерывная функция в этой точке. Частное двух непрерывных функций в точке, при условии, что знаменатель отличен от нуля в этой точке, также есть непрерывная функция в этой точке.
2. Непрерывность сложной функции.
Пусть
и
непрерывны
в некоторой точке
и
пустьнепрерывна в точке
пространства
,
соответствующей точкеP0,
тогда такая функция v будет непрерывна
в точкеP0.
3. Если
z=f(x,y)=f(M) непрерывна в замкнутой
области,
то функция z :
1) ограничена в
области
;
2) принимает в
свои
наименьшее и наибольшее значения;
3) если в двух точках А и В области D функция принимает неравные значения, то она принимает и всякое промежуточное между ними значение по крайней мере в одной точке любой кривой, соединяющей точки А и В и целиком лежащей в области D . В частности, если f(A) и f(B) – числа противоположных знаков, то функция f(M) обращается в нуль по крайней мере в одной точке любой упомянутой кривой;
Теорема Коши о промежуточном значении функции, непрерывной на множестве.
Если непрерывная функция принимает два значения, то она принимает и любое значение между ними.
Теорема Вейерштрасса о функциях, непрерывных на множествах. Теорема Вейерштрасса для непрерывных функций на компакте
Пусть
дано топологическое пространство
и
компактное подмножество
.
Пусть дана непрерывная функция
.
Тогда
и
Компа́ктное простра́нство— определённый тип пространств, включающий:
- Все пространства с конечным числом точек;
- Все замкнутые и ограниченные подмножества евклидова пространства.
Равномерная непрерывность функции нескольких переменных. Теорема Кантора.
Равномерная
непрерывность:
при всякомнайдётся
такое число
,
что для любых двух точек А и В области
D, расстояние между которыми меньше
,
будет справедливо неравенство
.
Функция, непрерывная по совокупности
аргументов, будет непрерывна и по каждому
аргументу в отдельности (при фиксированных
других аргументах). Обратное же неверно.
Теорема Кантора - Функция, непрерывная на компакте, равномерно непрерывна на нём.
Пусть
даны два метрических пространства
и
Пусть
также дано компактное подмножество
и
определённая на нём непрерывная функция
Тогда
равномерно
непрерывна на
Доказательство. Воспользуемся доказательством от противного.
Пусть
—
функция, отвечающая условиям теоремы
(на компакте
),
но не равномерно непрерывная на нём.
Тогда существует такое
,
что для всех
существуют
такие
и
,
расстояние между которыми меньше
,
но расстояние между их образами не менее
:
но
Возьмём
последовательность
,
сходящуюся к 0, например,
.
Построим последовательности
и
так,
чтобы
,
но
—компакт, поэтому
можно выделить сходящиеся последовательности:
Но так как расстояние
между ними стремится к нулю, по лемме о
вложенных отрезках они стремятся к
одной точке:
.
И, так как
непрерывна
,
что противоречит предположению, что
.
Стало быть, функция, непрерывная на компакте, действительно равномерно непрерывна на нём.