LINALG4 (Теория по линейной алгебре (определения, доказательства, формулы))
Описание файла
Файл "LINALG4" внутри архива находится в следующих папках: Теория по линейной алгебре (определения, доказательства, формулы), V782RhwLleN, Linal. Документ из архива "Теория по линейной алгебре (определения, доказательства, формулы)", который расположен в категории "". Всё это находится в предмете "линейная алгебра и аналитическая геометрия" из 2 семестр, которые можно найти в файловом архиве МГТУ им. Н.Э.Баумана. Не смотря на прямую связь этого архива с МГТУ им. Н.Э.Баумана, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "линейная алгебра и фнп" в общих файлах.
Онлайн просмотр документа "LINALG4"
Текст из документа "LINALG4"
36
1.9. Матрица линейного оператора
Пусть - линейный оператор, причем пространства и конечномерные, и .
Зададим произвольно базисы: в и в .
Поставим задачу: для произвольного вектора вычислить координаты вектора в базисе .
Имеем:
Вводя векторную матрицу-строку , состоящую из образов векторов базиса , получим:
Заметим, что последнее в этой цепочке равенство имеет место как раз в силу линейности оператора .
Разложим систему векторов по базису :
где - ый столбец матрицы есть столбец координат вектора в базисе .
Окончательно будем иметь:
Итак, для того, чтобы вычислить столбец координат вектора в выбранном базисе второго пространства, достаточно умножить столбец координат вектора в выбранном базисе первого пространства слева на матрицу, состоящую из столбцов координат образов базисных векторов первого пространства в базисе второго пространства.
Матрица называется матрицей линейного оператора в заданной паре базисов .
Матрицу линейного оператора условимся обозначать той же буквой, что и сам оператор, но без курсива. Иногда будем использовать и такое обозначение: , опуская зачастую ссылки на базисы (если это не вредит точности).
Для линейного преобразования (т.е., когда ) можно говорить о его матрице в данном базисе.
В качестве примера рассмотрим матрицу оператора проектирования из примера п. 1.7 (считая его преобразованием пространства геометрических векторов). В качестве базиса выберем обычный базис .
Имеем:
Следовательно, матрица оператора проектирования на плоскость в базисе имеет вид:
Заметим, что если бы мы рассматривали оператор проектирования как отображение в , понимая под последним пространство всех геометрических векторов, лежащих в плоскости , то, беря в качестве базиса базис , получим уже такую матрицу:
Рассматривая произвольную матрицу размера как линейный оператор, отображающий арифметическое пространство в арифметическое пространство , и выбирая в каждом из этих пространств канонический базис, получим, что матрица данного линейного оператора в такой паре базисов есть та самая матрица, которая определяет данный оператор - то есть, в данном случае матрица и линейный оператор есть одно и то же (точно так же, как при выборе канонического базиса в арифметическом векторном пространстве вектор и столбец его координат в данном базисе можно отождествить). Но было бы грубой ошибкой отождествлять вектор как таковой и линейный оператор как таковой с их представлением в том или ином базисе (в виде столбца или матрицы). И вектор, и линейный оператор суть геометрические, инвариантные объекты, определяемые независимо от какого-либо базиса. Так, когда мы, например, рисуем геометрический вектор как направленный отрезок, то он определен совершенно инвариантно, т.е. нам, когда мы его рисуем, нет никакого дела до базисов, систем координат и т. п., и мы можем им оперировать чисто геометрически. Другое дело, что для удобства этого оперирования, для удобства вычислений с векторами, мы строим определенный алгебраический аппарат, вводя системы координат, базисы и связанную с ними чисто алгебраическую технику вычислений над векторами. Образно говоря, вектор, как «голый» геометрический объект, «одевается» в различные координатные представления в зависимости от выбора базиса. Но человек может надеть на себя самое разнообразное платье, от чего его суть как человека не меняется, но верно и то, что не любое платье подходит к той или иной ситуации (на пляж не пойдешь в концертном фраке), да и голым тоже не везде пройдешься. Так и не любой базис годится для решения данной задачи, равно как и чисто геометрическое решение может оказаться слишком сложным. Мы увидим в нашем курсе, как для решения такой, казалось бы, чисто геометрической задачи, как классификация поверхностей второго порядка, строится довольно сложная и красивая алгебраическая теория.
Понимание отличия геометрического объекта от его представления в том или ином базисе составляет основу восприятия линейной алгебры. И геометрическим объектом вовсе не обязан быть именно геометрический вектор. Так, если мы зададим арифметический вектор , то его можно отождествить со столбцом его координат в каноническом базисе , ибо (см. первый семестр):
Но введем другой базис в , состоящий из векторов и (проверьте, что это действительно базис!) и, используя матрицу перехода , пересчитаем координаты нашего вектора:
Мы получили совсем другой столбец, но он представляет в другом базисе тот же самый арифметический вектор.
Сказанное о векторах приложимо и к линейным операторам. То, чем для вектора является его координатное представление, тем для линейного оператора является его матрица.
Итак (повторим еще раз), нужно четко разграничивать сами по себе инвариантные, геометрические, объекты, каковы вектор и линейный оператор, и их представление в том или ином базисе (речь, разумеется, идет о конечномерных линейных пространствах).
Займемся теперь как раз задачей преобразования матрицы линейного оператора при переходе от одной пары базисов к другой.
Пусть - новая пара базисов в и соответственно.
Тогда (обозначая матрицу оператора в паре «штрихованных» базисов) получим:
Но, с другой стороны,
откуда, в силу единственности разложения вектора по базису
или
Для линейного преобразования формула принимает более простой вид:
Матрицы и , связанные таким соотношением, называются подобными.
Легко видеть, что детерминанты подобных матриц совпадают.
Введем теперь понятие ранга линейного оператора.
По определению это число, равное размерности образа данного оператора:
Докажем следующее важное утверждение:
Утверждение 1. 10 Ранг линейного оператора совпадает с рангом его матрицы, независимо от выбора базисов.
Доказательство. Прежде всего, заметим, что образ линейного оператора есть линейная оболочка системы , где - базис в пространстве .
Действительно,
каковы бы ни были числа , но это и означает, что является указанной линейной оболочкой.
Размерность линейной оболочки, как мы знаем (см. п. 1.2) совпадает с рангом соответствующей системы векторов.
Мы ранее доказали (п. 1.3), что если система векторов разложена по некоторому базису в виде
то при условии независимости системы столбцы матрицы линейно независимы. Можно доказать и более сильное утверждение (это доказательство мы опускаем): ранг системы равен рангу матрицы , причем, этот результат не зависит от выбора базиса, так как умножение матрицы на невырожденную матрицу перехода не меняет ее ранга.
Поскольку
Так как, очевидно, ранги подобных матриц совпадают, то данный результат не зависит от выбора конкретного базиса.
Утверждение доказано.
Для линейного преобразования некоторого конечномерного линейного пространства мы можем ввести и понятие детерминанта данного преобразования как детерминанта его матрицы в произвольно фиксированном базисе, ибо матрицы линейного преобразования в различных базисах подобны и имеют, следовательно, одинаковые детерминанты.
Используя понятие матрицы линейного оператора, докажем следующее важное соотношение: для любого линейного преобразования -мерного линейного пространства
Выберем произвольно базис в пространстве . Тогда ядро состоит из тех и только тех векторов, столбцы координат которых суть решения однородной системы
а именно, вектор тогда и только тогда, когда столбец есть решение системы (1).
Другими словами, имеет место изоморфизм ядра на пространство решений системы (1). Следовательно, размерности этих пространств совпадают. Но размерность пространства решений системы (1) равна, как мы уже знаем, , где - ранг матрицы . Но мы только что доказали, что
откуда
что и требовалось.
Итак, любой линейный оператор, действующий из одного конечномерного линейного пространства в другое, однозначно может быть представлен в виде матрицы при фиксировании в каждом из пространств некоторого базиса.
Оказывается, что, в определенном смысле, верно и обратное.
Теорема 1.4 Какова бы ни была матрица и линейные пространства и , а также базисы и в и соответственно, то однозначно определен линейный оператор из в такой, что его матрица в указанной паре базисов совпадает с исходной матрицей .