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