База рефератов

ЗАПАДНО-КАЗАХСТАНСКИЙ ГОСУДАРСТВЕННЫЙ

УНИВЕРСИТЕТ ИМЕНИ М. УТЕМИСОВА

Кафедра математики

КАНОНИЧЕСКИЙ ВИД ПРОИЗВОЛЬНЫХ ЛИНЕЙНЫХ ПРЕОБРАЗОВАНИЙ

(курсовая работа)

Содержание

Введение

1. Нормальная форма линейного преобразования

2. Приведение произвольного преобразования к нормальной форме

2.1 Собственные и присоединенные векторы линейного преобразования

2.2 Выделение подпространства, в котором преобразование А имеет только одно собственное значение

2.3 Приведение к нормальной форме матрицы с одним собственным значением

3. Инвариантные множители

Заключение

Литература

Введение

«Человек утверждается на земле, постигая тайны явлений природы или делая определенные умозаключения».

Абай, слова назидания, Слово 7.Перевод С. Санбаева.

Мною была выбрана тема для курсовой работы «Канонический вид произвольных линейных преобразований», так как курс линейной алгебры читается на механико-математическом факультете университетов, что непосредственно связано не только с моей специальностью магистранта, но также и с моей работой преподавателем математики в педагогическом институте. И поэтому для меня эта тема является очень важной и актуальной.

Обычно мы изучаем различные классы линейных преобразований n – мерного пространства, имеющих n линейно независимых собственных векторов. Матрица базиса, состоящего из собственных векторов линейного преобразования, имеет особенно простой вид (диагональную форму).

Но число линейно независимых собственных векторов у линейного преобразования может быть меньше, чем n. А такое преобразование не может быть приведено к диагональной форме. Моя же работа дает ответ на возникший вопрос: каков простейший вид матрицы такого линейного преобразования? Курсовая работа подробно описывает канонический вид произвольных линейных преобразований, а именно:

1) нормальную форму линейного преобразования;

2) применение произвольного преобразования к нормальной форме:

а) собственные и присоединенные векторы линейного преобразования;

b) выделение подпространства, в котором преобразование А имеет только одно собственное значение;

с) приведение к нормальной форме матрицы с одним собственным значением;

3) инвариантные множители.

Каждый раздел содержит определения, примеры, упражнения

1. Нормальная форма линейного преобразования

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

Однако число линейно независимых собственных векторов у линейного преобразования может быть меньше, чем n. Такое преобразование заведомо не может быть приведено к диагональной форме, так как базис, в котором матрица преобразования диагональна, состоит из собственных векторов. Возникает вопрос: каков простейший вид матрицы такого линейного преобразования?

В этой работе для произвольного преобразования указан базис, в котором его матрица имеет сравнительно простой вид (так называемая жорданова нормальная форма). В случае, когда число линейно независимых собственных векторов преобразования равно размерности пространства, эта нормальная форма совпадает с диагональной. Сформулируем окончательный результат.

Пусть задано произвольное линейное преобразование А в комплексном пространстве n измерений. Предположим, что у А имеется k (k £ n) линейно независимых собственных векторов

e₁, f₁, … , h₁,

соответствующих собственным значениям l₁, l₂, … , l_k. Тогда существует базис, состоящий из k групп векторов:

e₁, … , e_p; f₁, … , f_q; … ; h₁, … , h_s, (1)

в котором преобразование А имеет следующий вид:

Ae₁ = l₁e₁, Ae₂ = e₁ + l₁e₂, … , Ae_p = e_p-1 + l₁e_p;

Af₁ = l₂e₁, Af₂ = f₁ + l₁f₂, … , Af_q = f_q-1 + l₂f_q; (2)

Ah₁ = l_kh₁, Ah₂ = h₁ + l_kh₂, … , Ah_s = h_s-1 + l_kh_s.

Мы видим, что базисные векторы каждой группы переходят при нашем преобразовании в линейную комбинацию векторов той же группы. Отсюда следует, что каждая группа базисных векторов порождает подпространство, инвариантное относительно преобразования А. Рассмотрим несколько подробнее преобразование, задаваемое формулами (2).

В подпространстве, порожденном каждой группой, есть собственный вектор; например, в подпространстве, порожденном векторами е₁, е₂, … , е_р, таким собственным вектором является е₁.

Вектор е₂ называют присоединенным собственным вектором первого порядка. Это значит, что Ае₂ пропорционально е₂ с точностью до собственного вектора, как это видно из равенства

Ae₂ = l₁e₂ + e₁.

Аналогично е₃, е₄, … называют присоединенными векторами второго, третьего и т. д. порядков.

Каждый из них является «как бы собственным», т. е. собственным с точностью до присоединенного вектора низшего порядка

Ae_k = l₁e_k + e_k-1.

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

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

Теорема. Пусть в комплексном n – мерном пространстве задано линейное преобразование А. Тогда можно найти базис, в котором матрица линейного преобразования имеет нормальную форму. Другими словами, можно найти базис, в котором линейное преобразование имеет вид (2).

2. Приведение произвольного преобразования к нормальной форме

Уже упоминалось в п. 1, что в случае, когда у преобразования А не хватает линейно независимых собственных векторов (т. е. когда их число меньше размерности пространства), базис приходится дополнять за счет так называемых присоединенных векторов (их точное определение будет дано чуть позже). В этом разделе дается способ построения базиса, в котором матрица преобразования А имеет жорданову нормальную форму. Этот базис мы непосредственно наберем из собственных и присоединенных векторов, и такой способ выбора является , в некотором смысле. Наиболее естественным.

2.1 Собственные и присоединенные векторы линейного преобразования

Пусть l₀ – некоторое собственное значение преобразования А.

Определение 1. Вектор х ¹ 0 называется собственным вектором преобразования А, отвечающим собственному значению l₀, если

Ах = l₀х, т. е. (А - l₀Е)х = 0. (1)

Рассмотрим совокупность всех векторов, удовлетворяющих условию (1) при фиксированном l₀. Ясно, что совокупность этих векторов является подпространством пространства R

Обозначим его . Легко видеть, что  инвариантно относительно преобразования А.

Заметим, что подпространство  состоит из всех собственных векторов преобразования А, отвечающих собственному значению l₀, к которым добавлен еще нулевой вектор.

Определение 2. Вектор х называется присоединенным вектором 1-го порядка преобразования А, отвечающим собственному значению l₀, если вектор

у = (А - l₀Е)х

является собственным вектором преобразования А.

Пусть l₀ – собственное значение преобразования А.

Подпространство, состоящее из всех векторов х, для которых выполнено условие

(А - l₀Е)²х = 0, (2)

т. е. ядро преобразования (А - l₀Е)² , обозначим .  является инвариантным подпространством пространства R. А получается это подпространство, если к подпространству  добавить присоединенные векторы 1-го порядка.

Аналогично вводим подпространство $IMAGE7$, состоящее из всех векторов х, для которых

(А - l₀Е)^kх = 0. (3)

Это подпространство инвариантно относительно преобразования А. Ясно, что подпространство $IMAGE7$ содержит предыдущее подпространство $IMAGE9$.Определение 3. Вектор х называется присоединенным вектором k-го порядка, если вектор

у = (А - l₀Е)х

есть присоединенный вектор порядка k-1.

Пример. Пусть R – пространство многочленов степени £ n-1 и преобразование А – дифференцирование:

АР(t) = $IMAGE10$P(t).

Легко видеть, что l = 0 есть собственное значение. Соответствующий ему собственный вектор P(t) = const. Найдем для этого преобразования подпространства $IMAGE11$. По определению $IMAGE11$ состоит из всех многочленов P(t), для которых А^kР(t) = 0, т. е.

$IMAGE13$

Это будут все многочлены, степень которых не превышает k-1. Присоединенными векторами k-го порядка будут многочлены, степень которых в точности равна k-1.

2.2 Выделение подпространства, в котором преобразование А имеет только одно собственное значение

Пусть l₁ – некоторое собственное значение преобразования А. Пространство R можно разложить в прямую сумму двух инвариантных подпространств, в первом из которых преобразование А имеет лишь одно собственное значение l₁, а во втором у преобразования А уже нет собственного значения l₁.

Не ограничивая общности, можно считать, что l₁ = 0.

Действительно, пусть l₁ ¹ 0. Рассмотрим преобразование В = А - l₁Е; оно уже имеет собственное значение, равное нулю. Очевидно также, что инвариантные подпространства преобразований А и В совпадают.

Итак, будем считать, что преобразование А имеет собственное значение l = 0. Докажем это утверждение сначала для частного случая, когда в пространстве нет присоединенных векторов, отвечающих этому собственному значению, а есть только собственные векторы.

Нам нужно построить два инвариантных подпространства, прямая сумма которых равна R. В качестве первого из них, в котором l = 0 есть единственное собственное значение, можно взять совокупность N₀ всех собственных векторов, отвечающих собственному значению l = 0 или, другими словами, ядро преобразования А.

В качестве второго подпространства возьмем образ М пространства R при преобразовании А, т. е. совокупность векторов у = Ах, где х пробегает все пространство R. Легко видеть, что каждое из этих подпространств инвариантно.

Они дают разложение пространства в прямую сумму. Так как сумма размерностей ядра и образа для любого преобразования А равна n, то достаточно доказать, что пересечение этих подпространств равно нулю.

Предположим, что это не так, т. е. пусть существует вектор у ¹ 0 такой, что уÎМ и уÎN₀. Так как уÎМ, то он имеет вид

у = Ах, (4)

где х – некоторый вектор из R. Так как уÎN₀, то

Ау = 0, где у ¹ 0. (5)

Равенство (5) означает, что у есть собственный вектор преобразования А, отвечающий собственному значению l = 0, а равенство (4) при этом означает, что х есть присоединенный вектор первого порядка, отвечающий тому же собственному значению. Мы же предположили, что у преобразования А нет присоединенных векторов, отвечающих собственному значению l = 0.

Таким образом доказано, что подпространства М и N₀ не имеют общих векторов кроме нулевого.

Вспоминая, что сумма размерностей образа и ядра равна n, мы получаем отсюда, что пространство R раз