2014 dxdy logo

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

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




На страницу Пред.  1, 2, 3, 4  След.
 
 Re: Матричное уравнение
Сообщение29.09.2015, 20:14 
Аватара пользователя
Если $P$ -проектор, то$ I-P$ тоже, просто образ и ядро меняются местами и потому достаточно описать проекторы с рангом, не превосходящим половину размерности

 
 
 
 Re: Матричное уравнение
Сообщение29.09.2015, 20:32 
Аватара пользователя
Спасибо, а то я засомневался, что там разные гиперболоиды получаются...

 
 
 
 Re: Матричное уравнение
Сообщение29.09.2015, 20:37 
Аватара пользователя
Munin в сообщении #1057665 писал(а):
Как я понял, задача состоит в том, чтобы разыскать множество матриц, характеристический многочлен которых будет совпадать с тем матричным многочленом, который рассматривается изначально.


Не характеристический, а минимальный. И не совпадает, а делит.

 
 
 
 Re: Матричное уравнение
Сообщение29.09.2015, 20:38 
Аватара пользователя
У как сложно. Тогда не буду углубляться в это. Буду тихо-мирно искать проекторы.

 
 
 
 Re: Матричное уравнение
Сообщение29.09.2015, 20:39 
Аватара пользователя
На самом деле можете в 2d рассмотреть все 3 варианта и вычислить характеристический многочлен у каждого из них. Можете даже в уме.

-- Вт, 29 сен 2015 10:44:33 --

В общем случае я не уверен, но думаю, что множество проекторов находится в соответствии с чем-то вроде что-то вроде $\mathrm{GL(n)}/(\mathrm{GL(k)}\times\mathrm{GL(n-k)})$, по аналогии с грассманианом. Возможно, кроме случая $n=2k$. Но я не уверен.

 
 
 
 Re: Матричное уравнение
Сообщение29.09.2015, 21:53 
Аватара пользователя
karandash_oleg в сообщении #1057651 писал(а):
Нельзя же здесь сказать, что или $A=0$ или $A-E=0$

Нет, нельзя. У меня была мысля протолкнуться через характеристический многочлен, но она расползлась по швам. :oops:

 
 
 
 Re: Матричное уравнение
Сообщение29.09.2015, 22:34 
Есть ещё такая популярная статья на тему: С.И.Гельфанд. О числе решений квадратного уравнения. Глобус, общематический семинар, выпуск 1, 2004. Может кому интересно. Там на уровне простых примеров вроде этого и философских рассуждений.
Автор правда не знал, что есть и монографии, и законченные теории про ур. Риккати, и матричное, и дифференциальное. Правда, один хороший математик сказал мне, что в книгах есть проколы, и он построил свою теорию. Не знаю.

 
 
 
 Re: Матричное уравнение
Сообщение29.09.2015, 22:43 
Аватара пользователя
g______d в сообщении #1057694 писал(а):
На самом деле можете в 2d рассмотреть все 3 варианта

2d меня уже не интересует. Я уже построил картинку. Лень только нарисовать её в графредакторе и выложить.

Меня сейчас интересует вопрос, как выглядит геометрическое место ортогональных проекторов ранга $m$ в $n$ измерениях при $m\geqslant 2,\quad n-m\geqslant 2.$

g______d в сообщении #1057694 писал(а):
В общем случае я не уверен, но думаю, что множество проекторов находится в соответствии с чем-то вроде что-то вроде $\mathrm{GL(n)}/(\mathrm{GL(k)}\times\mathrm{GL(n-k)})$, по аналогии с грассманианом. Возможно, кроме случая $n=2k$. Но я не уверен.

Красивая формула, но я боюсь даже начать её читать пока :-) (Кстати, а $n=2k$-то чем выделен?)
Меня скорее интересует суметь найти эту вещь в явном виде, а не написать абстрактно.

sergei1961
Спасибо. Попробую глянуть.

 
 
 
 Re: Матричное уравнение
Сообщение29.09.2015, 22:44 
Аватара пользователя
Я смотрю, наши высокоумные товарищи "решают общую задачу о столе с произвольным числом ножек"? Похвально...
Но у ТС-а пока система четырех уравнений нерешанная стоит...
Вычитая первое уравнение из последнего, можно переписать ее в виде
$$\left\{
\begin{array}{lcl}
 a^2+bc&=&a \\
b(a+d-1)&=& 0\\
c(a+d-1)&=& 0\\
(a-d)(a+d-1)&=& 0\\
\end{array}
$$
Если $a+d = 1$, то последние равенства выполняются.
karandash_oleg в сообщении #1057651 писал(а):
1) $a+d=1$. Тут все равно не знаю -- что дальше делать

Ну что? Оставлять первое равенство. Получим семейство решений с двумя параметрами.

karandash_oleg в сообщении #1057651 писал(а):
Я понимаю, что можно так $A^2=A\;\Leftrightarrow\;(A-E)A=0$, но разве это упростит дело?

Нет, не упростит. А вот определитель слева и справа в $A^2 = A$ взять можно.

 
 
 
 Re: Матричное уравнение
Сообщение29.09.2015, 23:06 
Аватара пользователя
Munin, Сначала можете подумать, как выглядит ГМТ всех $k$-мерных подпространств $n$-мерного пространства. Это не так тривиально. Ключевые слова "грассманиан" и "многообразие Грассмана".

 
 
 
 Re: Матричное уравнение
Сообщение29.09.2015, 23:16 
Аватара пользователя
Может, стоит разделить тему на две? Уж слишком два обсуждения разные по уровню... Или это сложно, так как перемешано?

 
 
 
 Re: Матричное уравнение
Сообщение29.09.2015, 23:19 
Аватара пользователя
provincialka в сообщении #1057714 писал(а):
Но у ТС-а пока система четырех уравнений нерешанная стоит...
Вычитая первое уравнение из последнего, можно переписать ее в виде

Ну не надо до мелочей-то разжёвывать, пускай и сам что-то сделает. (Тем более что полный ответ тут в теме прозвучал ненароком... Правда, в достаточно "зашифрованном" виде.)

Я вообще гляжу, ТС в теме почти не появляется.

-- 29.09.2015 23:23:12 --

g______d в сообщении #1057721 писал(а):
Munin, Сначала можете подумать, как выглядит ГМТ всех $k$-мерных подпространств $n$-мерного пространства.

Ну да, я об этом и говорил. Просто "ГМТ подпространств" как-то подозрительно невнятно звучит :-) (ГМТ в каком пространстве?)

g______d в сообщении #1057721 писал(а):
Это не так тривиально.

Это я заметил.

g______d в сообщении #1057721 писал(а):
Ключевые слова "грассманиан" и "многообразие Грассмана".

Я по вашим ключевым словам боюсь ходить: заинтересуешься частным ответом на частный вопрос, а там сначала надо теории прочитать килограмма три :-) Я уже с "теорией Галуа" напарывался, долго ещё не сунусь...

 
 
 
 Re: Матричное уравнение
Сообщение29.09.2015, 23:24 
Аватара пользователя
Munin в сообщении #1057725 писал(а):
Ну не надо до мелочей-то разжёвывать, пускай и сам что-то сделает.

Ну, то что я написала, ТС уже сделал, как я поняла )))
Munin в сообщении #1057725 писал(а):
Я вообще гляжу, ТС в теме почти не появляется.

Да уж... И поэтому ее оккупировали всякие высоколобые умники!

 
 
 
 Re: Матричное уравнение
Сообщение29.09.2015, 23:29 
Аватара пользователя
Munin в сообщении #1057725 писал(а):
Ну да, я об этом и говорил. Просто "ГМТ подпространств" как-то подозрительно невнятно звучит :-) (ГМТ в каком пространстве?)

Это скорее ещё и ответ на вопрос "как ввести естественную структуру многообразия на множестве всех подпространств". Если помните, проективное пространство — это частный случай для $k=1$, т. е. множество всех прямых.

Вложить его тоже куда-то можно; на самом деле оно является даже алгебраическим многообразием и вкладывается (алгебраически) в проективное пространство достаточно большой размерности.

 
 
 
 Re: Матричное уравнение
Сообщение30.09.2015, 00:12 
provincialka в сообщении #1057714 писал(а):
Я смотрю, наши высокоумные товарищи "решают общую задачу о столе с произвольным числом ножек"? Похвально...
Но у ТС-а пока система четырех уравнений нерешанная стоит...
Вычитая первое уравнение из последнего, можно переписать ее в виде
$$\left\{
\begin{array}{lcl}
 a^2+bc&=&a \\
b(a+d-1)&=& 0\\
c(a+d-1)&=& 0\\
(a-d)(a+d-1)&=& 0\\
\end{array}
$$
Если $a+d = 1$, то последние равенства выполняются.
karandash_oleg в сообщении #1057651 писал(а):
1) $a+d=1$. Тут все равно не знаю -- что дальше делать

Ну что? Оставлять первое равенство. Получим семейство решений с двумя параметрами.

karandash_oleg в сообщении #1057651 писал(а):
Я понимаю, что можно так $A^2=A\;\Leftrightarrow\;(A-E)A=0$, но разве это упростит дело?

Нет, не упростит. А вот определитель слева и справа в $A^2 = A$ взять можно.


Спасибо большое! Так вроде как вот оно решение уже или я что-то не так понял?

-- 30.09.2015, 00:13 --

Да, не много путают меня многообразия-проекторы-грассмианы, вроде бы и хочется вникнуть, но понимаешь, что еще рановато....

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


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