Линейные пространства
Задание 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.