2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 определитель кососимметрической матрицы четного порядка
Сообщение16.04.2018, 13:16 
Задача:
Показачть, что любой кососимметрический определитель $| a_i_j |$ четвертого порядка с $a_i_j  \in \mathbb{Z}$ является квадратом целого числа.

Попытки решения:
Я доказал, что для нечетного порядка определители кососимметрических матриц равны нулю, исходя из равенства определителей обычной матрицы и транспонированной. Думал над алгебраическими дополнениями, в нашей матрице порядка 4, обнаружил, что $A_i_j = (-1)^{3} A_j_i$ для $j \ne i$. Но никак не могу прийти к квадрату.

 
 
 
 Re: определитель кососимметрической матрицы четного порядка
Сообщение16.04.2018, 14:42 
Ну, четвертого порядка можно и в лоб посчитать, а потом угадать, квадратом чего он является. А вообще, посмотрите, что такое пфаффиан. Например, в учебнике Кострикина-Манина.

 
 
 
 Re: определитель кососимметрической матрицы четного порядка
Сообщение16.04.2018, 19:26 
Аватара пользователя
А формула для определителя блочных матриц не спасёт?

When A is invertible, one has

$\det {\begin{pmatrix}A&B\\C&D\end{pmatrix}}=\det(A)\det(D-CA^{-1}B)$

 
 
 
 Re: определитель кососимметрической матрицы четного порядка
Сообщение17.04.2018, 04:57 
Аватара пользователя
Для расширения кругозора можно посмотреть Пфапфиан в Википедии и ссылки в этой статье.

 
 
 [ Сообщений: 4 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group