Теорема 19.3 Пусть собственные векторыпреобразования
соответствуют собственным числам
, среди которых нет равных друг другу. Тогда система векторов
является линейно независимой.
Доказательство. Воспользуемся методом математической индукции по числу векторов. Если
, то утверждение теоремы следует из того, что собственный вектор -- ненулевой.
Пусть утверждение верно для системы векторов
. Составим линейную комбинацию векторов
и приравняем ее к нулю
(19.6)
К обеим частям применим преобразование
![]()
Механические приложения
двойного интеграла Математика решение задачПо определению линейного преобразования получим
![]()
Так как
-- собственные векторы, то
![]()
Умножим равенство (19.6) на
и вычтем из последнего равенства. Получим
![]()
Так как по предположению индукции векторы
линейно независимы, то
![]()
По условию
, следовательно,
. Подставим эти значения в (19.6), получим
. Получили, что из равенства (19.6) следует
, то есть векторы
линейно независимы.
Следствие 19.3 Если матрицапорядка
имеет
попарно различных собственных чисел, то она подобна диагональной матрице.
Пример 1.4 При сдаче пальто в гардероб каждому сданному пальтосоответствует ровно один выданный номерок
. Таким образом, между множеством
сданных пальто и множеством выданных номерков
(
-- это подмножество множества
всех номерков в гардеробе) устанавливается биекция
(
,
).
Определение 1.4 Если-- биекция, то отображение, сопоставляющее каждому
тот элемент
, который переходит в этот самый
при отображении
, называется обратным отображением (или обратной функцией) к отображению
и обозначается
. Таким образом,
, и
тогда и только тогда, когда
(
,
).
Пример 1.5 В условиях примера 1.4 отображение-- биекция. При выдаче пальто из гардероба по каждому из выданных номерков
находят соответствующее номерку пальто
. Соответствие
,
(
,
)-- это обратная функция к функции
,
, то есть
.
Классификация операционных систем Виртуальная память Реализация многозадачности
Системы безопасности Операционная система Linux Введение в компьютерные сети Принципы построения вычислительных систем Базовые технологии локальной сетиСредства анализа Процедуры и функции Pascal Язык запросов SQL Программирование на СИ Брандмауэры Протоколы TCP/IP Файловые системы Драйверы устройств