Переменная матрица
В линейной алгебре альтернативная матрица — это матрица, сформированная путем поточечного применения конечного списка функций к фиксированному столбцу входных данных. Альтернативный определитель — это определитель квадратной альтернативной матрицы.
Как правило, если являются функциями из множества в поле , и , то альтернативная матрица имеет размер и определяется
или, более компактно, . (Некоторые авторы используют транспонирование приведенной выше матрицы.) Примеры альтернативных матриц включают матрицы Вандермонда , для которых , и матрицы Мура , для которых .
Характеристики
[ редактировать ]- Альтернативу можно использовать для проверки линейной независимости функций в функциональном пространстве . Например, пусть , и выбери . Тогда альтернативой является матрица и альтернативный определитель . Поэтому M обратимо и векторы составляют основу их охватывающего множества: в частности, и линейно независимы.
- Линейная зависимость столбцов альтернанта не означает , что функции линейно зависимы в функциональном пространстве. Например, пусть , и выбери . Тогда альтернативой является и альтернативный определитель равен 0, но мы уже видели, что и линейно независимы.
- Несмотря на это, альтернанту можно использовать для нахождения линейной зависимости, если уже известно, что она существует. Например, из теории простейших дробей мы знаем , что существуют действительные числа А и В, для которых . Выбор , , и , мы получаем альтернативу . Поэтому, находится в пустом пространстве матрицы: то есть . Движущийся к другой части уравнения дает разложение на частные дроби .
- Если и для любого , то альтернативный определитель равен нулю (поскольку строка повторяется).
- Если и функции все являются полиномами, то делит альтернативный определитель для всех . В частности, если V — матрица Вандермонда , то делит такие полиномиальные альтернативные определители. Соотношение поэтому является полиномом по называется биальтернантом . Шура Полином классически определяется как биальтернант многочленов .
Приложения
[ редактировать ]- Альтернативные матрицы используются в теории кодирования при построении альтернативных кодов .
См. также
[ редактировать ]Ссылки
[ редактировать ]- Томас Мьюир (1960). Трактат по теории определителей . Дуврские публикации . стр. 321–363.
- AC Эйткен (1956). Определители и матрицы . Oliver and Boyd Ltd., стр. 111–123.
- Ричард П. Стэнли (1999). Перечислительная комбинаторика . Издательство Кембриджского университета . стр. 334–342.