Линейная алгебра

Понятие линейного пространства

Постановка задачи. Образует ли линейное пространство заданное множество clip_image001, в котором определены «сумма» clip_image002 любых двух элементов clip_image003 и clip_image004 и «произведение» clip_image005 любого элемента clip_image003[1] на любое число clip_image006.

План решения.

Пусть, задано некоторое множество clip_image001[1], элементы которого будем называть векторами (независимо от природы элементов множества). Наряду с множеством векторов будем рассматривать числовое поле clip_image007, под которым подразумевается поле комплексных чисел clip_image008 либо поле вещественных чисел clip_image009. Элементы clip_image001[2] будем обозначать латинскими малыми буквами, а элементы множества clip_image007[1] – греческими малыми буквами.

Определение. Пара clip_image010 называется линейным пространством, если (clip_image011) задан закон, по которому любой паре векторов clip_image012 сопоставлен вектор, называемый их суммой и обозначаемый символом clip_image002[1], причем для любых clip_image013 выполнено: (clip_image014) clip_image015; (clip_image016) clip_image017; (clip_image018) для любого clip_image019 существует нуль-вектор clip_image020, что clip_image021; (clip_image022) для любого clip_image019[1] существует противоположный вектор clip_image023, что clip_image024; (clip_image025) задан закон, по которому для любого clip_image019[2] и любого числа clip_image026 сопоставлен вектор clip_image005[1], называемый произведением числа clip_image006[1] на вектор clip_image003[2], причем выполнено: (clip_image027) clip_image028; (clip_image029) clip_image030; (clip_image031) clip_image032; (clip_image033) clip_image034.

Исходя из определения линейного пространства, проверяем следующие условия.

1. Являются ли введенные операции сложения и умножения на число замкнутыми в clip_image001[3], т.е. верно ли, что clip_image035 и clip_image036

clip_image037?

Если нет, то множество clip_image001[4] не является линейным пространством, если да, то продолжаем проверку.

2. Находим нулевой элемент clip_image038 такой, что clip_image039

clip_image040.

Если такого элемента не существует, то множество clip_image001[5] не является линейным пространством, если существует, то продолжаем проверку.

3. Для каждого элемента clip_image019[3] определяем противоположный элемент clip_image041 такой, что

clip_image024[1].

Если такого элемента не существует, то множество clip_image001[6] не является линейным пространством, если существует, то продолжаем проверку.

4. Проверяем выполнение остальных аксиом линейного пространства, т.е. clip_image042 и clip_image043:

clip_image044

Если хотя бы одна из этих аксиом нарушается, то множество clip_image001[7] не является линейным пространством. Если выполнены все аксиомы, то множество clip_image001[8] – линейное пространство.

Задача 1. Образует ли линейное пространство заданное множество, в котором определены сумма любых двух элементов clip_image003[3] и clip_image004[1] и произведение любого элемента clip_image003[4] на любое число clip_image045?

Множество всех векторов, лежащих на одной оси; сумма clip_image046, произведение clip_image047.

Введенные таким образом операции являются замкнутыми в данном множестве, т.к. сумма двух векторов лежащих на одной оси есть вектор лежащий на той же оси и произведение вектора на число также будет вектором на той же оси.

Проверим выполнение аксиом линейного пространства.

Аксиомы группы clip_image011[1]:

clip_image014[1]: clip_image048 – выполняется;

clip_image016[1]: clip_image049 – выполняется;

clip_image018[1]: в качестве нуля возьмем нуль-вектор, т.к. clip_image050;

clip_image022[1]: в качестве противоположного элемента возьмем противоположный вектор clip_image051, т.к. clip_image052.

Аксиомы группы clip_image025[1]:

clip_image027[1]: clip_image053 – выполняется;

clip_image029[1]: clip_image054 – выполняется;

clip_image031[1]: clip_image055 – выполняется;

clip_image033[1]: clip_image056 – выполняется.

Т.е. множество всех векторов, лежащих на одной оси с суммой clip_image046[1] и произведением clip_image047[1] является линейным пространством.


Линейная зависимость векторов

Постановка задачи. Исследовать на линейную зависимость систему векторов clip_image057, clip_image058, clip_image059.

План решения.

Определение. Система векторов clip_image060 называется линейно-зависимой, если существуют такие числа clip_image061, среди которых хотя бы одно не равно нулю, что выполнено

clip_image062.

Теорема. Для того, чтобы система, состоящая из трех векторов, была линейно-зависимой, необходимо и достаточно, чтобы тройка векторов была компланарной.

1. Составляем смешанное произведение векторов:

clip_image063.

2. Если определитель в правой части равенства равен нулю, то данная система векторов линейно зависима; если же определитель не равен нулю, то векторы линейно независимы.

Замечание. Если необходимо исследовать на линейную зависимость систему функций clip_image064, то необходимо составить определитель Вронского

clip_image065.

Если данный определитель равен нулю, то система функций линейно зависима.

Задача 2. Исследовать на линейную зависимость систему векторов.

Пример 1.

clip_image066

Составляем определитель из координат данных векторов:

clip_image067.

Так определитель не равен нулю, то данная система векторов линейно независима.

 

Пример 2.

clip_image068 на clip_image069.

Составим определитель Вронского:

clip_image070

Т.е. данная система функций линейно зависима.


Системы линейных однородных уравнений

Постановка задачи. Найти какой-нибудь базис и определить размерность линейного пространства решений системы

clip_image071

 

 

План решения.

1. Записываем матрицу системы:

clip_image072

и с помощью элементарных преобразований преобразуем матрицу к треугольному виду, т.е. к такому виду, когда все элементы, находящиеся ниже главной диагонали равны нулю. Ранг матрицы системы равен числу линейно независимых строк, т.е., в нашем случае, числу строк, в которых остались ненулевые элементы:

clip_image073.

Размерность пространства решений равна clip_image074. Если clip_image075, то однородная система имеет единственное нулевое решение, если clip_image076, то система имеет бесчисленное множество решений.

2. Выбираем clip_image077 базисных и clip_image078 свободных переменных. Свободные переменные обозначаем clip_image079. Затем базисные переменные выражаем через свободные, получив таким образом общее решение однородной системы линейных уравнений.

3. Записываем базис пространства решений системы полагая последовательно одну из свободных переменных равной единице, а остальные нулю. Размерность линейного пространства решений системы равна количеству векторов базиса.

Примечание. К элементарным преобразованиям матрицы относят:

1. умножение (деление) строки на множитель, отличный от нуля;

2. прибавление к какой-либо строке другой строки, умноженной на любое число;

3. перестановка строк местами;

4. преобразования 1–3 для столбцов (в случае решения систем линейных уравнений элементарные преобразования столбцов не используются).

Задача 3. Найти какой-нибудь базис и определить размерность линейного пространства решений системы.

clip_image080

Выписываем матрицу системы и с помощью элементарных преобразований приводим ее к треугольному виду:

clip_image081

Полагаем clip_image082, тогда

clip_image083               clip_image084

Базис:

clip_image085.

Размерность линейного пространства решений равна 3.


Преобразование координат вектора

Постановка задачи. Вектор clip_image086 в базисе clip_image087 имеет координаты clip_image088. Найти координаты вектора clip_image086[1] в базисе clip_image089, где

clip_image090

План решения.

Переход от первого базиса clip_image087[1] ко второму clip_image089[1] задается матрицей:

clip_image091.

Переход от второго базиса к первому задается обратной матрицей clip_image092.

Переход от координат вектора относительно первого базиса к координатам этого же вектора относительно второго базиса осуществляется так же с помощью матрицы clip_image092[1].

1. Выписываем матрицу перехода:

clip_image091[1].

2. Находим обратную матрицу clip_image092[2].

3. Координаты искомого вектора находим по формуле:

clip_image093,

где clip_image094 и clip_image095 – столбцы координат вектора clip_image086[2] в базисах clip_image089[2] и clip_image087[2].

Задача 4. Найти координаты вектора clip_image086[3] в базисе clip_image096, если он задан в базисе clip_image097.

clip_image098

Переход от первого базиса clip_image097[1] ко второму clip_image096[1] задается матрицей

clip_image099.

Переход от второго базиса к первому задается обратной матрицей clip_image092[3].

Переход от координат вектора относительно первого базиса к координатам этого же вектора относительно второго базиса осуществляется так же с помощью матрицы clip_image092[4].

Найдем обратную матрицу. Вычисляем определитель:

clip_image100.

Находим алгебраические дополнения.

clip_image101;

clip_image102;

clip_image103.

Обратная матрица:

clip_image104.

Тогда

clip_image105.

Значит, координаты вектора clip_image106 в базисе clip_image096[2] будут

clip_image107.


Линейные операторы

Постановка задачи. Пусть в некотором базисе линейного пространства clip_image108 задан произвольный вектор clip_image109. Является ли линейным оператор clip_image110 такой, что

clip_image111,

где clip_image112 – некоторые функции clip_image113 переменных.

План решения.

При линейном преобразовании координаты получившегося вектора clip_image114 будут линейными комбинациями координат исходного вектора. Т.е. если в функциях clip_image112[1] присутствуют нелинейные слагаемые или среди слагаемых есть свободный член, то преобразование clip_image115 не является линейным.

Задача 5. Пусть clip_image116. Являются ли линейными следующие преобразования.

clip_image117

Здесь линейным преобразованием будет только преобразование clip_image118, т.к. при линейном преобразовании координаты получившегося вектора будут линейными комбинациями координат исходного вектора. Матрица линейного оператора clip_image118[1]:

clip_image119


Действия с операторами и их матрицами

Постановка задачи. В некотором базисе трехмерного пространства заданы линейные преобразования

clip_image120

где clip_image121 – произвольный вектор.

Найти координаты вектора clip_image122, где clip_image123 – многочлен относительно операторов clip_image115[1] и clip_image124.

План решения.

Так как при сложении операторов их матрицы складываются, при умножении на число – умножаются на это число, а матрица композиции операторов равна произведению их матриц, то нужно найти матрицу clip_image125, где clip_image126 и clip_image127 – матрицы операторов clip_image115[2] и clip_image124[1]. Затем столбец координат вектора clip_image122[1] находим по формуле clip_image128, где clip_image095[1] – столбец координат вектора clip_image086[4].

1. Выписываем матрицы операторов clip_image115[3] и clip_image124[2]:

clip_image129.

2. По правилам сложения матриц, умножения матрицы на число и умножения матриц находим матрицу clip_image125[1]:

clip_image130.

3. Находим столбец координат образа вектора clip_image086[5]:

clip_image131.

Откуда clip_image132.

Задача 6. Пусть clip_image133, clip_image134, clip_image135. Найти

clip_image136.

Матрицы операторов clip_image115[4] и clip_image124[3]:

clip_image137.

Находим:

clip_image138

clip_image139.

clip_image140.

Таким образом clip_image141.


Преобразование матрицы оператора

Постановка задачи. Найти матрицу некоторого оператора clip_image115[5] в базисе clip_image089[3], где

clip_image090[1]

если в базисе clip_image087[3] его матрица имеет вид

clip_image142.

План решения.

При переходе от базиса clip_image087[4] к базису clip_image089[4] матрица оператора преобразуется по формуле

clip_image143,

где clip_image144 – матрица перехода от базиса clip_image087[5] к базису clip_image089[5].

1. Выписываем матрицу перехода:

clip_image091[2].

2. Находим обратную матрицу clip_image092[5].

3. Находим матрицу оператора clip_image115[6] в базисе clip_image089[6] по формуле

clip_image143[1].

Задача 7. Найти матрицу в базисе clip_image145, где

clip_image146,

если она задана в базисе clip_image147.

clip_image148.

Матрица в базисе clip_image145[1] находится по формуле

clip_image143[2].

где

clip_image149.

Найдем обратную матрицу clip_image092[6].

Определитель:

clip_image150.

Алгебраические дополнения:

clip_image151;

clip_image152;

clip_image153.

Обратная матрица:

clip_image154.

Находим матрицу в новом базисе:

clip_image155

Т.е. матрица clip_image126[1] в базисе clip_image145[2] имеет вид:

clip_image156.


Матрица, образ, ядро оператора

Постановка задачи. Задан оператор clip_image115[7], осуществляющий некоторое преобразование пространства геометрических векторов clip_image157. Доказать линейность, найти матрицу, образ и ядро оператора clip_image115[8].

План решения.

1. По определению доказываем линейность оператора clip_image115[9], используя свойства операций над геометрическими векторами в координатной форме, т.е. проверяем, что clip_image158 и clip_image159

clip_image160 и clip_image161.

2. Строим матрицу оператора clip_image115[10].

3. Находим образ и ядро оператора clip_image115[11].

Задача 8. Доказать линейность, найти матрицу, область значений и ядро оператора проектирования на плоскость clip_image162.

Если clip_image121[1], то clip_image163.

Оператор является линейным, если

clip_image160[1] и clip_image161[1].

Проверяем

clip_image164

clip_image165.

clip_image166

Т.е. оператор clip_image115[12] является линейным.

Его матрица:

clip_image167.

Область значений оператора – это множество всех векторов

clip_image168.

Ядро линейного оператора – это множество всех векторов, которые clip_image115[13] отображает в нуль-вектор:

clip_image169.


Собственные значения и собственные векторы оператора

Постановка задачи. Найти собственные значения и собственные векторы оператора clip_image115[14], заданного в некотором базисе матрицей

clip_image142[1].

План решения.

Собственные значения оператора clip_image115[15] являются корнями его характеристического уравнения clip_image170.

1. Составляем характеристическое уравнение и находим все его вещественные корни clip_image171 (среди которых могут быть и кратные).

2. Для каждого собственного значения clip_image171[1] находим собственные вектора. Для этого записываем однородную систему уравнений

clip_image172

и находим ее общее решение.

3. Исходя из общих решений каждой из однородных систем, выписываем собственные векторы .

Задача 9. Найти собственные значения и собственные векторы матрицы.

clip_image173.

Составляем характеристическое уравнение и находим его решение:

clip_image174.

clip_image175

Собственные значения: clip_image176.

Найдем собственные вектора:

clip_image177:     clip_image178

clip_image179:     clip_image180

Собственные вектора:

clip_image181.


Канонический вид квадратичной формы. Метод Лагранжа

Постановка задачи. Привести квадратичную форму

clip_image182

к каноническому виду методом Лагранжа.

План решения.

Метод Лагранжа заключается в последовательном выделении полных квадратов. Не ограничивая общности рассуждений, полагаем, что clip_image183.

clip_image184

где clip_image185 – квадратичная форма, в которую входят лишь переменные clip_image186.

Делаем замену

clip_image187,

после которой

clip_image188,

где clip_image189.

Предложенный алгоритм применяем к clip_image185[1] и после конечного числа шагов приходим к каноническому виду квадратичной формы:

clip_image190.

Задача 10. Привести квадратичную форму к каноническому виду методом Лагранжа

clip_image191.

Применяя метод Лагранжа, получаем:

clip_image192

где clip_image193.


Канонический вид квадратичной формы. Ортогональное преобразование

Постановка задачи. Привести квадратичную форму

clip_image182[1]

к каноническому виду ортогональным преобразованием.

План решения.

Теорема. Любую квадратичную форму

clip_image194

ортогональным преобразованием всегда можно привести к следующему каноническому виду:

clip_image195,

где clip_image196 – корни характеристического уравнения clip_image170[1], встречающиеся столько раз, какова их кратность.

Задача 11. Привести квадратичную форму к каноническому виду ортогональным преобразованием.

clip_image197

Матрица квадратичной формы:

clip_image198.

Найдем характеристический полином матрицы квадратичной формы:

clip_image199

Т.е. имеем следующий канонический вид квадратичной формы:

clip_image200.

 

Last Updated on Sunday, 24 January 2016 15:08