что такое жорданова форма матрицы

Жорданова нормальная форма

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

Помимо жордановой нормальной формы, рассматривают ряд других типов нормальных форм матрицы. К их рассмотрению прибегают, например, когда основное поле не содержит всех корней минимального многочлена матрицы.

Свойства

История

Такая форма матрицы рассматривалась одним из первых Жорданом.

Полезное

Смотреть что такое «Жорданова нормальная форма» в других словарях:

жорданова нормальная форма — Jordano norminė forma statusas T sritis automatika atitikmenys: angl. Jordan canonical form; Jordan normal form vok. Jordansche Normalform, f; Kanonische Jordanform, f rus. жорданова нормальная форма, f; каноническая форма Жордана, f pranc. forme … Automatikos terminų žodynas

ЖОРДАНОВА НОРМАЛЬНАЯ ФОРМА — матрицы см. Жорданова матрица … Математическая энциклопедия

Нормальная форма (математика) — У этого термина существуют и другие значения, см. Нормальная форма (значения). Нормальная форма в математике простейший либо канонический вид, к которому объект приводится эквивалентными преобразованиями[1]. Содержание 1 Жорданова… … Википедия

Нормальная форма (значения) — Нормальная форма: Нормальная форма в базах данных свойство отношения в реляционной модели данных. Нормальная форма в математике в каком либо смысле простейший либо канонический вид, к которому объект приводится преобразованиями,… … Википедия

Нормальная форма матриц — (жорданова) С каждой квадратной матрицей (См. Матрица) А. В этом классе всегда существует матрица, имеющая специальную нормальную (или каноническую) жорданову форму [термин «Н. (ж.) ф. м.» связан с именем К. Жордана]. На схеме показана… … Большая советская энциклопедия

ЖОРДАНОВА МАТРИЦА — квадратная блочно диагональная матрица J над полем к, имеющая вид где Jm(l) квадратная матрица порядка твида Матрица J т(l)называется жордановой клеткой порядка m с собственным числом к. Каждая клетка определяется элементарным делителем (см. [5]) … Математическая энциклопедия

Нормальная (жорданова) форма матриц — Нормальная (жорданова) форма матриц. С каждой квадратной матрицей связан целый класс матриц, подобных матрице А. В этом классе всегда существует матрица, имеющая специальную нормальную (или каноническую) жорданову форму [термин «Н. (ж.) ф. м.»… … Большая советская энциклопедия

каноническая форма Жордана — Jordano norminė forma statusas T sritis automatika atitikmenys: angl. Jordan canonical form; Jordan normal form vok. Jordansche Normalform, f; Kanonische Jordanform, f rus. жорданова нормальная форма, f; каноническая форма Жордана, f pranc. forme … Automatikos terminų žodynas

Источник

Жорданова нормальная форма матриц

Вот тут уже пошла Высшая Алгебра. Как студент Мех-Мата я могу сказать, что это чуть ли не самая важная теорема (о жордановой нормальной форме) в годовом курсе линейной алгебры. Сегодня для меня важно вспомнить алгоритм нахождения жордановой нормальной формы (далее ЖНФ) для матриц. Этот интерес не случаен, а связан он с тем, что скоро мне, как и всему четвёртому курсу Мех-Мата, предстоит пройти письменный государственный экзамен. Даже если у вас не такая весомая мотивация, то всё равно предлагаю остаться и посмотреть, что происходит, поверьте, алгебра — это интересно! Давайте начинать)

Всё объяснять сам я не буду по двум причинам. Лень, во-первых) Во-вторых, возможно у меня не хватит компетентности. Но взамен я предлагаю вам обращаться вместе со мной к другим уважаемым алгебраистам и перенимать их опыт и знания. А я, подобно барду, буду управлять сюжетом этой баллады.

Для начала нам нужно понять, что такое ЖНФ, из чего она состоит, и зачем она, вообще, нужна. Сходим на пару ВШЭ и узнаем.

Здесь нам Ирина Кузьмина рассказала теорему Фробениуса-Перрона, и мы должны понять, что не каждая квадратная матрица может быть записана в диагональном виде…

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

Ирина ответила на главный вопрос — зачем нужна ЖНФ. Ответ: чтобы брать функции от матриц. Если мы хотим найти sin(A), cos(A), exp(A), A², A^(sqrt(2)) и др., то нам может помочь ЖНФ.

Ещё важно понять, что ЖНФ может состоять из нескольких жордановых клеток (в том числе и одной), где каждая из них будет отвечать за своё собственное число λ (греческая буква «лямбда»). Оно как раз будет располагаться по диагонали, а выше диагонали будут идти единички. Если ЖК (жорданова клетка) у нас будет размера 1х1, то тогда это будет просто λ. Все остальные элементы ЖК равны нулю. В общем виде выглядит ЖК вот так:

Для примера рассмотрим такую жорданову матрицу, которая состоит из трёх ЖК. Спектр матрицы будет содержать числа 2, 0, 3. Третья ЖК состоит только из λ = 3.

В общем виде, если мы найдём ЖНФ, то она будет выглядеть так:

Теперь пойдём по пути теории и ответим на вопрос, как так вышло, что ЖНФ существует. Для этого заглянем на мини-лекцию Алексея Савватеева, который нам расскажет как же строить жорданов базис, векторы в котором можно собрать, и получить матрицу перехода к ЖНФ.

Это непростая теория, так что приготовьтесь к таким терминам, как векторы, ядро линейного оператора, инвариантное подпространство… Всё это нужно, если вы хотите понять, как и что получилось, а также почему это, вообще, можно делать. Но если вы не хотите углубляться в теорию, то нужно найти какой-то простой способ нахождения ЖНФ. Ведь должны же быть другие способы нахождения этого важного математического объекта. Существуют ли другие способы. Ответ: да, существует множество способов. Более того, мы даже можем угадать ЖНФ, а потом доказать, что это именно она, но это уже высший пилотаж. Что же делать нам, простым смертным? Нужен понятный и относительно простой алгоритм.

Однако если вы на этом этапе не до конца поняли, что значит «найти жорданов базис», что такое ЖНФ, как это всё работает, и зачем мы делаем то, что делаем, то предлагаю вам ознакомиться с суперподробным видео Екатерины Пелипенко (рекомендую смотреть на скорости 1,5).

Кстати, Екатерина рассказывает про миноры (определители меньшей размерности, чем исходная матрица А), а также находит НОД (наибольший общий делитель) полиномов второй степени, полученных как миноры характеристической матрицы для А. Ещё попутно можно вспомнить, что такое ФСР (фундаментальная система решений). Для кого-то это может быть полезным.

PPS: Евгения в своём видео также находит трансформирующую матрицу (тоже самое, что и матрица перехода). Она обозначила её за U, но обычно (как было на моих лекциях) она обозначается как T (transition matrix). Принципиально это ничего не меняет.

3PS: Если вы до конца посмотрели видео Евгении и захотели сделать проверку, то выкладываю её, дабы не тратить ваше время на перемножение матриц.

При просмотре видео вы могли заметить, что Евгения решает систему из 9 линейных уравнений. Это может показаться сложноватым, но не пугайтесь. Все действия просты, нужно лишь сконцентрироваться! Поэтому алгебра и читается на первом курсе вуза, а не в школе.

Я хотел бы рассказать про ещё один способ нахождения ЖНФ через ниль-слои. Хорошего и подробного видео, к сожалению, мне найти не удалось. В такой ситуации я могу сделать ссылку на очень хорошую методичку В. А. Чуркина, кандидата физико-математических наук. Здесь подробно изложено нахождение ЖНФ данным методом. Кроме того, данное пособие стоит прочесть тем, кто хочет глубже погрузиться в курс линейной алгебры.

Ладно, для закрепления всего этого материала предлагаю посмотреть ещё несколько примеров на популярном сайте Math Help Planet. Надеюсь, что всё это было достаточно подробно.

Я старался сделать статью математически формальной, насколько это было возможно, но и в то же время доступной для широкого круга читателей нашей группы ВК. Надеюсь, вы приятно и продуктивно потратили время. Сегодня мы затронули тему из линейной алгебры, вы поняли как и зачем искать ЖНФ, а я имел удовольствие написать данную статью. Если остались вопросы, вы можете задавать их в комментариях.

Желаю вам успехов в дальнейшем изучении математики, всего вам наилучшего!

5PS: Статья была отредактирована, добавлены ссылки к ключевым определениям, которые лучше позволяют понять материал.

Источник

Жорданова форма

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

Помимо жордановой нормальной формы, рассматривают ряд других типов нормальных форм матрицы. К их рассмотрению прибегают, например, когда основное поле не содержит всех корней минимального многочлена матрицы.

Свойства

История

Такая форма матрицы рассматривалась одним из первых Жорданом.

Полезное

Смотреть что такое «Жорданова форма» в других словарях:

Нормальная (жорданова) форма матриц — Нормальная (жорданова) форма матриц. С каждой квадратной матрицей связан целый класс матриц, подобных матрице А. В этом классе всегда существует матрица, имеющая специальную нормальную (или каноническую) жорданову форму [термин «Н. (ж.) ф. м.»… … Большая советская энциклопедия

Жорданова нормальная форма — Жорданова матрица квадратная блочно диагональная матрица над полем k, с блоками вида … Википедия

ЖОРДАНОВА МАТРИЦА — квадратная блочно диагональная матрица J над полем к, имеющая вид где Jm(l) квадратная матрица порядка твида Матрица J т(l)называется жордановой клеткой порядка m с собственным числом к. Каждая клетка определяется элементарным делителем (см. [5]) … Математическая энциклопедия

жорданова нормальная форма — Jordano norminė forma statusas T sritis automatika atitikmenys: angl. Jordan canonical form; Jordan normal form vok. Jordansche Normalform, f; Kanonische Jordanform, f rus. жорданова нормальная форма, f; каноническая форма Жордана, f pranc. forme … Automatikos terminų žodynas

ЖОРДАНОВА НОРМАЛЬНАЯ ФОРМА — матрицы см. Жорданова матрица … Математическая энциклопедия

Нормальная форма матриц — (жорданова) С каждой квадратной матрицей (См. Матрица) А. В этом классе всегда существует матрица, имеющая специальную нормальную (или каноническую) жорданову форму [термин «Н. (ж.) ф. м.» связан с именем К. Жордана]. На схеме показана… … Большая советская энциклопедия

Нормальная форма (математика) — У этого термина существуют и другие значения, см. Нормальная форма (значения). Нормальная форма в математике простейший либо канонический вид, к которому объект приводится эквивалентными преобразованиями[1]. Содержание 1 Жорданова… … Википедия

Нормальная форма (значения) — Нормальная форма: Нормальная форма в базах данных свойство отношения в реляционной модели данных. Нормальная форма в математике в каком либо смысле простейший либо канонический вид, к которому объект приводится преобразованиями,… … Википедия

Источник

Нормальная форма Джордана

содержание

определение

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

Алгоритм определения сложной иорданской нормальной формы

Определение собственных значений

попарно различные собственные значения вычисляются из его нулей

Поэтому собственные значения здесь не перечислены в соответствии с их кратностью.

Определение размера жордановых блоков

вычислять. Он также дает общее количество жордановых блоков, принадлежащих этому собственному значению. а 1 <\ displaystyle a_ <1>>

Комплексная иорданская нормальная форма

Жорданова нормальная форма определяется однозначно, за исключением порядка жордановых блоков. Если все собственные значения находятся в, две матрицы с одинаковой жордановой нормальной формой похожи друг на друга. K <\ Displaystyle \ mathbb >

пример

Определение основного преобразования к комплексной иорданской нормальной форме

Теперь нужно определить базовую матрицу преобразования, которая П. ∈ грамм Л. ( п ; С. ) <\ Displaystyle P \ in <\ rm > (п; \ mathbb )>

Стандартная процедура

пример

В качестве наглядного примера рассмотрим матрицу

как указано выше. Это относится

Его нормальная жорданова форма

Начнем с первого жорданового блока размерности 2. Для этого выберите

Реальная иорданская нормальная форма

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

Мы называем количество строк (или столбцов) размером этого блока. Затем обозначают

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

пример

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

Теперь перейдите к первому неприводимому множителю (комплексному собственному значению), а затем к жордановой клетке размера 4. Для этого выберите

Жорданова нормальная форма в твердых телах общего вида

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

Приложение к системам линейных дифференциальных уравнений первого порядка с постоянными коэффициентами

y ( Икс 0 ) знак равно y 0 ∈ С. п <\ displaystyle y (x_ <0>) = y_ <0>\ in \ mathbb ^ >

Источник

Жорданова нормальная форма матрицы оператора, жорданов базис.

Материал для изучения нормальной жордановой формы матрицы и жорданова базиза. Работа содержит теоретический материал, теоремы и примеры.

Просмотр содержимого документа
«Жорданова нормальная форма матрицы оператора, жорданов базис.»

Жорданова нормальная форма матрицы оператора, жорданов базис.

Определения и основные понятия

Введем два основных понятия.

1.1 Жорданова клетка

Жордановой клеткой порядка k, относящейся к числу λ₀, называется матрица порядка k, 1≤k≤n, имеющая вид:

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

Её характеристический многочлен (λ₀ − λ) k имеет корень λ₀ кратности k.

Таким образом, данная матрица имеет собственное значение λ₀ алгебраической кратности k. Отвечающие ему собственные векторы — это ненулевые решения однородной системы линейных уравнений с матрицей

Так как rangB = k −1, так что размерность собственного подпространства равна 1, то существует лишь один линейно независимый собственный вектор. Таким образом, при k ≥ 2 не существует базиса, состоящего из собственных векторов этого оператора, то есть ни в одном базисе матрица оператора не может иметь диагонального вида. Матрица J_k(λ₀) называется жордановой клеткой порядка k, соответствующей собственному значению λ₀.

Жордановым блоком, отвечающим собственному значению λ₀, называется блочно-диагональная матрица, каждый блок которой представляет собой жорданову клетку вида:

Все элементы матрицы вне жордановых клеток равны нулю. Порядок расположения жордановых клеток в матрице A(λ₀) определен неоднозначно.

1.3 Примеры жордановых блоков

Рассмотрим простой случай, когда характеристический многочлен матрицы имеет вид f(λ) = (λ₀ − λ) m и геометрическая кратность собственного значения λ₀ равна s.

Пример 1. Пусть m = 2, s = 1. Тогда

имеем одну жорданову клетку порядка 2.

Пример 2. Пусть m = 3, s = 1. Тогда

имеем одну жорданову клетку порядка 3.

Пример 3. Пусть m = 3, s = 2. Имеем жорданов блок, состоящий из двух жордановых клеток порядков 1 и 2:

Теорема о жордановой форме матрицы оператора

Пусть линейный оператор A действует в линейном пространстве над полем комплексных чисел размерности n и его характеристический многочлен имеет вид

Тогда в этом пространстве существует базис, состоящий из собственных и присоединенных векторов оператора A, в котором матрица оператора имеет блочно-диагональную форму (она называется жордановой формой)

где A(λ_j ) — жорданов блок, соответствующий собственному значению λ_j. Указанный базис называется жордановым.

Сформулированная теорема верна и в случае, когда линейный оператор действует в линейном пространстве над произвольным числовым полем K, но все корни характеристического многочлена принадлежат полю K.

Рассмотрим примеры. Обозначаем через n размерность пространства, m_j и s_j — алгебраическую и геометрическую кратности собственного значения λ_j соответственно.

Пример 1. Пусть n = 2, λ₁ ≠ λ₂. Тогда матрица оператора может быть приведена к диагональному виду:

Базис векторного пространства, в котором матрица оператора имеет вид одной сплошной ячейки, должен обладать свойством («цикличность»), которое получим на основе правила «столбцы матрицы = образы базисных векторов».

Здесь q обозначает некое, известное нам число.

Это означает, что координаты вектора e₁ в этом базисе равны (1,0,0,0).

Как нетрудно проверить, верно и обратное: если первый базисный вектор является по совместительству собственным вектором оператора с собственным числом q, то первый столбец матрицы оператора в таком базисе равен (q,0,0,0).

Теперь займемся вторым базисным вектором e₂. Его координаты равны (0,1,0,0). Умножив на столбец (0,1,0,0) нашу матрицу, мы получим в качестве результата ее второй столбец (1,q,0,0). Это означает, что

Точно так же получаются равенства

В итоге мы приходим к выводу: если матрица оператора A в некотором базисе имеет вид Жордановой клетки (ячейки) с числом q на диагонали и с единичкам над ней, то векторы базиса превращаются друг в друга под воздействием оператора B=A-qE:

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

4 Построение жорданова базиса и жордановой формы матрицы

Пусть λ — собственное значение оператора, m и s — алгебраическая и геометрическая кратности числа λ. Опишем построение линейно независимой совокупности из m собственных и присоединенных векторов, отвечающих данному λ. Этой совокупности векторов в жордановой матрице A′ будет соответствовать жорданов блок A(λ).

Теорема. Существует такое натуральное число q, что

т.е. все ядра с номером, большим, чем q, совпадают с ядром N_q. При этом

Построим часть жорданова базиса, соответствующую данному собственному значению λ, следующим образом.

1. Возводя матрицу B в последовательные натуральные степени, найдем показатель q, начиная с которого ранг степеней матрицы B перестает уменьшаться.

таким же будет количество жордановых клеток порядка q − 1.

таким же будет количество жордановых клеток порядка q − 2.

Процесс продолжаем аналогично. Наконец, рассмотрим ядро N₁ и векторы

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

Построенную часть жорданова базиса, состоящую из m векторов, соответствующих данному λ (m — алгебраическая кратность этого собственного значения), запишем в таблицу («жорданова лестница»):

Все векторы таблицы линейно независимы, и их число равно m (алгебраической кратности собственного значения λ). Каждому столбцу этой таблицы соответствует одна жорданова клетка, порядок которой равен высоте столбца. Количество столбцов жордановой лестницы, т.е. полное количество жордановых клеток в блоке, соответствующем собственному значению λ, равно геометрической кратности s этого собственного значения.

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

где J_q(λ) — жорданова клетка порядка q с числом λ на главной диагонали.

В следующих q столбцах матрицы A′, определенных векторами второго столбца жордановой лестницы, расположена жорданова клетка J_q(λ) так, что числа λ стоят на главной диагонали матрицы A′, а элементы вне клетки равны нулю. Подобным образом для данного λ получаем m столбцов матрицы A′. На этих m столбцах находится жорданов блок A(λ).

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

4.1 Пример решения задач

Дана матрица A линейного оператора в некотором базисе. Требуется найти жорданов базис и жорданову форму матрицы оператора в этом жордановом базисе. Рассмотрим пример решения такой задачи методом построения жорданова базиса.

имеет корень λ = 2 кратности 3, т.е. m = 3. Матрица B = A − λI равна

Легко проверить, что

Собственные векторы находим, решив однородную систему линейных уравнений BX = O; фундаментальная совокупность решений состоит из двух векторов, например,

Количество этих векторов (т.е. геометрическая кратность собственного значения) равно двум, s = 2, так что для построения жорданова базиса требуется еще один присоединенный вектор.

Дополним базис ядра N₁, т.е. набор векторов (2), до базиса ядра N₂, например, вектором

Построим жорданову лестницу:

соответствует жорданова клетка порядка 2,

Источник