Математика для заочников и не только

Высшая математика – просто и доступно!

Вы находитесь на зеркале сайта mathprofi.ru

Форум, библиотека и блог: mathprofi


Высшая математика:

Математика для заочников

Математические формулы,
таблицы и другие материалы

Книги по математике

Математические сайты

+-*/^ Удобный калькулятор

+ «Дробовик»   

Учимся решать:

Лекции-уроки по высшей математике для первого курса

Высшая математика для чайников, или с чего начать?
Повторяем школьный курс

Аналитическая геометрия:

Векторы для чайников
Скалярное произведение
векторов

Линейная (не) зависимость
векторов. Базис векторов

Переход к новому базису
Векторное и смешанное
произведение векторов

Формулы деления отрезка
в данном отношении

Прямая на плоскости
Простейшие задачи
с прямой на плоскости

Линейные неравенства
Как научиться решать задачи
по аналитической геометрии?

Линии второго порядка. Эллипс
Гипербола и парабола
Задачи с линиями 2-го порядка
Как привести уравнение л. 2 п.
к каноническому виду?

Полярные координаты
Как построить линию
в полярной системе координат?

Уравнение плоскости
Прямая в пространстве
Задачи с прямой в пространстве
Основные задачи
на прямую и плоскость

Треугольная пирамида

Элементы высшей алгебры:

Множества и действия над ними
Основы математической логики
Формулы и законы логики
Уравнения высшей математики
Как найти рациональные корни
многочлена? Схема Горнера

Комплексные числа
Выражения, уравнения и с-мы
с комплексными числами

Действия с матрицами
Как вычислить определитель?
Свойства определителя
и понижение его порядка

Как найти обратную матрицу?
Свойства матричных операций.
Матричные выражения

Матричные уравнения
Как решить систему линейных уравнений?
Правило Крамера. Матричный метод решения системы
Метод Гаусса для чайников
Несовместные системы
и системы с общим решением

Как найти ранг матрицы?
Однородные системы
линейных уравнений

Метод Гаусса-Жордана
Решение системы уравнений
в различных базисах

Линейные преобразования
Собственные значения
и собственные векторы

Квадратичные формы
Как привести квадратичную
форму к каноническому виду?

Ортогональное преобразование
квадратичной формы

Пределы:

Пределы. Примеры решений
Замечательные пределы
Методы решения пределов
Бесконечно малые функции.
Эквивалентности

Правила Лопиталя
Сложные пределы
Пределы последовательностей
Пределы по Коши. Теория

Производные функций:

Как найти производную?
Производная сложной функции. Примеры решений
Логарифмическая производная
Производные неявной, параметрической функций
Простейшие задачи
с производной

Производные высших порядков
Что такое производная?
Производная по определению
Как найти уравнение нормали?
Приближенные вычисления
с помощью дифференциала

Метод касательных

Функции и графики:

Графики и свойства
элементарных функций

Как построить график функции
с помощью преобразований?

Непрерывность, точки разрыва
Область определения функции
Асимптоты графика функции
Интервалы знакопостоянства
Возрастание, убывание
и экстремумы функции

Выпуклость, вогнутость
и точки перегиба графика

Полное исследование функции
и построение графика

Наибольшее и наименьшее
значения функции на отрезке

Экстремальные задачи

ФНП:

Область определения функции
двух переменных. Линии уровня

Основные поверхности
Предел функции 2 переменных
Повторные пределы
Непрерывность функции 2п
Частные производные
Частные производные
функции трёх переменных

Производные сложных функций
нескольких переменных

Как проверить, удовлетворяет
ли функция уравнению?

Частные производные
неявно заданной функции

Производная по направлению
и градиент функции

Касательная плоскость и
нормаль к поверхности в точке

Экстремумы функций
двух и трёх переменных

Условные экстремумы
Наибольшее и наименьшее
значения функции в области

Метод наименьших квадратов

Интегралы:

Неопределенный интеграл.
Примеры решений

Метод замены переменной
в неопределенном интеграле

Интегрирование по частям
Интегралы от тригонометрических функций
Интегрирование дробей
Интегралы от дробно-рациональных функций
Интегрирование иррациональных функций
Сложные интегралы
Определенный интеграл
Как вычислить площадь
с помощью определенного интеграла?

Что такое интеграл?
Теория для чайников

Объем тела вращения
Несобственные интегралы
Эффективные методы решения
определенных и несобственных
интегралов

Как исследовать сходимость
несобственного интеграла?

Признаки сходимости несобств.
интегралов второго рода

Абсолютная и условная
сходимость несобств. интеграла

S в полярных координатах
S и V, если линия задана
в параметрическом виде

Длина дуги кривой
S поверхности вращения
Приближенные вычисления
определенных интегралов


Метод прямоугольников

  Карта сайта

Лекции-уроки по высшей математике для второго курса

Дифференциальные уравнения:

Дифференциальные уравнения первого порядка
Однородные ДУ 1-го порядка
ДУ, сводящиеся к однородным
Линейные неоднородные дифференциальные уравнения первого порядка
Дифференциальные уравнения в полных дифференциалах
Уравнение Бернулли
Дифференциальные уравнения
с понижением порядка

Однородные ДУ 2-го порядка
Неоднородные ДУ 2-го порядка
Линейные дифференциальные
уравнения высших порядков

Метод вариации
произвольных постоянных

Как решить систему
дифференциальных уравнений

Задачи с диффурами
Методы Эйлера и Рунге-Кутты

Числовые ряды:

Ряды для чайников
Как найти сумму ряда?
Признак Даламбера.
Признаки Коши

Знакочередующиеся ряды. Признак Лейбница
Ряды повышенной сложности

Функциональные ряды:

Степенные ряды
Разложение функций
в степенные ряды

Сумма степенного ряда
Равномерная сходимость
Другие функциональные ряды
Приближенные вычисления
с помощью рядов

Вычисление интеграла разложением функции в ряд
Как найти частное решение ДУ
приближённо с помощью ряда?

Вычисление пределов
Ряды Фурье. Примеры решений

Кратные интегралы:

Двойные интегралы
Как вычислить двойной
интеграл? Примеры решений

Двойные интегралы
в полярных координатах

Как найти центр тяжести
плоской фигуры?

Тройные интегралы
Как вычислить произвольный
тройной интеграл?


Криволинейные интегралы
Интеграл по замкнутому контуру
Формула Грина. Работа силы

Поверхностные интегралы

Элементы векторного анализа:

Основы теории поля
Поток векторного поля
Дивергенция векторного поля
Формула Гаусса-Остроградского

Циркуляция векторного поля
и формула Стокса

Комплексный анализ:

ТФКП для начинающих
Как построить область
на комплексной плоскости?

Линии на С. Параметрически
заданные линии

Отображение линий и областей
с помощью функции w=f(z)

Предел функции комплексной
переменной. Примеры решений

Примеры решений типовых
задач комплексного анализа

Как найти функцию
комплексной переменной?

Решение ДУ методом
операционного исчисления

Как решить систему ДУ
операционным методом?

Теория вероятностей:

Основы теории вероятностей
Задачи по комбинаторике
Задачи на классическое
определение вероятности

Геометрическая вероятность
Задачи на теоремы сложения
и умножения вероятностей

Зависимые события
Формула полной вероятности
и формулы Байеса

Независимые испытания
и формула Бернулли

Локальная и интегральная
теоремы Лапласа

Статистическая вероятность
Случайные величины.
Математическое ожидание

Дисперсия дискретной
случайной величины

Функция распределения
Геометрическое распределение
Биномиальное распределение
Распределение Пуассона
Гипергеометрическое
распределение вероятностей

Непрерывная случайная
величина, функции F(x) и f(x)

Как вычислить математическое
ожидание и дисперсию НСВ?

Равномерное распределение
Показательное распределение
Нормальное распределение
Система случайных величин
Зависимые и независимые
случайные величины

Двумерная непрерывная
случайная величина

Зависимость и коэффициент
ковариации непрерывных СВ

Математическая статистика:

Математическая статистика
Дискретный вариационный ряд
Интервальный ряд
Мода, медиана, средняя
Показатели вариации
Формула дисперсии, среднее
квадратическое отклонение,
коэффициент вариации

Асимметрия и эксцесс
эмпирического распределения

Статистические оценки
и доверительные интервалы

Оценка вероятности
биномиального распределения

Оценки по повторной
и бесповторной выборке

Статистические гипотезы
Проверка гипотез. Примеры
Гипотеза о виде распределения
Критерий согласия Пирсона

Группировка данных. Виды группировок. Перегруппировка
Общая, внутригрупповая
и межгрупповая дисперсия

Аналитическая группировка
Комбинационная группировка
Эмпирические показатели
Как вычислить линейный
коэффициент корреляции?

Уравнение линейной регрессии
Проверка значимости линейной
корреляционной модели

Модель пАрной регрессии.
Индекс детерминации

Нелинейная регрессия. Виды и
примеры решений

Коэффициент ранговой
корреляции Спирмена

Коэф-т корреляции Фехнера
Уравнение множественной
линейной регрессии

Не нашлось нужной задачи?
Сборники готовых решений!

Не получается пример?
Задайте вопрос на форуме!
>>> mathprofi.com

Обратная связь:

Часто задаваемые вопросы
Гостевая книга Отблагодарить автора >>>

Заметили опечатку / ошибку?
Пожалуйста, сообщите мне об этом



  Карта сайта


Как найти ранг матрицы?

Знание ранга матрицы повысит ваш ранг =)


На сегодняшнем уроке  мы познакомимся с понятием ранга алгебраической матрицы, научимся находить ранг матрицы методом окаймляющих миноров и методом Гаусса, а также рассмотрим важное практическое приложение темы: исследование системы линейных уравнений на совместность.

Что такое ранг матрицы?

В юмористическом эпиграфе статьи содержится большая доля истины. Само слово «ранг» у нас обычно ассоциируется с некоторой иерархией, чаще всего, со служебной лестницей. Чем больше у человека знаний, опыта, способностей, блата и т.д. – тем выше его должность и спектр возможностей. Выражаясь по молодёжному, под рангом подразумевают общую степень «крутизны».

И братья наши математические живут по тем же принципам. Выведем на прогулку несколько произвольных нулевых матриц:

Задумаемся, если в матрице одни нули, то о каком ранге может идти речь? Всем знакомо неформальное выражение «полный ноль». В обществе матриц всё точно так же:

Ранг нулевой матрицы  любых размеров равен нулю.

Примечание: нулевая матрица обозначается греческой буквой «тета»

В целях лучшего понимания ранга матрицы здесь и далее я буду привлекать на помощь материалы аналитической геометрии. Рассмотрим нулевой вектор  нашего трёхмерного пространства, который не задаёт определённого направления и бесполезен для построения аффинного базиса. С алгебраической точки зрения координаты данного вектора записаны в матрицу «один на три» и логично (в  указанном геометрическом смысле) считать, что ранг этой матрицы равен нулю.

Теперь рассмотрим несколько ненулевых векторов-столбцов и векторов-строк:

В каждом экземпляре есть хотя бы один ненулевой элемент, и это уже кое-что!

Ранг любого ненулевого вектора-строки (вектора-столбца) равен единице

И вообще – если в матрице произвольных размеров есть хотя бы один ненулевой элемент, то её ранг не меньше единицы.

Алгебраические векторы-строки и векторы-столбцы в известной степени абстрактны, поэтому снова обратимся к геометрической ассоциации. Ненулевой вектор  задаёт вполне определённое направление в пространстве и годится для построения базиса, поэтому ранг матрицы  будем считать равным единице.

Теоретическая справка: в линейной алгебре вектор – это элемент векторного пространства (определяемое через 8 аксиом), который, в частности, может представлять собой упорядоченную строку (или столбец) действительных чисел с определёнными для них операциями сложения и умножения на действительное число. С более подробной информацией о векторах можно ознакомиться в статье Линейные преобразования.

Рассмотрим матрицу , строки которой линейно зависимы (выражаются друг через друга). С геометрической точки зрения во вторую строку записаны координаты коллинеарного вектора , который ничуть не продвинул дело в построении трёхмерного базиса, являясь в этом смысле лишним. Таким образом, ранг данной матрицы тоже равен единице.

Перепишем координаты векторов в столбцы (транспонируем матрицу):

Что изменилось с точки зрения ранга? Ничего. Столбцы пропорциональны, значит, ранг равен единице. Кстати, обратите внимание, что все три строки тоже пропорциональны. Их можно отождествить с координатами трёх коллинеарных векторов плоскости, из которых только один полезен для построения «плоского» базиса. И это полностью согласуется с нашим геометрическим смыслом ранга.

Из вышеприведённого примера следует важное утверждение:

Ранг матрицы по строкам равен рангу матрицы по столбцам. Об этом я уже немного упоминал на уроке об эффективных методах вычисления определителя.

Примечание: из линейной зависимости строк следует линейная зависимость столбцов (и наоборот).  Но в целях экономии времени, да и в силу привычки я почти всегда буду говорить о линейной зависимости строк.

Продолжим дрессировать нашего любимого питомца. Добавим в матрицу третьей строкой координаты ещё одного коллинеарного вектора :

Помог ли он нам в построении трёхмерного базиса? Конечно, нет. Все три вектора гуляют туда-сюда по одной дорожке, и ранг матрицы равен единице. Можно взять сколько угодно коллинеарных векторов, скажем, 100, уложить их координаты в матрицу «сто на три» и ранг такого небоскрёба всё равно останется единичным.

Познакомимся с матрицей , строки которой линейно независимы.  Пара неколлинеарных векторов  пригодна для построения трёхмерного базиса. Ранг этой матрицы равен двум.

А чему равен ранг матрицы ? Строки вроде не пропорциональны…, значит, по идее трём. Однако ранг этой матрицы тоже равен двум. Я сложил первые две строки и записал результат внизу, то есть линейно выразил третью строку через первые две. Геометрически строки матрицы соответствуют координатам трёх компланарных векторов, причём среди этой тройки существует пара неколлинеарных товарищей.

Как видите, линейная зависимость в рассмотренной матрице не очевидна, и сегодня мы как раз научимся выводить её «на чистую воду».

Думаю, многие догадываются, что такое ранг матрицы!

Рассмотрим матрицу , строки которой линейно независимы. Векторы  образуют аффинный базис, и ранг данной матрицы равняется трём.

Как вы знаете, любой четвёртый, пятый, десятый вектор трёхмерного пространства будет линейно выражаться через базисные векторы. Поэтому, если в матрицу  добавить любое количество строк, то её ранг всё равно будет равен трём.

Аналогичные рассуждения можно провести для матриц бОльших размеров (понятно, уже без геометрического смысла).

Определение: ранг матрицы – это максимальное количество линейно независимых строк. Или: ранг матрицы – это максимальное количество линейно независимых столбцов. Да, их количество всегда совпадает.

Из вышесказанного также следует важный практический ориентир: ранг матрицы не превосходит её минимальной размерности. Например, в матрице четыре строки и пять столбцов. Минимальная размерность – четыре, следовательно, ранг данной матрицы заведомо не превзойдёт 4.

Обозначения: в мировой теории и практике не существует общепринятого стандарта для обозначения ранга матрицы, наиболее часто можно встретить:  – как говорится, англичанин пишет одно, немец другое. Поэтому давайте по мотивам известного анекдота про американский и русский ад обозначать ранг матрицы родным словом. Например: . А если матрица «безымянная», коих встречается очень много, то можно просто записать .


Как найти ранг матрицы с помощью миноров?

На уроках о вычислении определителя и нахождении обратной матрицы нам уже встречались миноры второго порядка, получаемые вычёркиванием строк и столбцов в матрице «три на три». Сейчас мы расширим понятие минора и дадим его определение… да не вздыхайте так тяжко, тут с картинками =)

Минором прямоугольной матрицы называется определитель, составленный из чисел, которые находятся на пересечении различных  строк и различных  столбцов матрицы. Число  называют порядком минора.

Заметьте, что сама матрица не обязана быть квадратной. Рассмотрим конкретный пример:

Как получить какой-нибудь минор 2-го порядка? Нужно выбрать две произвольные строки, например, 2-ю и 4-ю, два произвольных столбца, например, 3-й и 5-й, и числа, находящиеся на их пересечении  записать в минор второго порядка: . Сколько всего миноров 2-го порядка? Много. Существуют специальные комбинаторные формулы для подсчёта количества миноров, но в рамках данного занятия это малополезная информация.

Получим какой-нибудь минор третьего порядка. Рассматриваем три произвольные строки, например, 1-ю, 3-ю и 4-ю, три произвольных столбца, например, 1-й, 2-й и 4-й и с их пересечения  «снимаем» минор 3-го порядка: .

Что касается миноров 4-го порядка, то здесь выбор уже невелик: необходимо задействовать все 4 строки и четыре произвольных столбца, например, все столбцы, за исключением 3-го:

Алгоритм нахождения ранга матрицы с помощью миноров

В качестве примера возьмём ту же матрицу . Поскольку в матрице есть ненулевые элементы, то её ранг не меньше единицы и, очевидно, что он не превосходит 4. Как действовать дальше?

Дальше необходимо начать перебор и вычисление миноров 2-го порядка. Если ВСЕ миноры 2-го порядка окажутся нулевыми, то ранг матрицы равен единице. Но это крайне маловероятно, рано или поздно (чаще всего рано), встретится ненулевой минор , и данный факт означает, что ранг матрицы не менее двух.

На следующем шаге последовательно перебираем и рассчитываем миноры 3-го порядка. Если ВСЕ эти миноры равны нулю, то . Если же встретился минор , то делаем вывод о том, что ранг матрицы не менее трёх и переходим к следующему шагу.

Перебор и вычисление миноров 4-го порядка. Если ВСЕ миноры 4-го порядка равны нулю, то , если встретился минор , то .

Таким образом, ранг матрицы равен максимальному порядку ненулевого минора.

Схему «перебора в лоб» часто критикуют, но как ни странно, во многих случаях она даёт неплохие результаты. Тем не менее, следует отметить длительность процесса и в целях сокращения количества вычислений разработан:

метод окаймляющих миноров

Алгоритм в общем виде, боюсь, будет мало кому понятен, гораздо проще разобрать его на конкретной задаче:

Пример 1

Найти ранг матрицы методом окаймляющих миноров

Решение: дана квадратная матрица «четыре на четыре» и, понятно, её ранг не больше четырёх.

Заряжаем:

Поскольку в матрице есть ненулевые элементы, то её ранг не менее единицы.

Проверку миноров 2-го порядка начинаем с так называемого углового минора .

, поэтому переходим к минору :

, значит, ранг матрицы не менее двух. Что было бы нужно сделать, если бы и этот минор оказался нулевым? В этом случае рассматриваем минор , и если он тоже равен нулю, едем дальше:

, , .

При необходимости (когда получились одни нули), следует продолжить перебор миноров по аналогичной схеме у:

1-й и 3-й строк;
1-й и 4-й строк;
2-й и 3-й строк;
2-й и 4-й строк;
3-й и 4-й строк – до тех пор, пока не повстречается минор, отличный от нуля.

Если все миноры 2-го порядка оказались нулевыми, то .

Но в нашем случае уже на втором шаге обнаружен «хороший» минор, и теперь мы переходим к рассмотрению миноров третьего порядка. Приделываем ноги младшему коллеге , который будет входить во все рассматриваемые миноры высших порядков:

Вопрос «третьим будешь?» может быть адресован либо красному, либо зелёному товарищу:

Был бы пятый столбец – нашёлся бы ещё один друг.

Начнём с красного:
 

Не помогло. Теперь сообразим с зелёным:

Тоже плохо. Свешиваем ноги ниже и последовательно берём в компанию «малиновые» и «коричневые» числа:

Сначала «синие» с «малиновыми»:
, значит, ранг матрицы не менее трёх. Если бы этот минор оказался равным нулю, то следовало бы вычислить определитель из «синих» и «коричневых» чисел. Других миноров 3-го порядка, которые содержат младший ненулевой минор  – нет. И если бы  «сине-коричневый» определитель тоже съел бублик, то .

Миноров 3-го порядка на самом деле больше, и рассматриваемый метод в данном случае позволяет сократить вычисления, максимум, до четырёх определителей. Успех нас поджидал на 3-м шаге, и «хороший» ненулевой минор  удостаивается ботинок:

Теперь «синие» и «малиновые» столбцы должны входить во все миноры высших порядков. В данном случае это единственный минор 4-го порядка, совпадающий с определителем матрицы:
 (т.к. 2-я и 3-я строки пропорциональны – см. свойства определителя)

Если бы у бабушки нас в матрице был пятый столбец, то следовало бы вычислить ещё один минор 4-го порядка («синие», «малиновый» + 5-й столбец).

Вывод: максимальный порядок ненулевого минора равен трём, значит, .

Возможно, не все до конца осмыслили данную фразу: минор 4-го порядка равен нулю, но среди миноров 3-го порядка нашёлся ненулевой – поэтому максимальный порядок ненулевого минора и равен трём.

Возникает вопрос, а почему бы сразу не вычислить определитель? Ну, во-первых, в большинстве заданий матрица не квадратная, а во-вторых, даже если у вас и получится ненулевое значение, то задание с высокой вероятностью забракуют, так как оно обычно подразумевает стандартное решение «снизу вверх». А в рассмотренном примере нулевой определитель 4-го порядка и вовсе позволяет утверждать, что ранг матрицы лишь меньше четырёх.

Должен признаться, разобранную задачу я придумал сам, чтобы качественнее объяснить метод окаймляющих миноров. В реальной практике всё проще:

Пример 2

Найти ранг матрицы методом окаймляющих миноров

Решение и ответ в конце урока.

Когда алгоритм работает быстрее всего? Вернёмся к той же матрице «четыре на четыре» . Очевидно, решение будет самым коротким в случае «хороших» угловых миноров:

И, если , то  , в противном случае – .

Размышление совсем не гипотетично – существует немало примеров, где всё дело и ограничивается только угловыми минорами.

Однако в ряде случаев более эффективен и предпочтителен  другой способ:


Как найти ранг матрицы с помощью метода Гаусса?

Параграф рассчитан на читателей, которые уже знакомы с методом Гаусса и мало-мальски набили на нём руку.

С технической точки зрения метод не отличается новизной:

1) с помощью элементарных преобразований приводим матрицу к ступенчатому виду;

2) ранг матрицы равен количеству строк.

Совершенно понятно, что использование метода Гаусса не меняет ранга матрицы, и суть здесь предельно проста: согласно алгоритму, в ходе элементарных преобразований выявляются и удаляются все лишние пропорциональные (линейно зависимые) строки, в результате чего остаётся «сухой остаток» – максимальное количество линейно независимых строк.

Преобразуем старую знакомую матрицу с координатами трёх коллинеарных векторов:


(1) Ко второй строке прибавили первую строку, умноженную на –2. К третьей строке прибавили первую строку.

(2) Нулевые строки удаляем.

Таким образом, осталась одна строка, следовательно, . Что и говорить, это гораздо быстрее, чем рассчитать девять нулевых  миноров 2-го порядка и только потом сделать вывод.

Напоминаю, что в самой по себе алгебраической матрице ничего менять нельзя, и преобразования выполняются только с целью выяснения ранга! Кстати, остановимся ещё раз на вопросе, почему нельзя? Исходная матрица  несёт информацию, которая принципиально отлична от информации матрицы  и строки . В некоторых  математических моделях (без преувеличения) разница в одном числе может быть вопросом жизни и смерти. …Вспомнились школьные учителя математики начальных и средних классов, которые безжалостно срезали оценку на 1-2 балла за малейшую неточность или отклонение от алгоритма. И было жутко обидно, когда вместо, казалось бы, гарантированной «пятёрки» получалось «хорошо» или того хуже. Понимание пришло намного позже – а как иначе доверить человеку спутники, ядерные боеголовки и электростанции? Но вы не беспокойтесь, я не работаю в этих сферах =)

Перейдём к более содержательным заданиям, где помимо прочего познакомимся с важными вычислительными приёмами метода Гаусса:

Пример 3

Найти ранг матрицы с помощью элементарных преобразований

Решение: дана матрица «четыре на пять», значит, её ранг заведомо не больше, чем 4.

В первом столбце, отсутствует 1 или –1, следовательно, необходимы дополнительные действия, направленные на получение хотя бы одной единицы. За всё время существования сайта мне неоднократно задавали вопрос: «Можно ли в ходе элементарных преобразований переставлять столбцы?». Вот здесь – переставили первый-второй столбец, и всё отлично! В большинстве задач, где используется метод Гаусса, столбцы действительно переставлять можно. НО НЕ НУЖНО. И дело даже не в возможной путанице с переменными, дело в том, что в классическом курсе обучения высшей математике данное действие традиционно не рассматривается, поэтому на такой реверанс посмотрят ОЧЕНЬ криво (а то и заставят всё переделывать).

Второй момент касается чисел. В ходе решения полезно руководствоваться следующим эмпирическим правилом: элементарные преобразования по возможности должны уменьшать числа матрицы. Ведь с единицей-двойкой-тройкой работать значительно легче, чем, например, с 23, 45 и 97. И первое действие направлено не только на получение единицы в первом столбце, но и на ликвидацию чисел 7 и 11.

Сначала полное решение, потом комментарии:

(1) Ко второй строке прибавили первую строку, умноженную на –2. К третьей строке прибавили первую строку, умноженную на –3. И до кучи: к 4-й строке прибавили 1-ю строку, умноженную на –1.

(2) Последние три строки пропорциональны. Удалили 3-ю и 4-ю строки, вторую строку переместили на первое место.

(3) Ко второй строке прибавили первую строку, умноженную на –3.

В приведённой к ступенчатому виду матрице две строки.

Ответ:

Теперь ваша очередь мучить матрицу «четыре на четыре»:

Пример 4

Найти ранг матрицы методом Гаусса

Напоминаю, что метод Гаусса не предполагает однозначной жёсткости, и ваше решение, скорее всего, будет отличаться от моего решения. Краткий образец оформления задачи в конце урока.

Какой метод использовать для нахождения ранга матрицы?

На практике зачастую вообще не сказано, какой метод необходимо использовать для нахождения ранга. В такой ситуации следует анализировать условие – для одних матриц рациональнее провести решение через миноры, а для других значительно выгоднее применить элементарные преобразования:

Пример 5

Найти ранг матрицы

Решение: первый способ как-то сразу отпадает =)

Чуть выше я советовал не трогать столбцы матрицы, но когда есть нулевой столбец, либо пропорциональные/совпадающие столбцы, то всё же стОит провести ампутацию:

(1) Пятый столбец нулевой, удалим его из матрицы. Таким образом, ранг матрицы не больше четырёх. Первую строку умножили на –1. Это ещё одна фирменная фишка метода Гаусса, превращающая следующее действие в приятную прогулку:

(2) Ко всем строкам, начиная со второй, прибавили первую строку.

(3) Первую строку умножили на –1, третью строку разделили на 2, четвёртую строку разделили на 3. К пятой строке прибавили вторую строку, умноженную на –1.

(4) К пятой строке прибавили третью строку, умноженную на –2.

(5) Последние две строки пропорциональны, пятую удаляем.

В результате получено 4 строки.

Ответ:

Стандартная пятиэтажка для самостоятельного исследования:

Пример 6

Найти ранг матрицы

Краткое решение и ответ в конце урока.

Следует отметить, что словосочетание «ранг матрицы» не так часто встретишь на практике, и в большинстве задач можно вообще обойтись без него. Но существует одно задание, где рассматриваемое понятие является главным действующим лицом, и в заключение статьи мы рассмотрим это практическое приложение:


Как исследовать систему линейных уравнений на совместность?

Нередко помимо решения системы линейных уравнений по условию предварительно требуется исследовать её на совместность, то есть доказать, что какое-либо решение вообще существует. Ключевую роль в такой проверке играет теорема Кронекера-Капелли, которую я сформулирую в необходимом виде:

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

Таким образом, для исследования системы на совместность нужно проверить равенство , где  – матрица системы (вспоминаем терминологию из урока Метод Гаусса), а  – расширенная матрица системы (т.е. матрица с коэффициентами при переменных + столбец свободных членов).

Всё просто:

Пример 7

Исследовать систему на совместность и найти её решение, если система совместна

А когда системы уже прорешаны – просто вдвойне… нет – втройне =)

Решение: тем не менее, обратим внимание на строгую верхнюю строчку – по условию,
в первую очередь, требуется проверить систему на совместность. Как начать решение?
В любом случае записываем расширенную матрицу системы и с помощью элементарных преобразований приводим её к ступенчатому виду:

а) Пример № 1 статьи о методе исключения неизвестных:

Элементарные преобразования не меняют ранга матриц, поэтому в результате выполненных действий получены эквивалентные исходным матрица системы  и расширенная матрица системы .

Обе матрицы имеют ступенчатый вид, причём в каждой матрице три стоки.

Вывод: , значит, по теореме Кронекера-Капелли, система совместна; и поскольку количество переменных ( – 3 шт.) совпадает с рангом, то система имеет единственное решение.

Что дальше? Дальше следует непосредственно решить систему. Если по условию не предложен способ, то, конечно же, раскручиваем обратный ход метода Гаусса. Если требуется решить систему методом Крамера или с помощью обратной матрицы, ну что поделать….

б) Пример № 1 статьи о несовместных системах и системах с общим решением:

В результате элементарных преобразований получена эквивалентная матрица системы   и расширенная матрица системы .

Приведём матрицу системы к ступенчатому виду, удалив нулевую строку:

 – количество строк равно двум, поэтому .

Расширенная же матрица системы имеет ступенчатый вид и количество её строк равно трём, а посему .

Вывод: , значит, по теореме Кронекера-Капелли, система несовместна.

Следует заметить, что обоснование этого факта можно провести и через миноры:

Максимальный порядок ненулевого минора матрицы системы равен двум, например:
, поэтому

Максимальный порядок ненулевого минора расширенной матрицы системы равен трём, например:
  (взяли первые два столбца + обязательно столбец свободных членов).

Таким образом, .

Вывод: , значит, по теореме Кронекера-Капелли, система несовместна.

И обращаю внимание, что если по условию не требуется исследовать систему на совместность, то вполне достаточно ограничиться стандартным ответом (см. решение Примера 1).

в) Пример № 3 той же статьи:

В результате элементарных преобразований получена эквивалентная матрица системы  и расширенная матрица системы .

Обе матрицы имеют ступенчатый вид и в каждой из них две строки.

Вывод: , значит, по теореме Кронекера-Капелли, система совместна. Поскольку ранг меньше количества переменных ( – 4 шт.), то система имеет бесконечно много решений.

Далее находим общее решение по стандартной схеме.

Приведу также альтернативное доказательство с помощью миноров, которое встречается в некоторых методичках:

Максимальный порядок ненулевого минора матрицы системы равен двум, например:
, следовательно, .

Максимальный порядок ненулевого минора расширенной матрицы системы также равен двум, например (обязательно включаем столбец свободных членов):
, поэтому

Второй абзац можно полностью заменить хитрой лаконичной фразой: «по этой же причине ».

Вывод: ,... и далее по тексту (см. выше).

Готово.

+ Образец исследования системы на совместность можно ещё посмотреть в начале
Примера № 1 урока о нахождении различных базисных решений системы.

…Всё-таки иногда удивительно обманываются ожидания – порой думаешь, что статья получится огромной, а она оказывается весьма компактной, а иногда, как сейчас – наоборот. Посмотрел статистику и жутко удивился добрым 20 тысячам символов. Поэтому всем высокого ранга и до скорых встреч!

Решения и ответы:

Пример 2: Решение: поскольку в матрице есть ненулевые элементы, то её ранг не меньше единицы.
, значит, ранг матрицы не менее двух.
Рассмотрим миноры 3-го порядка, при этом в них обязательно должен содержаться ненулевой минор . Таких миноров два:

Максимальный порядок ненулевого минора равен двум.
Ответ:

Пример 4: Решение: с помощью элементарных преобразований приведем матрицу к ступенчатому виду:

(1) Первую и вторую строки поменяли местами. К 4-й строке прибавили 3-ю строку, умноженную на –2.
(2) Вторая и 4-я строки одинаковы, 4-ю строку удалили. К третьей строке прибавили вторую строку, умноженную на –1.
(3) Первую и третью строки поменяли местами.
(4) Ко второй строке прибавили первую строку, умноженную на –2. К 3-й строке прибавили первую строку, умноженную на –1.
(5) К третьей строке прибавили вторую строку, умноженную на 3.
В результате получены 3 строки, значит, ранг матрицы равен 3.
Ответ:

Пример 6: Решение: ранг матрицы не превосходит минимальной размерности, то есть, трёх.
В матрице есть ненулевые элементы, значит, ранг не менее единицы.

Максимальный порядок ненулевого минора равен трём
Ответ:

Автор: Емелин Александр


 Блог Емелина Александра

Высшая математика для заочников и не только >>>

(Переход на главную страницу)

Как можно отблагодарить автора?




© Copyright mathprofi.ru, Александр Емелин, 2010-2024. Копирование материалов сайта запрещено