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