Единичная матрица: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
оформление, стилевые правки
-псевдосекции и повторы
 
(не показана 31 промежуточная версия 25 участников)
Строка 1: Строка 1:
'''Едини́чная ма́трица''' — квадратная [[Матрица (математика)|матрица]], элементы [[главная диагональ|главной диагонали]] которой равны единице [[поле (алгебра)|поля]], а остальные равны нулю.
'''Едини́чная ма́трица''' — [[квадратная матрица]] <math>E_n=(e_{ij})</math> размера (порядка) <math>n</math>, элементы [[главная диагональ|главной диагонали]] которой равны единице [[поле (алгебра)|поля]] (<math>e_{ii}=1</math>), а остальные равны нулю (<math>e_{ij}=0</math> при <math>i\ne j</math>){{sfn|Гантмахер|1966|с=24}}.


Единичную матрицу можно также определить как матрицу <math>(e_{ij})</math>, у которой <math>e_{ij}=\delta_{ij}</math>, где <math>\delta_{ij}</math> — [[символ Кронекера]]{{sfn|Гантмахер|1966|с=24}}.
== Определение ==

Квадратная матрица<math>E_n=(e_{ij})</math> размера (порядка <math>n</math>), где <math>e_{ii}=1</math> для всякого <math>i\in\overline{1,n}</math>, и <math>e_{ij}=0</math> для всяких <math>i\ne j</math>, назвается единичной матрицей порядка <math>n</math>.


Единичная матрица является частным случаем [[Скалярная матрица|скалярной матрицы]].
Единичная матрица является частным случаем [[Скалярная матрица|скалярной матрицы]].


Произведение любой [[Матрица (математика)|матрицы]] и единичной матрицы подходящего размера равно самой матрице{{sfn|Гантмахер|1966|с=24}}: <math>A E = E A = A</math>. Квадратная матрица в нулевой степени даёт единичную матрицу того же размера{{sfn|Гантмахер|1966|с=24}}: <math>A^0 = E</math>. При умножении матрицы на [[Обратная матрица|обратную]] ей, тоже получается единичная матрица{{sfn|Гантмахер|1966|с=27}}: <math>A A^{-1} = A^{-1} A = E</math>. Единичная матрица получается при умножении [[Ортогональная матрица|ортогональной матрицы]] на её транспонированную матрицу{{sfn|Гантмахер|1966|с=238}}: <math>A A^T = E</math>. [[Определитель]] единичной матрицы равен единице: <math>\mathrm{det}\,E=1</math>.
== Обозначение ==


Единичные матрицы первых трёх порядков:
Единичная матрица размера <math>n\times n</math> обычно обозначается <math>E_n</math> и имеет вид:
: <math>E_n=\begin{bmatrix}
1 & 0 & \cdots & 0\\
0 & 1 & \cdots & 0\\
\cdots & \cdots & \cdots & \cdots \\
0 & 0 &\cdots & 1
\end{bmatrix},</math>
Так же используется и другое обозначение: <math>I_n</math>.

<small>Если из контекста ясно, какого размера матрица, то нижний индекс (указывающий порядок) опускается: <math>E</math>, <math>I</math>.</small>

== Свойства ==

*Произведение любой [[Матрица (математика)|матрицы]] и единичной матрицы подходящего размера равно самой матрице:
: <math>A E = E A = A</math>
*[[Квадратная матрица#Квадратная матрица и смежные определения|Квадратная матрица]] в нулевой степени дает единичную матрицу того же размера:
:<math>A^0 = E</math>
*При умножении матрицу на [[Обратная матрица|обратную]] ей тоже получается единичная матрица:
: <math>\! A A^{-1} = E</math>
*Единичная матрица получается при умножении [[Ортогональная матрица|ортогональной матрицы]] на ей транспонированную:
: <math>A A^T = E</math>
* [[Определитель]] единичной матрицы равен единице:
:<math>\mathrm{det}\,E=1</math>.

== Примеры ==

Единичные матрицы первых порядков имеют вид
: <math>
: <math>
E_1 = \begin{pmatrix}
E_1 = \begin{pmatrix}
Строка 50: Строка 22:
</math>
</math>


== Замечание ==
== Примечания ==
{{примечания}}

Если взять две матрицы —: матрицу <math>A</math> и единичную <math>E</math> — то, приведением матрицы <math>A</math> к единичной [[Метод Гаусса|методом Гаусса]], можно добиться одновременного приведения матрицы <math>E</math> к матрице <math>A^{-1}</math>.



== Литература ==
== Литература ==
* {{книга |заглавие=Теория матриц |автор={{автор|Гантмахер, Феликс Рувимович|Гантмахер, Ф. Р.}} |издание=2-е изд., доп. |издательство=[[Наука (издательство)|Наука]] |место=М. |год=1966 |страниц=576 |ref=Гантмахер }}
* См. [[список литературы по линейной алгебре]]


{{Векторы и матрицы}}
== См. также ==
* [[Нулевая матрица]]


{{math-stub}}

[[Категория:Абстрактная алгебра]]
[[Категория:Типы матриц]]
[[Категория:Типы матриц]]

[[ar:مصفوفة الوحدة]]
[[bg:Единична матрица]]
[[bs:Jedinična matrica]]
[[ca:Matriu identitat]]
[[cs:Jednotková matice]]
[[da:Identitetsmatrix]]
[[de:Einheitsmatrix]]
[[en:Identity matrix]]
[[eo:Identa matrico]]
[[es:Matriz identidad]]
[[et:Ühikmaatriks]]
[[fa:ماتریس همانی]]
[[fi:Yksikkömatriisi]]
[[fr:Matrice unité]]
[[he:מטריצת היחידה]]
[[hr:Jedinična matrica]]
[[hu:Egységmátrix]]
[[is:Einingarfylki]]
[[it:Matrice identità]]
[[ja:単位行列]]
[[ko:단위행렬]]
[[lv:Vienības matrica]]
[[nl:Eenheidsmatrix]]
[[no:Identitetsmatrise]]
[[pl:Macierz jednostkowa]]
[[pt:Matriz identidade]]
[[sl:Enotska matrika]]
[[sr:Јединична матрица]]
[[sv:Enhetsmatris]]
[[th:เมทริกซ์เอกลักษณ์]]
[[uk:Одинична матриця]]
[[ur:شناخت میٹرکس]]
[[zh:單位矩陣]]

Текущая версия от 09:01, 5 июля 2023

Едини́чная ма́трица — квадратная матрица размера (порядка) , элементы главной диагонали которой равны единице поля (), а остальные равны нулю ( при )[1].

Единичную матрицу можно также определить как матрицу , у которой , где  — символ Кронекера[1].

Единичная матрица является частным случаем скалярной матрицы.

Произведение любой матрицы и единичной матрицы подходящего размера равно самой матрице[1]: . Квадратная матрица в нулевой степени даёт единичную матрицу того же размера[1]: . При умножении матрицы на обратную ей, тоже получается единичная матрица[2]: . Единичная матрица получается при умножении ортогональной матрицы на её транспонированную матрицу[3]: . Определитель единичной матрицы равен единице: .

Единичные матрицы первых трёх порядков:

Примечания

[править | править код]

Литература

[править | править код]
  • Гантмахер, Ф. Р. Теория матриц. — 2-е изд., доп.. — М.: Наука, 1966. — 576 с.