Микромодуль 37.
Тригонометрическая природа
коммутативности и антикоммутативности
13.18. Коммутативность простых матриц
Биортотональные матрицы коммутативны и антикоммутативны:

Они обязательно сингулярны: r1 + r2 ≤n.
Простые биортогональные матрицы приводятся к диагональной форме в некотором общем базисе, причём D1∙D2=Z. С тригонометрической точки зрения достаточно рассмотреть отношения мультипликативности только для несингулярных простых матриц, то есть без биортогональных блоков. Коммутативные простые матрицы, как известно, приводятся к диагональной форме в некотором общем базисе:

Диагональность этих форм, а следовательно, и коммутативность матриц сохраняются при воздействии на любую из диагональных 2×2-клеток, например (j, k), согласованных с ней модальных преобразований нижеуказанных простейших типов:

Первое преобразование меняет направления осей координат и не затрагивает диагональной формы. Второе преобразование вызывает перестановку осей координат и диагональных элементов. Произведения таких простейших преобразований в любых сочетаниях, обусловленных размером матриц, составляют некоторое множество модальных матриц по отношению к данной диагональной форме как инвариантной структуре. При этом предполагается, что все собственные значения каждой из матриц различны. В противном случае указанное множество расширяется за счёт тех преобразований, которые изменяют базис в пределах пересечения собственных подпространств Р1 и Р2. Ввиду того, что рассматриваемые коммутативные матрицы с изменением базиса преобразуются как двухвалентные тензоры, вышеуказанные типы модальных матриц в чистых формах сводятся к тригонометрическим преобразованиям - ротационным и рефлективным:
(366)
Следовательно, базис диагональной формы как простейшей структуры в данном случае можно определить с точностью до согласованных рефлексий или ротаций на тензорные углы
или
где
(В гиперболической трактовке тензорному сферическому углу π/2 отвечает бесконечный гиперболический аналог А, при этом как угловой аргумент возможен только он и нулевой угол.)
13.19. Антикоммутативность пары простых матриц
Из антикоммутативности пары простых матриц следуют соотношения:
![]()
В соответствии с принципом бинарности антикоммутативные простые матрицы (без биортогональных блоков) приводятся к согласованным бинарным клеточным формам в некотором общем базисе:

Размерность таких несингулярных матриц обязательно чётная. Далее выполним общее модальное преобразование для обеих матриц Р1 и Р2 - причём такое, чтобы Р1 стала диагональной. Тогда в новом общем базисе антикоммутативность этих простых матриц алгебраически возможна тогда и только тогда, когда согласованные 2×2-клетки имеют вид:
(367)
Если же наоборот диагонализовать Р2, то
(368)
где![]()
Ковариантная модальная матрица столбцов, приводящая контра-диагональную форму в (367) и (368) к диагональной, вычисляется, например, с использованием ранее приведенных результатов. Модальное преобразование для самого общего случая представляется в аффинной тригонометрической форме следующим образом'
(369)
(370)
(371) где
То есть это та же ротационная сферическая матрица, но выраженная в некотором аффинном базисе. В частности, в вещественном декартовом базисе это
в комплексном бинарном декартовом базисе (271)
Это
. Кроме того, с учётом (366)—(368) диагональные и
контрадиагональные формы как структуры повторяются в базисах через согласованные прямые тензорные углы или кратные им. Они же как структуры устойчивы к согласованным с ними рефлексиям. Ввиду изложенного сформулируем основной результат.
Пара несингулярных простых матриц Р1 и Р2 антикоммутативна тогда и только тогда, когда базисы их диагональных форм связаны в общем случае аффинной сферической ротацией на согласованный тензорный угол
Антикоммутативные несингучярные простые
матрицы имеют обязательно четный размер. Антикоммутативные сингулярные простые матрицы имеют необходимо согчасованные биортогональные блоки, приводимые к диагональной форме в общем базисе (В гиперболической трактовке - вышеуказанному сферическому углу отвечает его гиперболический аналог
Обратим внимание на следующее: если ротационная и внешняя модальная матрицы согласованы по 2×2-клеткам, то 
Например, именно так согласованы модальные матрицы, применяемые после преобразования VW.
Ниже рассмотрены характерные частные случаи, имеющие отношение к тензорной тригонометрии. Имеем:
![]()
Р1 = S1, Р2 = S2 - антикоммутативные вещественные нормальные матрицы или комплексные адекватно нормальные матрицы. Причём они либо симметричны, либо кососимметричны, что отвечает трём вариантам пар S1 и S2, S и К, К1 и К2, как указано ниже:
![]()
P1=S1, P2 = S2, S12 + S22 = I. Этот случай соответствует (183).
![]()
![]()
P1 = S, P2 = K, S2-K2 = I. Этот случай соответствует (209).
![]()
![]()
Дополнительно рассмотрим отвечающие им примеры комплексных эрмитово нормальных пар антикоммутативных матриц N1 и N2. Имеем:

По прежнему,

В более сложных случаях имеем:
![]()
Р1 = N1 Р2 = N2 - антикоммутативные комплексные эрмитово нормальные матрицы В частности, они могут быть эрмитовыми и косоэрмитовыми, что соответствует парам Н1 и Н2, Н и Q, Q1 и Q2.
(372)
где ![]()
Ротационная матрица (372) есть частный случай (371) В том числе, при β = π/4 имеем модальную матрицу
соответ-
ствующую комплексному бинарному декартову базису. Более общо:
что тождественно по
результату рефлективному преобразованию (271). В самом же общем случае формула (372) выражает
в эрмитово ортогональном
базисе с углом комплексного сдвига β12. В вариантах (367), (368) имеем


P1 = H1, P2 = Н2 - антикоммутативная пара эрмитовых матриц. В случае
это суть эрмитизированные проективные косинус и синус


Р1= Н, Р2 = Q - антикоммутативная пара из эрмитовой и косоэрмитовой матриц. В случае
это суть эрмитизированные проективные
секанс и тангенс ( Н2 - Q2 = I)

Таким образом, мы выявили все основные типы антикоммутативных пар простых матриц, представляющие интерес в изучаемой тензорной тригонометрии
Микромодуль 38.
Тригонометрические спектры и неравенства
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 |


