Матричная алгебра
[78/100%]Определите неизвестные величины в следующих выражениях.
.
.
Определите, является ли каждая из следующих матриц симметричной, кососимметричной или ни той, ни другой.
.
.
.
.
Постройте пример матрицы , удовлетворяющей следующим условиям.
одновременно симметрична и кососимметрична.
одновременно эрмитова и симметрична.
косоэрмитова.
Объясните, почему множество всех симметричных матриц размера замкнуто относительно сложения матриц. То есть объясните, почему сумма двух симметричных матриц размера снова является симметричной матрицей размера . Замкнуто ли множество всех кососимметричных матриц размера относительно сложения матриц?
Докажите, что каждое из следующих утверждений верно.
Если кососимметрична, то для каждого .
Если косоэрмитова, то каждое — чисто мнимое число, т.е. кратное мнимой единице .
Если вещественна и симметрична, то косоэрмитова.
Пусть — произвольная квадратная матрица.
Покажите, что симметрична, а кососимметрична.
Докажите, что существует единственный способ представить в виде суммы симметричной матрицы и кососимметричной матрицы.
Если и — две матрицы одинаковой формы, докажите, что каждое из следующих утверждений верно.
.
.
Напомним постановку задачи о системе пружин из примера 3.2.1: для ряда пружин, соединяющих узлы, если узел смещён на единиц (положительное направление — влево, отрицательное — вправо), а соседние узлы соединены пружиной с коэффициентом жёсткости , то сила, действующая на внутренний узел со стороны двух соседних пружин, равна сумме произведений на относительное смещение с каждым из соседей; при этом, если полученные уравнения баланса сил организовать в линейную систему, коэффициентная матрица оказывается симметричной матрицей жёсткости . Для двух пружин, соединяющих три узла, с общим коэффициентом жёсткости , эта конструкция даёт
Используя соглашения примера 3.2.1, определите матрицу жёсткости для системы из одинаковых пружин с коэффициентом жёсткости , соединённых в ряд, аналогично изображённому на рисунке 3.2.1.
Рисунок 3.2.1
Каждая из следующих функций отображает в . Определите, какие из них являются линейными функциями.
.
.
.
.
.
.
Для и для констант убедитесь, что
является линейной функцией.
Приведите примеры по крайней мере двух различных физических принципов или законов, которые можно охарактеризовать как линейные явления.
Определите, какие из следующих трёх преобразований в являются линейными: (1) поворот точек против часовой стрелки на угол ; (2) отражение точек относительно оси ; (3) проекция точек на прямую в перпендикулярном направлении.
Поворот, отражение и проекция в \mathbb {R}^{2}
Определите матрицу, связанную с каждой из трёх линейных функций из в , описанных ниже. То есть определите , такие что
Три линейные функции, о которых идёт речь, используются на протяжении всего этого раздела: поворот точек против часовой стрелки на угол ; отражение точек относительно оси ; и проекция точек на прямую в перпендикулярном направлении.
Три линейных преобразования, используемые на протяжении раздела 3.4
Используя умножение матриц, определите линейную функцию, получаемую в результате поворота с последующим отражением (используя поворот и отражение из упражнения 3.4.1).
Используя умножение матриц, определите линейную функцию, получаемую в результате сначала отражения, затем поворота и, наконец, проекции (используя отражение, поворот и проекцию из упражнения 3.4.1).
Для , и вычислите следующие произведения, когда это возможно.
.
.
.
.
.
.
.
.
.
.
.
Рассмотрим следующую систему уравнений:
Запишите систему в виде матричного уравнения вида .
Запишите решение системы в виде столбца и проверьте умножением матриц, что удовлетворяет уравнению .
Запишите как линейную комбинацию столбцов матрицы .
Пусть , и пусть — произвольная матрица размера .
Опишите строки матрицы через строки матрицы .
Опишите столбцы матрицы через столбцы матрицы .
Пусть обозначает -й единичный столбец, содержащий на -м месте и нули на всех остальных местах. Для общей матрицы опишите следующие произведения.
.
.
.
Пусть и — матрицы размера . Если выполняется для всех столбцов размера , докажите, что .
Для найдите .
Если и — матрицы, состоящие соответственно из одного столбца и одной строки, то матричное произведение иногда называют внешним произведением на . Для согласованных матриц и объясните, как записать произведение в виде суммы внешних произведений, составленных из столбцов и строк .
Квадратная матрица называется верхнетреугольной, если при — то есть все элементы ниже главной диагонали равны .
Если и — две верхнетреугольные матрицы размера , объясните, почему произведение также обязано быть верхнетреугольным.
Если и верхнетреугольны, каковы диагональные элементы ?
Матрица называется нижнетреугольной, если при . Верно ли, что произведение двух нижнетреугольных матриц размера снова является нижнетреугольным?
Если — матрица, элементы которой являются функциями переменной , то производная матрицы по определяется как матрица производных. То есть,
Выведите правило дифференцирования произведения
Вспомните построение из примера 3.5.2: для сети из узлов (например, городов, обслуживаемых авиакомпанией) матрица связности определяется как , если существует прямой путь (рейс) из узла в узел , и в противном случае. Пусть — матрица связности, связанная с такой сетью из узлов, и пусть — столбец из всех единиц размера . В терминах сети опишите элементы каждого из следующих произведений.
Истолкуйте произведение .
Истолкуйте произведение .
Рассмотрим три резервуара, каждый из которых содержит галлонов рассола. Резервуары соединены в линию, и все краны открываются одновременно. Пресная вода поступает со скоростью галлонов/сек в верхнюю часть первого резервуара, галлонов/сек вытекает из нижней части и поступает в следующий резервуар, и так далее по цепочке — в каждый резервуар сверху поступает и снизу вытекает галлонов/сек.
Figure 3.5.2
Пусть обозначает количество фунтов соли в резервуаре в момент времени , и пусть
Предполагая, что в каждом резервуаре происходит полное непрерывное перемешивание, покажите, что
Используйте тот факт, что .
Для блочных матриц
используйте блочное умножение с указанными разбиениями, чтобы образовать произведение .
Для всех матриц и покажите, что блочная матрица
обладает свойством . Матрицы с таким свойством называются инволютивными, и они встречаются в криптографии.
Для матрицы
найдите .
Для произвольной матрицы покажите, что произведения и являются эрмитовыми матрицами.
Если и — симметричные матрицы, которые коммутируют, докажите, что произведение также симметрично. Если , обязательно ли симметрично?
Докажите, что справедлив правый дистрибутивный закон: для согласованных матриц , , выполняется .
Для каждой матрицы объясните, почему невозможно найти решение для в матричном уравнении
Пусть — строка неизвестных, а и — известные матрицы.
Объясните, почему матричное уравнение представляет собой систему из линейных уравнений с неизвестными.
Как решения для в уравнении связаны с решениями для в уравнении ?
Некоторое электронное устройство состоит из набора переключающих схем, каждая из которых может находиться либо во включённом (ON), либо в выключенном (OFF) состоянии. Этим электронным переключателям разрешается менять состояние через регулярные интервалы времени, называемые тактами. Предположим, что в конце каждого такта переключателей, находящихся в состоянии OFF, переходят в состояние ON, а переключателей, находящихся в состоянии ON, возвращаются в состояние OFF.
Покажите, что устройство приближается к равновесию в том смысле, что доля переключателей в каждом состоянии со временем становится постоянной, и найдите эти равновесные доли.
Независимо от начальных долей, приблизительно за сколько тактов устройство становится практически стабильным?
Вспомните приём приведения к блочно-треугольному виду из примера 3.6.7: если система имеет блочно-треугольную матрицу коэффициентов (где имеет размер , а — размер ), а , разбиты на блоки соответствующим образом: , , то блочное умножение сводит к двум меньшим системам: и : решите вторую относительно , затем подставьте в первую и решите относительно .
Запишите следующую систему в виде , где блочно-треугольна, а затем получите решение, решив две меньшие системы, как описано выше.
Докажите, что каждое из следующих утверждений верно для согласованных матриц.
.
может отличаться от .
.
Предположим, что и имеют вещественные элементы.
Докажите, что тогда и только тогда, когда .
Докажите, что тогда и только тогда, когда .
По возможности найдите обратную матрицу для каждой из следующих матриц. Проверьте свой ответ с помощью матричного умножения.
.
.
.
.
.
Найдите матрицу , такую что , где
Для квадратной матрицы объясните, почему каждое из следующих утверждений должно быть верным.
Если содержит нулевую строку или нулевой столбец, то вырождена.
Если содержит две одинаковые строки или два одинаковых столбца, то вырождена.
Если одна строка (или столбец) является кратной другой строке (или столбцу), то обязательно вырождена.
Ответьте на каждый из следующих вопросов.
При каких условиях диагональная матрица невырождена? Опишите структуру обратной к диагональной матрице.
При каких условиях треугольная матрица невырождена? Опишите структуру обратной к треугольной матрице.
Если невырождена и симметрична, докажите, что симметрична.
Если — квадратная матрица, такая что невырождена, докажите, что
Докажите, что если имеет размер , а — размер , причём и , то .
Если , и каждая невырождена, докажите, что
Пусть — кососимметрическая матрица с вещественными элементами.
Докажите, что невырождена.
Если , покажите, что .
Для пункта (а): .
Для матриц , и , таких что и невырождены, проверьте, что каждое из следующих утверждений верно.
.
.
Рассмотрим блочную матрицу . Когда указанные обратные матрицы существуют, матрицы, определённые формулами
называются дополнениями Шура матриц и соответственно.
Если и обе невырождены, проверьте, что
Если и невырождены, проверьте, что
Предположим, что , , и — матрицы размера , такие что и каждая симметрична, а . Докажите, что
Вспомните формулу Шермана–Моррисона: если невырождена, а , — столбцы размера , такие что , то сумма невырождена, и
Предположим, вам даны
Используя формулу Шермана--Моррисона, найдите обратную матрицу для , полученной из изменением элемента с на .
Пусть — матрица, совпадающая с всюду, кроме того что и . Используя формулу Шермана--Моррисона, найдите .
Предположим, что и — невырожденные матрицы, причём получается из заменой на другой столбец . Используя формулу Шермана--Моррисона, выведите, что
Предположим, что матрица коэффициентов невырожденной системы обновляется, порождая другую невырожденную систему , где , и пусть — решение . Покажите, что
Используя формулу Шермана--Моррисона, докажите, что если невырождена, то невырождена при достаточно малом .
Используя пункт (а), докажите, что невырождена, когда все достаточно малы по модулю. Это альтернатива использованию рассуждения с рядом Неймана.
Для заданных матриц и , где невырождена, объясните, почему также невырождена, когда вещественное число ограничено достаточно малым интервалом вокруг начала координат. Иными словами, докажите, что малые возмущения невырожденных матриц также невырождены.
Выведите формулу Шермана--Моррисона--Вудбери: если невырождена, а , имеют размер , причём существует, то
Вспомните упражнение 3.7.11 (формулы блочного обращения через дополнения Шура) и рассмотрите произведение .
Вспомните норму (максимальную сумму модулей элементов строки) и связанное с ней число обусловленности невырожденной матрицы , которое показывает, насколько плохо обусловлена (чем больше , тем хуже обусловленность).
Используя указанную выше норму, упорядочите следующие матрицы по степени плохой обусловленности:
Предположим, что элементы , и являются дифференцируемыми функциями вещественной переменной , такими что .
Предполагая, что существует, объясните, почему
Выведите уравнение
Это показывает, что усиливает как изменение , так и изменение , и тем самым подтверждает наблюдение, сделанное в задаче (3.8.8), о том, что чувствительность невырожденной системы к малым возмущениям напрямую связана с величиной элементов .
Некоторые сведения, необходимые для этого упражнения: для матрицы размера через обозначается её (единственная) приведённая ступенчатая форма по строкам. Всякий раз, когда можно получить из последовательностью только элементарных операций над строками, мы пишем , что выполняется тогда и только тогда, когда для некоторой невырожденной ; аналогично (эквивалентность по столбцам) выполняется тогда и только тогда, когда для некоторой невырожденной , а (эквивалентность, допускающая как операции над строками, так и над столбцами) выполняется тогда и только тогда, когда для невырожденных , .
Предположим, что — матрица размера .
Если приводится по строкам к матрице , объясните, почему обязательно является невырожденной матрицей, такой что .
Если приводится по столбцам к , объясните, почему обязательно является невырожденной матрицей, такой что .
Найдите невырожденную матрицу , такую что , где
Найдите невырожденные матрицы и , такие что имеет ранговую нормальную форму (т.е. вид , где ).
Рассмотрим две матрицы
Эквивалентны ли и ?
Эквивалентны ли и по строкам?
Эквивалентны ли и по столбцам?
Если , объясните, почему базисные столбцы в занимают в точности те же позиции, что и базисные столбцы в .
Произведение элементарных матриц перестановки -- т.е. элементарных матриц типа I -- называется матрицей перестановки. Если — матрица перестановки, объясните, почему .
Если — невырожденная матрица, какие (если таковые есть) из следующих утверждений верны?
.
.
.
.
.
.
Какие (если таковые есть) из следующих утверждений верны?
.
.
.
.
.
.
Покажите, что любую элементарную матрицу типа I можно записать как произведение элементарных матриц типов II и III.
Если , покажите, что существуют матрицы и , такие что , где . Такое разложение называется разложением полного ранга.
Докажите, что тогда и только тогда, когда существуют ненулевые столбцы и , такие что
Докажите, что если , то , где .
Пусть .
Найдите LU-множители матрицы .
Используя LU-множители, решите , а также , где
Используя LU-множители, найдите .
Пусть и — матрицы
Объясните, почему матрица не имеет LU-разложения.
Используя частичный выбор ведущего элемента, найдите матрицу перестановки , а также LU-множители, такие что .
Используя информацию, содержащуюся в , и , решите .
Найдите все значения , при которых не имеет LU-разложения.
Если — невырожденная матрица, обладающая LU-разложением, докажите, что ведущий элемент, возникающий после шагов стандартного метода Гаусса с использованием только операций III типа, задаётся формулой
где и — главные ведущие подматрицы порядков и соответственно. Используя это, выведите, что все ведущие элементы должны быть отличны от нуля, если для существует LU-разложение.
Если — матрица, содержащая только целочисленные элементы, и все её ведущие элементы равны , объясните, почему также должна быть целочисленной матрицей.
Этот факт можно использовать для построения случайных целочисленных матриц, обладающих целочисленными обратными, случайным образом порождая целочисленные матрицы и с единичными диагоналями и затем составляя произведение .
Рассмотрим трёхдиагональную матрицу .
Считая, что обладает LU-разложением, убедитесь, что оно задаётся формулами
где числа порождаются рекуррентной формулой
(Это верно для трёхдиагональных матриц произвольного размера, что делает вычисление LU-множителей таких матриц очень простым.)
Применяя приведённую выше рекуррентную формулу, найдите LU-разложение матрицы
Матрица называется ленточной матрицей (band matrix), если при для некоторого положительного целого числа , называемого шириной ленты (bandwidth). Иными словами, ненулевые элементы ограничены полосой из диагональных линий выше и ниже главной диагонали. Например, трёхдиагональные матрицы имеют ширину ленты один, а диагональные матрицы имеют ширину ленты нуль. Если — невырожденная матрица с шириной ленты и если имеет LU-разложение , то наследует нижнюю ленточную структуру , а наследует верхнюю ленточную структуру в том смысле, что имеет «нижнюю ширину ленты» , а имеет «верхнюю ширину ленты» . Проиллюстрируйте, почему это так, используя типичную матрицу с шириной ленты .
Постройте пример невырожденной симметричной матрицы, не обладающей LU- (или LDU-) разложением.
Постройте пример невырожденной симметричной матрицы, обладающей LU-разложением, но не являющейся положительно определённой.
Напомним про LDU-разложение: вынесение диагональных ведущих элементов из верхнетреугольного множителя LU-разложения даёт , где — диагональная матрица ведущих элементов, а — верхнетреугольная матрица с единицами на диагонали (переобозначая далее как , так что и , и в LDU-разложении имеют единичную диагональ).
Найдите LDU-множители для (это та же матрица, что использовалась в упражнении 3.10.1).
Докажите, что если матрица обладает LDU-разложением, то LDU-множители определены однозначно.
Если симметрична и обладает LDU-разложением, объясните, почему оно обязательно имеет вид .
Напомним: симметричная матрица , обладающая LU-разложением, в котором все ведущие элементы положительны, называется положительно определённой, и такая матрица однозначно раскладывается как , где — верхнетреугольная матрица с положительными диагональными элементами; это разложение Холецкого матрицы , а — множитель Холецкого матрицы .
Объясните, почему положительно определена, а затем найдите множитель Холецкого .