Вы находитесь на странице: 1из 10

Проблемы физики, математики и техники, № 4 (13), 2012

МАТЕМАТИКА
УДК 512.548
СОПРЯЖЕННЫЕ ВЕКТОР-МАТРИЦЫ
И ПРОСТРАНСТВЕННЫЕ МАТРИЦЫ
А.М. Гальмак
Могилёвский государственный университет продовольствия, Могилёв

THE CONUJGATE VECTOR-MATRIX AND SPACEMATRIX


A.M. Gal'mak
Mogilev State University of Food Technologies, Mogilev

В статье определяются и изучаются комплексно сопряженные и эрмитово сопряженные вектор-матрицы и пространст-


венные матрицы.

Ключевые слова: матрица, вектор-матрица, пространственная матрица.

The conujgate vector-matrix and spacematrix are defined and studied in this paper.

Keywords: matrix, vector-matrix, spacematrix.

Введение у которой каждая компонента A*j является эрми-


Многоместные операции на множествах
тово сопряженной с компонентой Aj вектор-
упорядоченных наборов обычных матриц изуча-
матрицы A.
ли Э. Пост [1] и А.К. Слипенко [2]. Упорядочен-
Ясно, что для действительной вектор-мат-
ные наборы матриц, имеющие k компонент, в
рицы A, то есть вектор-матрицы, у которой все
дальнейшем будем называть k-компонентными
компоненты являются действительными матри-
вектор-матрицами. В [3] для произвольных це-
цами, вектор-матрицы A*и A ′ совпадают, где
лых k ≥ 2, l ≥ 2 и любой подстановки σ из Sk на
A ′ – транспонированная вектор-матрица [5].
множестве всех k-компонентных вектор-матриц
Замечание 1.1. Так как всякий элемент
над ассоциативным кольцом была определена
λ ∈ C можно рассматривать как квадратную
частичная l-арная операция [ ]l, σ, k, которая явля-
ется l-арным аналогом бинарной операции ум- матрицу первого порядка, то упорядоченный
ножения обычных матриц. В [4] аналогичные набор λ = (λ1, …, λk) элементов λ1, …, λk из C
l-арные операции были определены для про- является вектор-матрицей первого порядка, для
странственных матриц. В данной работе опреде- которой, согласно определениям 1.1 и 1.2,
ляются и изучаются комплексно сопряженные и λ = (λ1 , … , λk ) , λ * = (λ1* , … , λk* ) .
эрмитово сопряженные вектор-матрицы и про- Каждое из восьми равенств в следующем
странственные матрицы. предложении является следствием соответст-
вующего равенства для обычных матриц.
1 Сопряженные вектор-матрицы Предложение 1.1. Пусть A и B – произ-
Сумма вектор-матриц A = (A1, …, Ak) и вольные k-компонентные вектор-матрицы над
B = (B1, …, Bk) одинаковых размеров над коль- C. Тогда:
цом P, а также произведение элемента λ ∈ P на 1) если A и B имеют одинаковые размеры, то
вектор-матрицу A определяются покомпонентно: A + B = A + B, (A + B)* = A* + B*;
A + B = (A1 + B1, …, Ak + Bk), 2) если λ ∈ C, то
λA = (λA1, …, λAk).
Определение 1.1. Для всякой вектор-матри- λA = λ A, (λA)* = λ A*;
цы A = (A1, …, Ak) над C назовем комплексно 3) операция транспонирования перестано-
сопряженной вектор-матрицу A = ( A1 , … , Ak ), у вочна и с операцией комплексного сопряжения, и
с операцией эрмитового сопряжения, то есть
которой каждая компонента Aj является ком-
A ′ = A′, (A′)* = (A* )′;
плексно сопряженной с компонентой Aj вектор-
4) операции комплексного сопряжения и эр-
матрицы A.
митового сопряжения инволютивны, то есть
Определение 1.2. Для всякой вектор-матри-
цы A = (A1, …, Ak) над C назовем эрмитово A = A, (A* )* = A.
сопряженной вектор-матрицу A* = ( A1* , … , Ak* ),
© Гальмак А.М., 2012
40
Сопряженные вектор-матрицы и пространственные матрицы

Теорема 1.1. Пусть σ – подстановка из Sk, 2 Следствия из теоремы 1.1


удовлетворяющая условию σl = σ, Если k-компонентные квадратные вектор-
Ai = (Ai1, …, Aik), i = 1, …, l (1.1) матрицы
A1 = (A11, …, A1k), …, A1 = (Al1, …, Alk)
такие вектор-матрицы над C, что определена
над C таковы, что для любого j = 1, …, k мат-
вектор-матрица
рицы
[A1A2 … Al]l, σ, k. (1.2)
A1 j , A2σ( j ) , …, A(l −1)σl −2 ( j ) , Alσl −1 ( j ) (2.1)
Тогда определены вектор-матрицы
имеют одинаковый порядок, то существует вектор-
[ A1 A 2 … A l ]l , σ, k , [ A1 A 2 … A l ]l , σ, k , (1.3) матрица (1.2). Поэтому из теоремы 1.1 вытекает
[A1A2 … Al ]* , [ A*l … A*2 A1* ]l , σ−1 , k (1.4) Следствие 2.1. Пусть σ – подстановка из
Sk, удовлетворяющая условию σl = σ, вектор-
l , σ, k

и верны равенства
матрицы (1.1) являются квадратными и для лю-
[ A1 A 2 … A l ]l , σ, k = [ A1 A 2 … A l ]l , σ, k , (1.5) бого j = 1, …, k матрицы (2.1) имеют одинаковый
порядок. Тогда верны равенства (1.5) и (1.6).
[A1A2 … Al ]* = [ A*l … A*2 A1* ]l , σ−1 , k . (1.6)
l , σ, k Следствие 2.2. Пусть σ – подстановка из
Доказательство. Так как UV = UV для Sk, удовлетворяющая условию σl = σ, A1 … Al –
k-компонентные квадратные вектор-матрицы
обычных матриц, то
над C одного и того же порядка n. Тогда верны
A1 j A2σ( j ) … Alσl −1 ( j ) = A1 j A2σ( j ) … Alσl −1 ( j ) (1.7) равенства (1.5) и (1.6).
для любого j = 1, …, k. Левая (правая) часть по- Если σ – цикл длины t из Sk, m ≥ 1,
следнего равенства является j-ой компонентой l = mt + 1, то σl = σ. Поэтому имеют место сле-
первой (второй) вектор-матрицы из (1.3), то есть дующие три следствия.
обе указанные вектор-матрицы существуют. Ра- Следствие 2.3. Пусть σ – цикл длины t из
венство (1.5) вытекает из (1.7). S k, m ≥ 1
Существование первой матрицы в (1.4) явля- Ai = (Ai1, …, Aik), i = 1, …, mt + 1 (2.2)
ется следствием существования матрицы (1.2). такие вектор-матрицы над C, что определена
Выпишем j-ую компоненту вектор-матрицы вектор-матрица [A1 … Amt+1]mt+1, σ, k. Тогда опре-
(1.2): делены вектор-матрицы
Yj = A1jA2σ(j) … A(l −1)σ l −2 ( j ) Alσ l −1 j = [ A1 … A mt +1 ]mt +1, σ, k , [ A*mt +1 … A1* ]mt +1, σ -1 , k

= A1jA2σ(j) … A(l −1)σ l −2 ( j ) Alj , j = 1, …, k. и верны равенства


[ A1 … A mt +1 ]mt +1, σ, k = [ A1 … A mt +1 ]mt +1, σ, k , (2.3)
Если положить τ = σ –1, то из условия σl = σ
получаем [ A1 … A mt +1 ]*mt +1, σ, k = [ A*mt +1 … A*1 ]mt +1, σ-1 , k . (2.4)
τ = σl–2, …, τl–2 = σ, τl–1 = ε, τl = τ. (1.8) В частности, если m = 1, то
Обозначив j-ую компоненту вектор-матрицы в [ A1 … A t +1 ]t +1, σ, k = [ A1 … A t +1 ]t +1, σ, k , (2.5)
левой части (1.6) через Uj, и используя соответ-
ствующий бинарный результат и (1.8), получим [ A1 … A ] *
t +1 t +1, σ, k = [ A … A ]t +1, σ-1 , k .
*
t +1
*
1 (2.6)
Uj = Y j* = ( A1 j A2σ( j ) … A(l −1)σl −2 ( j ) Alj )* = Следствие 2.4. Пусть σ – цикл длины t из
Sk, m ≥ 1, вектор-матрицы (2.2) являются квад-
= Alj* A(*l −1)σl −2 ( j ) … A2σ(
* *
j ) A1 j = ратными, и для любого j = 1, …, k матрицы
Alj* A(*l −1)τ( j ) … A2τ
*
l −2 A* , A1 j , A2σ( j ) , …, A( mt )σmt −1 ( j ) , A( mt +1)σmt ( j ) = A( mt +1) j
( j) 1 j
имеют один и тот же порядок. Тогда верны
то есть
равенства (2.3) и (2.4). В частности, если m = 1,
Uj = Alj* A(*l −1) τ( j ) … A2τ
*
l −2 A* .
( j) 1 j
(1.9) то верны равенства (2.5) и (2.6).
Так как Следствие 2.5. Пусть σ – цикл длины t из
A*i = ( Ai*1 , …, Aik* ), i = 1, …, l, Sk, m ≥ 1, A1 … Amt+1 – k-компонентные квадрат-
ные вектор-матрицы над C одного и того же
то из (1.9) вытекает, что определена вторая век-
порядка n. Тогда верны равенства (2.3) и (2.4). В
тор-матрица из (1.4), j-ая компонента которой
частности, если m = 1, то верны равенства (2.5)
совпадает с правой частью (1.9). Так как для лю-
и (2.6).
бого j = 1, …, k j-ые компоненты в левой и пра-
Полагая в следствиях 2.3–2.5 t = k, получим
вой частях равенства (1.6) совпадают, то указан-
еще три следствия.
ное равенство верно. Теорема доказана.
Замечание 1.2. Равенство (1.6) может быть Следствие 2.6. Пусть σ – цикл длины k из
получено как следствие равенства (1.5) и равен- Sk, m ≥ 1,
ства (2.4) из [5] для транспонированных вектор- Ai = (Ai1, …, Aik), i = 1, …, mk + 1 (2.7)
матриц.
Problems of Physics, Mathematics and Technics, № 4 (13), 2012 41
А.М. Гальмак

такие вектор-матрицы над C, что определена имеют одинаковый порядок. Тогда верны равен-
вектор-матрица [A1 … Amk+1]mk+1, σ, k. Тогда оп- ства (2.13) и (2.14). В частности, если m = 1, то
ределены вектор-матрицы верны равенства (2.15) и (2.16).
[ A1 … A mk +1 ]mk +1, σ, k , [ A*mk +1 … A1* ]mk +1, σ−1 , k Следствие 2.11. Пусть σ = (12 … k), m ≥ 1,
A1, …, Amk+1 – k-компонентные квадратные век-
и верны равенства тор-матрицы над C одного и того же порядка
[ A1 … A mk +1 ]mk +1, σ, k = [ A1 … A mk +1 ]mk +1, σ, k , (2.8) n. Тогда верны равенства (2.13) и (2.14). В част-
ности, если m = 1, то верны равенства (2.15) и
[A … Amk+1 ]*mk +1, σ, k = [ A*mk +1 … A1* ]mk +1, σ−1 , k . (2.9) (2.16).
Так как для любой транспозиции σ ∈ Sk
В частности, если m = 1, то
верно σ = σ–1, то, полагая в следствиях 2.3–2.5
[ A1 … A k +1 ]k +1, σ, k = [ A1 … A k +1 ]k +1, σ, k , (2.10) t = 2, получим еще три следствия.
Следствие 2.12. Пусть σ – транспозиция из
[ A1 … A k +1 ]*k +1, σ, k = [ A*k +1 … A1* ]k +1, σ-1 , k . (2.11)
S k, m ≥ 1
Следствие 2.7. Пусть σ – цикл длины k из A1 = (A11, …, A1k), …,
Sk, m ≥ 1, вектор-матрицы (2.7) являются квад- A2m+1 = (A(2m+1)1, …, A(2m+1)k) (2.17)
ратными и для любого j = 1, …, k матрицы такие вектор-матрицы над C, что определена
A1 j , A2σ( j ) , …, A( mk )σmk −1 ( j ) , A( mk +1)σmk ( j ) = A( mk +1) j вектор-матрица [A1 … A2m+1]2m+1, σ, k. Тогда оп-
ределены вектор-матрицы
имеют одинаковый порядок. Тогда верны равен-
ства (2.8) и (2.9). В частности, если m = 1, то [ A1 … A 2 m +1 ]2 m +1, σ, k , [ A*2 m +1 … A1* ]2 m +1, σ, k
верны равенства (2.10) и (2.11). и верны равенства
Следствие 2.8. Пусть σ – цикл длины k из
[ A1 … A 2 m +1 ]2 m +1, σ, k = [ A1 … A 2 m +1 ]2 m +1, σ, k , (2.18)
Sk, m ≥ 1, A1, …, Amk+1 – k-компонентные квад-
ратные вектор-матрицы над C одного и того [A1 … A2m+1 ]*2 m +1, σ, k = [ A*2 m +1 … A1* ]2 m +1, σ, k . (2.19)
же порядка n. Тогда верны равенства (2.8) и
(2.9). В частности, если m = 1, то верны равен- В частности, если m = 1, то
ства (2.10) и (2.11). [ A1 A 2 A 3 ]3, σ, k = [ A1 A 2 A 3 ]3, σ, k , (2.20)
Полагая в следствиях 2.6–2.8 σ = (12 … k),
получим еще три следствия. [ A1 A 2 A 3 ]*3, σ, k = [ A*3 A*2 A1* ]3, σ, k . (2.21)
Следствие 2.9. Пусть σ = (12 … k), m ≥ 1, Следствие 2.13. Пусть σ – транспозиция из
Ai = (Ai1, …, Aik), i = 1, …, mk + 1 (2.12) Sk, m ≥ 1, вектор-матрицы (2.17) являются квад-
такие вектор-матрицы над C, что определена ратными, и для любого j = 1, …, k матрицы
вектор-матрица [A1 … Amk+1]mk+1, (12…k), k. Тогда A1 j , A2σ( j ) , …, A2 mσ2 m−1 ( j ) , A(2 m +1)σ2 m ( j ) = A(2 m +1) j
определены вектор-матрицы
имеют один и тот же порядок. Тогда верны
[ A1 … A mk +1 ]mk +1, (12…k ), k , [ A*mk +1 … A1* ]mk +1, ( k…21), k
равенства (2.18) и (2.19). В частности, если
и верны равенства m = 1, то верны равенства (2.20) и (2.21).
[ A1 … A mk +1 ]mk +1, (12…k ), k = Следствие 2.14. Пусть σ – транспозиция из
Sk, m ≥ 1, A1, …, A2m+1 – k-компонентные квад-
= [ A1 … A mk +1 ]mk +1, (12…k ), k , (2.13) ратные вектор-матрицы над C одного и того
же порядка n. Тогда верны равенства (2.18) и
[A … Amk+1 ]*mk +1, (12…k ), k = (2.19). В частности, если m = 1, то верны равен-
= [ A*mk +1 … A1* ]mk +1, ( k…21), k . (2.14) ства (2.20) и (2.21).
Полагая в следствиях 2.12–2.14 k = 2, полу-
В частности, если m = 1, то чим еще три следствия.
[ A1 … A k +1 ]k +1, (12…k ), k = Следствие 2.15. Пусть σ = (12) ∈ S2, m ≥ 1,
A1 = (A11, A12), …, A2m+1 = (A(2m+1)1, A(2m+1)2) (2.22)
= [ A1 … A k +1 ]k +1, (12…k ), k , (2.15)
такие вектор-матрицы над C, что определена
[ A1 … A ]*
k +1 k +1, (12…k ), k = вектор-матрица [A1 … A2m+1]2m+1, (12), 2. Тогда
определены вектор-матрицы
= [ A*k +1 … A1* ]k +1, ( k…21), k . (2.16)
[ A1 … A 2 m +1 ]2 m +1, (12), k , [ A*2 m +1 … A1* ]2 m +1, (12), 2
Следствие 2.10. Пусть σ = (12 … k), m ≥ 1,
и верны равенства
вектор-матрицы (2.12) являются квадратными
и для любого j = 1, …, k матрицы [ A1 … A 2 m +1 ]2 m +1, (12), k =
A1 j , A2σ( j ) , …, A( mk )σmk −1 ( j ) , A( mk +1)σmk ( j ) = A( mk +1) j = [ A1 … A 2 m +1 ]2 m +1, (12), k , (2.23)

42 Проблемы физики, математики и техники, № 4 (13), 2012


Сопряженные вектор-матрицы и пространственные матрицы

[A1 … A2m+1 ]*2 m +1, (12), 2 = [ A1 A 2 A 3 A 4 ]*4, (123), 3 =


= [ A*2 m +1 … A1* ]2 m +1, (12), 2 . (2.24) ⎛1⎞
= ( ⎜ ⎟ , (1 i ) , ( −3 + 2i 1 − 5i ) ). (2.27)
В частности, если m = 1, то ⎝ -1⎠
[ A1 A 2 A 3 ]3, (12), k = [ A1 A 2 A 3 ]3, (12), k , (2.25) Так как
⎛ −1⎞
[ A1 A 2 A ] *
= [A A A ]
* * *
. (2.26) ⎜ ⎟ ⎛ −i 1 + i ⎞
3 3, (12), 2 3 2 1 3, (12), 2
A1 = ( ⎜ 0 ⎟ , ( −i 1) , ⎜
*
⎟ ),
Следствие 2.16. Пусть σ = (12) ∈ S2, m ≥ 1, ⎜ −i ⎟ ⎝0 1 ⎠
⎝ ⎠
2-компонентные вектор-матрицы (2.22) явля-
ются квадратными, компоненты A11, A22, A31, …, ⎛ −i −1 1 ⎞ ⎛ 1 ⎞
A*2 = ( (1 0 ) , ⎜ ⎟ , ⎜ ⎟ ),
…, A(2m)2, A(2m+1)1 имеют один и тот же порядок, ⎝ 0 1 −i ⎠ ⎝ −1⎠
один и тот же порядок имеют также компо-
ненты A12, A21, A32, …, A(2m)1, A(2m+1)2. Тогда верны ⎛ −i 1 ⎞ ⎛ −i ⎞
⎜ ⎟ ⎜ ⎟
равенства (2.23) и (2.24). В частности, если A = ( ⎜ −1 0 ⎟ , ⎜ 1 ⎟ , (1 − i i ) ),
*
3
m = 1, то верны равенства (2.25) и (2.26). ⎜ 1 i ⎟ ⎜ −1⎟
Следствие 2.17. Пусть σ = (12) ∈ S2, m ≥ 1, ⎝ ⎠ ⎝ ⎠
A1, …, A2m+1 – 2-компонентные квадратные век- ⎛i ⎞
тор-матрицы над C одного и того же порядка A*4 = ( ⎜ ⎟ , ( −i i i ) , (1 − i −i 1 + i ) ),
⎝ −i ⎠
n. Тогда верны равенства (2.23) и (2.24). В част- –1
ности, если m = 1, то верны равенства (2.25) и то, ввиду σ = (132), имеем
(2.26). [ A*4 A*3 A*2 A1* ]4, (132), 3 =
Замечание 2.1. Следствия 2.15 – 2.17 могут
быть получены из следствий 2.9–2.11 при k = 2. ⎛ −1⎞
⎛i ⎞ ⎛ −i −1 1 ⎞ ⎜ ⎟
Пример 2.1. Пусть k = 3, l = 4, σ = (123) ∈ S3, = ( ⎜ ⎟ (1 − i i ) ⎜ ⎟ ⎜ 0 ⎟,
P = C, ⎝ −i ⎠ ⎝ 0 1 −i ⎠ ⎜ ⎟
⎝ −i ⎠
⎛i⎞ ⎛ i 0⎞
A1 = ( ( −1 0 i ) , ⎜ ⎟ , ⎜ ⎟ ), ⎛ −i 1 ⎞
⎝ 1⎠ ⎝1 − i 1 ⎠ ⎛1⎞
( −i i i ) ⎜⎜ −1 0 ⎟⎟ ⎜ ⎟ ( −i 1) ,
⎛ i 0⎞ ⎜ 1 i ⎟ ⎝ −1⎠
⎛1⎞ ⎜ ⎟ ⎝ ⎠
A2 = ( ⎜ ⎟ , ⎜ −1 1 ⎟ , (1 −1) ),
0
⎝ ⎠ ⎜ 1 i⎟ ⎛ −i ⎞
⎛ −i 1 + i ⎞
⎝ ⎠ (1 − i −i 1 + i ) ⎜⎜ 1 ⎟⎟ (1 0 ) ⎜ ⎟)=
⎛ i −1 1 ⎞ ⎛1 + i ⎞ ⎜ −1⎟ ⎝0 1 ⎠
A3 = ( ⎜ ⎟ , ( i 1 −1) , ⎜ ⎟ ), ⎝ ⎠
⎝1 0 −i ⎠ ⎝ −i ⎠
⎛1⎞
= ( ⎜ ⎟ , (1 i ) , ( −3 + 2i 1 − 5i ) ),
⎛ i ⎞ ⎛1 + i ⎞ ⎝ −1⎠
⎜ ⎟ ⎜ ⎟
A4 = ( ( −i i ) , ⎜ −i ⎟ , ⎜ i ⎟ ). то есть
⎜ −i ⎟ ⎜ 1 − i ⎟
⎝ ⎠ ⎝ ⎠ [ A*4 A*3 A*2 A1* ]4, (132), 3 =
Тогда ⎛1⎞
[A1A2A3A4]4, (123), 3 = ( ⎜ ⎟ , (1 i ) , ( −3 + 2i 1 − 5i ) ). (2.28)
⎝ −1⎠
⎛ i 0⎞
⎜ ⎟ ⎛1 + i ⎞ Сравнивая (2.27) и (2.28), видим, что
( ( −1 0 i ) ⎜ −1 1 ⎟ ⎜ ⎟ ( −i i ) , *
⎜ 1 i ⎟ ⎝ −i ⎠ [A1A2A3A4 ]4, (123), 3 = [ A*4 A*3 A*2 A1* ]4, (132), 3.
⎝ ⎠
⎛i ⎞ 3 Связь между сопряженными и косыми
⎛i⎞ ⎛ i −1 1 ⎞ ⎜ ⎟
⎜ ⎟ (1 −1) ⎜ ⎟ ⎜ −i ⎟ , вектор-матрицами
⎝1⎠ ⎝ 1 0 −i ⎠ ⎜ ⎟ Обозначим через GLn(k, P) множество всех
⎝ −i ⎠
k-компонентных квадратных вектор-матриц n-го
⎛1 + i ⎞ порядка над полем P, у которых определитель
⎛ i 0⎞ ⎛1⎞ ⎜ ⎟
⎜ ⎟ ⎜ ⎟ ( i 1 −1) ⎜ i ⎟ ) = каждой компоненты отличен от нуля. Ясно, что
⎝ 1 − i 1 0
⎠⎝ ⎠ ⎜1 − i ⎟ GLn(k, P) совпадает с декартовой степенью
⎝ ⎠ GL n ( P ) × …× GL n ( P ) полной линейной группы
⎛ 1 ⎞ ⎛ −3 − 2i ⎞
= ( (1 −1) , ⎜ ⎟ , ⎜
k
⎟ ). GLn(P). Так как GLn(P) – группа с операцией
⎝ −i ⎠ ⎝ 1 + 5i ⎠
умножения матриц, то, полагая в теореме 3.6.2 из
Следовательно, [6] A = GLn(P), получим следующий результат.
Problems of Physics, Mathematics and Technics, № 4 (13), 2012 43
А.М. Гальмак

Предложение 3.1. Если подстановка σ ∈ Sk Из (3.2) и (3.3) вытекает (3.1).


удовлетворяет условию σl = σ, то Первое равенство из (3.1) доказывается ана-
< GLn(k, P), [ ]l, σ, k > – l-арная группа. логично. Теорема доказана.
Замечание 3.1. Из соответствующих резуль- Замечание 3.3. Второе равенство в (3.1)
татов книги [6] следует, что l-арная группа может быть получено как следствие первого ра-
< GLn(k, P), [ ]l, σ, k > не имеет единиц, а при n ≥ 2 венства в (3.1) и равенства (4.2) из [5] для транс-
является неполуабелевой, в частности, неабелевой. понированных вектор-матриц.
Замечание 3.2. Пост рассматривал [1] част- Следствие 3.1. Если σ – цикл длины t из Sk,
ный случай l-арной группы < GLn(k, P), [ ]l, σ, k > m ≥ 1, A ∈ GLn(k, C), то
при P = C, l = k + 1, σ = (12 … k). (k + 1)-Арную [ ]mt +1, σ , k [ ]mt +1, σ , k

группу < GLn(k, C), [ ]k + 1, (12…k), k > он называл A = A ,


полной линейной (k + 1)-арной группой. [ ]mt +1, σ , k [ ]
mt +1, σ −1 , k
(A )* = ( A * ) .
В следующей теореме обобщаются равенства
В частности, если m = 1, то
( A −1 ) = ( A) −1 , ( A −1 )* = ( A* ) −1 , [ ]t +1, σ , k [ ]t +1, σ , k [ ]t +1, σ , k [ ]
t +1, σ −1 , k

справедливые для квадратных невырожденных A = A , (A )* = ( A * ) .

матриц. Символ A
[ ]l , σ , k
используется для обозна- Следствие 3.2. Если σ – цикл длины k из Sk,
чения косого элемента вектор-матрицы A l-арной m ≥ 1, A ∈ GLn(k, C), то
группы < GLn(k, P), [ ]l, σ, k >. [ ]mk +1, σ , k [ ]mk +1, σ , k
A = A ,
Теорема 3.1. Если подстановка σ ∈ Sk удов-
летворяет условию σl = σ, то для любой вектор- [ ]mk +1, σ , k [ ]
mk +1, σ −1 , k
(A )* = ( A * ) .
матрицы A из GLn(k, C) верны равенства
[ ]l , σ , k [ ]l , σ , k [ ]l , σ , k [ ]
l , σ −1 , k
В частности, если m = 1, то
A = A , (A )* = ( A * ) , (3.1) [ ]k +1, σ , k [ ]k +1, σ , k [ ]k +1, σ , k [ ]
k +1, σ −1 , k
A = A , (A )* = ( A * ) .
то есть в GLn(k, C) операция взятия косого
элемента перестановочна и с операцией ком- Следствие 3.3. Если σ = (12 … k), m ≥ 1,
плексного сопряжения, и с операцией эрмитово- A ∈ GLn(k, C), то
го сопряжения. [ ]mk +1, (12…k ), k [ ]mk +1, (12…k ), k

Доказательство. Докажем второе равенст- A = A ,


во. Положим [ ]mk +1, (12…k ), k [ ]mk +1, ( k…21), k

[ ]l , σ , k
(A )* = ( A * ) .
*
A = (A1, …, Ak), ( A ) = (D1, …, Dk), В частности, если m = 1, то
[ ]
l , σ −1 , k
( A* ) = (C1, …, Ck).
[ ]k +1, (12…k ), k [ ]k +1, (12…k ), k
A = A ,
Так как по лемме 2.5.1 [6] [ ]k +1, (12…k ), k [ ]k +1, ( k…21), k

[ ]l , σ , k
(A )* = ( A * ) .
A = (B1, …, Bk),
Следствие 3.4. Если σ – транспозиция из Sk,
где m ≥ 1, A ∈ GLn(k, C), то
−1 −1
Bj = A l −2 … Aσ ( j )
σ ( j) [ ]2 m +1, σ , k [ ]2 m +1, σ , k [ ]2 m +1, σ , k [ ]2 m +1, σ , k
A = A , (A )* = ( A * ) .
для любого j = 1, …, k, то, используя соответст-
В частности, если m = 1, то
вующий бинарный результат, получим
[ ]3, σ , k [ ]3, σ , k [ ]3, σ , k [ ]3, σ , k
Dj = B*j = ( Aσ−l1−2 ( j ) … Aσ(−1j ) )* = ( Aσ(−1j ) )* … ( Aσ−l1−2 ( j ) )* , A = A , (A )* = ( A * ) .
то есть Следствие 3.5. Если A ∈ GLn(2, C), то
−1 * −1 *
Dj = ( A ) … (A ) , j = 1, …, k. (3.2) [ ]3, (12 ), 2 [ ]3, (12 ), 2 [ ]3, (12 ), 2 [ ]3, (12 ), 2
σ( j ) σl − 2 ( j ) A = A , (A )* = ( A * ) .
*
С другой стороны, так как A = ( A , …, A ), *
1
*
k

то, полагая τ = σ –1, и используя (1.8), лемму 2.5.1 4 Вектор-определители и определители


[6] и соответствующий бинарный результат сопряженных вектор-матриц
(операции эрмитового сопряжения и взятия об- Если A = (A1, …, Ak) – квадратная вектор-
ратного элемента перестановочны), получим матрица над ассоциативным коммутативным
кольцом P с единицей, то есть вектор-матрица, у
Cj = ( Aτ*l −2 ( j ) ) −1 … ( Aτ*( j ) ) −1 =
которой все компоненты A1, …, Ak являются
= ( Aσ(* j ) ) −1 … ( Aσ*l −2 ( j ) ) −1 = ( Aσ(−1j ) )* … ( Aσ−l1−2 ( j ) )* , квадратными матрицами над P, не обязательно
одного порядка, то для неё определены [7] век-
то есть тор-определитель
Cj = ( Aσ(−1j ) )* … ( Aσ−l1−2 ( j ) )* , j = 1, …, k. (3.3) detA = (detA1, …, detAk) ∈ Pk

44 Проблемы физики, математики и техники, № 4 (13), 2012


Сопряженные вектор-матрицы и пространственные матрицы

и определитель …………………………………………
detA = detA1detA2 … detAk ∈ P. (amjk)1(aσ(m)jk)2 … (aσ l −2 ( m ) jk )l −1 (aσ l −1 ( m ) jk )l = U m .
Ясно, что при k = 1 понятия вектор-
определителя и определителя совпадают: Полагая A = (aijk) ∈ M(i)(m, P), где
detA = detA. (a1jk) = U1, …, (amjk) = Um,
Предложение 4.1. Пусть A = (A1, …, Ak) – видим, что на M(i)(m, P) определена частичная
квадратная вектор-матрица над C. Тогда l-арная операция
detA = detA, detA = detA, [ A1 A2 … Al ]l(,i )σ , m = A = (aijk), (5.1)
detA* = detA, detA* = detA. где
Доказательство. Докажем второе и третье (arjk) = (arjk)1(aσ(r)jk)2 … (aσ l −2 ( r ) j k )l −1 (aσ l −1 ( r ) jk )l , (5.2)
равенства. r = 1, …, m.
Используя соответствующие равенства для
обычных матриц, получим: Таким образом, для любых целых p0 ≥ 1,
…, pl ≥ 1 и любых пространственных матриц
detA = det( A1 , … , Ak ) =
A1 = (aijk)1 ∈ M m× p0 × p1 ( P ),
= det(A1 , … , Ak ) = detA1 … det Ak =
A2 = (aijk)2 ∈ M m× p1 × p2 ( P ), …
= det A1 … det Ak =
…, Al–1 = (aijk)l–1 ∈ M m× pl −2 × pl −1 ( P ),
= det A1 … det Ak = detA,
Al = (aijk)l ∈ M m× pl −1 × pl ( P)
то есть верно второе равенство;
detA* = det(A1, …, Ak)* = определена пространственная матрица (5.1) из
M m × p0 × pl , у которой для любого r = 1, …, m r-ое
= det( A1* , …, Ak* ) = (det A1* , …, det Ak* ) =
сечение ориентации (i) определяется равенством
= (det A1 , … , det Ak ) = (5.2). Все сечения ориентации (i) пространствен-
ной матрицы A являются матрицами размера
= (det A1 , … , det Ak ) = detA,
p0 × pl. Ясно, что на множестве Mm×n×n(P) частич-
то есть верно третье равенство.
ная l-арная операция [ ]l(,i )σ , m совпадает с l-арной
Первое и четвертое равенства доказываются
аналогично. Предложение доказано. операцией [ ]l(,i )σ , m из [4].
Если в определении частичной l-арной опе-
5 Полиадические операции на множестве
рации [ ]l(,i )σ , m заменить ориентацию (i) ориента-
пространственных матриц
Для обозначения множества всех простран- цией (j), а множество M(i)(m, P) – множеством
ственных матриц размера m × n × p над P будем M(j)(m, P), то получим определение частичной
использовать символ Mm×n×p(P). l-арной операции [ ]l(,jσ) , m , частным случаем кото-
Зафиксируем целое m ≥ 1 и выделим во рой является l-арная операция [ ]l(,jσ) , m из [4].
множестве всех пространственных матриц над
Если в определении частичной l-арной опе-
кольцом P три подмножества:
множество M(i)(m, P) всех пространствен- рации [ ]l(,i )σ , m заменить ориентацию (i) ориента-
ных матриц, у которых число сечений ориента- цией (k), а множество M(i)(m, P) – множеством
ции (i) равно m; M(k)(m, P), то получим определение частичной l-
множество M(j)(m, P) всех пространствен- арной операции [ ]l(,kσ) , m , частным случаем кото-
ных матриц, у которых число сечений ориента-
ции (j) равно m; рой является l-арная операция [ ]l(,kσ) , m из [4].
множество M(k)(m, P) всех пространствен- Пример 5.1. Рассмотрим три пространст-
ных матриц, у которых число сечений ориента- венные матрицы над Z:
ции (k) равно m.
Зафиксируем целое l ≥ 2, подстановку
σ ∈ Sm, и пусть P – ассоциативное кольцо. Если
A1 = (aijk)1, A2 = (aijk)2, …, Al = (aijk)l
такие пространственные матрицы из M(i)(m, P),
что число сечений ориентации (k) предыдущей
пространственной матрицы равно числу сечений
ориентации (j) последующей пространственной
матрицы, то определены произведения
(a1jk)1(aσ(1)jk)2 … (aσ l −2 (1) jk )l −1 (aσ l −1 (1) jk )l = U1 ,

Problems of Physics, Mathematics and Technics, № 4 (13), 2012 45


А.М. Гальмак

положим
A1 = (a1jk), …, Am = (amjk), (5.4)
то есть отождествим компоненты вектор-
матрицы (5.3) с соответствующими сечениями
ориентации (i) пространственной матрицы
(aijk) ∈ М(i)(m, P). (5.5)
В этом случае отображение
ϕ(i): ((a1jk), …, (amjk)) → (aijk)
является биекцией множества K(m, P) на множе-
ство М(i)(m, P).
Если для вектор-матриц (5.3) положить
A1 = (ai1k), …, Am = (a1mk), (5.6)
то есть отождествить компоненты вектор-мат-
соответственно размеров 2 × 2 × 2, 2 × 2 × 1 и рицы (5.3) с соответствующими сечениями ори-
2 × 1 × 3, для которых найдем матрицу ентации (j) пространственной матрицы
D = (dijk) = [ABC ]3,( i )(12), 2 . (aijk) ∈ М(j)(m, P), (5.7)
Так как то получим биекцию
ϕ(j): ((ai1k), …, (a1mk)) → (aijk)
⎛ 3 2⎞ ⎛ −4 2 ⎞
(a1 jk ) = ⎜ ⎟ , (a2 jk ) = ⎜ ⎟, множества K(m, P) на множество М(j)(m, P).
⎝ −2 −1 ⎠ ⎝ −5 3 ⎠ Если для вектор-матриц (5.3) положить
⎛5⎞ ⎛ −4 ⎞ A1 = (aij1), …, Am = (aijm), (5.8)
(b1 jk ) = ⎜ ⎟ , (b2 jk ) = ⎜ ⎟ ,
⎝ 3⎠ ⎝ 2⎠ то есть отождествить компоненты вектор-матри-
цы (5.3) с соответствующими сечениями ориен-
(c1 jk ) = ( −3 0 1) , (c2 jk ) = ( 2 −4 3) , тации (k) пространственной матрицы
то, согласно определению операции [ ]l(,iσ) , m , (aijk) ∈ М(k)(m, P), (5.9)
то получим биекцию
имеем
ϕ(k): ((aij1), …, (aijm)) → (aijk)
⎛ 3 2 ⎞ ⎛ −4 ⎞
(d1 jk ) = ⎜ ⎟ ⎜ ⎟ ( −3 0 1) = множества K(m, P) на множество М(k)(m, P).
⎝ −2 −1⎠ ⎝ 2 ⎠ Ясно, что сужения отображений ϕ(i), ϕ(j) и
⎛ −8 ⎞ ⎛ −24 0 −8 ⎞ ϕ(k) на множество Мs×t(m, P) всех m-компонент-
= ⎜ ⎟ ( 3 0 1) = ⎜ ⎟, ных вектор-матриц порядка s × t над P совпадают
⎝6⎠ ⎝ 18 0 6 ⎠ с биекциями
⎛ −4 2 ⎞ ⎛ 5 ⎞ ϕ(i): Мs×t(m, P) → Mm×s×t(P),
(d 2 jk ) = ⎜ ⎟ ⎜ ⎟ ( 2 −4 3) =
⎝ −5 3 ⎠ ⎝ 3 ⎠ ϕ(j): Мs×t(m, P) → Ms×m×t(P),
⎛ −14 ⎞ ⎛ −28 56 −42 ⎞ ϕ(k): Мs×t(m, P) → Ms×t×m(P)
=⎜ ⎟ ( 2 −4 3) = ⎜ ⎟. из [8].
⎝ −16 ⎠ ⎝ −32 64 −48 ⎠
Ясно, что отображение ψ(i), ставящее в со-
Таким образом,
ответствие каждой пространственной матрице
(5.5) вектор-матрицу (5.3) с компонентами (5.4),
является биекцией М(i)(m, P) на K(m, P). Анало-
гично, отображение ψ(j), ставящее в соответствие
каждой пространственной матрице (5.7) вектор-
матрицу (5.3) с компонентами (5.6), является
биекцией М(j)(m, P) на K(m, P); отображение ψ(k),
ставящее в соответствие каждой пространствен-
Зафиксируем целое m ≥ 1 и выделим во ной матрице (5.9) вектор-матрицу (5.3) с компо-
множестве M(m, P) всех m-компонентных век- нентами (5.8), является биекцией М(k)(m, P) на
тор-матриц над кольцом P множество K(m, P) K(m, P).
всех вектор-матриц, у которых все компоненты Имеет место
имеют один и тот же размер. Заметим, что у раз- Предложение 5.1. Справедливы следующие
ных вектор-матриц из K(m, P) размеры компо- утверждения:
нент не обязаны совпадать. 1) для любого r ∈ {i, j, k} отображения ϕ(r) и
Для каждой вектор-матрицы ψ(r) являются взаимообратными, то есть для лю-
A = (A1, …, Ak) ∈ K(m, P) (5.3) бых A ∈ K(m, P), A ∈ M(r)(m, P) верны равенства

46 Проблемы физики, математики и техники, № 4 (13), 2012


Сопряженные вектор-матрицы и пространственные матрицы

ψ(r)(ϕ(r)(A)) = A, ϕ(r)(ψ(r)(A)) = A; группе < GLn(m, P), [ ]l, σ, m >. Если σ – нетожде-
2) если для вектор-матриц A1,…,Al ∈ K(m, P) ственная подстановка, то в этих l-арных груп-
определена вектор-матрица [A1 … Al]l, σ, m, то пах нет единиц.
для любого r ∈ {i, j, k) определена пространст- Замечание 5.1. Теорему 5.2 можно конкре-
венная матрица тизировать следующим образом. Сужения ото-
бражений ϕ(i), ϕ(j) и ϕ(k) на множество GLn(m, P)
[ϕ(r)(A1) … ϕ(r)(Al) ]l(,rσ) , m являются изоморфизмами l-арной группы
и верно равенство < GLn(m, P), [ ]l, σ, m > вектор-матриц на соот-
ϕ(r)([A1 … Al]l, σ, m) = [ϕ(r)(A1) … ϕ(r)(Al) ]l(,rσ) , m ; ветствующие l-арные группы пространствен-
ных матриц из формулировки теоремы 5.2; су-
3) если для пространственных матриц жения отображений ψ(i), ψ(j) и ψ(k) соответст-
A1, …, Al ∈ M(r)(m, P), r ∈ {i, j, k} венно на те же l-арные группы пространствен-
определена пространственная матрица ных матриц являются их изоморфизмами на l-
[A1 … Al ]l(,rσ) , m , то определена вектор-матрица арную группу < GLn(m, P), [ ]l, σ, m >.
Для обозначения косого элемента для про-
[ψ(r)(A1) … ψ(r)(Al)]l, σ, m и верно равенство странственной матрицы A из l-арной группы
ψ(r)([A1 … Al ]l(,rσ) , m ) = [ψ(r)(A1) … ψ(r)(Al) ]l , σ , m . < GL (mi )×n×n (P), [ ]l(,i )σ , m > будем использовать сим-
[ ]( i ) [ ]( j )
Следующую теорему можно доказать непо- вол A l , σ , m . Аналогично, A l , σ , m – косой элемент
средственно, а можно получить как следствие для пространственной матрицы A из l-арной
ассоциативности соответствующей l-арной опе- [ ]l( ,kσ) , m
рации на множестве вектор-матриц, используя группы < GL (n×j )m×n (P), [ ]l(,jσ) , m >; A – косой
предложение 5.1. элемент для пространственной матрицы A из l-
Теорема 5.1. Пусть P – ассоциативное арной группы < GL (nk×)n×m (P), [ ]l(,kσ) , m >.
кольцо, r ∈ {i, j, k}, σ – подстановка из Sm, удов-
Так как при изоморфизме l-арных групп
летворяющая условию σl = σ, A1, A2, …, A2l–1 –
косой элемент переходит в косой элемент, то из
пространственные матрицы из M(r)(m, P). То-
теоремы 5.2, ввиду замечания 5.1, вытекает
гда, если для некоторого s = 0, 1, …, l – 1 опреде-
Следствие 5.1. Пусть подстановка σ ∈ Sm
лена пространственная матрица
удовлетворяет условию σl = σ. Тогда:
[A1…As[As+1…As+l ]l(,rσ) , m As+l+1…A2l–1 ]l(,rσ) , m ∈M(r)(m,P), 1) если A ∈ GLn(m, P), то
то для любого t = 0, 1, …, l – 1 определена про- [ ]l , σ , m
[ ]l( ,i σ) , m
ϕ(i)( A ) = (ϕ(i)(A)) ∈ GL (mi )×n×n (P),
странственная матрица
[ ]l( ,jσ) , m
[A1…At[At+1…At+l ]l(,rσ) , m At+l+1…A2l–1 ]l(,rσ) , m ∈M(r)(m,P)
[ ]l , σ , m
ϕ(j)( A ) = (ϕ(j)(A)) ∈ GL (n×j )m×n (P),
и верно равенство [ ]l , σ , m
[ ]l( ,kσ) , m
ϕ(k)( A ) = (ϕ(k)(A)) ∈ GL (nk×)n×m (P);
[A1 … As[As+1 … A ] (r )
s+l l , σ , m As+l+1 … A (r )
]
2l–1 l , σ , m =
2) если
= [A1 … At[At+1 … At+l ]l(,rσ) , m At+l+1 … A2l–1 ]l(,rσ) , m . A ∈ GL (mi )×n×n (P), B ∈ GL (n×j )m×n (P), С ∈ GL (nk×)n×m (P),
Далее P – ассоциативное коммутативное то
кольцо с единицей. [ ]l( ,i σ) , m [ ]l , σ , m
ψ(i)( A ) = (ψ(i)(A)) ∈ GLn(m, P),
Выделим во множестве Mm×n×n(P) множество
[ ]l( ,jσ) , m [ ]l , σ , m
GL (mi )× n× n (P) всех пространственных матриц, у ко- ψ(j)( B ) = (ψ(j)(B)) ∈ GLn(m, P),
торых все сечения ориентации (i) являются обра- [ ]l( ,kσ) , m [ ]l , σ , m

тимыми матрицами в Mn(P). Ясно, что множество ψ(k)( C ) = (ψ(k)(C)) ∈ GLn(m, P).
GL (mi )× n× n (P) совпадает с множеством всех про-
6 Сопряженные пространственные мат-
странственных матриц, у которых определители рицы
всех сечений ориентации (i) являются обратимы- Определение 6.1. Пространственная матри-
ми в P. Аналогично множеству GL (mi )× n× n (P) опре- ца B = (bijk) ∈ Mm×n×p(C) называется (i)-комплек-
деляются множества GL (n×j )m×n (P) и GL (nk×)n×m (P). сно сопряжённой для пространственной матрицы
Имеет место A = (aijk) ∈ Mm×n×p(C), если все её сечения ориен-
Теорема 5.2. Если подстановка σ ∈ Sm удовле- тации (i) являются комплексно сопряжёнными
творяет условию σl = σ, то универсальные ал- матрицами для соответствующих сечений ориен-
тации (i) пространственной матрицы A, то есть
гебры <GL (mi )×n×n (P), [ ]l(,i )σ , m >, <GL (n×j )m×n (P), [ ]l(,jσ) , m >
(btjk) = (atjk ), t = 1, …, m.
и < GL (nk×)n×m (P), [ ]l(,kσ) , m > являются неполуабеле-
Аналогично определяются (j)-комплексно
выми l-арными группами, изоморфными l-арной сопряжённые пространственные матрицы и

Problems of Physics, Mathematics and Technics, № 4 (13), 2012 47


А.М. Гальмак

(k)-комплексно сопряжённые пространственные и верны равенства


матрицы. ([A1 … Al ]l(,rσ) , m ) ( , r)
= [ A1( , r)
… Al( , r ) (r )
] ,
l, σ , m
Для обозначения (r)-комплексно сопряжён-
ной пространственной матрицы для пространст- ([A1 … A ] (r )
l l, σ , m ) (*, r )
= [A l
(*, r )
…A (*, r ) ( r )
1 ]
l , σ −1 , m
.
венной матрицы A, где r ∈ {i, j, k}, будем упот-
Доказательство. Последовательно исполь-
реблять следующее обозначение:
зуя 1) из предложения 5.1, 4-ое равенство из пред-
A ( , r ) = (aijk) ( , r ) . ложения 6.2, 3) из предложения 5.1, теорему 1.1,
Определение 6.2. Пространственная матри- 4-ое равенство из предложения 6.2, 2) из предло-
ца B = (bijk) ∈ Mm×p×n(C) называется (i)-эрмитово жения 5.1 и 1) из предложения 5.1, получим
сопряжённой для пространственной матрицы ([A1 … Al ]l(,rσ) , m ) (*, r ) =
A = (aijk) ∈ Mm×n×p(C), если все ее сечения ориен-
тации (i) являются эрмитово сопряжёнными мат- = ϕ(r)(ψ(r)(([A1 … Al ]l(,rσ) , m ) (*, r ) )) =
рицами для соответствующих сечений ориента-
ции (i) пространственной матрицы A, то есть = ϕ(r)((ψ(r)([A1 … Al ]l(,rσ) , m ))*) =
(btjk) = (atjk)*, t = 1, …, m. = ϕ(r)(([ψ(r)(A1) … ψ(r)(Al)]l, σ, m)*) =
Аналогично определяются (j)-эрмитово со- = ϕ(r)([(ψ(r)(Al))* … (ψ(r)(A1))* ]l , σ −1 , m ) =
пряжённые пространственные матрицы и (k)-эр-
митово сопряжённые пространственные матрицы. = ϕ(r)([ψ(r)( Al(*, r ) ) … ψ(r)( A1(*, r ) ) ]l , σ −1 , m ) =
Для обозначения (r)-эрмитово сопряжённой
пространственной матрицы для пространствен- = [ϕ(r)(ψ(r)( Al(*, r ) )) … ϕ(r)(ψ(r)( A1(*, r ) )) ]l(,rσ) −1 , m =
ной матрицы A, где r ∈ {i, j, k}, будем употреб-
= [ Al(*, r ) … A1(*, r ) ]l(,rσ) −1 , m ,
лять следующее обозначение: A(*, r) = (aijk)(*, r).
Предложение 6.1. Справедливы следующие то есть верно второе равенство из формулировки
утверждения: теоремы.
1) если вектор-матрица B комплексно со- Первое равенство доказывается аналогично.
пряжена (эрмитово сопряжена) с вектор-матри- Теорема доказана.
цей A, то для любого r ∈ {i, j, k} пространствен- Для теоремы 6.1 можно сформулировать
ная матрица ϕ(r)(B) (r)-комплексно сопряжена следствия, аналогичные следствиям 2.1–2.17 из
((r)-эрмитово сопряжена) с пространственной теоремы 1.1.
матрицей ϕ(r)(A); Теорема 6.2. Если подстановка σ ∈ Sm удов-
2) если для некоторого r ∈ {i, j, k} про- летворяет условию σl = σ, A ∈ GL (mi ×) n×n (C), то
странственная матрица B (r)-комплексно сопря- (i )
[ ]
жена ((r)-эрмитово сопряжена) с пространствен- [ ]l( ,i σ) , m ( , i) l,σ , m
(A ) = ( A( , i)
) ,
ной матрицей A, то вектор-матрица ψ(r)(B) ком- (i )
плексно сопряжена (эрмитово сопряжена) с век- [ ]l( ,i σ) , m
[ ]
l , σ −1 , m
(A )(*, i) = ( A(*, i ) ) ,
тор-матрицей ψ(r)(A).
Предложение 6.1 можно переформулиро- (i )
то есть в GL m×n×n (C) операция взятия косого
вать следующим образом.
Предложение 6.2. Для любого r ∈ {i, j, k} и элемента перестановочна и с операцией ком-
плексного сопряжения, и с операцией эрмитово-
любых A ∈ K(m, C), A ∈ M(r)(m, C) верны равен-
го сопряжения.
ства
Доказательство. Последовательно исполь-
(ϕ(r)(A)) ( , r)
= ϕ(r)( A ), ψ (r ) ( A) = ψ(r)(A ( , r)
), зуя 1) из предложения 5.1, 4-ое равенство из
(*, r) * * (*, r) предложения 6.2, 4-ое равенство из следствия
(ϕ(r)(A)) = ϕ(r)(A ), (ψ(r)(A)) = ψ(r)(A ).
5.1, теорему 3.1, первое равенство из следствия
Замечание 6.1. Для транспонированных 5.1, третье равенство из предложения 6.2 и 1) из
вектор-матриц и транспонированных простран- предложения 5.1, получим
ственных матриц имеют место формулы, анало-
[ ]l( ,i σ) , m [ ]l( ,i σ) , m
гичные формулам из предложения 6.2: (A )(*, i) = ϕ(i)(ψ(i)(( A )(*, i))) =
(ϕ(r)(A))(', r) = ϕ(r)(A'), (ψ(r)(A))' = ψ(r)(A(', r)). [ ]l( ,i σ) , m [ ]l , σ , m
= ϕ(i)((ψ(i)( A ))*) = ϕ(i)(((ψ(i)(A)) ) *) =
Теорема 6.1. Пусть подстановка σ из Sm, [ ]
l , σ −1 , m [ ]( i ) −1
удовлетворяет условию σl = σ, r ∈ {i, j, k}, = ϕ(i)(((ψ(i)(A))*) ) = (ϕ(i)(ψ(i)(A))*) l,σ ,m
=
A1, …, Al – такие пространственные матрицы [ ]( i ) −1 [ ]( i ) −1
из M(r)(m, C), что определена пространственная = ((ϕ(i)(ψ(i)(A)))(*, i)) l,σ ,m
= (A(*, i)) l,σ ,m
,
матрица [A1 … Al ]l(,rσ) , m . Тогда определены про- то есть верно второе равенство из формулировки
странственные матрицы теоремы. Первое равенство доказывается анало-
[ A1( , r ) … Al( , r ) ]l(,rσ) , m , [ Al(*, r ) … A1(*, r ) ]l(,rσ) −1 , m гично. Теорема доказана.

48 Проблемы физики, математики и техники, № 4 (13), 2012


Сопряженные вектор-матрицы и пространственные матрицы

Замечание 6.2. Для теоремы 6.2 можно Аналогично доказываются и оба равенства
сформулировать следствия, аналогичные следст- для ориентаций (j) и (k). Предложение доказано.
виям 3.1–3.5 из теоремы 3.1. Следствие 6.1. Если A – кубическая матри-
Замечание 6.3. Для ориентаций (j) и (k) ца над C, то
справедливы теоремы, аналогичные теореме 6.2.
det A = detA, detA* = detA.
Напомним [8], что определителем ориента-
ции (i) пространственной матрицы A из Mm×n×n(P) Доказательство. Так как
называется произведение определителей всех ее detA* = det(i)A*⋅ det(j)A*⋅ det(k)A* =
сечений ориентации (i), обозначаемое символом
= det (i ) A ⋅ det (j ) A ⋅ det (k ) A =
det(i)A; определителем ориентации (j) простран-
ственной матрицы A из Mn×m×n(P) называется = det (i ) A ⋅ det (j ) A ⋅ det (k ) A = detA,
произведение определителей всех ее сечений то верно второе равенство.
ориентации (j), обозначаемое символом det(j)A; Первое равенство доказывается аналогично.
определителем ориентации (k) пространственной Следствие доказано.
матрицы A из Mn×n×m(P) называется произведение
определителей всех ее сечений ориентации (k), ЛИТЕРАТУРА
обозначаемое символом det(k)A. 1. Post, E.L. Polyadic groups / E.L. Post //
Таким образом, если A = (aijk), то, согласно Trans. Amer. Math. Soc. – 1940. – Vol. 48, №2. –
определению, P. 208–350.
det(i)(aijk)m×n×n = det(a1jk)det(a2jk) … det(amjk), 2. Слипенко, А.К. Абстрактная характери-
det(j)(aijk)n×m×n = det(ai1k)det(ai2k) … det(aimk), стика матричных оперативов / А.К. Слипенко //
Укр. мат. журнал. – 1974. – Т. 26, №1. – С. 112–114.
det(k)(aijk)n×n×m = det(aij1)det(aij2) … det(aijm). 3. Гальмак, А.М. Вектор-матрицы / А.М. Галь-
Понятно, что для кубической матрицы A из мак // Веснiк МДУ iм. А.А. Куляшова. – 2011. –
Mn×n×n(P) определены все три определителя № 1 (37), серия B. – С. 30–37.
det(i)A, det(j)A и det(k)A. Полным определителем 4. Гальмак, А.М. Полиадические операции
кубической матрицы A из Mn×n×n(P) называется на множестве пространственных матриц /
[8] произведение ее определителей ориентаций А.М. Гальмак // Веснiк ВДУ iм. П.М. Машэрава.
(i), (j) и (k), обозначаемое символом detA, то есть – 2011. – № 2 (62). – С. 15–21.
detA = det(i)A⋅det(j)A⋅det(k)A. 5. Гальмак, А.М. Транспонированные век-
Предложение 6.3. Пусть r ∈ {i, j, k}, A – тор-матрицы / А.М. Гальмак // Проблемы физи-
пространственная матрица над C, у которой ки, математики и техники. – 2011. – № 1 (6). –
сечения ориентации (r) являются квадратными. С. 52–56.
Тогда 6. Гальмак, А.М. Многоместные операции
на декартовых степенях / А.М. Гальмак. –
det (r ) A = det (r ) A, det (r) A* = det (r ) A. Минск : Изд. центр БГУ, 2009. – 265 с.
Доказательство. Пусть для определенности 7. Гальмак, А.М. Вектор-определители и оп-
r = i, ределители вектор-матриц / А.М. Гальмак //
A = (aijk) ∈ Mm×n×n(C). Проблемы физики, математики и техники. –
2011. – № 2 (7). – С. 1–5.
Согласно определению 6.2, A* = (bijk), где
8. Гальмак, А.М. О вектор-матрицах и про-
(btjk) = (atjk)*, t = 1, …, m.
странственных матрицах / А.М. Гальмак // Про-
Используя соответствующие бинарные ре- блемы физики, математики и техники. – 2012. –
зультаты, получим № 1 (10). – С. 75–86.
det(i)A* = det(a1jk)*…det(amjk)* =
= det(a1 jk ) … det(amjk ) = Работа выполнена при поддержке Белорус-
ского республиканского фонда фундаменталь-
= det(a1 jk )… det(amjk ) = det (i ) A, ных исследований (проект Ф10РА – 002).
то есть верно второе равенство при r = i.
Первое равенство для ориентации (i) дока- Поступила в редакцию 07.03.12.
зывается аналогично.

Problems of Physics, Mathematics and Technics, № 4 (13), 2012 49

Вам также может понравиться