МАТЕМАТИКА
УДК 512.548
СОПРЯЖЕННЫЕ ВЕКТОР-МАТРИЦЫ
И ПРОСТРАНСТВЕННЫЕ МАТРИЦЫ
А.М. Гальмак
Могилёвский государственный университет продовольствия, Могилёв
The conujgate vector-matrix and spacematrix are defined and studied in this paper.
и верны равенства
матрицы (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
такие вектор-матрицы над 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)
матриц. Символ 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
[ ]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
и определитель …………………………………………
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 ,
положим
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) верны равенства
ψ(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-арной сопряжённые пространственные матрицы и
Замечание 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.
зывается аналогично.