Линейные пространства
Задание 1. Образует ли линейное пространство заданное множество, в котором определены сумма любых двух элементов a и b и произведение любого элемента а на любое число a?
1.1. Множество всех действительных чисел;
сумма a + b, произведение a*a.
Решение. Проверяем замкнутость множества действительных чисел относительно введенных операций суммы элементов множества и произведения элемента множества на число. Сумма действительных чисел и произведение действительного числа на любое число являются действительными числами. То есть операции a + b и a*a определены на заданном множестве. Аксиомы линейного пространства 1)-8) выполняются на основании правил арифметических операции. Нулевым элементом является число , а противоположным для числа а является число (- а), так как
а +(- а)=0.
Ответ. Множество действительных чисел с введенными операциями суммы элементов множества и произведения элемента множества на число является линейным пространством.
1.2. Множество всех симметрических матриц ,
,
,
,
; сумма
, произведение
.
Решение. Проверяем замкнутость множества симметричных матриц относительно введенных операций суммы элементов множества и произведения элемента множества на число. Сумма симметричных матриц и произведение симметричной матрицы на число являются симметричными матрицами. То есть операции a + b и a*a определены на заданном множестве. Аксиомы линейного пространства 1)-8) выполняются на основании свойств линейных операции над матрицами. Нулевым элементом является матрица ,
, а противоположным элементом -
.
Ответ. Множество симметрических матриц с введенными операциями суммы матриц и произведения матрицы на число является линейным пространством.
|
Задание 2. Найти какую-либо базу системы векторов и выразить через нее все векторы системы.
Решение. Составим матрицу, столбцами которой являются координаты заданных векторов и приведем ее к упрощенному виду с помощью элементарных преобразований строк:
В полученной матрице столбцы, являющиеся столбцами единичной матрицы линейно независимы, а остальные столбцы являются линейной комбинацией этих столбцов. Отсюда векторы, соответствующие столбцам единичной матрицы линейно независимы, а остальные векторы являются линейной комбинацией этих векторов. Таки образом, векторы линейно независимы и составляют базу исходной системы, а вектор
является линейной комбинацией этих векторов. Из упрощенной матрицы записываем выражение четвертого столбца через первые три
Следовательно, четвертый вектор является линейной комбинацией векторов
с теми же коэффициентами, то есть
.
Ответ:
а) база системы: векторы ,
б) выражение векторов через векторы базы:
,
,
,
.
Задание 3. В линейном пространстве задан базис
. Заданы разложения векторов
по базису
и задан
- столбец координат вектора
в базисе
и
- столбец координат вектора
в базисе
.
1. Доказать, что система векторов является базисом пространства
.
2. Записать матрицу перехода от базиса к базису
и матрицу перехода от базиса
к базису
.
3. Найти разложение вектора по базису
и разложение вектора
по базису
.
4. Записать - столбец координат вектора
в базисе
и
- столбец координат вектора
в базисе
.
Решение. Запишем координаты векторов в базисе
|
.
Чтобы доказать, что система векторов является базисом, надо доказать их линейную независимость. Для этого составим матрицу, столбцами которой являются координаты векторов
в базисе
и вычислим ее ранг.
Ранг матрицы равен трем, значит система векторов линейно независима и является базисом пространства.
Записанная выше матрица является матрицей перехода от базиса к базису
, то есть
.
Матрица перехода от базиса к базису
является обратной к матрице
, то есть
. Вычислим ее
Таким образом получили
Теперь можно вычислить столбец координат вектора в базисе
истолбец координат вектора в базисе
Разложения векторов запишутся в виде
,
Ответ:
1. Система векторов является базисом пространства
.
2. Матрицы перехода
,
.
3. Разложения векторов
,
4. Столбцы координат векторов
,
.
Задание 4. В линейном пространстве задан базис
и заданы координаты векторов
в этом базисе
- Найти базисы подпространств
,
,
,
.
- Убедиться в справедливости равенства
.
:
:
Решение.
Для того, чтобы найти базисы подпространств, заданных своими оболочками, необходимо выделить в каждой из оболочек выделить максимальную линейно независимую подсистему, которая и является базисом подпространства. Для этого составляем матрицу по столбцам из векторов данной системы и приведем ее к ступенчатому виду элементарными преобразованиями.
Подпространство :
Ранг этой матрицы равен 3, и значит, что векторы линейно независимы являются базисом подпространства
. Размерность подпространства
равна
.
|
Подпространство :
Ранг этой матрицы равен 3, и значит, что векторы линейно независимы являются базисом подпространства
. Размерность подпространства
равна
.
Сумма подпространств .
Сумма подпространств и
определяется линейной оболочкой векторов, задающих эти подпространства
.
Базис и размерность этого подпространства ищем аналогично предыдущему. Для этого составляем матрицу, построенную из векторов по столбцам, и приведем ее к ступенчатому виду элементарными преобразованиями.
Ранг этой матрицы равен 4, и значит, что векторы линейно независимы и являются базисом суммы подпространств
. Размерность суммы подпространств
равна
.
Пересечение подпространств .
Из определения пересечения подпространств
следует, что если то его можно представить в виде разложения по базису подпространства
,
а если то его можно представить в виде разложения по базису подпространства
То есть
Правая часть этого равенства представляет собой однородную систему линейных алгебраических уравнений относительно неизвестных коэффициентов :
,
или
Найдем ее фундаментальную совокупность решений, приведя матрицу системы к упрощенному виду
Ранг этой системы равен r =2, а число неизвестных n=6. Значит фундаментальная совокупность решений будет состоять из n-r =2 решений. Найдем эти решения приняв за свободные неизвестные :
Получили, что набору значений (а также набору
) соответствует вектор
, набору
(а также набору
) соответствует вектор
. Эти векторы линейно независимы и, как следует из определения фундаментальной совокупности решений, через них линейно выражаются все решения системы. Следовательно, векторы
являются базисом пересечения подпространств
и
.
Проверяем равенство : 3+3=4+2.
Ответ.
1. Базис подпространства : векторы
,
,
2. Базис подпространства : векторы
,
,
3. Базис суммы подпространств : векторы
,
,
4. Базис пересечения подпространства : векторы
,
.
Задание 5. Найти базисы и размерности суммы и пересечения подпространств и
:
,
, если подпространства заданы как множества решений однородных систем линейных уравнений, где:
:
Решение.
Базисом подпространства, заданного однородной системой линейных уравнений, является фундаментальная совокупность решений этой системы. Фундаментальную совокупность будем искать приведением матрицы системы к упрощенному виду элементарными преобразованиями.
Подпространство .
Число неизвестных n равно 4, а ранг матрицы равен 2. Следовательно, размерность подпространства решений равна
. В качестве свободных неизвестных выбираем
и
. Чтобы избежать дробных чисел, придадим свободным неизвестным сначала значения
, а затем
и вычислим значения главных неизвестных
и
.
.
В итоге получаем два вектора и
, которые являются базисом подпространства
. Размерность этого подпространства
.
Подпространство .
,
Число неизвестных n равно 4, а ранг матрицы равен 3. Следовательно, размерность подпространства решений равна
. В качестве свободного неизвестного выбираем
. Чтобы избежать дробных чисел, придадим свободному неизвестному значение
и вычислим значения главных неизвестных
.
В итоге получаем один вектор , который является базисом подпространства
. Размерность этого подпространства
.
Сумма подпространств .
Сумму подпространств удобнее искать исходя из описания подпространств линейными оболочками. Так как нам известны базисы подпространств, то эти подпространства можно описать линейными оболочками базисных векторов: . Тогда сумма подпространств запишется в виде
.
Вычислим базис суммы подпространств, выделив из системы векторов максимальную линейно независимую систему
Ранг этой матрицы равен 3 и значит векторы линейно независимы и являются базисом суммы подпространств
. Размерность суммы подпространств
.
Пересечение подпространств .
Вектор принадлежит пересечению
в том случае, если он удовлетворяет обеим системам, описывающим подпространства
Базисом пересечения будет фундаментальная совокупность решений этой системы. Приведем матрицу к простейшему виду:
Получили, что ранг матрицы равен числу неизвестных и, следовательно, система имеет только тривиальное решение . Значит
и
.
Проверим соотношение для размерностей подпространств
: 2+1=3+0.
Ответ.
1. Базис подпространства : векторы
,
,
2. Базис подпространства : векторы
,
,
3. Базис суммы подпространств : векторы
,
,
4. Подпространства и
не пересекаются:
,
.
Задание 6. Найти базис и размерность пересечения подпространств и
:
,
, если одно из подпространств задано как множества решений однородной системы линейных уравнений, а другое подпространство задано линейной оболочкой векторов:
,
,
,
,
:
Решение.
Подпространство .
Составляем матрицу по столбцам из векторов данной системы и приводим ее к ступенчатому виду элементарными преобразованиями.
Ранг матрицы равен 2 и, значит, в матрице имеются два линейно независимых столбца. Первые два столбца линейно независимы, следовательно соответствующие им векторы также линейно независимы и их можно принять в качестве базиса подпространства
:
.
.
Подпространство ,
.
Базисом подпространства, заданного однородной системой линейных уравнений, является фундаментальная совокупность решений этой системы. Фундаментальную совокупность будем искать приведением матрицы системы к упрощенному виду элементарными преобразованиями.
Число неизвестных n равно 4, а ранг матрицы равен 1. Следовательно, размерность подпространства решений равна
. В качестве свободных неизвестных выбираем
и вычисляем значения главной неизвестной
.
В итоге получаем три вектора ,
,
которые являются базисом подпространства
. Размерность этого подпространства
.
Сумма подпространств .
Так как нам известны базисы подпространств, то эти подпространства можно описать линейными оболочками базисных векторов: ,
. Тогда сумма подпространств запишется в виде
. Вычислим базис суммы подпространств, выделив из системы векторов
максимальную линейно независимую систему
В этой матрице первые четыре столбца линейно независимы, следовательно, соответствующие им векторы также линейно независимы и могут быть приняты в качестве базиса суммы подпространств
.
Пересечение подпространств .
Пересечение подпространств удобнее искать в том случае, когда подпространства заданы системами уравнений. Поэтому опишем подпространство системой уравнений
. Так как векторы
являются базисом
, то они линейно независимы и составляют фундаментальную совокупность решений искомой системы
. Составим матрицу из столбцов координат векторов
.
Из линейной независимости столбцов матрицы следует
То есть ,
Вектор принадлежит пересечению
в том случае, если он удовлетворяет обеим системам, описывающим подпространства
Базисом пересечения будет фундаментальная совокупность решений этой системы. Приведем матрицу к простейшему виду:
Число неизвестных n равно 4, а ранг матрицы равен 3. Следовательно, размерность подпространства решений равна
. В качестве свободного неизвестного выбираем
. и вычислим значения главных неизвестных
Таким образом базисом пересечения является вектор
.
Проверим соотношение для размерностей подпространств:
, 2+3=4+1.
Ответ.
1. Базис подпространства : векторы
,
,
2. Базис подпространства : векторы
,
,
3. Базис суммы подпространств : векторы
,
,
4. Базис пересечения подпространств : вектор
,
.
Список литературы
1. Ильин В.А.,_Ким Г.Д. Линейная алгебра и аналитическая геометрия. Учебник.-М.:Изд-во Моск. Ун-та, 1998.
2. Ким Г.Д., Крицков Л.В. Алгебра и аналитическая геометрия: Теоремы и задачи. Том II, часть 1. М.:ИКД ”Зерцало”, 2003.
3. Бутузов В.Ф., Крутицкая Н.Ч., Шишкин А.А. Линейная алгебра в вопросах и задачах: Учебное пособие/ Под ред.В.Ф.Бутузова. – М.: ФИЗМАТЛИТ, 2002.
4. Бортаковский А.С. Линейная алгебра в примерах и задачах: Учеб.пособие/А.С. Бортаовский, А.В. Пантелеев. – М.:Высш.шк., 2005.
5. Проскуряков И.В. Сборник задач по линейной алгебре. – М.:Наука, 1978.
6. Воеводин В.В. Линейная алгебра. – М.: Наука, 1974.