ранг и системы уравнений
высшая математикалекция
что было
оглавление
оглавление
Путь занятия 17 сентября: от максимальных и базисных миноров к рангу, матричной записи системы и формулам Крамера.
Ранг связывает независимость строк с числом ограничений в системе, а формулы Крамера дают единственное решение квадратной системы только при ненулевом определителе.
от миноров к рангу
В исходном PDF сначала уточняется язык миноров. Минор порядка строится выбором строк и столбцов; их число в матрице равно . Базисным называют любой ненулевой минор максимального порядка.
минор из исходного PDF
условие: Найти минор второго порядка для подматрицы .
ход решения
Умножаем элементы главной диагонали:
Умножаем элементы побочной диагонали:
Вычитаем второе произведение из первого:
ответ:
проверка: Результат ненулевой, значит ранг исходной матрицы не меньше 2.
сколько миноров бывает
В матрице миноров второго порядка . Этот подсчёт тоже приведён в исходном PDF.
что ранг говорит о системе
Система записывается как : хранит коэффициенты, — неизвестные, — свободные члены. Совместная система имеет хотя бы одно решение; определённая — ровно одно, неопределённая — бесконечно много.
система | что это значит |
|---|---|
совместная | есть хотя бы одно решение |
несовместная | решений нет |
определённая | решение единственно |
неопределённая | решений бесконечно много |
однородная | ; нулевое решение есть всегда |
почему здесь появляется ранг
Число ведущих строк после преобразований показывает число независимых условий. Если независимых условий меньше числа неизвестных, появляются свободные переменные; точный критерий через два ранга формулирует теорема Кронекера—Капелли.
квадратная система и формулы Крамера
Финальная часть PDF переходит к квадратной системе и условию . Сам файл формулирует правило, но не содержит полного числового расчёта; следующий пример добавлен редакцией, чтобы показать все шаги и проверку.
редакционный учебный пример по формулам Крамера
условие: Решить систему , , .
ход решения
, , после замены соответствующих столбцов
, ,
ответ:
проверка: ; ; .
граница метода
Формулы Крамера в таком виде применяются к квадратной системе при . При нулевом определителе нельзя делить на ; число решений исследуют рангами и методом Гаусса.
что запомнить
Базисный минор — ненулевой минор порядка, равного рангу.
Система объединяет коэффициенты, неизвестные и свободные члены.
Однородная система всегда имеет нулевое решение.
Крамер даёт только при .
самопроверка
Сколько миноров третьего порядка есть в матрице ?
Чем определённая система отличается от совместной вообще?
Как построить в формулах Крамера?
Что нужно делать, если ?
источники
материал занятия: Ранг и системы — конспект занятия — /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/
что сделать
Подставьте ответ в исходную систему из примера и пересчитайте один из определителей .
благодарность
Евгения Прохорова (1-45) и Никита Козлов (1-48)