Система Orphus

Система Orphus

    Элементы дифференциальной геометрии

Опр: Вектор-функцией в трехмерном пространстве называется функция, для которой (на плоскости аналогично) В Дальнейшем будем рассматривать случай , но все автоматически переносится на ( кроме смешанного и векторного произведения). Если в задан базис , то вектор-функция задается координатным столбцом в этом базисе , где x(t),y(t),z(t) – числовые функции.

Опр: Говорят, что вектор-функция имеет предел при t (α - один из шести предельных символов (a, a+0, a-0 , ),

если ,

тогда по определению, Формально, определение дается в некотором фиксированном базисе, но для другого базиса , S-матрица перехода; для координат столбцов имеет место .Из линейности следует, что определение не зависит от базиса, выбранного базиса. Все дальнейшие определения даются в фиксированном базисе. В силу линейности формул перехода, они не зависят от выбора базиса, можно считать базис таким, как нам удобно (например, в правом ортонормированном базисе)

Опр: Вектор-функция называется непрерывной в точке , если

Это равносильно непрерывности всех координатных функций в точке .

Опр: Если все функции имеют производную, (n-ную производную в точке ), то говорят, что вектор-функция имеет производную (n-ную производную) в точке и

; и

Лемма 1: Если = Док-во по координатам.

Опр: Функция f(x) называется непрерывно дифференцируемой на промежутке I, если она дифференцируема на I и ее производная f’(x) непрерывна во всех внутренних точках I, а в концах, если они принадлежат промежутку, имеет место: ; a и b - концы отрезка.

Опр: Функция а(x) называется дважды дифференцируемой на промежутке I, если во всех внутренних точках I существует конечная вторая производная, а в концах существуют соответствующие односторонние производные от f’(x).


Аналогично n-раз дифференцируемая функция.

Опр: Вектор-функция является непрерывной(дифференцируемой, непрерывно дифференцируемой) на промежутке I , если таковыми являются все ее координатные функции.

Лемма 2: Пусть вектор-функции непрерывны в точке или на промежутке I;. Тогда непрерывными в точке(на промежутке) являются функции (векторные или скалярные):

(t); ; ;

Док-во: По определению, вектор-функции непрерывны , если непрерывны их координаты.

Исходя из этого распишем каждую операцию. И получим, что все эти операции есть композиции непрерывных функций. След. они тоже явл. Непрерывными функциями.

Лемма3: Пусть вектор- функции имеют конечные производные в точке , ;Тогда в точке :

;

;

;

, где

Док-во аналогично вышеуказанному. расписываем через коорд. функции и по определению.





!!!!Теорема Лагранжа не сохраняется для вектор-функций.

, . . никогда. Значит, тер. Лагранжа неверна.



Лемма 4(Заменитель теоремы Лагранжа для вектор-функций):

Пусть вектор-функция непрерывна на и дифференцируема на . Тогда , a<b



Док-во: Рассмотрим скалярную функцию:

= По обычной теорема Лагранжа:

Тогда

Если лемма верна при любом .

Если нет, то сократим на нужное неравенство.


Система Orphus

Комментарии