2014 dxdy logo

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

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


Правила форума


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Вычислительная математика. Задача о транспонировании
Сообщение18.06.2015, 09:01 
Заслуженный участник
Аватара пользователя


11/03/08
7941
Москва
ewert в сообщении #1028224 писал(а):
Да, сингулярное. А ещё лучше, наверное, просто полярное с обрубанием хвостов.


Вполне возможно, что полярное будет лучше. Или псевдообратные.
"Существует 99 и ещё 7 способов спеть Песню Племени, и каждый по-своему хорош".
Но в любом случае это будет преобразование, зависящее от исходной матрицы и маскирующее тот факт, что если мы такое преобразование нашли, то, значит, матрицу уже транспонировали.
А вот доказать отсутствие таких C и D, что для любой матрицы заданной размерности mхn $CAD=A^T$, не могу, хотя в справедливости утверждения уверен.

 Профиль  
                  
 
 Re: Вычислительная математика. Задача о транспонировании
Сообщение18.06.2015, 09:47 


13/08/14
349
Евгений Машеров в сообщении #1028400 писал(а):
А вот доказать отсутствие таких C и D, что для любой матрицы заданной размерности mхn $CAD=A^T$, не могу, хотя в справедливости утверждения уверен.


Пусть существуют $C$ и $D$, что для любой $A$ будет $CAD=A^T$ , где размеры матриц $(n\times m)(m\times n)(n\times m)=(n\times m)$ и $n>m$. Тогда существует $B\ne A$, что $BD=AD$, т. к. имеется $m^2$ уравнений с $m\cdot n$ неизвестными. В этом случае имеем $B^T=CBD=CAD=A^T$ при $B\ne A$. Противоречие.
Смысл тут вот в чем. При первом умножении мы теряем часть информации об исходной матрице. Восстановить эту информацию нельзя, если этой информации нет в другой вспомогательной матрице.

 Профиль  
                  
 
 Re: Вычислительная математика. Задача о транспонировании
Сообщение18.06.2015, 22:38 
Заслуженный участник


11/05/08
32089
Во-первых, опровергать возможность $CAD\equiv A^T$ достаточно для случая квадратных матриц (на самом деле достаточно даже для матриц два на два, но для простоты примем, что они произвольные квадратные). Во-вторых, должна сохраняться единичная матрица, т.е. $C,\;D$ должны быть взаимно обратными, т.е. это должно быть преобразование подобия. В-третьих, должна сохраняться диагональная матрица, у которой все диагональные элементы различны, т.е. это преобразование должно сохранять её собственный базис, т.е. сами $C,\;D$ должны быть диагональными. А такими матрицами невозможно транспонировать ну хоть треугольную.

 Профиль  
                  
 
 Re: Вычислительная математика. Задача о транспонировании
Сообщение19.06.2015, 10:54 
Заслуженный участник
Аватара пользователя


11/03/08
7941
Москва
ewert в сообщении #1028682 писал(а):
Во-первых, опровергать возможность $CAD\equiv A^T$ достаточно для случая квадратных матриц (на самом деле достаточно даже для матриц два на два, но для простоты примем, что они произвольные квадратные). Во-вторых, должна сохраняться единичная матрица, т.е. $C,\;D$ должны быть взаимно обратными, т.е. это должно быть преобразование подобия. В-третьих, должна сохраняться диагональная матрица, у которой все диагональные элементы различны, т.е. это преобразование должно сохранять её собственный базис, т.е. сами $C,\;D$ должны быть диагональными. А такими матрицами невозможно транспонировать ну хоть треугольную.

:appl:

 Профиль  
                  
 
 Re: Вычислительная математика. Задача о транспонировании
Сообщение19.06.2015, 21:28 
Заслуженный участник


11/05/08
32089
Ещё добивка. Конечно, сингулярное или полярное или ещё чего разложения -- первое, что приходит в голову; но это лишь потому, что они на слуху. Однако они дороги. А между тем дело вообще-то сводится к представлению произвольной матрицы в виде произведения некоторой симметричной на какие-то невырожденные. Если это удаётся -- то дело уже в шляпе.

Ну так тупо методом Гаусса можно свести произвольную матрицу к просто диагональной.

Это в квадратном случае. В неквадратном же -- достаточно дополнить матрицу до квадратной нулевыми линиями и потом обрубить хвосты.

 Профиль  
                  
 
 Re: Вычислительная математика. Задача о транспонировании
Сообщение22.06.2015, 13:23 
Аватара пользователя


26/05/12
1257
приходит весна?
Метод Гаусса к диагональной матрице приводит только квадратную не вырожденную. Любую другую (квадратную вырожденную или не квадратную) он приводит "не совсем" к диагональному виду.

 Профиль  
                  
 
 Re: Вычислительная математика. Задача о транспонировании
Сообщение22.06.2015, 13:38 
Заслуженный участник


11/05/08
32089
B@R5uk в сообщении #1029633 писал(а):
Метод Гаусса к диагональной матрице приводит только квадратную не вырожденную.

Просто после прямого хода метода Гаусса, т.е. после получения трапециевидной матрицы, перед обратным ходом надо эту матрицу транспонировать.

 Профиль  
                  
 
 Re: Вычислительная математика. Задача о транспонировании
Сообщение23.06.2015, 08:55 
Аватара пользователя


26/05/12
1257
приходит весна?
Метод Гаусса работает исключительно со строками матрицы. Подразумевается, что параллельно он преобразует столбец свободных членов или единичную матрицу (из которой получится обратная). Так что никаких транспонирований до окончания алгоритма быть не может. Или это уже будет не метод Гаусса.

 Профиль  
                  
 
 Re: Вычислительная математика. Задача о транспонировании
Сообщение23.06.2015, 11:21 
Заслуженный участник


11/05/08
32089
B@R5uk в сообщении #1029921 писал(а):
Подразумевается, что параллельно он преобразует столбец свободных членов или единичную матрицу (из которой получится обратная).

Нет. Нет никаких свободных членов и единичных матриц. Метод Гаусса как таковой предназначен исключительно для приведения матрицы к треугольному (или трапециевидному, или ступенчатому) виду. А для чего такое приведение нужно -- вопрос уже сугубо следующий.

 Профиль  
                  
 
 Re: Вычислительная математика. Задача о транспонировании
Сообщение03.07.2015, 17:41 
Заслуженный участник


11/05/08
32089
Тут народ подсказал ещё одно решение стартовой задачи -- менее элементарное, чем последнее, но более простое логически. Любая квадратная матрица попросту подобна своей транспонированной, т.к. это утверждение верно для жордановой клетки.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 25 ]  На страницу Пред.  1, 2

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group