Каноническая форма Вейра

Каноническая форма Вейра (форма Вейра, матрица Вейра, модифицированная форма Жордана, переупорядоченная форма Жордана, вторая форма Жордана, H-форма) — квадратная матрица удовлетворяющая определённым условиям, введена чешским математиком Эдуардом Вейром (чеш. Eduard Weyr) в 1885 году.

Пример общей матрицы Вейра, состоящей из двух блоков, каждый из которых элементарная матрица Вейра. Одна элементарная матрица в верхнем левом углу имеет структуру (4,2,1), а другая (2,2,1,1).

Форма не получила широкого распространения в математических исследованиях, так как вместо неё использовалась близкая по предназначению, но отличная от неё каноническая форма Жордана, в связи с малой известностью форма переоткрывалась несколько раз. Известность форма приобрела в конце 1990-х — начале 2000-х годов в связи с применением в биоинформатике для филогенетических инвариантов.

ОпределенияПравить

Элементарная матрица ВейраПравить

Элементарная матрица Вейра с собственным значением $\mathrm{\lambda <!--\; \lambda \; -->}$$\lambda$  это $n\times <!--\; \times \; -->n$$n\times n$  матрица $W$$W$  следующего вида:

Пусть задано разбиение

$n_1+n_2+\cdots <!--\; \cdots \; -->+n_r=n$$n_{1}+n_{2}+\cdots +n_{r}=n$  числа $n$$n$ , где $n_1⩾<!--\; ⩾\; -->n_2⩾<!--\; ⩾\; -->\cdots <!--\; \cdots \; -->⩾<!--\; ⩾\; -->n_r⩾<!--\; ⩾\; -->1$$n_{1}\geqslant n_{2}\geqslant \cdots \geqslant n_{r}\geqslant 1$  такое, что, когда $W$$W$  рассматривается как блочная $r\times <!--\; \times \; -->r$$r\times r$ -матрица $(W_{ij})$$(W_{ij})$ , где $(i,j)$$(i, j)$ -й блок $W_{ij}$$W_{ij}$  представляет собой матрицу $n_i\times <!--\; \times \; -->n_j$$n_{i}\times n_{j}$ , причём выполнены следующие три условия:

1. Блоки главной диагонали $W_{ii}$$W_{ii}$  являются $n_i\times <!--\; \times \; -->n_i$$n_{i}\times n_{i}$ -скалярными матрицами $\mathrm{\lambda <!--\; \lambda \; -->}I$$\lambda I$ , где $i=1,\dots <!--\; \dots \; -->,r$$i=1,\ldots ,r$ .
2. Блоки первой наддиагонали $W_{i,i+1}$$W_{i,i+1}$  являются $n_i\times <!--\; \times \; -->n_{i+1}$$n_{i}\times n_{i+1}$ -матрицы полного столбцового ранга, имеющая ступенчатый вид по строкам (то есть единичная матрица, за которой следуют нулевые строки), где $i=1,\dots <!--\; \dots \; -->,r-<!--\; -\; -->1$$i=1,\ldots ,r-1$ .
3. Все остальные блоки матрицы $W$$W$  являются нулевыми (то есть $W_{ij}=0$$W_{ij}=0$ , где $j\ne <!--\; \ne \; -->i,i+1$$j\neq i,i+1$ ).

В данном случае говорят, что $W$$W$  имеет структуру Вейра $(n_1,n_2,\dots <!--\; \dots \; -->,n_r)$$(n_{1},n_{2},\ldots ,n_{r})$ .

Пример элементарной матрицы Вейра:

$W=$$W={}$  ${}={\begin{bmatrix}W_{11}&W_{12}&&\\&W_{22}&W_{23}&\\&&W_{33}&W_{34}\\&&&W_{44}\\\end{bmatrix}}.$ 

В данной матрице $n=10$$n=10$  и $n_1=4,n_2=2,n_3=2,n_4=1$$n_{1}=4,\ n_{2}=2,\ n_{3}=2,\ n_{4}=1$ . Таким образом, матрица $W$$W$  имеет структуру Вейра $(4,2,2,1)$$(4,2,2,1)$ . Также

$W_{11}={\begin{bmatrix}\lambda &0&0&0\\0&\lambda &0&0\\0&0&\lambda &0\\0&0&0&\lambda \\\end{bmatrix}}=\lambda I_{4},\quad W_{22}={\begin{bmatrix}\lambda &0\\0&\lambda \\\end{bmatrix}}=\lambda I_{2},\quad W_{33}={\begin{bmatrix}\lambda &0\\0&\lambda \\\end{bmatrix}}=\lambda I_{2},\quad W_{44}={\begin{bmatrix}\lambda \\\end{bmatrix}}=\lambda I_{1}$ 

и

$W_{12}={\begin{bmatrix}1&0\\0&1\\0&0\\0&0\\\end{bmatrix}},\quad W_{23}={\begin{bmatrix}1&0\\0&1\\\end{bmatrix}},\quad W_{34}={\begin{bmatrix}1\\0\\\end{bmatrix}}.$ 

Общая матрица ВейраПравить

Пусть $W$$W$  — квадратная матрица, а ${\mathrm{\lambda <!--\; \lambda \; -->}}_1,\dots <!--\; \dots \; -->,{\mathrm{\lambda <!--\; \lambda \; -->}}_k$$\lambda _{1},\ldots ,\lambda _{k}$  — различные собственные значения матрицы $W$$W$ . Говорят, что $W$$W$  — форма Вейра (или матрица Вейра), если $W$$W$  имеет следующий вид:

$W={\begin{bmatrix}W_{1}&&&\\&W_{2}&&\\&&\ddots &\\&&&W_{k}\\\end{bmatrix}},$ 

где $W_i$$W_i$  — элементарная форма Вейра с собственным значением ${\mathrm{\lambda <!--\; \lambda \; -->}}_i$$\lambda _{i}$ , где $i=1,\dots <!--\; \dots \; -->,k$$i=1,\ldots ,k$ .

Применения формы ВейраПравить

Некоторые известные применения формы Вейра:

1. Форма Вейра может быть использована для упрощения доказательства теоремы Герстенхабера, которая утверждает, что подалгебра, порождённая двумя коммутирующими $n\times <!--\; \times \; -->n$$n\times n$ -матрицами, имеет размерность не больше $n$$n$ .
2. Множество конечных матриц называется приближённо совместно диагонализуемым, если они могут быть возмущены до совместно диагонализуемых матриц. Форма Вейра используется для доказательства приближённой совместной диагонализации различных классов матриц. Свойство приближённой совместной диагонализуемости применяется при изучении филогенетических инвариантов в биоинформатике.
3. Форма Вейра может быть использована для упрощения доказательств неприводимости определённого ряда из всех возможных k-кортежей из коммутирующих матриц.