Покажем, что множество функций, имеющих производную в некоторой фиксированной точке
, замкнуто относительно арифметических операций с этими функциями. А именно, докажем следующую теорему, дающую основные правила дифференцирования.
Теорема 4.2 Пусть функциии
имеют производные в точке
. Тогда функции
,
,
, а в случае
также
имеют производные в точке
, которые выражаются следующими формулами:
Аналогичные утверждения и формулы имеют место также для односторонних производных(
).
Свойства градиента и производной по направлению Криволинейный интеграл Первоначально функции управления системой коммутации возлагались на операторов.Доказательство. Докажем формулу (4.7). Пусть аргументу
дано приращение
; при этом функция
получает приращение
, а функция
-- приращение
. Их сумма
получит тогда приращение
Значит,
Совершенно аналогично доказывается формула (4.8).Докажем теперь формулу (4.9). Пусть снова
и
-- приращения функций, соответствующие приращению
аргумента
. Тогда
,
и приращением произведения будет
Поэтому, по свойствам пределов,
При этом мы вынесли множителии
за знак предела
как постоянные, не зависящие от переменного
, к которому относится база предела.
Докажем теперь формулу (4.10). Заметим, что
Поэтому, согласно правилам вычисления пределов,
Свойства градиента и производной по направлению Криволинейный интеграл Первоначально функции управления системой коммутации возлагались на операторов.
При этом мы вынесли за знак предела постоянный (то есть не зависящий от) множитель
и воспользовались тем, что
при
, что означает непрерывность функции
в точке
. Но ранее мы доказали, что всякая дифференцируемая в точке
функция непрерывна в точке
( теорема 4.1).
Определение и примеры
Определение 18.1 Пусть-- поле,
-- некоторое множество, на котором задана операция сложения, обозначаемая знаком "+", и операция умножения на элемент поля
, то есть любому элементу
,
, и любому элементу
,
, сопоставляется элемент из множества
, называемый произведением
на
и обозначаемый
. Множество
называется линейным или векторным пространством над полем
, если по отношению к операции сложения множество
является абелевой группой, и для любых
из поля
и любых
из множества
выполнены равенства:
;
;
;
, где 1 -- единица поля
.
В дальнейшем в качестве поля
используется или поле вещественных чисел, или поле комплексных чисел. В первом случае множество
называется вещественным линейным пространством, во втором -- комплексным линейным пространством.
Легко проверить, что множество векторов трехмерного простраства является вещественным линейным пространством. Действительно, первые четыре свойства векторов из теоремы 10.1 означают, что векторы образуют абелеву группу по сложению, а последние четыре свойства из той же теоремы соответствуют требованиям 1-4 к операции умножения на элементы поля (в данном случае на вещественные числа).
По аналогии с трехмерным векторным пространством элементы любого линейного пространства называются векторами, хотя природа этих элементов может быть совсем иная.
Другими примерами вещественных линейных пространств могут служить:
- множество столбцов
из
элементов, являющихся вещественными числами ;
- множество многочленов степени не выше
с вещественными коэффициентами;
- множество всех многочленов с вещественными коэффициентами;
- множество функций непрерывных на некотором отрезке
.
Неопределенный интегралВекторное произведение векторов Трассировка пиксельных изображений Adobe Illustrator Линейные блоковые коды