Исследование функции Пределы Производная График функции Векторная алгебра Линейные уравнения Матрицы Математический анализ Задачи на интеграл Интегральное исчисление Кратные интегралы Курсовые расчеты Инсталляции системы Запуск ОС Поддержка Plug and Play Интерфейс Панель управления Консоль управления Файловые системы FAT и FAT32 Информационные источники Сервер Web Работа в сетях Windows и Novell Интернет и почта Периферия и мультимедиа Работа с файлами Дополнительная конфигурация Конфигурирование X Windows Дистрибутив Служба удаленного доступа На главную Конспект лекций по математике Матрицы Ранг матрицы Пример 14.10 Матрица примера 14.9 имеет ранг 3, так как есть минор третьего порядка, отличный от нуля, а миноров четвертого порядка нет. Ранг матрицы равен 1, так как есть ненулевой минор первого порядка (элемент матрицы ), а все миноры второго порядка равны нулю. Ранг невырожденной квадратной матрицы порядка равен , так как ее определитель является минором порядка и у невырожденной матрицы отличен от нуля. Предложение 14.24 При транспонировании матрицы ее ранг не меняется, то есть . Доказательство. Транспонированный минор исходной матрицы будет являться минором транспонированной матрицы , и наоборот, любой минор является транспонированным минором исходной матрицы . При транспонировании определитель (минор) не меняется ( предложение 14.6). Поэтому если все миноры порядка в исходной матрице равны нулю, то все миноры того же порядка в тоже равны нулю. Если же минор порядка в исходной матрице отличен от нуля, то в есть минор того же порядка, отличный от нуля. Следовательно, . Определение 14.12 Пусть ранг матрицы равен . Тогда любой минор порядка , отличный от нуля, называется базисным минором. Пример 14.11 Пусть . Определитель матрицы равен нулю, так как третья строка равна сумме первых двух. Минор второго порядка, расположенный в первых двух строках и первых двух столбцах, равен . Следовательно, ранг матрицы равен двум, и рассмотренный минор является базисным. Базисным минором является также минор, расположенный, скажем, в первой и третьей строках, первом и третьем столбцах: . Базисным будет минор во второй и третьей строках, первом и третьем столбцах: . Минор в первой и второй строках, втором и третьем столбцах равен нулю и поэтому не будет базисным. Читатель может самостоятельно проверить, какие еще миноры второго порядка будут базисными, а какие нет. Так как столбцы (строки) матрицы можно складывать, умножать на числа, образовывать линейные комбинации, то можно ввести определения линейной зависимости и линейной независимости системы столбцов (строк) матрицы. Эти определения аналогичны таким же определениям 10.14, 10.15 для векторов. Определение 14.13 Система столбцов (строк) называется линейно зависимой, если существует такой набор коэффициентов, из которых хотя бы один отличен от нуля, что линейная комбинация столбцов (строк) с этими коэффициентами будет равна нулю. Определение 14.14 Система столбцов (строк) является линейно независимой, если из равенства нулю линейной комбинации этих столбцов (строк) следует, что все коэффициенты этой линейной комбинации равны нулю. Верно также следующеее предложение, аналогичное предложению 10.6. Предложение 14.25 Система столбцов (строк) является линейно зависимой тогда и только тогда, когда один из столбцов (одна из строк) является линейной комбинацией других столбцов (строк) этой системы. Сформулируем теорему, которая называется теорема о базисном миноре. Теорема 14.2 Любой столбец матрицы является линейной комбинацией столбцов, проходящих через базисный минор. Доказательство можно найти в учебниках по линейной алгебре, например, в [1], [3]. Предложение 14.26 Ранг матрицы равен максимальному числу ее столбцов, образующих линейно независимую систему. Доказательство. Пусть ранг матрицы равен . Возьмем столбцы, проходящие через базисный минор. Предположим, что эти столбцы образуют линейно зависимую систему. Тогда один из столбцов является линейной комбинацией других. Поэтому в базисном миноре один столбец будет линейной комбинацией других столбцов. По предложениям 14.15 и 14.18 этот базисный минор должен быть равен нулю, что противоречит определению базисного минора. Следовательно, предположение о том, что столбцы, проходящие через базисный минор, линейно зависимы, не верно. Итак, максимальное число столбцов, образующих линейно независимую систему, больше либо равно . Предположим, что столбцов образуют линейно независимую систему. Составим из них матрицу . Все миноры матрицы являются минорами матрицы . Поэтому базисный минор матрицы имеет порядок не больше . По теореме о базисном миноре, столбец, не проходящий через базисный минор матрицы , является линейной комбинацией столбцов, проходящих через базисный минор, то есть столбцы матрицы образуют линейно зависимую систему. Это противоречит выбору столбцов, образующих матрицу . Следовательно, максимальное число столбцов, образующих линейно независимую систему, не может быть больше . Значит, оно равно , что и утверждалось. Предложение 14.27 Ранг матрицы равен максимальному числу ее строк, образующих линейно независимую систему. Доказательство. По предложению 14.24 ранг матрицы при транспонировании не меняется. Строки матрицы становятся ее столбцами. Максимальное число новых столбцов транспонированной матрицы, (бывших строк исходной) образующих линейно независимую систему, равно рангу матрицы. Предложение 14.28 Если определитель матрицы равен нулю, то один из его столбцов (одна из строк) является линейной комбинацией остальных столбцов (строк). Доказательство. Пусть порядок матрицы равен . Определитель является единственным минором квадратной матрицы, имеющим порядок . Так как он равен нулю, то . Следовательно, система из столбцов (строк) является линейно зависимой, то есть один из столбцов (одна из строк) является линейной комбинацией остальных. Результаты предложений 14.15, 14.18 и 14.28 дают следующую теорему. Компьютерная математика Mathematica электронный учебник Строка меню и окно редактирования документов До сих пор разработчики пользовательского интерфейса математических систем по существу копировали стандартный интерфейс программ из комплекса Microsoft Office 95/97, в частности, самого популярного текстового процессора Word 95/97. Разработчики интерфейса пользователя систем Mathematica 3/4 отошли от этой традиции. Нетрудно заметить, что пользовательский интерфейс систем Mathematica 3/4 реализует отдельный вывод своих элементов — окон (включая основное окно редактирования), панелей, палитр знаков и т. д. Это позволяет располагать их в любых местах экрана, что особенно удобно при работе с дисплеями, имеющими большой размер изображения — от 17 дюймов по диагонали и выше. При работе с дисплеями, имеющими небольшой экран (14 или 15 дюймов) и стандартном разрешении 640×480 пикселей раздельный вывод элементов интерфейса скорее неудобен, поскольку приходится тщательно располагать их в нужных местах и индивидуально подстраивать размеры отдельных окон и палитр. Однако после настройки элементы интерфейса выводятся в том виде, как это было задано. Первый способ задания функции: табличный Степенная функция такси минивэн москва Обратные тригонометрические функции Определение непрерывности функции Виза в Россию: приглашение иностранца . Визы: Услуги в Москве. Оценки ошибок в формулах приближённого дифференцирования Производные функции, заданной параметрически Ритуальные принадлежности: надгробные памятники . Памятники. Недорого. Москва. Примеры исследования функций и построения графиков Приближённое нахождение корней уравнений и точек экстремума Тригонометрическая форма комплексного числа Изменить порядок интегрирования Вычислить двойной интеграл Вычисление тройных интегралов Сферические координаты Два основных метода интегрирования Замена переменных в двойном интеграле Дифференцирование интегралов, зависящих от параметра