
- •Линейные пространства
- •Некоторые свойства произвольных линейных пространств.
- •Размерность и базис линейного пространства.
- •Действия над векторами в координатной форме.
- •Замена базиса
- •Евклидовы пространства.
- •Неравенство Коши-Буняковского
- •Норма вектора. Нормированное пространство
- •Ортонормированный базис конечномерного Евклидового пространства
- •Ортогональные матрицы и их свойства
- •Линейные операторы.
- •Действия над линейными операторами
- •Матрица линейного оператора.
- •Изменение матрицы линейного оператора
- •Собственные числа и собственные векторы
- •Линейные операторы в евклидовом пространстве
- •Рассмотрим некоторые примеры линейных операторов
- •Квадратичные формы и их приведение к каноническому виду
Действия над векторами в координатной форме.
Если в
линейном 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 – линейно независимы и их можно принять за базис пространства решений. Любой базис решений называется фундаментальной системой решений.