Когда матрица не является диагонализируемой?

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

Как этот калькулятор находит размеры жордановых блоков?

Для каждого собственного значения lambda калькулятор вычисляет размерности d_k = dim ker((A - lambda I)^k) для k = 1, 2, ... пока последовательность не стабилизируется на значении алгебраической кратности. Количество жордановых блоков размера не менее k равно d_k - d_(k-1). Вычитание последовательных членов дает точное количество блоков каждого размера. Этот расчет на основе диаграмм Юнга является точным и использует рациональную арифметику.

Обрабатывает ли калькулятор матрицы с иррациональными или комплексными собственными значениями?

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

Что такое минимальный многочлен и как он вычисляется здесь?

Минимальный многочлен m(lambda) — это нормированный многочлен наименьшей степени, аннулирующий матрицу A, то есть m(A) = 0. Он равен произведению по всем различным собственным значениям lambda выражений (lambda - lambda_i)^(index_i), где индекс — это размер самого большого жорданова блока для собственного значения lambda_i. Калькулятор считывает этот индекс напрямую из вычисленной блочной структуры, поэтому минимальный многочлен получается как побочный продукт жорданова разложения.

Калькулятор Жордановой Нормальной Формы

Вычислите жорданову нормальную форму квадратной матрицы и матрицу перехода P, где P⁻¹AP = J. Работает с дефектными, недиагонализируемыми матрицами через обобщённые собственные векторы, с анализом цепочек ядра и блок-схемой.

БесплатноБез регистрацииМгновенный результат

Калькулятор Жордановой Нормальной ФормыПопробуйте — бесплатно ▼

Быстрые примеры:

Жорданов J₂(1) 2×2 Дефектная (λ=5) 3×3 Диагонализируемая 3×3 Два блока 4×4 Нильпотентная 4×4 Кратное λ 3×3

Размер

Матрица A (квадратная)

Одна строка на линию, элементы разделены пробелами или запятыми. Принимаются целые числа, дроби типа 1/2 и десятичные дроби типа -0.25. Макс. размер 6 × 6.

Embed Калькулятор Жордановой Нормальной Формы Widget

О Калькулятор Жордановой Нормальной Формы

Калькулятор жордановой нормальной формы строит жорданову каноническую форму J квадратной матрицы A вместе с обратимой матрицей перехода P, удовлетворяющей отношению подобия P⁻¹AP = J. В отличие от диагонализации, которая невозможна для дефектных матриц, жорданова форма существует для любой квадратной матрицы над алгебраически замкнутым полем — она заменяет диагональное представление последовательностью жордановых блоков, каждый из которых является почти диагональной матрицей с собственным значением на диагонали и единицами на наддиагонали. Этот инструмент выполняет все вычисления с использованием точной рациональной арифметики, поэтому полученные J и P гарантированно верны — округления с плавающей запятой исключены.

Что такое жорданова нормальная форма?

Для n × n матрицы A над полем комплексных чисел жорданова нормальная форма J представляет собой блочно-диагональную матрицу:

J = diag( J_k₁(λ₁), J_k₂(λ₂), …, J_kₛ(λₛ) )

где каждый жорданов блок J_k(λ) — это матрица размера k × k с λ на главной диагонали, единицами на наддиагонали и нулями в остальных позициях:

$$J_k(\lambda) = \begin{bmatrix} \lambda & 1 & 0 & \cdots & 0 \\ 0 & \lambda & 1 & \cdots & 0 \\ 0 & 0 & \lambda & \cdots & 0 \\ \vdots & \vdots & \vdots & \ddots & 1 \\ 0 & 0 & 0 & \cdots & \lambda \end{bmatrix}$$

Собственные значения λ_i могут повторяться в разных блоках; значение имеет именно структура размеров блоков, которая является полным инвариантом подобия матрицы A.

Зачем нужна жорданова форма, если есть диагонализация?

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

Ситуация	Поведение собственных значений	Каноническая форма
n различных собственных значений	алг. кратн. = геом. кратн. = 1 для каждого λ	Полностью диагональная (цепочки не нужны)
Кратное λ, алгебраическая = геометрическая	λ имеет столько же векторов, какова его кратность	Диагональная — все жордановы блоки размера 1
Кратное λ, алгебраическая > геометрическая	λ является дефектным	Жорданова форма с блоками размера ≥ 2

Ключевые понятия

Алгебраическая против геометрической кратности

Алгебраическая кратность собственного значения λ — это его кратность как корня характеристического многочлена p_A(λ) = det(λI − A). Геометрическая кратность — это размерность собственного подпространства или, что эквивалентно, dim ker(A − λI). Количество жордановых блоков, связанных с λ, равно его геометрической кратности, а суммарный размер этих блоков равен его алгебраической кратности.

Обобщенные собственные векторы и цепочки

Вектор v называется обобщенным собственным вектором ранга k для собственного значения λ, если (A − λI)^kv = 0, но (A − λI)^k−1v ≠ 0. Применение оператора N = (A − λI) к вектору ранга k порождает вектор ранга k−1, таким образом мы получаем жорданову цепочку:

v_k → v_k−1 = Nv_k → v_k−2 = N²v_k → ⋯ → v₁ = N^k−1v_k (обычный собственный вектор)

Расположение цепочки в порядке v₁, v₂, …, v_k в качестве столбцов матрицы P создает жорданов блок размера k в соответствующих строках/столбцах матрицы J.

Лестница ядер и подсчет блоков

Для каждого собственного значения λ определим возрастающую последовательность d_k = dim ker((A − λI)^k). Эта последовательность не убывает и стабилизируется на значении алгебраической кратности λ. Количества жордановых блоков каждого размера извлекаются из этой лестницы:

# блоков размера ≥ k = d_k − d_k−1 # блоков размера = k = 2·d_k − d_k−1 − d_k+1

Это расчет по диаграмме Юнга, и он является точным — здесь нет места догадкам. Калькулятор выводит эту лестницу для каждого собственного значения, чтобы вы могли проследить за разложением шаг за шагом.

Минимальный многочлен

Минимальный многочлен m_A(λ) — это нормированный многочлен наименьшей степени, такой что m_A(A) = 0. Имея жорданову форму, его легко определить:

m_A(λ) = ∏_i (λ − λ_i)^r_i, где r_i — индекс λ_i (размер самого большого жорданова блока)

Матрица диагонализируема тогда и только тогда, когда ее минимальный многочлен не имеет кратных корней, т. е. каждый жорданов блок имеет размер 1.

Как работает этот калькулятор

Разбор матрицы — целые числа, дроби (например, 1/2) или десятичные значения принимаются и преобразуются в точные рациональные числа (fractions.Fraction).
Вычисление характеристического многочлена с помощью алгоритма Фаддеева — Леверье, который избегает символьного разложения определителя и работает за время O(n⁴) с точной арифметикой.
Поиск рациональных собственных значений через теорему о рациональных корнях — каждый рациональный корень p/q примитивного многочлена с целыми коэффициентами удовлетворяет условию p ∣ свободный член и q ∣ старший коэффициент. Каждый найденный корень выносится за скобки, и поиск повторяется.
Построение лестницы ядер для каждого значения λ путем вычисления dim ker((A − λI)^k) методом Гаусса над полем рациональных чисел, пока последовательность не стабилизируется.
Выбор векторов — вершин цепочек от самого большого ядра к самому маленькому, расширяя базис всякий раз, когда требуется новый жорданов блок. Каждая вершина затем последовательно умножается на (A − λI) для получения векторов всей цепочки.
Сборка J и P путем группировки цепочек по собственным значениям (сначала блоки наибольшего размера). Векторы цепочек становятся столбцами P, а J заполняется собственными значениями и единицами на наддиагонали.
Проверка точного равенства P⁻¹ A P = J с использованием целочисленной арифметики — результат гарантирован, так как все промежуточные вычисления рациональны.

Пример решения

Рассмотрим дефектную матрицу 3 × 3:

$$A = \begin{bmatrix} 5 & 4 & 2 \\ 0 & 5 & -1 \\ 0 & 0 & 5 \end{bmatrix}$$

Характеристический многочлен: $p_A(\lambda) = (\lambda - 5)^3$. Единственное собственное значение λ = 5 с алгебраической кратностью 3.
Лестница ядер для λ = 5: $d_1 = 1$, $d_2 = 2$, $d_3 = 3$. Приращения 1, 1, 1 → один жорданов блок размера 3.
Жорданова форма: $J = \begin{bmatrix} 5 & 1 & 0 \\ 0 & 5 & 1 \\ 0 & 0 & 5 \end{bmatrix}$, геометрическая кратность 1, индекс 3.
Минимальный многочлен: $m_A(\lambda) = (\lambda - 5)^3$ — совпадает с характеристическим, так как имеется только один жорданов блок.

Применение жордановой нормальной формы

Матричные экспоненты и линейные ОДУ — для систем с постоянными коэффициентами x′ = Ax аналитическое решение имеет вид $e^{tA}x_0$, а $e^{tA}$ легко вычислить, когда A приведена к жордановой форме.
Степени матрицы — $A^k = P J^k P^{-1}$, причем для степеней жордановых блоков существуют явные формулы.
Функциональное исчисление — $f(A) = P f(J) P^{-1}$ обобщается на произвольные аналитические функции f, определенные в окрестности спектра.
Теория управления — устойчивость линейных систем определяется собственными значениями и размерами жордановых блоков (в пограничных случаях важен размер наибольшего блока для критического значения).
Классификация линейных операторов — две матрицы подобны тогда и только тогда, когда у них совпадает жорданова форма, что делает её полным инвариантом.

Часто задаваемые вопросы

Что такое жорданова нормальная форма матрицы?

Жорданова нормальная форма (также называемая жордановой канонической формой) — это почти диагональная матрица J, подобная исходной матрице A, что означает существование обратимой матрицы P, такой что P⁻¹AP = J. На диагонали J находятся собственные значения A, а над диагональю — единицы внутри жордановых блоков в случаях, когда A не диагонализируема. Каждая квадратная матрица над комплексными числами имеет жорданову форму, единственную с точностью до порядка блоков.

Когда матрица не диагонализируема?

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

Как определяются обобщенные собственные векторы?

Обобщенный собственный вектор ранга k для λ — это ненулевой вектор v, такой что (A − λI)^kv = 0, но (A − λI)^k−1v ≠ 0. Применяя (A − λI) к такому вектору, мы получаем вектор ранга k−1, формируя цепочку. Эти цепочки становятся столбцами матрицы перехода P.

В чем разница между алгебраической и геометрической кратностью?

Алгебраическая кратность λ — это число его вхождений как корня характеристического многочлена. Геометрическая кратность — размерность собственного подпространства (число независимых векторов). Геометрическая кратность равна числу жордановых блоков для λ, а алгебраическая — сумме их размеров.

Как этот калькулятор находит размеры блоков?

Для каждого λ вычисляются размерности d_k = dim ker((A − λI)^k) до стабилизации на алгебраической кратности. Число блоков размера не менее k равно d_k − d_k−1. Попарная разность этих значений дает точное количество блоков каждого размера.

Работает ли калькулятор с иррациональными или комплексными числами?

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

Что такое минимальный многочлен и как он здесь вычисляется?

Минимальный многочлен m(λ) — это нормированный многочлен наименьшей степени, такой что m(A) = 0. Он равен произведению выражений (λ − λ_i)^index_i, где индекс — размер самого большого блока для λ_i. Калькулятор берет индекс напрямую из структуры блоков.

Дополнительная литература

Ссылайтесь на этот контент, страницу или инструмент так:

"Калькулятор Жордановой Нормальной Формы" на сайте https://ru.miniWebtool.com/калькулятор-жордановой-нормальной-формы/ от MiniWebtool, https://MiniWebtool.com/

командой miniwebtool. Обновлено: 23 апр. 2026 г.

Вы также можете попробовать наш AI Решатель Математических Задач GPT, чтобы решить ваши математические проблемы с помощью вопросов и ответов на естественном языке.