ранг и системы уравнений

высшая математикалекция

в окне печати выбери «сохранить как pdf».

что было

оглавление
оглавление

Путь занятия 17 сентября: от максимальных и базисных миноров к рангу, матричной записи системы и формулам Крамера.

Ранг связывает независимость строк с числом ограничений в системе, а формулы Крамера дают единственное решение квадратной системы только при ненулевом определителе.

от миноров к рангу

В исходном PDF сначала уточняется язык миноров. Минор порядка kk строится выбором kk строк и kk столбцов; их число в матрице m×nm\times n равно (mk)(nk)\binom mk\binom nk. Базисным называют любой ненулевой минор максимального порядка.

Nk=(mk)(nk)N_k=\binom{m}{k}\binom{n}{k}

минор из исходного PDF

условие: Найти минор второго порядка для подматрицы (3223)\begin{pmatrix}3&2\\2&3\end{pmatrix}.

ход решения

  1. Умножаем элементы главной диагонали: 3⋅3=93\cdot3=9

  2. Умножаем элементы побочной диагонали: 2⋅2=42\cdot2=4

  3. Вычитаем второе произведение из первого: 9−49-4

ответ: M=5M=5

проверка: Результат ненулевой, значит ранг исходной матрицы не меньше 2.

сколько миноров бывает

В матрице 4×54\times5 миноров второго порядка (42)(52)=6⋅10=60\binom42\binom52=6\cdot10=60. Этот подсчёт тоже приведён в исходном PDF.

что ранг говорит о системе

Система записывается как AX=BAX=B: AA хранит коэффициенты, XX — неизвестные, BB — свободные члены. Совместная система имеет хотя бы одно решение; определённая — ровно одно, неопределённая — бесконечно много.

Термины из конспекта занятия

система

что это значит

совместная

есть хотя бы одно решение

несовместная

решений нет

определённая

решение единственно

неопределённая

решений бесконечно много

однородная

B=0B=0; нулевое решение есть всегда

почему здесь появляется ранг

Число ведущих строк после преобразований показывает число независимых условий. Если независимых условий меньше числа неизвестных, появляются свободные переменные; точный критерий через два ранга формулирует теорема Кронекера—Капелли.

квадратная система и формулы Крамера

Финальная часть PDF переходит к квадратной системе и условию Δ=det⁡A≠0\Delta=\det A\ne0. Сам файл формулирует правило, но не содержит полного числового расчёта; следующий пример добавлен редакцией, чтобы показать все шаги и проверку.

xi=ΔiΔ,i=1,…,nx_i=\frac{\Delta_i}{\Delta},\qquad i=1,\ldots,n

редакционный учебный пример по формулам Крамера

условие: Решить систему 2x1+3x2+x3=142x_1+3x_2+x_3=14, 3x1−x2+2x3=53x_1-x_2+2x_3=5, x1+2x2−x3=7x_1+2x_2-x_3=7.

ход решения

  1. Δ=∣2313−1212−1∣=16\Delta=\begin{vmatrix}2&3&1\\3&-1&2\\1&2&-1\end{vmatrix}=16

  2. Δ1=32\Delta_1=32, Δ2=48\Delta_2=48, Δ3=16\Delta_3=16 после замены соответствующих столбцов

  3. x1=32/16=2x_1=32/16=2, x2=48/16=3x_2=48/16=3, x3=16/16=1x_3=16/16=1

ответ: (x1,x2,x3)=(2,3,1)(x_1,x_2,x_3)=(2,3,1)

проверка: 2⋅2+3⋅3+1=142\cdot2+3\cdot3+1=14; 3⋅2−3+2=53\cdot2-3+2=5; 2+2⋅3−1=72+2\cdot3-1=7.

граница метода

Формулы Крамера в таком виде применяются к квадратной системе при det⁡A≠0\det A\ne0. При нулевом определителе нельзя делить на Δ\Delta; число решений исследуют рангами и методом Гаусса.

что запомнить

  • Базисный минор — ненулевой минор порядка, равного рангу.

  • Система AX=BAX=B объединяет коэффициенты, неизвестные и свободные члены.

  • Однородная система всегда имеет нулевое решение.

  • Крамер даёт xi=Δi/Δx_i=\Delta_i/\Delta только при Δ≠0\Delta\ne0.

самопроверка

  • Сколько миноров третьего порядка есть в матрице 3×43\times4?

  • Чем определённая система отличается от совместной вообще?

  • Как построить Δ2\Delta_2 в формулах Крамера?

  • Что нужно делать, если det⁡A=0\det A=0?

источники

  • материал занятия: Ранг и системы — конспект занятия — /materials/lectures/rank-and-systems.pdf

  • редакционная сверка: MIT OpenCourseWare: Solving Ax = b: Row Reduced Form R — https://ocw.mit.edu/courses/18-06sc-linear-algebra-fall-2011/pages/ax-b-and-the-four-subspaces/solving-ax-b-row-reduced-form-r/

  • редакционная сверка: MIT OpenCourseWare: Determinant Formulas and Cofactors — https://ocw.mit.edu/courses/18-06sc-linear-algebra-fall-2011/pages/least-squares-determinants-and-eigenvalues/determinant-formulas-and-cofactors/

что сделать

Подставьте ответ (2,3,1)(2,3,1) в исходную систему из примера и пересчитайте один из определителей Δi\Delta_i.

благодарность

Евгения Прохорова (1-45) и Никита Козлов (1-48)

материалы

предложить дополнение или исправлениекак оцифровать конспект