Полярное разложение
В математике полярное разложение квадратной вещественной или комплексной матрицы. является факторизацией формы , где является унитарной матрицей и – положительная полуопределенная эрмитова матрица ( является ортогональной матрицей и — положительная полуопределенная симметричная матрица в вещественном случае), квадратная и одинакового размера. [1]
Если настоящий матрица интерпретируется как линейное преобразование -мерное пространство , полярное разложение разделяет его на вращение или отражение из и масштабирование пространства по множеству ортогональные оси.
Полярное разложение квадратной матрицы всегда существует. Если обратима , разложение однозначно и множитель будет положительно-определенным . В этом случае можно однозначно записать в виде , где является унитарным и – единственный самосопряженный логарифм матрицы . [2] Это разложение полезно при вычислении фундаментальной группы (матричных) групп Ли . [3]
Полярное разложение также можно определить как где представляет собой симметричную положительно определенную матрицу с теми же собственными значениями, что и но разные собственные векторы.
Полярное разложение матрицы можно рассматривать как матричный аналог полярной формы комплексного числа. как , где - его абсолютное значение (неотрицательное действительное число ), и — комплексное число с единичной нормой (элемент группы кругов ).
Определение может быть расширено до прямоугольных матриц требуя быть полуунитарной матрицей и быть положительно-полуопределенной эрмитовой матрицей. Разложение всегда существует и всегда уникален. Матрица уникально тогда и только тогда, когда имеет полный ранг. [4]
интерпретация Геометрическая
Настоящая площадь матрица можно интерпретировать как преобразование линейное который принимает вектор-столбец к . Тогда в полярном разложении , фактор это реальная ортонормированная матрица. Тогда полярное разложение можно рассматривать как выражение линейного преобразования, определяемого формулой в масштабирование пространства вдоль каждого собственного вектора из по масштабному коэффициенту (действие ), с последующим вращением (действие ).
Альтернативно, разложение выражает преобразование, определяемое формулой как вращение( ) с последующим масштабированием ( ) вдоль определенных ортогональных направлений. Масштабные коэффициенты те же, но направления разные.
Свойства [ править ]
Полярное разложение комплексно-сопряженного соединения дается Обратите внимание, что
Положительно-полуопределенная матрица P всегда уникальна, даже если A сингулярна , и обозначается как
СВД Отношение к
В терминах сингулярного разложения (SVD) , , у одного есть
Можно также разложить в форме
Полярное разложение квадратной обратимой вещественной матрицы имеет форму
Отношение к нормальным матрицам [ править ]
Матрица с полярным разложением нормально когда тогда и только тогда, и добираться : или, что то же самое, они одновременно диагонализуемы .
существования Конструкция доказательства и
Основная идея построения полярного разложения аналогична той, которая используется для вычисления сингулярного разложения .
Вывод для нормальных матриц [ править ]
Если нормальна , то она унитарно эквивалентна диагональной матрице: для некоторой унитарной матрицы и некоторая диагональная матрица . Это делает вывод его полярного разложения особенно простым, поскольку мы можем тогда записать
Таким образом, полярное разложение , с и диагональ в собственном базисе и имеющие собственные значения, равные фазам и абсолютным значениям , соответственно.
Вывод обратимых матриц [ править ]
Из разложения по сингулярным значениям можно показать, что матрица обратима тогда и только тогда, когда (эквивалентно, ) является. Более того, это верно тогда и только тогда, когда собственные значения все не равны нулю. [6]
В этом случае полярное разложение получается непосредственно записью
В этом выражении унитарна, потому что является. Чтобы показать это также унитарен, мы можем использовать SVD для записи , так что
Еще один способ напрямую показать унитарность Следует отметить, что, СВД записывая в терминах матриц ранга 1 как , где являются сингулярными значениями , у нас есть
Обратите внимание, что из приведенной выше конструкции следует, что унитарная матрица в полярном разложении обратимой матрицы определена однозначно .
Общий вывод [ править ]
СВД с квадратной матрицей читает , с унитарные матрицы и диагональная положительная полуопределенная матрица. Просто вставив дополнительную пару или s, мы получаем две формы полярного разложения :
В качестве явного примера этого более общего случая рассмотрим SVD следующей матрицы:
операторы в гильбертовом пространстве Ограниченные
Полярное разложение любого ограниченного линейного оператора A между комплексными гильбертовыми пространствами представляет собой каноническую факторизацию как произведение частичной изометрии и неотрицательного оператора.
Полярное разложение матриц обобщается следующим образом: если A — ограниченный линейный оператор, то существует единственная факторизация A как произведение A = UP , где U — частичная изометрия, P — неотрицательный самосопряженный оператор и исходный пространство U является замыканием диапазона P .
Оператор U необходимо ослабить до частичной изометрии, а не до унитарной, из-за следующих проблем. Если A — односторонний сдвиг на l 2 ( N ), тогда | А | = { А * А } 1/2 = Я. Итак, если А = U | A |, U должно быть A , которое не является унитарным.
Существование полярного разложения является следствием леммы Дугласа :
Лемма . Если A , B — ограниченные операторы в гильбертовом пространстве H , и A * А ≤ Б * B , то существует сжатие C такое, что A = CB . Более того, C единственен, если ker( B * ) ⊂ ker( C ).
Оператор C может быть определен как C ( Bh ) := Ah для всех h в H , расширен по непрерывности до замыкания Ran ( B ) и нулем на ортогональном дополнении ко H. всему Лемма тогда следует, поскольку A * А ≤ Б * Из B следует ker( B ) ⊂ ker( A ).
В частности. Если А * А = Б * B , то C является частичной изометрией, которая единственна, если ker( B * ) ⊂ ker( C ).В общем случае для любого ограниченного A оператора
Когда H конечномерен, U можно расширить до унитарного оператора; в целом это не так (см. пример выше). Альтернативно, полярное разложение можно показать, используя операторную версию разложения по сингулярным значениям .
По свойству непрерывного функционального исчисления | А | находится в C*-алгебре, порожденной A . Аналогичное, но более слабое утверждение справедливо и для частичной изометрии: U находится в алгебре фон Неймана, порожденной A . Если А обратимо, то полярная часть U будет находиться в С*-алгебре также .
Неограниченные операторы [ править ]
Если A — замкнутый, плотно определенный неограниченный оператор между комплексными гильбертовыми пространствами, то он все равно имеет (единственное) полярное разложение.
В доказательстве используется та же лемма, что и выше, которая справедлива для неограниченных операторов вообще. Если дом( А * А ) = dom( B * Б ) и А * Ах = Б * Bh для всех h ∈ dom( A * A ), то существует частичная изометрия U такая, что A = UB . U уникален, если run( B ) ⊥ ⊂ кер( U ). оператора A Замкнутость и плотное определение гарантируют, что оператор A * A является самосопряженным (с плотной областью определения) и поэтому позволяет определить ( A * А ) 1/2 . Применение леммы дает полярное разложение.
Если неограниченный оператор A присоединен = к алгебре фон Неймана M и A — UP ее полярное разложение, то U находится в M , как и спектральная проекция P , 1 B ( P ), для любого борелевского множества B в [ 0, ∞) .
Полярное разложение кватернионов
Полярное разложение кватернионов с ортонормированными базисными кватернионами зависит от единицы двумерной сферы квадратных корней из минус единицы , известных как правые версоры . Учитывая любой этой сфере и угол − π < a ≤ π , версор на находится на единичной 3- сфере Для a = 0 и a = π r версор равен 1 или -1, независимо от того, какой выбран . Норма евклидово t кватерниона q — это расстояние от начала координат до q . Когда кватернион — это не просто действительное число, происходит уникальное полярное разложение:
Здесь r , a , t однозначно определены, так что r является правым версором ( r 2 –1 , a удовлетворяет 0 <a < π и t > . = условиям ) 0
плоские Альтернативные разложения
В декартовой плоскости альтернативные плоские кольцевые разложения возникают следующим образом:
- Если x ≠ 0 , z = x (1 + ε( y / x )) — полярное разложение двойственного числа z = x + yε , где ε 2 = 0 ; е. ε нильпотентна т . . В этом полярном разложении единичный круг был заменен линией x = 1 , полярный угол наклоном y / x , а радиус x отрицателен в левой полуплоскости.
- Если х 2 ≠ и 2 , то единичная гипербола x 2 − и 2 = 1 и сопряженное с ним x 2 − и 2 = −1 можно использовать для формирования полярного разложения на основе ветви единичной гиперболы через (1, 0) . Эта ветвь параметризуется гиперболическим углом а и записывается где j 2 = +1 и арифметика [7] расщепленных комплексных чисел . Ветвь через (−1, 0) отслеживается по − e также . Поскольку операция умножения на j отражает точку на прямой y = x , сопряженная гипербола имеет ветви, очерченные je также или - йе также . Поэтому точка в одном из квадрантов имеет полярное разложение в одном из видов:Множество { 1, −1, j , − j } имеет произведения, которые делают его изоморфным четырёхгруппе Клейна . Очевидно, в полярном разложении в данном случае участвует элемент из этой группы.
Численное определение матричного полярного разложения [ править ]
Чтобы вычислить аппроксимацию полярного разложения A = UP унитарный фактор U. , обычно аппроксимируется [8] [9] Итерация основана на методе Герона для извлечения квадратного корня из 1 и вычисляется, начиная с , последовательность
Сочетание инверсии и сопряжения Эрмита выбрано таким образом, чтобы при разложении по сингулярным значениям унитарные множители оставались прежними и итерация сводилась к методу Герона по сингулярным значениям.
Эту базовую итерацию можно усовершенствовать, чтобы ускорить процесс:
- На каждом шаге или через равные промежутки времени диапазон сингулярных значений оценивается, а затем матрица масштабируется до центрировать сингулярные значения вокруг 1 . Масштабный коэффициент вычисляется с использованием матричных норм матрицы и ее обратной. Примерами таких масштабных оценок являются: суммы строк и суммы столбцов используя матричные нормы илииспользуя норму Фробениуса . С учетом масштабного коэффициента итерация теперь
- QR -разложение можно использовать на подготовительном этапе для сведения сингулярной матрицы A к меньшей регулярной матрице, а также на каждом этапе для ускорения вычисления обратной.
- Метод Герона для вычисления корней можно заменить методами более высокого порядка, например, на основе метода Галлея третьего порядка, в результате чего Эту итерацию снова можно совместить с изменением масштаба. Преимущество этой конкретной формулы состоит в том, что она также применима к сингулярным или прямоугольным A. матрицам
См. также [ править ]
- Разложение Картана
- Алгебраическое полярное разложение
- Полярное разложение комплексной меры
- Разложение группы Ли
Ссылки [ править ]
- ^ Зал 2015 г., раздел 2.5.
- ^ Холл, 2015 г. Теорема 2.17.
- ^ Зал 2015 г., раздел 13.3.
- ^ Хайэм, Николас Дж.; Шрайбер, Роберт С. (1990). «Быстрое полярное разложение произвольной матрицы». СИАМ J. Sci. Стат. Вычислить . 11 (4). Филадельфия, Пенсильвания, США: Общество промышленной и прикладной математики: 648–655. CiteSeerX 10.1.1.111.9239 . дои : 10.1137/0911038 . ISSN 0196-5204 . S2CID 14268409 .
- ^ Холл 2015. Лемма 2.18.
- ^ Обратите внимание, как это подразумевает, исходя из положительности , что все собственные значения вещественны и строго положительны.
- ^ Собчик, Г. (1995) «Гиперболическая числовая плоскость», College Mathematics Journal 26: 268–80
- ^ Хайэм, Николас Дж. (1986). «Вычисление полярного разложения с помощью приложений». СИАМ J. Sci. Стат. Вычислить . 7 (4). Филадельфия, Пенсильвания, США: Общество промышленной и прикладной математики: 1160–1174. CiteSeerX 10.1.1.137.7354 . дои : 10.1137/0907079 . ISSN 0196-5204 .
- ^ Байерс, Ральф; Хунго Сюй (2008). «Новое масштабирование итерации Ньютона для полярного разложения и его обратной устойчивости». СИАМ Дж. Матричный анал. Приложение . 30 (2). Филадельфия, Пенсильвания, США: Общество промышленной и прикладной математики: 822–843. CiteSeerX 10.1.1.378.6737 . дои : 10.1137/070699895 . ISSN 0895-4798 .
- Конвей, Дж. Б .: Курс функционального анализа. Тексты для аспирантов по математике . Нью-Йорк: Спрингер, 1990 г.
- Дуглас, Р.Г .: О мажорировании, факторизации и включении диапазонов операторов в гильбертовом пространстве. Учеб. амер. Математика. Соц. 17 , 413–415 (1966)
- Холл, Брайан К. (2015), Группы Ли, алгебры Ли и представления: элементарное введение , Тексты для аспирантов по математике, том. 222 (2-е изд.), Спрингер, ISBN 978-3319134666 .
- Хельгасон, Сигурдур (1978), Дифференциальная геометрия, группы Ли и симметрические пространства , Academic Press, ISBN 0-8218-2848-7