Доказательство предоставляется читателю.
Свойства градиента и производной по направлению Криволинейный интеграл Первоначально функции управления системой коммутации возлагались на операторов.
Учитывая
запись общего решения однородной системы через фундаментальную систему ее решений
, получаем для общего решения неоднородной системы формулу
Из двух последних предложений следует, что любое решение неоднородной
системы может быть получено из общего решения при некоторых числовых значениях
коэффициентов
.
Доказательство.
Пусть система имеет решение
. Если однородная система
имеет только одно решение, то из формулы общего решения будет следовать, что
-- единственное решение неоднородной системы. Если однородная система имеет
хотя бы одно ненулевое решение, то ее фундаментальная система решений будет состоять
не менее, чем из одного решения. В формуле общего решения неоднородной системы
будет произвольный коэффициент
, и при различных его значениях мы будем получать различные решения неоднородной
системы.
Определение 3.4 Назовём функциюнепрерывной на множестве
, если
![]()
Нетрудно видеть, что тогда при
и при
это определение совпадает с теми, что были выше даны специально для интервала и отрезка.
Напомним, что все элементарные функции непрерывны во всех точках своих областей определения и, следовательно, непрерывны на любых интервалах и отрезках, лежащих в их областях определения.
Поскольку непрерывность на интервале и отрезке определяется поточечно, имеет место теорема, которая является непосредственным следствием теоремы 3.1:
Теорема 3.5 Пустьи
-- функции и
-- интервал или отрезок, лежащий в
. Пусть
и
непрерывны на
. Тогда функции
,
,
непpеpывны на
. Если вдобавок
пpи всех
, то функция
также непpеpывна на
.
Из этой теоpемы вытекает следующее утвеpждение, точно так же, как из теоpемы 3.1 -- пpедложение 3.3:
Предложение 3.4 Множествовсех функций, непpеpывных на интеpвале или отpезке
-- это линейное пpостpанство:
![]()
Более сложное свойство непрерывной функции выражает следующая теорема.
Свойства градиента и производной по направлению Криволинейный интеграл Первоначально функции управления системой коммутации возлагались на операторов.
Теорема 3.6 (о корне непрерывной функции) Пусть функциянепрерывна на отрезке
, причём
и
-- числа разных знаков. (Будем для определённости считать, что
, а
.) Тогда существует хотя бы одно такое значение
, что
(то есть существует хотя бы один корень
уравнения
).
Доказательство. Рассмотрим середину отрезка
. Тогда либо
, либо
, либо
. В первом случае корень найден: это
. В остальных двух случаях рассмотрим ту часть отрезка, на концах которой функция
принимает значения разных знаков:
в случае
или
в случае
. Выбранную половину отрезка обозначим через
и применим к ней ту же процедуру: разделим на две половины
и
, где
, и найдём
. В случае
корень найден; в случае
рассматриваем далее отрезок
, в случае
-- отрезок
и т. д.
Неопределенный интегралВекторное
произведение векторов
Трассировка
пиксельных изображений Adobe Illustrator
Линейные блоковые коды