מטריצה אלכסונית היא מטריצה ריבועית שבה כל האיברים שאינם באלכסון הראשי שווים לאפס. לדוגמה:
[
λ
1
0
0
⋯
0
0
0
0
λ
2
0
⋯
0
0
0
0
0
⋱
⋮
⋮
⋮
⋮
λ
i
⋮
⋮
⋮
⋮
⋱
0
0
0
0
0
⋯
0
λ
n
−
1
0
0
0
0
⋯
0
0
λ
n
]
{\displaystyle \left[{\begin{array}{ccccccc}\lambda _{1}&0&0&\cdots &0&0&0\\0&\lambda _{2}&0&\cdots &0&0&0\\0&0&\ddots &&&\vdots &\vdots \\\vdots &\vdots &&\lambda _{i}&&\vdots &\vdots \\\vdots &\vdots &&&\ddots &0&0\\0&0&0&\cdots &0&\lambda _{n-1}&0\\0&0&0&\cdots &0&0&\lambda _{n}\end{array}}\right]}
ניתן גם לתאר מטריצה אלכסונית בקיצור, למשל, עבור המטריצה הנ"ל, הצורה המקוצרת תהיה
d
i
a
g
(
λ
1
,
λ
2
,
⋯
,
λ
n
)
{\displaystyle diag(\lambda _{1},\lambda _{2},\cdots ,\lambda _{n})}
(diag מלשון diagonal, אלכסוני באנגלית).
מטריצה אלכסונית היא גם מטריצה משולשית עליונה ותחתונה, וגם מטריצה סימטרית . במקרה שכל האיברים באלכסון הראשי של המטריצה שווים, המטריצה נקראת מטריצה סקלרית .
ניתן לקבל מטריצה אלכסונית על ידי סוג של חיבור מטריצות הנקרא סכום ישר .
כפל מטריצות אלכסוניות
עריכה
כפל מטריצות אלכסוניות פשוט ביותר, שכן התוצאה של הכפל היא מטריצה אלכסונית, שבה כל איבר באלכסון הראשי הוא כפל של שני האיברים המתאימים באלכסונים הראשיים של המטריצות הכופלות.
d
i
a
g
(
α
1
,
α
2
,
⋯
,
α
n
)
⋅
d
i
a
g
(
β
1
,
β
2
,
⋯
,
β
n
)
=
d
i
a
g
(
α
1
β
1
,
α
2
β
2
,
⋯
,
α
n
β
n
)
{\displaystyle \ diag(\alpha _{1},\alpha _{2},\cdots ,\alpha _{n})\cdot diag(\beta _{1},\beta _{2},\cdots ,\beta _{n})=diag(\alpha _{1}\beta _{1},\alpha _{2}\beta _{2},\cdots ,\alpha _{n}\beta _{n})}
מטריצה אלכסונית מלבנית
עריכה
לעיתים משמש המונח "מטריצה אלכסונית" לתיאור "מטריצה אלכסונית מלבנית", שהיא מטריצה מממד m×n שבה רק הערכים di,i יכולים להיות שונים מאפס. למשל
[
1
0
0
0
4
0
0
0
−
3
0
0
0
]
{\displaystyle {\begin{bmatrix}1&0&0\\0&4&0\\0&0&-3\\0&0&0\\\end{bmatrix}}}
או
[
1
0
0
0
0
0
4
0
0
0
0
0
−
3
0
0
]
{\displaystyle {\begin{bmatrix}1&0&0&0&0\\0&4&0&0&0\\0&0&-3&0&0\end{bmatrix}}}