2014 dxdy logo

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

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




 
 Угловые миноры матрицы (задача из Винберга)
Сообщение25.04.2011, 18:03 
Добрый вечер!
Тут не могу решить задачку из Винберга
Задача №1
Доказать, что если все угловые миноры матрицы $A$ отличны от нуля, то ее можно привести к треугольному виду, добавив к каждой строке линейную комбинацию предыдущих строк. Вывести отсюда, что $A$ единственным образом представляется в виде $A=UB$, где $U$- нижняя треугольная матрица с единицами на диагонали, а $B$- верхняя треугольная матрица.

Никак не пойму, причем тут "угловые миноры отличны от нуля"
Пожалуйста, подскажите как начать.

 
 
 
 Re: Угловые миноры
Сообщение25.04.2011, 18:16 
Аватара пользователя
Вы умеете решать системы методом Гаусса?

 
 
 
 Re: Угловые миноры
Сообщение25.04.2011, 18:26 
Да, умею

 
 
 
 Re: Угловые миноры
Сообщение25.04.2011, 18:29 
Аватара пользователя
Здесь почти то же самое. Сначала получите ноль во второй строке в первом столбце (учитывая условие задачи). И т. д.

 
 
 
 Re: Угловые миноры
Сообщение25.04.2011, 18:32 
Я не пойму, почему здесь оговорили, что угловые миноры отличны от нуля? Это нужно как-то использовать?

 
 
 
 Re: Угловые миноры
Сообщение25.04.2011, 18:37 
Аватара пользователя
А вы начните приводить к треугольному виду, там и условия появятся. Вы же знаете, что делить на ноль нельзя, к примеру?

-- 25 апр 2011, 19:40 --

По второй части: та матрица, что вы получите -- будет $B$. А $U$ -- это... вы знаете, что элементарное преобразование можно рассматривать как умножение на специальную матрицу? В Винберге это есть, кстати.

 
 
 
 Re: Угловые миноры
Сообщение25.04.2011, 18:59 
Тут, кажется, если угловой минор равен $0$, то деление на $0$ получается.
А разве $U$ элементарная матрица?

 
 
 
 Re: Угловые миноры
Сообщение25.04.2011, 19:12 
Аватара пользователя
Maddoggg в сообщении #438583 писал(а):
Тут, кажется, если угловой минор равен $0$, то деление на $0$ получается.

Да. А почему "кажется"? Вы возьмите матрицу в общем виде. И постройте алгоритм её приведения к треугольному виду согласно условию задачи. В нём будут деления и, следовательно, появятся условия на знаменатели. А неравенство нулю угловых миноров как раз и должно выполнение этих условий обеспечивать.

Maddoggg в сообщении #438583 писал(а):
А разве $U$ элементарная матрица?

Нет. Но каждое отдельное преобразование (прибавление строки умноженной на число) -- да. Вам нужно проверить, что их произведение...

 
 
 
 Re: Угловые миноры
Сообщение25.04.2011, 19:28 
Да, там определенно есть деление на $0$, если миноры равны $0$. Просто это и так понятно.
Что их произведение есть $A$? (Вы же про произведение $U$ и $B$?)

 
 
 
 Re: Угловые миноры
Сообщение25.04.2011, 19:31 
Аватара пользователя
Вам нужно показать, что $U$ -- нижняя треугольная. $U$ это произведение определённых элементарных преобразований.

 
 
 
 Re: Угловые миноры
Сообщение25.04.2011, 19:56 
Кажется я понял. Только как бэ все это сейчас написать... Ну $U$-нижняя треугольная, потому как $A$-тоже нижняя треугольная

 
 
 
 Re: Угловые миноры
Сообщение25.04.2011, 19:57 
Аватара пользователя
Не-не-не. Перечитайте всё, что выше было. $A$ -- это исходная матрица, она произвольна (с учётом ограничений на миноры). $B$ -- верхняя треугольная, то есть то, что вы получили после всех преобразований.

 
 
 
 Re: Угловые миноры
Сообщение25.04.2011, 20:17 
Ой, я все спутал, вместо верхней треугольной писал нижняя треугольная.
Т.е. правильнее
Цитата:
$U$-верхняя треугольная, потому как потому как $A$-тоже верхняя треугольная

Но после перемножения у меня $A$-все равно треугольная (верхняя если $U$ стоит первым)

 
 
 
 Re: Угловые миноры
Сообщение25.04.2011, 20:23 
Аватара пользователя
Перечитайте моё прошлое сообщение.

 
 
 
 Re: Угловые миноры
Сообщение25.04.2011, 20:40 
Ой, я тут оказывается матрицы неправильно перемножал:) Да, теперь та же $A$, что до преобразования получается.
Спасибо за помощь!

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


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