2014 dxdy logo

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

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




На страницу 1, 2  След.
 
 Целочисленная обратная матрица
Сообщение03.10.2020, 00:37 
Каков критерий того, что целочисленная матрица имеет целочисленную обратную? Предложите доказательство.

Я понял, что определитель матрицы должен быть кратен 1 или -1, ибо какое еще число имеет целочисленную обратную? Но вопрос в том как это нормально доказать.

 
 
 
 Re: Целочисленная обратная матрица
Сообщение03.10.2020, 01:24 
Аватара пользователя
Какое равенство для определителей следует из $A^{-1}A=E$ ?
Ingv0rr в сообщении #1485544 писал(а):
определитель матрицы должен быть кратен 1 или -1
Что значит «кратен 1»? Что определитель целочисленный? Или что он равен $1$?

 
 
 
 Re: Целочисленная обратная матрица
Сообщение03.10.2020, 10:09 
svv в сообщении #1485546 писал(а):
Какое равенство для определителей следует из $A^{-1}A=E$ ?
Ingv0rr в сообщении #1485544 писал(а):
определитель матрицы должен быть кратен 1 или -1
Что значит «кратен 1»? Что определитель целочисленный? Или что он равен $1$?


Да, равен, извините, опечатался. Ну а равенство означает, что их определители обратны?

 
 
 
 Re: Целочисленная обратная матрица
Сообщение03.10.2020, 10:13 
Ingv0rr в сообщении #1485563 писал(а):
их определители обратны

А произведение каких целых чисел даёт $1$? Или, иначе говоря, какие два целых числа обратны друг другу?

 
 
 
 Re: Целочисленная обратная матрица
Сообщение03.10.2020, 10:41 
artempalkin в сообщении #1485564 писал(а):
Ingv0rr в сообщении #1485563 писал(а):
их определители обратны

А произведение каких целых чисел даёт $1$? Или, иначе говоря, какие два целых числа обратны друг другу?



Произведение 1 на 1 или -1 на -1.

-- 03.10.2020, 10:44 --

Но почему из $A^{-1}A=E$ следует обратность определителей?

 
 
 
 Re: Целочисленная обратная матрица
Сообщение03.10.2020, 10:49 
Аватара пользователя
А как связан определитель произведения с определителями сомножителей?

 
 
 
 Re: Целочисленная обратная матрица
Сообщение03.10.2020, 10:57 
Brukvalub в сообщении #1485568 писал(а):
А как связан определитель произведения с определителями сомножителей?


detAB = detA*detB

Но как понять, почему за целочисленной матрицей обязательно стоит целочисленный определитель?

 
 
 
 Re: Целочисленная обратная матрица
Сообщение03.10.2020, 11:00 
Ingv0rr в сообщении #1485569 писал(а):
Но как понять, почему за целочисленной матрицей обязательно стоит целочисленный определитель?

А что такое определитель?

Есть разные его эквивалентные определения. И некоторые из них недвусмысленны.

 
 
 
 Re: Целочисленная обратная матрица
Сообщение03.10.2020, 11:08 
ewert в сообщении #1485570 писал(а):
Ingv0rr в сообщении #1485569 писал(а):
Но как понять, почему за целочисленной матрицей обязательно стоит целочисленный определитель?

А что такое определитель?

Есть разные его эквивалентные определения. И некоторые из них недвусмысленны.


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

 
 
 
 Re: Целочисленная обратная матрица
Сообщение03.10.2020, 11:10 
Ingv0rr в сообщении #1485572 писал(а):
На данный момент я понимаю, что определитель - это сумма произведений элементов матрицы из разных строк и разных столбцов, со знаками, определяемыми числом инверсий.

Можно и так. Но если так, то Ваш предыдущий вопрос выглядит крайне странно.

 
 
 
 Re: Целочисленная обратная матрица
Сообщение03.10.2020, 11:15 
Вроде, раз определитель $\pm 1$, алгебраические дополнения целочисленны, то и обратная целочисленная? То есть условия на определитель достаточно?

 
 
 
 Re: Целочисленная обратная матрица
Сообщение03.10.2020, 11:19 
novichok2018 в сообщении #1485576 писал(а):
Вроде, раз определитель $\pm 1$, алгебраические дополнения целочисленны, то и обратная целочисленная? То есть условия на определитель достаточно?

Да, это верно, но это про обратное утверждение критерия. А там был странный вопрос про утверждение в другую сторону.

 
 
 
 Re: Целочисленная обратная матрица
Сообщение03.10.2020, 11:31 
ewert в сообщении #1485570 писал(а):
Ingv0rr в сообщении #1485569 писал(а):
Но как понять, почему за целочисленной матрицей обязательно стоит целочисленный определитель?

А что такое определитель?

Есть разные его эквивалентные определения. И некоторые из них недвусмысленны.


А можете сказать про то определение, о котором вы говорите?

-- 03.10.2020, 11:38 --

ewert в сообщении #1485573 писал(а):
Ingv0rr в сообщении #1485572 писал(а):
На данный момент я понимаю, что определитель - это сумма произведений элементов матрицы из разных строк и разных столбцов, со знаками, определяемыми числом инверсий.

Можно и так. Но если так, то Ваш предыдущий вопрос выглядит крайне странно.


Что вы имеете в виду под странно?

-- 03.10.2020, 11:49 --

Т.е. при определителе равном 1 или -1 обязательно будет целочисленная матрица? Значит какого нибудь умножения, например, 2 на 1/2 не может быть?

 
 
 
 Re: Целочисленная обратная матрица
Сообщение03.10.2020, 11:52 
Аватара пользователя
Ingv0rr в сообщении #1485582 писал(а):
Что вы имеете в виду под странно?
Ну, ewert — очень вежливый человек. У меня так вообще глаза на лоб вылезли. Ведь из вашего "пересказа" определения
Ingv0rr в сообщении #1485572 писал(а):
определитель - это сумма произведений элементов матрицы из разных строк и разных столбцов, со знаками…
целочисленность определителя матрицы с целочисленными элементами мгновенно следует. Даже непонятно, что тут можно Вам объяснять.
Вы вообще что-нибудь про суммы и произведения целых чисел можете сказать? Например, может ли сумма или произведение целых чисел равняться $0{,}5$?

 
 
 
 Re: Целочисленная обратная матрица
Сообщение03.10.2020, 13:51 
Я подозреваю, что Ingv0rr никак не может решить, что же он пытается доказать: что из единичности определителя следует целочисленность обратной или что наоборот.

 
 
 [ Сообщений: 24 ]  На страницу 1, 2  След.


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