08 Линейные пространства и подпространства. Линейная зависимость и независимость. Базис. Ранги.
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Найти какой-нибудь базис системы векторов и выразить через этот базис остальные векторы
системы:
a)
b)
a) Для начала узнаем, сколько в данной системе линейно независимых векторов. Для этого объединим векторы в матрицу по строкам и найдем ее ранг:
В системе четыре линейно независимых вектора. Заметим, что (это можно увидеть,
попытавшись привести матрицу к ступенчатому виду). Значит, вектор
можно исключить
из системы, и останется один из возможных ее базисов. Проверим, что это действительно
базис:
Все четыре вектора линейно независимы, а размерность системы равна четырем. Значит, мы
нашли базис системы, а заодно и то, как выражается через базисные векторы оставшийся.
()
b) Ранг данной системы равен трем, значит базис будет состоять из трех векторов. Чтобы понять,
какие векторы можно линейно выразить через другие, попробуем привести матрицу системы к
ступенчатому виду:
Получается, что за базис можно взять, например, первые три вектора системы, а последний выразить через них. Чтобы понять, как это сделать, можно либо проследить за матричными преобразованиями, либо решить систему уравнений:
Решением этой системы является . Значит,
a) Базис - все вектора кроме ,
;
b) Базис - все вектора, кроме ,
Ошибка.
Попробуйте повторить позже
Вычислить ранг в зависимости от :
а) Матрица уже приведена к ступенчатому виду. Понятно, что если ,
,
, то ранг
матрицы равен четырем. Запишем это как одно условие:
.
Если , четвертая строка (и только она) обнуляется. Соответственно, ранг матрицы равен
трем.
Если , третья и четвертая строка пропорциональны друг другу и мы можем обнулить одну из
них. Ранг матрицы снова равен трем.
Если , обнуляются сразу две строки, а ранг матрицы равен двум.
б) Приведем матрицу к ступенчатому виду:
Получается, что ранг матрицы равен трем, если , или двум, если
.
в) Приведем матрицу к ступенчатому виду:
Для дальнейшего приведения к ступенчатому виду хочется поделить на . Значит, нужно
рассмотреть два варианта:
и
. Начнем с первого:
Матрица приведена к ступенчатому виду, ее ранг равен трем.
Теперь разберем второй вариант, :
Если и
, то ранг матрицы равен трем.
Если один из числителей равен нулю, может принимать два значения:
и
. Рассмотрим
отдельно каждое из них. Если
, то оба числителя становятся равны нулю, а ранг
матрицы равен двум. Если
, то обнуляется только первая дробь, и ранг матрицы равен
трем.
Таким образом, ранг равен двум при , и ранг равен трем во всех остальных случаях.
а) Если ,
,
, то ранг матрицы равен четырем. Если
или
, то ранг
матрицы равен трем. Если
, то ранг матрицы равен двум;
б) Получается, что ранг матрицы равен трем, если Если , то ранг матрицы равен трем. Если
, то ранг матрицы равен двум;
в) Если и
, то ранг матрицы равен трем. Если
, то ранг матрицы равен
двум. Если
, то ранг матрицы равен трем
Ошибка.
Попробуйте повторить позже
Найти размерность и базис пространства решений:
a) Чтобы решить систему, приведем матрицу к ступенчатому виду:
Получается, что каждая из неизвестных равна нулю. Размерность нулевого пространства равна
нулю, а базис - пустое множество.
b) Снова приведем матрицу к ступенчатому виду:
. Пусть
- свободная переменная.
. Из первой строки выразим
:
Возьмем второй свободной переменной .
У системы две свободных переменных. Размерность пространства решений равна двум. Чтобы найти
базис, по очереди зададим свободным переменным значения 1 и 0, получим ,
.
a) Размерность 0, базис пуст;
b) Размерность 2, базис ,
Ошибка.
Попробуйте повторить позже
Доказать, что матрицы
образуют базис пространства вещественных матриц порядка 2, и найти координаты матрицы
в этом базисе.
Поскольку мы знаем, что , то достаточно проверить, что приведенные 4 матрицы
линейно независимы.
Итак, давайте запишем систему линейных уравнений, говорящую о том, с какими коэффициентами
через данные матрицы выражается произвольная матрица :
Следовательно,
Таким образом, мы получаем систему уравнений:
Решаем её:
1.
Таким образом, если , то видно, что это даёт только нулевое решение, то есть в таком
случае
. То есть, получаем, что нулевую матрицу (т.е. нулевой вектор нашего
пространства) можно выразить только при помощи тривиальной линейной комбинации данных матриц.
Следовательно, данная система из четырех матриц линейно независима. А раз их 4 и они в
четырехмерном пространстве, то это базис.
2. Найдём координаты матрицы из условия в этом базисе. Так как , то
осталось только посчитать значения
. Сделаем это!
Далее,
Осталось посчитать последние 2 коэффициента:
Таким образом,
Ошибка.
Попробуйте повторить позже
Доказать, что многочлены ,
,
,
,
образуют базис в пространстве
многочленов с вещественными коэффициентами. Найти координаты произвольного многочлена
в этом базисе.
Составим «матрицу перехода» от стандартного базиса в новый, указанный в условии (в
кавычках - потому что мы пока не знаем, является ли набор многочленов
базисом):
Очевидно, эта матрица невырождена (определитель верхнетреугольной матрицы равен произведению
диагональных членов), а значит существует обратная к ней, с помощью которой, наоборот, многочлены
стандартного базиса выражаются через многочлены .
Этого достаточно для доказательства того, что многочлены образуют
базис пространства
.
Таким образом, мы уже доказали, что для каждого многочлена
существует (единственный) набор чисел
, такой, что
Для того, чтобы узнать, чему равны , заметим, что выполняются равенства:
(1) |
Докажем (по индукции) вспомогательное утверждение:
(2) |
База очевидна. Пусть утверждение доказано для
. Тогда при
:
|
что и требовалось.
Объединяя и
:
Это и есть искомые координаты многочлена в базисе
.
Ошибка.
Попробуйте повторить позже
В линейном пространстве многочленов степени не выше
над полем
рассмотрим подмножество
, состоящее из тех многочленов
, для
которых:
;
;
;
при
;
;
.
В каких случаях является линейным подпространством в
? Вычислить
его размерность и найти какой-нибудь базис.
- 1.
- Если
, т.е.
и
, то для их суммы
выполняется
.
Для
,
, выполняется
. Следовательно,
является линейным подпространством в
.
Если
имеет представление в стандартном базисе
,
, то условие
означает
. Наоборот, любой многочлен вида
удовлетворяет условию
.
Следовательно,
- это подпространство
размерности
, в качестве базиса можно взять
.
- 2.
- Рассмотрим многочлен
, лежащий в
. Тогда для
выполнено
, т.е.
. Следовательно,
не является линейным подпространством в
.
- 3.
- Если
, т.е.
и
, то для их суммы
выполняется
.
Для
,
, выполняется
. Следовательно,
является линейным подпространством в
.
Если
имеет представление в стандартном базисе
,
, то условие
означает
(1) Наоборот, для каждого многочлена с условием
выполенно
. Таким образом, это подпространство задается единственным уравнением, в частности имеет размерность
.
В качестве базиса можно взять набор многочленов
.
- 4.
- Возьмем
,
. Тогда
, т.е. умножение на
выводит за пределы множества
, следовательно
не является линейным подпространством в
.
- 5.
- Если
, то для
имеем
.
Для многочлена
,
, имеем
. Следовательно
является линейным подпространством.
Пусть
, тогда условие
имеет вид
что эквивалентно набору из
условий:
Наоборот, каждый многочлен, имеющий ненулевые коэффициенты только при четных степенях
, очевидно, удовлетворяет условию
.
Таким образом, базисом в пространстве
является набор многочленов
, в частности
.
- 6.
- Если
, то для
выполнено
. Для многочлена
,
, выполнено
. Следовательно,
является линейным подпространством в
.
Если многочлен имеет представление в стандартном базисе
, то равенство
превращается в
эквивалентное набору условий:
Наоборот, если представление
в стандартном базисе имеет ненулевые коэффициенты только при нечетных степенях
, то
, очевидно, удовлетворяет условию
.
Таким образом, в качестве базиса
можно выбрать набор многочленов
, в частности,
.
- 1.
- Подпространство, размерность
, в качестве базиса можно взять
.
- 2.
- Не подпространство
- 3.
- Подпространство, размерность
, в качестве базиса можно взять набор многочленов
.
- 4.
- Не подпространство
- 5.
- Подпространство, размерность
, в качестве базиса можно взять набор многочленов
- 6.
- Подпространство, размерность
, в качестве базиса можно взять набор многочленов
Ошибка.
Попробуйте повторить позже
Подпространство является линейной оболочкой векторов
Найдите уравнения, определяющие подпространство.
Для начала определим размерность . Для этого составим матрицу
из координат векторов и элементарными преобразованиями приведем ее к ступенчатому
виду:
Оказалось, что , где
линейно независимы, в
частности
Трехмерное подпространство в четырехмерном пространстве задается одним уравнением, поэтому
задача свелась к тому, чтобы найти вектор коэффициентов такой, что каждый из
векторов
является решением уравнения
, т.е. решить однородную систему с
матрицей коэффициентов
которая, как мы видели выше, приводится элементарными преобразованиями к виду
Эта система имеет единственное с точностью умножения на константу решение .
Окончательно, линейное пространство определяется единственным
уравнением
Ошибка.
Попробуйте повторить позже
Найти какой-нибудь базис и размерность пространства , которое задается условием
.
По сути, мы имеем ОСЛУ с лишь одним уравнением и неизвестными, и нас просят найти базис в его
пространстве решений, которое является подпространством в
.
Ясно, что , то есть
.
Действительно, у нас будет свободная переменная:
И одна главная переменная .
Формула общего решения ОСЛУ, разумеется, вот такая:
Таким образом, подставляя вместо каждой свободной переменной единичку, а вместо остальных
нолики и вычисляя при этом значения главных (в данном случае только одной главной) переменной,
получим вот такой базис в :
Размерность , базис
Ошибка.
Попробуйте повторить позже
Является ли указанное множество с введенными на нём операциями
сложения и умножения векторов линейным пространством?
a) - полуплоскость
операции сложения и умножения на числа стандартные (т. е.
покоординатные).
b) – множество векторов на плоскости, выходящих из начала координат,
концы которых лежат на заданной фиксированной прямой, операции
стандартные.
c) – все векторы трёхмерного пространства, кроме векторов, параллельных
некоторой заданной фиксированной прямой, операции стандартные.
d) - двумерная плоскость, операции заданы следующим образом:
(т.е. сложение стандартное и покоординатное, а умножение нестандартное -
первая координата умножается на , а вторая зануляется)
a) На данном множестве операции сложения и умножения на числа не
определены корректно. А именно, проблема будет с умножением на числа.
Действительно если мы возьмём какой-нибудь ненулевой вектор из
верхней полуплоскости
, то мы просто-напросто не
сможем умножать его на отрицательные
, поскольку если, например,
умножить этот
на
, то он уже окажется в нижней полуплоскости.
То есть, наши операции не определены на . Следовательно, такое
с
такими операциями не является линейным пространством
b) Возможно 2 случая:
1) Если наша прямая не проходит через начало координат , то тогда
не будет являться линейным пространством. Это происходит потому, что
конец вектора суммы
двух неколлинеарных векторов
,
концы которых лежат на такой прямой, уже не будет лежать на этой же
прямой. В этом легко убедиться, сложив такие векторы
и
по правилу
параллелограмма.
2) А вот в случае, если наша прямая проходит через начало координат
, то всё хорошо. Наши операции тогда определены корректно, и сумма
двух векторов с концами на нашей прямой тоже будет иметь конец на нашей
прямой.
С умножением на числа тем более всё будет в порядке - умножение на
числа не выводит вектора за пределы такой прямой - это легко понять
геометрически.
Нетрудно убедиться и в том, что все 8 аксиом линейного пространства в этом
случае выполняются.
c) Если мы выкинем все вектора, параллельные данной прямой,
то относительно стандартных операций наше не будет линейным
пространством, потому что операции на
не будут определены корректно.
Действительно, если мы возьмём любой , то есть
не параллелен
какой-то фиксированной прямой
, то для него всегда можно подобрать
непараллельный
вектор
так, чтобы
был уже параллелен
прямой
(прибавление вектора нужной длины и нужного направления
повернёт вектор
так, чтобы он стал уже параллелен
).
Таким образом, наше множество не замкнуто относительно операции
сложения векторов: мы всегда можем найти векторы
и
такие,
что их сумма не лежит в
, то есть параллельна той самой фиксированной
прямой
.
d) Сложение у нас на определено стандартно. А вот умножение
немного необычное: когда мы умножаем вектор
на
, мы
умножаем только первую его координату на
, а вторую просто зануляем:
.
Очевидно, что ни такое видоизменённое умножение на числа, ни уж тем более
стандартное сложение, не выведет нас за пределы . Т.е.
замкнуто
относительно введённых на нём операций. Однако, достаточно ли этого, чтобы
оно было линейным пространством?
Разумеется, нет. Должны ещё выполняться 8 аксиом линейного пространства.
В нашем же случае не будет выполняться аксиома .
А именно, в нашем случае, если я беру вектор
такой, что
, то умножение его на единицу сделает, по нашему новому
определению умножения, следующее:
. А должен
был в конце получиться тот же вектор, что и был, то есть
.
Следовательно, аксиома 5 нарушается, и наше
не будет линейным
пространством.
a) Нет;
b) Да, если указанная прямая проходит через начало координат и нет в
противном случае;
c) Нет;
d) Нет
Ошибка.
Попробуйте повторить позже
Выяснить, являются ли следующие системы векторов линейно независимыми:
- а)
;
- б)
;
- в)
;
- г)
;
- д)
;
- е)
.
- а)
- Составим матрицу из координат векторов и приведем ее к
ступенчатому виду для нахождения ранга:
Поскольку ранг матрицы равен
, то есть равен количеству векторов в изначальном наборе, то векторы
и
линейно независимы.
- б)
- Ясно, что
. То есть существует нетривиальная линейная комбинация этих векторов, равная нулевому вектору. Следовательно, векторы
- линейно зависимы.
- в)
- Составим матрицу из координат векторов и приведем ее к
ступенчатому виду:
Поскольку ранг равен
, векторы
,
и
линейно независимы.
- г)
- Составим матрицу из координат векторов и приведем ее к
ступенчатому виду:
Ранг системы векторов
получился равен 2, что меньше их количества. Следовательно, эта система векторов линейно зависима.
- д)
- Составим матрицу из координат векторов и приведем ее к
ступенчатому виду:
Поскольку у нас получилась нулевая строка, то такая система векторов заведомо линейно зависима.
- е)
- Составим матрицу из координат векторов и приведем ее к
ступенчатому виду:
Таким образом, ранг матрицы равен 4, следовательно векторы
линейно независимы.
- а)
- Независима;
- б)
- Зависима;
- в)
- Независима;
- г)
- Зависима;
- д)
- Зависима;
- е)
- Независима.
Ошибка.
Попробуйте повторить позже
Доказать, что:
a) Любая система векторов, содержащая нулевой вектор, будет линейно
зависимой;
b) Если система векторов - линейно независима, то будет линейно
независима и любая система, получающаяся выкидыванием из данной системы
любых векторов;
c) Если система векторов - линейно зависима, то будет линейно
зависима и любая система, получающаяся добавлением к данной системе
любых векторов;
d) Если система векторов - линейно независима, а система
векторов
- линейно зависима, то
обязательно является
линейной комбинацией векторов
a) Действительно, пусть мы имеем дело с системой векторов .
Тогда нулевой вектор можно нетривиальным образом получить как линейную
комбинацию векторов данной системы:
Следовательно, эта система векторов линейно зависима по определению.
b) Давайте от противного, предположим, что система - линейно
независима, а какая-то её подсистема
- линейно зависима
(
).
Но тогда, раз - линейно зависима, то существует нетривиальная
линейная комбинация этих векторов, равная нулевому вектору:
Но тогда существует и нетривиальная линейная комбинация исходной системы, равная нулевому вектору:
c) Раз система - линейно зависима, то существует их
нетривиальная линейная комбинация, равная нулевому вектору:
Но тогда, как бы мы ни дополняли исходную систему новыми векторами,
эта новая дополненная система тоже будет линейно
зависима, поскольку подойдёт линейная комбинация со старыми
коэффициентами для
и с нулевыми коэффициентами для
.
Она будет нетривиальной, потому что уже среди первых есть
хотя бы один ненулевой коэффициент.
d) От противного. Пусть не является линейной комбинацией векторов
.
Однако нам дано, что набор векторов - линейно зависим. Это
означает, что существуют
, не все из которых равны нулю,
такие, что:
Рассмотрим 2 случая.
1 случай. . Тогда
И это нетривиальная (почему?) линейная комбинация векторов ,
равная нулю. Противоречие с тем, что нам дано, что набор
-
линейно независим.
2 случай. . Но тогда
Противоречие с тем, что не является линейной комбинацией векторов
.
В обоих случаях мы получаем противоречие. Следовательно, наше
предположение было неверно, и мы, тем самым, все доказали.
Ошибка.
Попробуйте повторить позже
Доказать, что если - базис пространства
, то при добавлении
любого другого вектора
,
дополненная система
векторов
будет обязательно линейно зависима.
Это свойство базиса называется максимальностью и говорит о том, что
базис никак нельзя дополнить никаким вектором без потери линейной
независимости.
Поскольку - базис, то, в частности, через эти
можно
выразить любой вектор пространства
. В частности, и для нашего
из
условия найдутся такие
, что
Далее, осталось лишь вспомнить теорему о том, что система векторов
линейно зависима тогда и только тогда, когда какой-то вектор из этой системы
выражается в качестве линейной комбинации остальных векторов.
И мы мгновенно получаем, что система векторов
обязательно линейно зависима, потому что последний вектор в ней
есть линейная комбинация остальных.
Ошибка.
Попробуйте повторить позже
Доказать, что если система векторов ,
обладает тем
свойством, что любой
можно единственным образом выразить в
виде линейной комбинации
:
то - базис пространства
.
(То есть базисы это те и только те наборы векторов, которые обладают
свойством единственной выразимости.)
Нам нужно доказать, что - базис пространства
. Для этого
нужно доказать, что
- линейно независима и то, что любой вектор
пространства
можно выразить в виде линейной комбинации векторов
.
Второе доказывать не нужно, поскольку нам это уже дано по условию
(нам дано даже больше, что любой вектор можно выразить, да притом
единственным образом). Поэтому остаётся доказать лишь первое.
Почему - линейно независима? Давайте доказывать от противного.
Пусть она линейно зависима. Тогда существует нетривиальная линейная
комбинация, выражающая нулевой вектор пространства
:
Но, с другой стороны, ясно, что
Таким образом, мы получили две разные линейные комбинации,
выражающие .
Они действительно разные, поскольку - нетривиальна, то есть там не все
коэффициенты равны нулю, а
- тривиальна.
Но это противоречит условию того, что каждый вектор пространства
единственным(!!!) образом выражается в виде линейной комбинации
. Это противоречие доказывает, что наше предположение было
неверно. Следовательно,
- линейно независимая система. А, значит,
базис.
Ошибка.
Попробуйте повторить позже
Привести пример бесконечномерного пространства. То есть такого линейного
пространства , что в нем не существует конечного базиса, однако
существует бесконечный.
Давайте для начала поймем, что бесконечномерность пространства означает в
точности то, что для любого в этом пространстве существует линейно
независимая система из
векторов.
Действительно, это означает, что размерность не может быть конечной, потому
что размерность - это количество векторов в любом базисе, а в любом
пространстве невозможно набрать линейно независимых векторов больше, чем
его размерность (при присоединении любого вектора к базису такая система
получается уже линейно зависимой).
Таким образом, нам нужно построить пример пространства, в котором
существуют линейно независимые наборы из сколь угодно большого
количества векторов.
Давайте в качестве такого пространства возьмём
- пространство всех многочленов, безо всякого ограничения на их
степень. Операции сложения и умножения на числа в
стандартные - мы
складываем многочлены и умножаем их на любые
как обычно.
Но тогда, для каждого рассмотрим такое множество векторов в этом
пространстве:
Мы утверждаем, что для каждого система векторов
линейно
независима.
Действительно, от противного, пусть для какого-то
оказалась линейно
зависима в нашем пространстве. Тогда найдутся такие
, не все
равные нулю, что
Но что стоит в левой части равенства? В левой части стоит просто многочлен
А в правой части стоит нулевой вектор, но нулевой вектор в пространстве многочленов - это нулевой многочлен - многочлен, у которого все коэффициенты равны нулю. Но тогда мы получаем, что
Но тогда левая часть равна нулю при любой подстановке . То есть
многочлен из левой части имеет бесконечно много корней. Но многочлен не
может иметь корней больше, чем его степень. Следовательно, в левой части
написан тоже нулевой многочлен. Следовательно,
Получаем противоречие. Следовательно, система векторов
линейно независима для любого . А, значит, у нас в
есть линейно
независимые системы из сколь угодно большого количества векторов.
Следовательно,
.
Комментарий. Если немного поразмыслить, то можно понять, что
одним из самых просто устроенных базисов в является такое
бесконечное множество:
Например, пространство всех многочленов
Ошибка.
Попробуйте повторить позже
1. Проверить, что система векторов из :
линейно независима.
2. Добавить к ней какой-нибудь вектор , чтобы система векторов
стала базисом в
.
1. Система векторов - линейно независима, если её ранг равен количеству
векторов в ней, то есть равен 3.
Для нахождения её ранга, запишем координаты векторов в матрицу:
Далее, приводим матрицу к ступенчатому виду и получаем:
И видно, что её ранг равен 3, потому что получилось 3 ненулевые строки.
Следовательно, исходная система линейно независима.
2. Нам нужно эту систему векторов дополнить до базиса. Как же найти четвертый
вектор, которым можно дополнить эту систему?
Ясно, что подойдет либо , либо
,
, либо
. Почему же? Потому что нам нужно дополнить
до базиса.
Но мы работаем в четырехмерном пространстве, поэтому нам достаточно
добиться того, чтобы вместе с четвертым вектором
система векторов
оказалась линейно независима. И тогда это автоматически будет базис.
Почему нам подойдет какой-нибудь из ? Если бы никакой из них нам не подошел,
то это означало бы, что для любого
система векторов
-
линейно зависима.
Но это означало бы, что каждый выражался бы в качестве линейной комбинации
векторов
. Но сами системы
и
- линейно
независимы. Таким образом, мы бы получили противоречие с основной леммой о
линейной зависимости, потому что много (4) независимых векторов не могут
выражаться через мало (3) независимых векторов.
Следовательно, вместе с каким-то из система
всё таки будет
линейно независимой.
Это можно понять и перебором - то есть составить четыре матрицы
И понять, у какой из них будет ранг 4.
Подойдёт, например, и первая матрица, потому что если привести к ступенчатому
виду, то получается
И видно, что . Следовательно, в качестве
можно взять
.
Ошибка.
Попробуйте повторить позже
1. Проверить, что система векторов из :
линейно независима.
2. Добавить к ней какие-нибудь вектора , чтобы система векторов
стала базисом в
.
1. Система векторов - линейно независима, поскольку ясно, что если мы смогли
выразить нулевой вектор
как линейную комбинацию векторов из этой системы,
то это означает, что
. Но поскольку
, то
. То есть
нулевой вектор выражается только через тривиальную линейную комбинацию
векторов нашей системы из одного вектора. Следовательно, она линейно
независима.
2. Нам нужно эту систему векторов дополнить до базиса. Как же найти и
,
которыми можно дополнить эту систему?
Ясно, что подойдут какие-то два вектора из трёх векторов стандартного базиса
:
Почему же? Потому что нам нужно дополнить до базиса. Но мы работаем в
трёхмерном пространстве, поэтому нам достаточно добиться того, чтобы вместе с
двумя другими векторами система векторов
оказалась линейно
независима. И тогда это автоматически будет базис.
Почему нам можно взять какие-нибудь два среди ? Если бы никакие из них нам не
подошли, то это означало бы, что для любых
система векторов
-
линейно зависима.
Но это означало бы, что каждый выражался бы в качестве линейной комбинации
векторов
. Таким образом, мы бы получили противоречие с основной леммой
о линейной зависимости, потому что много (3) независимых векторов не могут
выражаться через мало (2) независимых векторов.
Следовательно, вместе с каким-то система
всё таки будет линейно
независимой.
Это можно понять и перебором - то есть составить три матрицы
И понять, у какой из них будет ранг 3.
Подойдёт, например, третья матрица, потому что если привести к ступенчатому
виду, то получается
И видно, что . Следовательно, в качестве
и
можно взять
и
.
Ошибка.
Попробуйте повторить позже
Напомним еще раз определение. Пусть в конечномерном пространстве
задано два базиса:
Тогда матрица перехода от первого базиса ко второму - это такая
матрица , по столбцам которой записаны координаты нового базиса
(штрихованного) в старом (нештрихованном). То есть
обладает
свойством:
Задача. Доказать, что матрица всегда обратима. То есть всегда
существует
.
Давайте запишем матрицу перехода наоборот от штрихованного базиса
к нештрихованному
. Эта матрица будет обладать
соотношением
Но тогда, подставляя вместо его выражение как
, мы получим:
Следовательно, . Следовательно,
обратима - ведь для неё
существует такая матрица, которая при умножении на
даёт единичную -
это
.
Интерпретировать это можно очень просто - обратная матрица
к матрице перехода от старого базиса к новому - это матрица
перехода от нового базиса к старому.
Ошибка.
Попробуйте повторить позже
Пусть в конечномерном пространстве выбрано три базиса:
Пусть является матрицей перехода от первого базиса ко второму, а
матрицей перехода от второго базиса к третьему. Найти матрицу перехода от
первого базиса к третьему.
Запишем то, что нам дано:
Тогда давайте домножим первое равенство на справа, и получим:
Однако левая часть этого равенства - это есть не что иное, как
. Следовательно, мы имеем, что
Таким образом, матрица перехода от первого базиса к третьему - это
произведение матриц перехода от первого ко второму на матрицу от
второго к третьему.
Ошибка.
Попробуйте повторить позже
Вычислить ранг, приводя матрицу к ступенчатому виду:
1.
2.
1.
То есть ранг равен 3.
2.
Чтобы довести до ступенчатого вида, формально осталось только переставить строчки в правильном порядке. Но ясно, что ранг равен количеству ненулевых строк, то есть ранг равен 4.
1. Ранг равен трем;
2. Ранг равен четырем.
Ошибка.
Попробуйте повторить позже
a) Вычислить ранг следующих матриц при помощи метода окаймляющих миноров:
1.
2.
3. .
b) В каждой из вышеприведенных матриц найти, во-первых, какие строк (где
- ранг
соответствующей матрицы) можно выбрать в качестве линейно независимых и, во-вторых, какие
столбцов можно выбрать в качестве линейно независимых.
a)
1. Найдём ранг методом окаймляющих миноров. Начнём проверять миноры 2-го порядка.
Значит ранг как минимум равен 2. Допишем по одному элементу данных столбцов и начнём проверять миноры 3-го порядка
Получили ненулевой определитель, а значит ранг матрицы уже не меньше 3. Проверим миноры 4-го порядка.
Все определители миноров 4-го порядка равны 0, а значит, что ранг матрицы равен 3.
2. Найдём ранг методом окаймляющих миноров. Начнём проверять миноры 2-го порядка.
Значит ранг как минимум равен 2. Допишем по одному элементу данных столбцов и начнём проверять миноры 3-го порядка
Получили ненулевой определитель, а значит ранг матрицы уже не меньше 3. Проверим миноры 4-го порядка.
И мы сразу находим ненулевой определитель 4-го порядка, а это значит, что нам осталось проверить только всю матрицу целиком.
Определитель равен 0, а значит ранг матрицы равен 4.
3. Найдём ранг методом окаймляющих миноров. Начнём проверять миноры 2-го порядка.
Значит ранг как минимум равен 2. Допишем по одному элементу данных столбцов и начнём проверять миноры 3-го порядка
Получили ненулевой определитель, а значит ранг матрицы уже не меньше 3. Проверим миноры 4-го порядка.
И мы сразу находим ненулевой определитель 4-го порядка, а это значит, что нам осталось проверить только всю матрицу целиком.
Определитель равен 1, а значит проверяем миноры 6-го порядка, а такой у нас один - и это вся матрица. Для вычисления определителя всей матрицы разложим её по первой строке
Минор 6-го порядка равен 0. Так как других миноров данного порядка нет, то заключаем, что ранг
матрицы равен 5.
b)
1. Поскольку максимальный ненулевой минор у нас был
и он составлен из 1-ой, 2-ой и 3-ей строки исходной матрицы, а также из 1-го, 2-го и 3-го столбца исходной матрицы, то в качестве линейно независимых строк исходной матрицы можно взять
А в качестве линейно независимых столбцов в исходной матрице можно взять
2. Поскольку максимальный ненулевой минор у нас был
и он составлен из 1-ой, 2-о, 3-ей и 4-ой строки исходной матрицы, а также из 1-го, 2-го,3-го и 4-го столбца исходной матрицы, то в качестве линейно независимых строк исходной матрицы можно взять
А в качестве линейно независимых столбцов в исходной матрице можно взять
3. Поскольку максимальный ненулевой минор у нас был
и он составлен из 1-ой, 2-ой, 3-ей, 4-ой и 5-ой строки исходной матрицы, а также из 1-го, 2-го, 3-го, 4-го и 5-го столбца исходной матрицы, то в качестве линейно независимых строк исходной матрицы можно взять эти самые первые 5 строк исходной матрицы, а в качестве линейно независимых столбцов - эти самые первые 5 столбцов исходной матрицы.
a) 1. Ранг равен трем;
2. Ранг равен четырем;
3. Ранг равен пяти.
b) 1. В качестве линейно независимых строк годятся первые три, в качестве
линейно независимых столбцов годятся первые три;
2. В качестве линейно независимых строк годятся первые четыре, в качестве
линейно независимых столбцов годятся первые четыре;
3. В качестве линейно независимых строк годятся первые пять, в качестве
линейно независимых столбцов годятся первые пять;