![]() |
![]() |
|
![]() | ![]() |
Матрицы и операторы
1. Определение, операции и характеристики.
С матрицами имеют дело уже в элементарной алгебре, решая систему линейных уравнений относительно неизвестных или в сокращенной форме где Те или иные характеристики совокупности величин Матрицей размера Числа Матрица размера Матрица называется конечной, если число строк и столбцов конечно. Ограниченной называют матрицу с конечной нормой. Норму определяют по-разному. Например, евклидова норма ( Далее будем рассматривать конечные матрицы над полем комплексных чисел (такие матрицы всегда ограничены). Матрица называется действительной, если все ее элементы являются действительными числами. Сложение матриц определено для матриц одинаковых размеров: Умножение Т.е. произведение матриц с размерами Квадратными называют матрицы с одинаковым числом строк и столбцов. Размер таких матриц обозначают одним числом. Сложение и умножение определено для всех квадратных матриц одного размера. Далее речь пойдет о таких матрицах. И везде размер матрицы будем обозначать символом Операции сложения и умножения являются групповыми операциями в классе матриц одинаковых размеров. "Единицей" по сложению в такой группе является нуль-матрица, в которой все элементы равны нулю. А по умножению "единицей" группы невырожденных (см. ниже) матриц является единичная матрица, в которой диагональные элементы равны Важнейшей характеристикой матрицы Составим произведение из где набор Теперь мы можем дать определение детерминанта: Напомним, что в (4) суммирование ведется по набору различных номеров (т.е. Для практических расчетов формула (4) не очень удобна. Обозначим через Здесь определитель матрицы размера Для определителя матрицы размера Величина называется алгебраическим дополнением элемента где Если Как уже говорилось, множество квадратных матриц одного размера Приведем некоторые свойства операций с матрицами. Матрицы можно умножать на любое комплексное число Причем это произведение можно считать умножением двух матриц, в котором одна из матриц есть Отметим также ассоциативность и дистрибутивность: (здесь
2. Свойства определителей и специальные матрицы.
Все сказанное ниже о строках имеет место и для столбцов матриц. Обозначим матрицу Нетрудно доказать следующие соотношения Из (7) следует, что Определитель произведения матриц равен произведению определителей В частности, Определитель матрицы где коэффициенты называется характеристическим уравнением матрицы Теорема Кэли-Гамильтона: всякая матрица размера Пусть элементы Комплексно сопряженная матрица Обратную для Очевидны следующие соотношения (ниже В зависимости от свойств симметрии определяют следующие матрицы.
Диагональные элементы Очевидны следующие три утверждения: эрмитовая матрица является симметрической, косоэрмитовая - кососимметрической, а унитарная - ортогональной тогда и только тогда, когда все их элементы являются действительными числами. Если Произведение Аналогичные выводы имеют место и для эрмитовых, ортогональных и унитарных матриц:
Любая матрица и на сумму эрмитовой и косоэрмитовой матриц: Нормальная матрица: если Две матрицы В треугольной матрице Некоторые матрицы подходящим преобразованием подобия можно привести к диагональному виду (частный случай треугольного, когда от нуля отличны лишь диагональные элементы). Имеет место следующее утверждение: В частности: любую нормальную (и только нормальную) матрицу можно преобразованием подобия (9), где Эрмитовые и унитарные матрицы являются нормальными, и поэтому могут быть приведены к диагональному виду. Отметим очень важное для приложений утверждение. ![]() Так как треугольный вид (а тем более - диагональный) матрицы очень удобен для анализа матричных соотношений, поиск преобразующих матриц становится важным инструментом в матричной алгебре. И здесь важно, что тот или иной класс матриц объединяет то, что они приводятся к диагональному виду одним и тем же преобразованием подобия. Во всех случаях важно и то, что преобразование подобия (9) касается всех степеней подобных матриц: если Значение преобразований подобия особенно четко проявляется при анализе различных скалярных выражений, образованных квадратными матрицами и матрицами из одного столбца или одной строки (последние обычно называют векторами). Например, свойства квадратичных форм можно исследовать, имея лишь информацию о с. зн. матриц.
3. Собственные значения и билинейные формы.
Рассмотрим сначала общие свойства с. зн. специальных матриц. Пусть Все с. зн. нормальной матрицы являются действительными числам тогда и только тогда, когда эта матрица подобна некоторой эрмитовой матрице. Все с. зн. унитарной матрицы равны по модулю Для всякой матрицы Причем (10) можно считать произведением матриц, в котором Частные случаи билинейных форм: квадратичная форма Далее будем считать формы (11, 12) нетривиальными, т.е. хотя бы одно из чисел В (11) антисимметрическая часть, а в (12) косоэрмитовая части матрицы, не дают никакого вклада. Поэтому в (11) матрицу Далее (если иное не оговорено) будем говорить об эрмитовых формах. Если в (11) вектор Пусть матрица переводит форму (12) в форму по новым переменным: где В частности, можно подобрать такую преобразующую матрицу где Масштабное преобразование где К канонической форме можно придти различными путями. Однако есть две характеристики, значения которых не зависят от вида преобразований. Это ранг Т.е. ранг и сигнатура являются некими инвариантами эрмитовой матрицы, не меняющимися при преобразованиях подобия. Если преобразование, которое привело к (15), является унитарным, то сохраняется и норма: Из (14) следуют необходимые и достаточные условия знакоопределенности формы (12): эта форма положительна (неотрицательна), если все
4. Линейные операторы.
Оператор Мы будем говорить о линейных операторах таких, что при любых Матричный оператор Ниже все результаты касаются абстрактных операторов. И все они имеют место для матричных операторов. Поэтому, если есть необходимость в наглядности излагаемого, можно считать, что речь идет о преобразованиях вида (20). Тем более что ряд классов операторов изоморфны тому или иному классу матричных операторов. Будем считать Скалярное произведение двух элементов (здесь Если Если (в общем случае под интегралом стоит некоторая весовая функция). Т.е. различие заключается в том, что в одном случае речь идет о суммах, а в другом - об интегралах. Соответственно, операторы, действующие на векторы, имеют дискретный характер, а операторы, действующие на функции, имеют непрерывный характер. Примером первых могут служить матричные операторы, а примерами вторых - дифференциальные или интегральные операторы. Тем не менее, условность разделения векторов и функций сохраняется, так как вектор можно считать функцией, заданной на конечном множестве Пусть то ее называют скаляром (с-числом). Т.е. здесь речь идет о величинах, на которых действие операторов из данного класса не распространяется (и в то же время их можно умножать на объекты преобразования). Для матричных операторов это любые одномерные величины (числа, функции и т.д.). А для дифференциальных операторов - это величины, производные от которых равны нулю, т.е. константы. Далее будем считать, что классы операторов и объектов заданы, и, значит, известен смысл скаляров. При этом единичный оператор будет содержаться в любом классе операторов. Приведем некоторые определения. Скалярное произведение в матричном представлении является эрмитовой формой. Такой же называют форму (25) в общем случае, если Ненулевые векторы (функции) Оператор Оператор Эрмитовые формы (25) аналогично формам в матричном представлении могут быть определенными или неопределенными по знаку. Важнейшее место в операторном анализе занимают понятия собственных значений и собственных функций (векторов). Причем первые обязательно являются скалярами. Скаляр (число, константа) (далее мы будем считать, что норма функции Функция Пусть Нетрудно доказать, что с. ф., соответствующие разным с. зн., ортогональны: Если все В таком базисе можно определить класс Причем скаляры Если все с. зн. эрмитового оператора различны и не равны нулю, то решение уравнения для неизвестной величины имеет вид Таким образом, в с. зн. и с. ф. содержится весь смысл оператора. Более того, во многих случаях оператор однозначно определяется своими с. зн. и с. ф.. Пусть, например, элементами множества Если все с. зн. где Для матричного оператора где Произведение которое может быть выражено в форме где Из (35) следует, что операторы с одинаковыми наборами с. ф. ( Это утверждения справедливо и в общем случае. Однако обратное верно при небольшом уточнении: если два оператора коммутируют и любую с. ф. одного из них можно разложить по с. ф. другого, то наборы с. ф. совпадают. существует, если все с. зн. оператора Аналогичные соотношения можно получить и для матричных операторов, имеющих отличные от нуля различные с. зн. Выше, нумеруя с. зн. и с.ф., мы неявно предполагали, что речь идет о конечном или счетном множестве этих величин. Тем не менее, многое из сказанного можно обобщить и на случаи операторов, имеющих несчетное множество с. зн. и с. ф.. Например, у оператора производной с. зн. является любое число Если каким-либо образом ограничить область с. зн. в (37), то можно определить интегральное обобщение (30) и разлагать функции по соответствующим экспонентам. Например, если числа
5. Функции от операторов и матриц.
Пусть некоторая функция который сходится при всех Очевидно, если Пусть Для матричного оператора Особо следует отметить функции от матриц конечного порядка. Если так как с помощью (8) любой оператор Например, пусть Тогда где Если то представление может оказаться весьма полезным в приложениях. Отметим также свойство показательной функции от производной: На практике часто встречаются сложные операторные выражения, которые в действительности являются функциями (обычно - алгебраическими) более простых операторов. И если свойства операторов-аргументов известны, то очевидны преимущества, которые дает такое упрощение задачи. Во многих случаях сложные уравнения сводятся к решению алгебраической задачи. |
|