- •Линейные пространства
- •Некоторые свойства произвольных линейных пространств.
- •Размерность и базис линейного пространства.
- •Действия над векторами в координатной форме.
- •Замена базиса
- •Евклидовы пространства.
- •Неравенство Коши-Буняковского
- •Норма вектора. Нормированное пространство
- •Ортонормированный базис конечномерного Евклидового пространства
- •Ортогональные матрицы и их свойства
- •Линейные операторы.
- •Действия над линейными операторами
- •Матрица линейного оператора.
- •Изменение матрицы линейного оператора
- •Собственные числа и собственные векторы
- •Линейные операторы в евклидовом пространстве
- •Рассмотрим некоторые примеры линейных операторов
- •Квадратичные формы и их приведение к каноническому виду
Действия над векторами в координатной форме.
Если в линейном n – мерном пространстве заданы два вектора ;то на основании аксиом, которым удовлетворяют операции сложения и умножения, будем иметь:
Рассмотрим линейную комбинацию векторов:
, (*)
где
Если координаты вектора есть, то имеем систему уравнений:
(**)
Рассмотрим матрицу этой системы. Ее столбцы – координаты векторов x1 x2 … xn. Если предположить, что в равенстве (*) вектор у равен 0, то мы будем иметь линейную зависимость векторов . Чтобы система (**) имела ненулевое решение ( когда yi = 0, i = 1, … , n) ненулевое решение! – необходимо (из предыдущего материала) чтобы ранг матрицы был меньше числа неизвестных m. Или, с другой стороны, вектора линейно независимы, когда ранг матрицы (**) равен числу векторов.
Максимальное число линейно независимых векторов линейного пространства – есть размерность пространства – и это же число является рангом некоторой системы векторов (*). Обратимся к примеру: найти размерность и базис пространства, являющегося линейой оболочки векторов: x1 = ( 0, 2, -1 ) x2 = ( 3, 7, 1 ) x3 = ( 2, 0, 3 ) x4 = ( 5, 1, 8 ).
Вычислим ранг системы этих векторов:
Базисом могут служить три линейно независимых вектора. А это векторы x1 x3 x4, поскольку x2 – их линейная комбинация.
На основе вышесказанного можно сделать вывод: ранг системы векторов равен рангу матрицы из координат этих векторов в некотором базисе.
Замена базиса
Рассмотрим линейное преобразование координат некоторого вектора при смене базиса. Предположим, что мы имеем два базиса произвольного n – мерного пространства и. Очевидно, координаты векторов одного базисаможно выразить через другой базис:
(*)
В матричном виде:
где матрица А – это матрица, связывающая новый базис еi’ со старым ei.
Рассмотрим некоторый вектор
Подставим здесь вместо их выражения из (*):
Приравнивая здесь коэффициенты при одинаковых векторах , приходим к системе уравнений:
или в матричном виде
Матрица АТ, транспонированная к А, называется матрицей перехода от одного базиса к другому. Столбцами этой матрицы являются координаты новых базисных векторов в старом базисе. Очевидно, обратный переход есть: x’=(A –1)Tx
Вывод: если переход от первого базиса ко второму осуществляется с помощью невырожденной матрицы А, то переход от координат произвольного элемента относительно первого базиса к координатам этого элемента относительно второго базиса осуществляется с помощью транспонированной обратной матрицы.
Пример: в пространстве V3 имеем два базиса:
Найти координаты в базисе. Т.е.. Матрица перехода от базисак базисуесть:
Матрица S невырожденная, т.е. система векторов образует базис.
Имеем . Отсюда. Запишем без вычислений, что. Тогда.
Т.е.
В заключении рассмотрим пространства решений линейной однородной системы. Если решений множество, то известно, что сумма каких-либо решений тоже является решением и произведение каких-либо решений на число тоже является решением. Аксиомы 10 – 80 тоже выполняются. Т.е. множество решений линейной однородной системы являются линейным пространством. Существует теорема: размерность пространства решений линейной однородной системы уравнений с n неизвестными равна n-r, где r – ранг матрицы системы.
X = Cr+1X1+ Cr+2X2+ … + CnXn-r
Это означает, что решения X1 … Xn-r – линейно независимы и их можно принять за базис пространства решений. Любой базис решений называется фундаментальной системой решений.