WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

Pages:     | 1 |   ...   | 8 | 9 || 11 | 12 |   ...   | 43 |

sec2 Ф - tg2 Ф = I = sec2 Ф + (i·tg Ф)2, (208) sec Ф·tg Ф = - tg Ф·sec Ф, (209) sec2 Ф·tg2 Ф = tg2 Ф·sec2 Ф. (210) Правило №1. Квадраты и любые чётные степени тензорных тригонометрических функций коммутативны между собой и с характеристическими проекторами, когда они относятся к одной и той же паре линеоров или планаров.

Аналогично (176)–(179), но для нуль-простой матрицы, определяются аффинные рефлекторы:

(В - В) = Ref{В} = sec Ф - i·tg Ф, (211) (В - В) = Ref{В} = sec Ф + i·tg Ф = Ref {В}. (212) В случае пространства с евклидовой метрикой они суть сферически косогональные рефлекторы и вместе с тем – характеристические квадратные корни типа I. Если тензорный угол между ‹im B› и ‹im B› ненулевой, то корни (211), (212) обязательно несимметричны.

§ 5.4. Сопоставление двух способов задания тензорных углов В самом общем случае тензорные рефлекторы могут обозначаться как Ref {Bp}, где Вр – нуль-простая матрица. При этом планар ‹im Bp› есть линейное зеркало, от которого происходит отражение параллельно планару ‹ker Bp›.

§ 5.4. Сопоставление двух способов задания тензорных углов – через прямоугольные и через квадратные сингулярные матрицы Возникает вопрос, когда проективный тензорный угол и его тригонометрические функции, определяемые либо через А1 и А2, либо через В, тождественны Пусть в соответствии с (151) и (152) имеем:

В = А1·А2, В = А2·А1, (213), (214) С = А1·А2, С = A2·A1. (215), (216) Прежде всего отметим, что матрицы A1 и А2 здесь необходимо имеют одинаковый размер. Из равенства тензорных углов следует равенство всех одноимённых ортопроекторов и обратно:

sin Ф = sin Ф tg Ф = tg Ф A1A1 = BB 12 B 12 В Ф = Ф 12 В cos Ф = cos Ф sec Ф = sec Ф A2A2 = BB.

12 В 12 В (Но A1A2 = B справедливо по исходному определению A1A2 = B;

это дополнительное соотношение определяется только фактом существования косопроекторов – см. § 2.1.) В свою очередь, равенство ортопроекторов тождественно взаимосвязанным условиям:

‹im A1› ‹im B› ‹ker A2› ‹ker B› (217),(218) ‹im A2› ‹im B› ‹ker A1› ‹ker B›. (219),(220) Вначале рассмотрим условие (217), тождественное (220):

‹im B› A1·‹im A2› A1·A2 = B, ‹im A1› A1·‹A r2› A1·‹im A2 ker A2›.

Отсюда следует, что выполнение (217) тождественно двум условиям:

‹im А2› ‹ker А1› = 0, (221) ‹ker А2› ‹ker A1›.

80 Глава 5. Тензорная евклидова и квазиевклидова тригонометрия Аналогичный подход применим к условию (219), тождественному (218):

‹im А1› ‹ker А2› = 0, (222) ‹ker А1› ‹ker A2›.

То есть выполнение двух независимых условий (217) и (219) равносильно тому, что A1A1 = A2A2 A1A1 = A2A2 ‹im A1› ‹im A2› ‹ker A1› ‹ker A2›, (223) где необходимо r1 = r2 m.

Ответ на поставленный выше вопрос заключается в выполнении необходимого и достаточного условия (223). В частности, оно соблюдается, когда r1 = r2 = r = m. Тогда ‹ker А1› ‹ker А2› = 0, ‹im А1› ‹im А2› ‹A r›.

Этот упрощённый вариант, как правило, подразумевается при использовании внешних и внутренних произведений типа (213) – (216), то есть при условии:

ri = r2 = r = m < n. (224) Например, такой вариант имеет место для пары векторов. Согласно (120) и (213) – (216), имеем:

k(B,r) = k(B,r) = det С = det С. (225) При условии (224) имеем:

А1А1 = ВB, (226) А2А2 = ВВ.

Для нуль-простой матрицы ‹im В› ‹ker В› = 0; k(B, r) = det С 0.

В частности, для нуль-нормальной матрицы имеем ‹im В› ‹im B› и в соответствии с (97) получаем:

k(BB,r) = k(BB,r) = k2(B,r) = det2 С > 0.

Для нуль-дефектной матрицы имеем: ‹im В› ‹ker В› 0;

k(B,r) = det С = 0. Скалярная характеристика det С = det (A1·A2) § 5.4. Сопоставление двух способов задания тензорных углов в евклидовом пространстве, при условии (224), играет также роль критерия хотя бы частичной ортогональности линеоров или планаров.

С другой стороны, определитель det G = det [(A1|A2)(A1|A2)] в аффинном пространстве играет роль критерия хотя бы частичной их параллельности.

det G = 0 ‹im A1› ‹im A2› 0, (227) det G 0 ‹im A1› ‹im A2› = 0, (228) det C = 0 ‹im A1› ‹ker A2› 0 ‹im A2› ‹ker A1› 0, (229) det C 0 ‹im A1› ‹ker A2› = 0 ‹im A2› ‹ker A1› = 0, (230) где для евклидова пространства ‹ker А› ‹im A›.

Полная параллельность линеоров или планаров отвечает нульнормальной матрице. Согласно (97) и (132), это тождественно соотношению:

|det C| = |k(Bm,r)| = k (Bm Bm,r) = Mt (r)(A1·A2) = Mt (r)A1·Mt (r)A2= = det A1A1· det A2A2. (231) С учётом (224) это же соответствует отношению параллельности (153).

Впоследствии формула (231) получит тригонометрическую трактовку.

В свою очередь, полная ортогональность линеоров или планаров отвечает нильпотентной матрице 2-го порядка: В2 = Z (С = Z). С учётом (224) это же в евклидовом пространстве соответствует отношению ортогональности (155):

‹im A1› ‹im B› ‹ker B› ‹ker A2› ‹im A2› ‹im B› ‹ker B› ‹ker A1›.

Тензорный угол Ф и его тригонометрические функции имеют, конечно, более общий характер, нежели Ф и его функции, так как B они допускают исходно использование матриц A1 и А2 размера nrи nr2, где r1 и r2 не обязательно равны. Например, если r2 r1, то общая параллельность линеоров А1 и А2 сводится к отношению (154).

С другой стороны, при любом соотношении r1 и r2 общая ортогональность линеоров А1 и А2 сводится к отношению (155). Тождественность Ф и Ф определяется условием (223).

В В тензорной тригонометрии в зависимости от конкретных задач применяется та или иная форма представления тензорных углов и их функций.

82 Глава 5. Тензорная евклидова и квазиевклидова тригонометрия § 5.5. Канонические монобинарные клеточные формы сферических тензорных тригонометрических функций и рефлекторов Параллельность и ортогональность линейных объектов являются только крайними случаями для тензорных углов между ними. Далее, чтобы выполнить полный анализ такого рода отношений, нужно вышеуазанные проективные тригонометрические функции представить в канонической форме, найти их собственные значения и установить информативные скалярные характеристики тензорного угла. Обратимся к разностям ортопроекторов типа (163), которые выражают проективный синус в двух вариантах. Согласно (182) – (184), собственные значения синуса и косинуса суть вещественные числа, находящиеся в интервале -1 +1:

2 + = 1. (232) sin cos В евклидовом пространстве указанные собственные значения связаны с некоторыми характеристическими скалярными углами. Обратим внимание на то, что используемые в обоих вариантах разностей (163) характеристические проекторы попарно ортогональны. Ввиду симметричности этих проекторов им же соответствуют четыре собственных подпространства: ‹im А1›, ‹im А2›, ‹ker А1›, ‹ker А2›.

Причём имеем:

‹im А1› ‹ker А1›, ‹im А1› ‹ker А1› ‹E n›, (233) ‹im А2› ‹ker А2›, ‹im А2› ‹ker А2› ‹E n›.

В первом варианте (163) синус рассматривается на подпространстве ‹im A1 U im A2›, a во втором варианте – на ‹ker A1 U ker А2 ›. Напротив, в первом варианте (171) косинус рассматривается на подпространстве ‹im A2 U ker А1›, а во втором варианте – на ‹im A1 U ker А2›. Пусть для определённости: r2 r1, r1 + r2 n. Исходное евклидово пространство по отношению к вышеуказанным вариантам разностей проекторов распадается в общем случае на четыре базисных подпространства как в синусном, так и в косинусном вариантах (рис. 2). Эти подпространства попарно ортогональны при условиях:

sin ± 1, cos ± 1. (234) В свою очередь, при данных условиях подпространства пересечений и их размерности выражаются в виде:

‹P3› ‹ker A1 ker A2›, dim ‹P3› = n - (r1 + r2);

‹P4› ‹im A2 ker A1›, dim ‹P4› = r2 – r1.

§ 5.5. Канонические монобинарные клеточные формы функций im A1 ker A sin (+1) + sin i (0) (+1) (0) (0) - sin i (-1) sin P11 P4 P3 Pim A2 ker A cos (0) + cos i (+1) (0) (-1) (-1) - cos i (0) cos P21 P4 P3 Pker A1 im A r1 r2 - r1 n - (r1 + r2) rn Рис. 2. Распределение собственных значений проективных тензорных синуса и косинуса по характеристическим подпространствам:

P11, P12, P3 и P4 – в синусном варианте;

P21, P22, P3 и P4 – в косинусном варианте (условно принято, что r2 r1, r1 + r2 n).

Выделим собственное бинарное тригонометрическое подпространство в двух вариантах его бинарного разложения на прямые ортогональные суммы – синусном и косинусном:

‹P11 P12› ‹P21 P22›. (235) (Оно имеет всегда чётную размерность 2 - тригонометрический ранг угла.) Здесь = min {r1, r2, (n – r1), (n – r2)} – количество бинарных собственных углов i. Но в данном случае = r1. Собственные значения тригонометрических функций во взаимных подпространствах (235) попарно равны по абсолютной величине, так как стороны собственных углов в силу (233) попарно ортогональны. Но эти собственные значения противоположны по знаку, так как порядки следования проекторов в обоих вариантах (163) и (171) взаимно обратны.

Ввиду симметричности проективного косинуса и синуса последние приводятся к диагональной форме посредством ортогонального 84 Глава 5. Тензорная евклидова и квазиевклидова тригонометрия модального преобразования. Для того чтобы собственные значения углов и функций имели тригонометрический смысл, здесь используется евклидово пространство с заданием в нём исходного декартова базиса.

Каждой i-й бинарной тригонометрической клетке в (235) соответствует i-я собственная евклидова плоскость. На этой плоскости имеется пара ортогональных собственных вектор-осей тензорного косинуса ui и vi.

Им отвечают собственные значения косинуса « + cos i » и « - cos i » (- /2 i + /2 ), где i – собственные значения тензорных углов между планарами (а не линеорами!). Эти, пока неориентированные собственные векторы задают 1-ю и 2-ю декартовы оси на собственной плоскости. С целью придания канонической формы проективным тригонометрическим функциям расположим тригонометрические клетки вдоль главной диагонали в направлении увеличения значений |cos i|; затем по диагонали расположим моноклетки, соответствующие ‹P3› и ‹P4›. Далее установим парное соответствие между исходными и новыми декартовыми осями: ‹x1 u1, x2 v1›, …, ‹x2i - 1 ui, x2i vi›,...,‹x2 - 1 u, x2 v›,.... Выбираем ориентацию новых осей так, чтобы углы между ними в этих парах были острыми.

Согласно (232), квадраты проективных функций в пределах тригонометрической 22-клетки имеют парные собственные значения.

В силу условия коммутативности квадратов (184) диагональные формы квадратов синуса и косинуса реализуются в одном и том же декартовом базисе:

cos2 i sin2 i sin2 Ф =, cos2 Ф =.

12 0 cos2 i 0 sin2 i 0 ‹P3› 1 ‹P4› Из условия антикоммутативности проективных функций (183) и их симметричности следует, что в базисе диагонального косинуса они имеют канонические формы:

0 i cos i + sin + sin Ф =, cos Ф =. (236), (237) 12 cos i sin i 0 - + ‹P3› –+1 ‹P4› (r2 > r1) ( r1 + r2 < n) § 5.5. Канонические монобинарные клеточные формы функций В (236) из двух возможных контрадиагональных форм синуса – положительной и отрицательной выбрана первая, что соответствует определениям (163), (171). См. также об этих простейших формах далее в § 7.2. Заметим, что для угла ФB подпространство ‹P4› нулевое, а dim ‹P3› = |n – 2r|. Согласно (199) и (204), имеем:

tg i i - + sec sec Ф =, i·tg Ф =. (238), (239) B B 0 – tg i sec i + –‹P3› (2r < n) Формулы (236)–(239) представляют проективные тригонометрические функции в канонической W-форме (§ 4.1) в ориентированном базисе диагонального косинуса. Их базис определяется как тригонометрический. При тех же условиях (234) имеем:

Si = {cos2 Ф - cos2 i·I} = {sin2 Ф - sin2 i·I} = Si1 + Si2 ;

Si1 = {cos Ф - cos i·I}, Si2 = {cos Ф + cos i·I}; (240) S(3) = sin Ф; S(4) = cos Ф.

Это суть ортопроекторы, осуществляющие проецирование на характеристические подпространства: i-я тригонометрическая клетка, оси ui и vi, ‹P3› и ‹P4›. Они же своими базисными столбцами (строками) задают эти подпространства. Если некоторые i совпадают, то i-я тригонометрическая клетка расширяется; требуется ортогонализация однородных осей для восстановления бинарной структуры.

Возвратимся к условиям (234). Они были приняты ранее для упрощения процесса разбиения на характеристические базисные подпространства. Но пусть, например, cos i = +1 (sin i = 0) с кратностью на ‹P21› (рис.2); = dim ‹im А1 im A2›. Тогда этому значению косинуса, в свою очередь, на ‹P22› соответствует cos i = -1 с той же кратностью (в силу обратного порядка расположения проекторов).

Собственное значение косинуса «-1» теперь относится и к ‹P3›, как ранее, и к ‹P22›. Для отделения собственного тригонометрического подпространства от ‹P3› нужно ортогонализовать собственные векторы косинуса с = -1. При этом устанавливается парная ортогональность ‹P3› и ‹P22›. Аналогично поступают, если на ‹P11› окажутся значения sin i = +1 (cos i = 0) с кратностью = dim ‹ im A1 ker A2› (рис.2).

Тогда на ‹P12› им соответствуют sin i = -1 с той же кратностью.

Собственное значение синуса «+1» теперь относится и к ‹P4›, как ранее, 86 Глава 5. Тензорная евклидова и квазиевклидова тригонометрия и к ‹P11›. Для отделения собственного тригонометрического подпространства от ‹P4› нужно ортогонализовать собственные векторы синуса с = +1. При этом устанавливается парная ортогональность ‹P3› и ‹P4›.

Кроме того, если вопреки принятому ранее, r1 > r2, то ‹P4› ‹ im A1 ker A2›. Если же r1 + r2 > n, то ‹P3› ‹ im A1 im A2›.

Сообразно этому изменяют знаки единичных собственных значений на ‹P3› и ‹P4›.

Используемые в работе базисы суть правые, в том числе исходный n ортогональный базис в ‹E › (det {R} = +1), а также ортогональные базисы на собственных плоскостях ‹ui, vi›, составляющие вместе тригонометрический базис (его бинарную часть). В тригонометрическом базисе находят с точностью до знака контрадиагональные значения синуса, согласно форме (236). При этом знаки при косинусе определяются строго в соответствии с формой (237). Тогда величина и знак угла i строго определяют его положение в интервале [- /2 + /2].

Направление отсчёта скалярного угла i на собственной плоскости с правым декартовым базисом, как общепринято, выбрано против часовой стрелки. Заметим, что вышеуказанный интервал изменения собственных значений углов i относится к угловым отношениям планаров (а не линеоров!). В том же тригонометрическом базисе (то есть базисе диагонального косинуса) определяются канонические формы характеристических ортогональных (176), (177) и аффинных (211), (212) рефлекторов:

Pages:     | 1 |   ...   | 8 | 9 || 11 | 12 |   ...   | 43 |



© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.