Рассмотрим частный случай системы линеных уравнений (15.1), когда
, то есть когда число уравнений совпадает с числом неизвестных. Именно такие системы при
или
рассматриваются в школе.
Если число уравнений равно числу неизвестных, то матрица
исходной системы -- квадратная, порядка
,
и
-- столбцы высоты
. Предположим, что
. Тогда по теореме 14.1 существует обратная матрица. Умножив слева обе части равенства (15.2) на
, получим
![]()
Таким образом, система уравнений (15.1) имеет единственное решение и оно в матричной форме может быть записано в виде
Свойства градиента и производной по направлению Криволинейный интеграл Первоначально функции управления системой коммутации возлагались на операторов.
| (15.3) |
Это так называемый матричный способ решения системы линейных уравнений.
Введем следующие обозначения. Пусть
,
-- определитель матрицы, полученной из матрицы
заменой столбца с номером
на столбец
свободных членов,
:
Теорема 15.1 (Правило Крамера) Если в системелинейных уравнений с
неизвестными
, то система имеет решение и притом единственное. Это решение задается формулами
![]()
Доказательство. По теореме 14.1 обратная матрица находится по формуле
![]()
где
-- алгебраические дополнения. Тогда из (15.3) следует, что
![]()
Заметим, что по формуле (14.13) разложение определителя
по первому столбцу в точности совпадает с первым элементом матрицы-столбца в правой части последнего равенства, разложение определителя
по второму столбцу дает второй элемент матрицы-столбца и т.д. Поэтому
, откуда и следует утверждение теоремы.
Определение 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 Линейные блоковые коды