Ранг матрицы: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Atr2006 (обсуждение | вклад) Нет описания правки |
Метка: ручная отмена |
||
(не показано 36 промежуточных версий 24 участников) | |||
Строка 1: | Строка 1: | ||
'''Рангом''' системы строк (столбцов) [[Матрица (математика)|матрицы]] <math>A</math> с <math>m</math> |
'''Рангом''' системы строк (столбцов) [[Матрица (математика)|матрицы]] <math>A</math> с <math>m</math> строками и <math>n</math> столбцами называется максимальное число [[линейная независимость|линейно независимых]] строк (столбцов). Несколько строк (столбцов) называются линейно независимыми, если ни одна из них не выражается линейно через другие. Ранг системы строк всегда равен рангу системы столбцов, и это число называется рангом матрицы. |
||
Ранг матрицы — наивысший из порядков всевозможных ненулевых [[Минор (линейная алгебра)|миноров]] этой матрицы. Ранг нулевой матрицы любого размера равен нулю. Если все миноры второго порядка равны нулю, то ранг равен единице, и т.д. |
|||
Ранг матрицы — размерность образа <math>\dim (\operatorname{im} (A))</math> [[линейный оператор|линейного оператора]], которому соответствует матрица. |
|||
Обычно ранг матрицы <math>A</math> обозначается <math>\operatorname{rang}A</math>, <math>\operatorname{rg}A</math> или <math>\operatorname{rank}A</math>. |
Обычно ранг матрицы <math>A</math> обозначается <math>\operatorname{rang}A</math>, <math>\operatorname{r}A</math>, <math>\operatorname{rg}A</math>, <math>\operatorname{rk}A</math> или <math>\operatorname{rank}A</math>. Последний вариант свойственен для английского языка, в то время как первые два — для немецкого, французского и ряда других языков. |
||
Оба обозначения пришли к нам из иностранных языков, потому и употребляться могут оба. |
|||
Последний вариант свойственен для [[:en:Rank_(linear_algebra)|английского]] языка, |
|||
в то время как первый — для [[:de:Rang_(Mathematik)|немецкого]], [[:fr:Rang_(mathématiques)|французского]] и ряда других языков. |
|||
== Определение == |
== Определение == |
||
Пусть <math>A_{m\times n}</math> — прямоугольная матрица. |
Пусть <math>A_{m\times n}</math> — прямоугольная матрица. |
||
Тогда по определению |
Тогда по определению рангом матрицы <math>A</math> является: |
||
* ноль, если <math>A</math> — нулевая матрица; |
* ноль, если <math>A</math> — [[нулевая матрица]]; |
||
* число <math>r\in\mathbb{N}:\;\exist M_r\neq 0,\;\forall M_{r+1}=0</math>, где <math>M_r</math> — [[ |
* число <math>r\in\mathbb{N}:\;\exist M_r\neq 0,\;\forall M_{r+1}=0</math>, где <math>M_r</math> — [[Минор (линейная алгебра)|минор]] матрицы <math>A</math> порядка <math>r</math>, а <math>M_{r+1}</math> — [[окаймляющий]] к нему минор порядка <math>(r+1)</math>, если они существуют. |
||
{{рамка}} |
{{рамка}} |
||
'''Теорема (о корректности определения рангов).''' Пусть все миноры матрицы <math>A_{m\times n}</math> порядка <math>k</math> равны нулю (<math>M_k=0</math>). Тогда <math>\forall M_{k+1}=0</math>, если они существуют. |
'''Теорема (о корректности определения рангов).''' Пусть все миноры матрицы <math>A_{m\times n}</math> порядка <math>k</math> равны нулю (<math>M_k=0</math>). Тогда <math>\forall M_{k+1}=0</math>, если они существуют. |
||
{{конец рамки}} |
|||
{{/рамка}} |
|||
== Связанные определения == |
== Связанные определения == |
||
Строка 27: | Строка 24: | ||
== Свойства == |
== Свойства == |
||
'''Теорема (о базисном миноре):''' Пусть <math>r=\operatorname{rang}A, |
|||
M_r</math> — базисный минор матрицы <math>A</math>, тогда: |
M_r</math> — базисный минор матрицы <math>A</math>, тогда: |
||
* |
* базисные строки и базисные столбцы [[линейная независимость|линейно независимы]]; |
||
* |
* любая строка (столбец) матрицы <math>A</math> есть линейная комбинация базисных строк (столбцов). |
||
'''Следствия:''' |
|||
** Если ранг матрицы равен <math>r</math>, то любые <math>p\colon p>r</math> строк или столбцов этой матрицы будут линейно зависимы. |
|||
* Если ранг матрицы равен <math>r</math>, то любые <math>p\colon p>r</math> строк или столбцов этой матрицы будут линейно зависимы. |
|||
* Если <math>A</math> — квадратная матрица, и <math>\det A=0</math>, то строки и столбцы этой матрицы линейно зависимы. |
|||
* Пусть <math>r=\operatorname{rang}A</math>, тогда максимальное количество линейно независимых строк (столбцов) этой матрицы равно <math>r</math>. |
|||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
: <math> rank AB \geq rank A + rank B - n </math> |
|||
⚫ | |||
Ранг {{mvar|A}} равен {{mvar|r}} тогда и только тогда, когда существует обратимые матрицы размерности {{math|''m'' × ''m''}} ({{mvar|X}}) и {{math|''n'' × ''n''}} ({{mvar|Y}}) такие, что |
|||
: <math> XAY = |
|||
\begin{bmatrix} |
|||
I_r & 0 \\ |
|||
0 & 0 \\ |
|||
\end{bmatrix},</math> где {{math|''I''<sub>''r''</sub>}} обозначает [[Единичная матрица|единичную матрицу]] размерности {{math|''r'' × ''r''}} . |
|||
Если {{mvar|B}} - любая матрица размерности {{math|''n'' × ''k''}}, то |
|||
: <math> \operatorname{rang}(AB) \leq \min(\operatorname{rang}(A), \operatorname{rang}(B)). </math> |
|||
Если {{mvar|B}} - матрица размерности {{math|''n'' × ''k''}} ранга {{mvar|n}}, то |
|||
: <math>\operatorname{rang}(AB) = \operatorname{rang}(A).</math> |
|||
Если {{mvar|C}} - матрица размерности {{math|''l'' × ''m''}} ранга {{mvar|m}}, то |
|||
: <math>\operatorname{rang}(CA) = \operatorname{rang}(A).</math> |
|||
⚫ | |||
: <math> \operatorname{rang} AB \geq \operatorname{rang} A + \operatorname{rang} B - n </math> |
|||
Это частный случай следующего неравенства. |
Это частный случай следующего неравенства. |
||
'''[[Неравенство Фробениуса]]:''' Если AB, BC, ABC корректно определены, то |
|||
: <math> rank ABC \geq rank AB + rank BC - rank B </math> |
|||
: <math> \operatorname{rang} ABC \geq \operatorname{rang} AB + \operatorname{rang} BC - \operatorname{rang} B </math> |
|||
'''Субаддитивность''': |
|||
: <math>\operatorname{rang}(A+ B) \le \operatorname{rang}(A) + \operatorname{rang}(B) </math>, |
|||
когда {{mvar|A}} и {{mvar|B}} имеют одинаковые размерности. |
|||
'''Следствие.''' |
|||
* Любая матрица с рангом {{mvar|k}} может быть записана в виде суммы {{mvar|k}} матриц с рангом 1, но не меньше. |
|||
Сумма ранга и [[Ядро (линейная алгебра)|дефекта]] матрицы равно числу ее столбцов. (Это - [[теорема о ранге и дефекте]].) |
|||
== Линейное преобразование и ранг матрицы == |
== Линейное преобразование и ранг матрицы == |
||
Пусть <math>A</math> — матрица размера <math>m \times n</math> над полем <math>C</math> (или <math>R</math>). Пусть <math>T</math> — линейное преобразование, соответствующее <math>A</math> в стандартном базисе; это значит, что <math>T(x)=Ax</math>. ''Ранг матрицы'' '''''<math>A</math>''''' — это размерность |
Пусть <math>A</math> — матрица размера <math>m \times n</math> над полем <math>C</math> (или <math>R</math>). Пусть <math>T</math> — линейное преобразование, соответствующее <math>A</math> в стандартном базисе; это значит, что <math>T(x)=Ax</math>. ''Ранг матрицы'' '''''<math>A</math>''''' — это размерность образа преобразования <math>T</math>. |
||
== Методы == |
== Методы == |
||
Существует несколько методов нахождения ранга матрицы: |
Существует несколько методов нахождения ранга матрицы: |
||
* '''Метод элементарных преобразований''' |
|||
'''Метод элементарных преобразований'''. Ранг матрицы равен числу ненулевых строк в матрице после приведения её к ступенчатой форме при помощи элементарных преобразований над строками матрицы. |
|||
* '''Метод окаймляющих миноров''' |
|||
'''Метод окаймляющих миноров'''. Пусть в матрице <math>A</math> найден ненулевой минор <math>k</math>-го порядка <math>M</math>. Рассмотрим все миноры <math>(k+1)</math>-го порядка, включающие в себя (окаймляющие) минор <math>M</math>; если все они равны нулю, то ранг матрицы равен <math>k</math>. В противном случае среди окаймляющих миноров найдется ненулевой, и вся процедура повторяется. |
|||
== Литература == |
|||
* {{Cite web |url=https://books.google.com/books?id=P_DGBgAAQBAJ |title=Курс алгебры |author=[[Эрнест Винберг]] |date=2017-09-05 |lang=ru |accessdate=2018-08-24}} |
|||
{{rq|topic=math|cleanup|sources}} |
{{rq|topic=math|cleanup|sources}} |
Текущая версия от 09:33, 18 июня 2024
Рангом системы строк (столбцов) матрицы с строками и столбцами называется максимальное число линейно независимых строк (столбцов). Несколько строк (столбцов) называются линейно независимыми, если ни одна из них не выражается линейно через другие. Ранг системы строк всегда равен рангу системы столбцов, и это число называется рангом матрицы.
Ранг матрицы — наивысший из порядков всевозможных ненулевых миноров этой матрицы. Ранг нулевой матрицы любого размера равен нулю. Если все миноры второго порядка равны нулю, то ранг равен единице, и т.д.
Ранг матрицы — размерность образа линейного оператора, которому соответствует матрица.
Обычно ранг матрицы обозначается , , , или . Последний вариант свойственен для английского языка, в то время как первые два — для немецкого, французского и ряда других языков.
Определение
[править | править код]Пусть — прямоугольная матрица.
Тогда по определению рангом матрицы является:
- ноль, если — нулевая матрица;
- число , где — минор матрицы порядка , а — окаймляющий к нему минор порядка , если они существуют.
Теорема (о корректности определения рангов). Пусть все миноры матрицы порядка равны нулю (). Тогда , если они существуют. |
Связанные определения
[править | править код]- Ранг матрицы размера называют полным, если .
- Базисный минор матрицы — любой ненулевой минор матрицы порядка , где .
- Строки и столбцы, на пересечении которых стоит базисный минор, называются базисными строками и столбцами. (Они определены неоднозначно в силу неоднозначности базисного минора.)
Свойства
[править | править код]Теорема (о базисном миноре): Пусть — базисный минор матрицы , тогда:
- базисные строки и базисные столбцы линейно независимы;
- любая строка (столбец) матрицы есть линейная комбинация базисных строк (столбцов).
Следствия:
- Если ранг матрицы равен , то любые строк или столбцов этой матрицы будут линейно зависимы.
- Если — квадратная матрица, и , то строки и столбцы этой матрицы линейно зависимы.
- Пусть , тогда максимальное количество линейно независимых строк (столбцов) этой матрицы равно .
Теорема (об инвариантности ранга при элементарных преобразованиях): Введём обозначение для матриц, полученных друг из друга элементарными преобразованиями. Тогда справедливо утверждение: Если , то их ранги равны.
Теорема Кронекера — Капелли: Система линейных алгебраических уравнений совместна тогда и только тогда, когда ранг её основной матрицы равен рангу её расширенной матрицы. В частности:
- Количество главных переменных системы равно рангу системы.
- Совместная система будет определена (её решение единственно), если ранг системы равен числу всех её переменных.
Ранг A равен r тогда и только тогда, когда существует обратимые матрицы размерности m × m (X) и n × n (Y) такие, что
- где Ir обозначает единичную матрицу размерности r × r .
Если B - любая матрица размерности n × k, то
Если B - матрица размерности n × k ранга n, то
Если C - матрица размерности l × m ранга m, то
Неравенство Сильвестра: Если A и B матрицы размеров и , то
Это частный случай следующего неравенства.
Неравенство Фробениуса: Если AB, BC, ABC корректно определены, то
Субаддитивность:
- ,
когда A и B имеют одинаковые размерности.
Следствие.
- Любая матрица с рангом k может быть записана в виде суммы k матриц с рангом 1, но не меньше.
Сумма ранга и дефекта матрицы равно числу ее столбцов. (Это - теорема о ранге и дефекте.)
Линейное преобразование и ранг матрицы
[править | править код]Пусть — матрица размера над полем (или ). Пусть — линейное преобразование, соответствующее в стандартном базисе; это значит, что . Ранг матрицы — это размерность образа преобразования .
Методы
[править | править код]Существует несколько методов нахождения ранга матрицы:
Метод элементарных преобразований. Ранг матрицы равен числу ненулевых строк в матрице после приведения её к ступенчатой форме при помощи элементарных преобразований над строками матрицы.
Метод окаймляющих миноров. Пусть в матрице найден ненулевой минор -го порядка . Рассмотрим все миноры -го порядка, включающие в себя (окаймляющие) минор ; если все они равны нулю, то ранг матрицы равен . В противном случае среди окаймляющих миноров найдется ненулевой, и вся процедура повторяется.
Литература
[править | править код]- Эрнест Винберг. Курс алгебры (5 сентября 2017). Дата обращения: 24 августа 2018.
Для улучшения этой статьи по математике желательно:
|