Артаганальная матрыца — квадратная матрыца
A
{\displaystyle A}
з рэчаіснымі элементамі, вынік множання якой на
A
T
{\displaystyle A^{T}}
роўны адзінкавай матрыцы:[1]
A
A
T
=
A
T
E ,
{\displaystyle AA^{T}=A^{T}A=E,}
або, што эквівалентна, яе адваротная матрыца роўная транспанаванай матрыцы:
A
− 1
=
A
T
.
{\displaystyle !A^{-1}=A^{T}.}
∑
i
A
i j
A
i k
=
δ
j k
{\displaystyle !\sum _{i}A_{ij}A_{ik}=\delta _{jk}}
і
∑
i
A
j i
A
k i
=
δ
j k
{\displaystyle !\sum _{i}A_{ji}A_{ki}=\delta _{jk}}
дзе
i ∈ { 1 ,
… ,
n }
{\displaystyle i\in \{1,;\ldots ,;n\}}
, n — парадак матрыцы, а
δ
j k
{\displaystyle \delta _{jk}}
— сімвал Кронекера.
Іншымі словамі, скалярны здабытак радка на сам сябе роўна 1, а на любы іншы радок — 0. Гэтак жа і для слупкоў.
± 1
{\displaystyle \pm 1}
, што вынікае з уласцівасцей вызначальнікаў:
A
T
det (
A
T
det ( A
)
2
= 1.
{\displaystyle !1=\det(I)=\det(A^{T}A)=\det(A^{T})\det(A)=\det(A)\det(A)=\det(A)^{2}=1.}
n
{\displaystyle n}
над полем
k
{\displaystyle k}
ўтварае групу па множанню, так званую артаганальную групу, якая пазначаецца
O
n
( k )
{\displaystyle O_{n}(k)}
або
O ( n ,
k )
{\displaystyle O(n,;k)}
(калі
k
{\displaystyle k}
апускаецца, то мяркуецца
R
{\displaystyle k=\mathbb {R} }
).
( ± 1 )
{\displaystyle (\pm 1)}
и
(
cos φ
sin φ
− sin φ
cos φ
)
.
{\displaystyle {\begin{pmatrix}\ \ \ \cos \varphi &\sin \varphi \-\sin \varphi &\cos \varphi \end{pmatrix}}.}
1
0
0
1
)
{\displaystyle {\begin{pmatrix}1&0\0&1\\end{pmatrix}}}
1
0
0
− 1
)
{\displaystyle {\begin{pmatrix}1&0\0&-1\\end{pmatrix}}}
0.96
− 0.28
0.28
0.96
)
{\displaystyle {\begin{pmatrix}0.96&-0.28\0.28&;;,0.96\\end{pmatrix}}}
— прыклад матрыцы павароту
0
0
0
1
0
0
1
0
1
0
0
0
0
1
0
0
)
{\displaystyle {\begin{pmatrix}0&0&0&1\0&0&1&0\1&0&0&0\0&1&0&0\end{pmatrix}}}
— прыклад перастановачнай матрыцы