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