Ключевое слово
29 | 03 | 2024
Новости Библиотеки
Шахматы Онлайн
Welcome, Guest
Username: Password: Remember me
  • Page:
  • 1
  • 2

TOPIC: Матричная алгебра

Матричная алгебра 15 Авг 2010 08:55 #1

  • mittelspiel
  • mittelspiel's Avatar
  • OFFLINE
  • Посадник
  • Posts: 3974
  • Thank you received: 14
  • Karma: 1
Интересно, есть ли специалисты по этому вопросу?

Ищу pdf-ку (книгу или обзор) с красивыми задачками по внешнему произведению матриц и операциями с блоками ячеек

Отредактировано mittelspiel (2010-08-15 12:57:46)

Матричная алгебра 15 Авг 2010 14:55 #2

  • Крыс
  • Крыс's Avatar
  • OFFLINE
  • Отец Русской Демократии
  • Posts: 33839
  • Thank you received: 61
  • Karma: 14
mittelspiel написал(а):
Интересно, есть ли специалисты по этому вопросу?
Здесь Григорий большой спец по рангам матриц и собственно по матрицам.

Матричная алгебра 15 Авг 2010 15:13 #3

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 106503
  • Thank you received: 2058
  • Karma: 105
Вы, ув.mittelspiel, не могли бы конкретизировать задачу, которая Вас интересует.
Честно говоря, я лишь чисто формально знаю, что операция внешнего произведения определена для тензоров.
Но не каждая матрица, вообще говоря, тензор, если я правильно помню.
Каждому - своё.

Матричная алгебра 15 Авг 2010 15:20 #4

  • Grigoriy
  • Grigoriy's Avatar
  • OFFLINE
  • Боярин
  • Posts: 16672
  • Thank you received: 477
  • Karma: 65
Крыс написал(а):
Здесь Григорий большой спец по рангам матриц и собственно по матрицам
Ой! А я и не знал! А можно деньгами?

Матричная алгебра 15 Авг 2010 15:44 #5

  • mittelspiel
  • mittelspiel's Avatar
  • OFFLINE
  • Посадник
  • Posts: 3974
  • Thank you received: 14
  • Karma: 1
Vladimirovich написал(а):
Вы, ув.mittelspiel, не могли бы конкретизировать задачу, которая Вас интересует.
Честно говоря, я лишь чисто формально знаю, что операция внешнего произведения определена для тензоров.
Но не каждая матрица, вообще говоря, тензор, если я правильно помню.
Внешнее произведение определено для двух любых матриц с размерностями A(i,j) и B(k,m), так что матрица их внешнего произведения имеет размерность С(i+k,j+m), в отличии от обычного матричного произведения, которое определено для A(i,j)*B(k,m) только при j=k.
Внешнее матричное произведение обычно обозначают крестиком в кружочке:




вот несколько вопросов которые меня интересуют:
Пусть A, B, C, D - матрицы (тензоры если угодно),
* - внутреннее (обычное) матричное произведение,
x - внешнее матричное проиведение (которое в формуле выше обозначено как крестик в кружке)
d/dt- производная. t - скаляр

1) выполняются ли для внешнего проиведения следующее: (AxB)*(CxD)=Ax(B*C)xD, и другие аналогичные законы по аналогии с обычным произведением?
2) выполняется ли для внешнего произведения следующее: d/dt[(AxB)]=(dA/dt)xB + Ax(dB/dt),
3) И желательно найти книгу или обзор где такого рода вовпросы рассматриваются для внешнего произведения

Отредактировано mittelspiel (2010-08-15 20:08:28)

Матричная алгебра 15 Авг 2010 15:58 #6

  • Крыс
  • Крыс's Avatar
  • OFFLINE
  • Отец Русской Демократии
  • Posts: 33839
  • Thank you received: 61
  • Karma: 14
Vladimirovich написал(а):
Но не каждая матрица, вообще говоря, тензор, если я правильно помню.
Только та, которая преобразуется как произведение векторов, если ничего не путаю.

Матричная алгебра 15 Авг 2010 16:29 #7

  • Grigoriy
  • Grigoriy's Avatar
  • OFFLINE
  • Боярин
  • Posts: 16672
  • Thank you received: 477
  • Karma: 65
Миттельшпиь. насколько я понимаю, 1-ая глава популярной книжки Стернберга Лекции по дифференциальной геометрии посвящена интересующим Вас вопросам. Помнится(я в своё время эту главу прорабатывал) там изложено очень ясно.
Равенство для производной произведения выполнается для любой полилинейной операции, а тензорное произведение таковым вроде является.
Несомненно, и в любом другом полном учебнике линейной алгебре тоже можно найти ответы на Ваши вопросы.

Матричная алгебра 15 Авг 2010 16:30 #8

  • Serge_P
  • Serge_P's Avatar
  • OFFLINE
  • Бояринъ
  • Posts: 1568
  • Thank you received: 6
  • Karma: 1
Тут я совсем не специалист. Но, навскидку

mittelspiel написал(а):
выполняются ли для внешнего проиведения следующее: (AxB)*(CxD)=Ax(B*C)xD
- нет, хотя бы потому, что у левой и правой частей разные размерности

mittelspiel написал(а):
выполняется ли для внешнего произведения следующее: d/dt[(AxB)]=(dA/dt)xB + Ax(dB/dt)
- это, вроде, да, но не уверен...

Матричная алгебра 15 Авг 2010 16:32 #9

  • Serge_P
  • Serge_P's Avatar
  • OFFLINE
  • Бояринъ
  • Posts: 1568
  • Thank you received: 6
  • Karma: 1
Grigoriy написал(а):
Несомненно, и в любом другом полном учебнике линейной алгебре тоже можно найти ответы на Ваши вопросы.
тут ключевое слово полный. Во всяких книжках типа Введение в линейную алгебру про такие вещи обычно не пишут.

Матричная алгебра 15 Авг 2010 16:35 #10

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 49331
  • Thank you received: 130
  • Karma: 16
Вниманию Владимировича: вот даже у матриц бывают производные/скорости

Матричная алгебра 15 Авг 2010 16:46 #11

  • mittelspiel
  • mittelspiel's Avatar
  • OFFLINE
  • Посадник
  • Posts: 3974
  • Thank you received: 14
  • Karma: 1
Serge_P написал(а):
mittelspiel написал(а):

выполняются ли для внешнего проиведения следующее: (AxB)*(CxD)=Ax(B*C)xD

- нет, хотя бы потому, что у левой и правой частей разные размерности
Забыл указать размерность С и D. Пусть исходно размерности A и C равны между собой: (i,j); размерности B и D равны между собой: (k,m).
И дополнительное условие: j+m=i+k. Это чтобы (AxB)*(CxD) было определено.

размерность (AxB) такая: i+k, j+m
размерность (CxD) такая же: i+k, j+m
размерность (AxB)*(CxD): i+k, j+m

размерность B*C: k,j
размерность Ax(B*C): i+k,j
размерность Ax(B*C)xD: i+k,j+m

Так что размерности (AxB)*(CxD) и Ax(B*C)xD совпадают, если исходно матрицы были такие, что все операции были определены.

Матричная алгебра 15 Авг 2010 16:48 #12

  • mittelspiel
  • mittelspiel's Avatar
  • OFFLINE
  • Посадник
  • Posts: 3974
  • Thank you received: 14
  • Karma: 1
Grigoriy написал(а):
1-ая глава популярной книжки Стернберга Лекции по дифференциальной геометрии посвящена интересующим Вас вопросам. Помнится(я в своё время эту главу прорабатывал) там изложено очень ясно.
спасибо, попробую эту книгу достать

Матричная алгебра 15 Авг 2010 16:49 #13

  • mittelspiel
  • mittelspiel's Avatar
  • OFFLINE
  • Посадник
  • Posts: 3974
  • Thank you received: 14
  • Karma: 1
Serge_P написал(а):
- это, вроде, да, но не уверен...
Спасибо. Хорошо бы чтобы выполнялось. Но доказать это с нуля, наверное, не быстро...

Матричная алгебра 15 Авг 2010 16:56 #14

  • Serge_P
  • Serge_P's Avatar
  • OFFLINE
  • Бояринъ
  • Posts: 1568
  • Thank you received: 6
  • Karma: 1
mittelspiel написал(а):
размерность B*C: k,j
* - это обычное произведение? Тогда еще надо чтобы было m=i

mittelspiel написал(а):
размерность Ax(B*C): i+k,j
а не i+k,j+m?

mittelspiel написал(а):
Спасибо. Хорошо бы чтобы выполнялось. Но доказать это с нуля, наверное, не быстро...
Как указал Григорий, это, скорее всего, просто доказать

Матричная алгебра 15 Авг 2010 17:44 #15

  • mittelspiel
  • mittelspiel's Avatar
  • OFFLINE
  • Посадник
  • Posts: 3974
  • Thank you received: 14
  • Karma: 1
Serge_P написал(а):
mittelspiel написал(а):

размерность Ax(B*C): i+k,j

а не i+k,j+m?
вообще-то
размерность A: i,j
размерность B*C: k,j
размерность Ax(B*C): i+k, 2j

Похоже что действительно размерности не совпадают

Матричная алгебра 15 Авг 2010 18:12 #16

  • mittelspiel
  • mittelspiel's Avatar
  • OFFLINE
  • Посадник
  • Posts: 3974
  • Thank you received: 14
  • Karma: 1
Grigoriy написал(а):
Миттельшпиь. насколько я понимаю, 1-ая глава популярной книжки Стернберга Лекции по дифференциальной геометрии посвящена интересующим Вас вопросам. Помнится(я в своё время эту главу прорабатывал) там изложено очень ясно.
Я скачал эту книгу Стернберга (www.onlinedisk.ru/file/57486/)
Вы имеете в виду, что то что там называется внешней алгеброй соответствует внешнему матричному произведению? Проблема в том, что там все рассуждения идут на языке тензоров и много терминов, может для обобщения это и хорошо, но и мне это трудно понимать (я не математик и слова типа изоморфизм для меня мало что значат).
Last Edit: 11 Фев 2019 05:02 by Vladimirovich.

Матричная алгебра 15 Авг 2010 18:15 #17

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 106503
  • Thank you received: 2058
  • Karma: 105
Хайдук написал(а):
Вниманию Владимировича: вот даже у матриц бывают производные/скорости
Скорость матрицы это интересное понятие

Каждому - своё.

Матричная алгебра 15 Авг 2010 18:17 #18

  • mittelspiel
  • mittelspiel's Avatar
  • OFFLINE
  • Посадник
  • Posts: 3974
  • Thank you received: 14
  • Karma: 1
Vladimirovich написал(а):
Скорость матрицы это интересное понятие
B=dA/dt это такая матрица B, каждый элемент которой b(i,j)=d/dt[a(i,j)]

Матричная алгебра 15 Авг 2010 18:34 #19

  • Grigoriy
  • Grigoriy's Avatar
  • OFFLINE
  • Боярин
  • Posts: 16672
  • Thank you received: 477
  • Karma: 65
mittelspiel написал(а):
скачал эту книгу Стернберга (www.onlinedisk.ru/file/57486/)
Вы имеете в виду, что то что там называется внешней алгеброй соответствует внешнему матричному произведению? Проблема в том, что там все рассуждения идут на языке тензоров и много терминов, может для обобщения это и хорошо, но и мне это трудно понимать (я не математик и слова типа изоморфизм для меня мало что значат).
Я имею ввиду, что там,насколько я понимаю, излагаются те вопросы, которыми Вы интересуетесь.
Если Вы хотите понимать предмет, то вероятно надо вючить язык, на котором о нём можно адекватно говорить. Изучение слов при этом - наименьшая проблема. В частности слово изоморфные означает, что 2 предмета одинаковы с точки зрения, нас интересующей(потому и говорят(изоморфизм алгебр, изоморфизм колец, изоморфизм векторных пр-в).
Но обычно предметы состоят из разных точек(являются разными множествами). Потому изоморфизм - это отображение, устанавливающее взаимно однозначные соответствие между нашими обьектами, при том так, что интересующие нас операции в прообразе переходят в таковые же при в образе.
Основная же проблема - это построение в воображении тех конструкций, о которых идёт речь.
У большинства математиков мозги устроены так, что им нужно это построение.
Но есть люди, которые могут работать иначе - операторно - т е они свободно оперируют с теми операциями, которые определены на интересующих их обьектах, не строя в воображении обьекты сами по себе.. Hасколько я понимаю, таков в основном подход физиков. Я так не могу и потому книг, где проводится соответствующий подход не знаю и соответственно ничего не могу сказать о них Вам.
Last Edit: 10 Фев 2019 13:32 by Vladimirovich.

Матричная алгебра 15 Авг 2010 18:37 #20

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 106503
  • Thank you received: 2058
  • Karma: 105
mittelspiel написал(а):
Vladimirovich написал(а):
Скорость матрицы это интересное понятие
B=dA/dt это такая матрица B, каждый элемент которой b(i,j)=d/dt[a(i,j)]
Это вообще было к нашей дискуссии с Хайдуком в другой теме о сжатии Вселенной

Что такое производная матрицы, я в курсе.
Каждому - своё.

Матричная алгебра 15 Авг 2010 18:42 #21

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 49331
  • Thank you received: 130
  • Karma: 16
Vladimirovich написал(а):
Скорость матрицы это интересное понятие
Если скорость суть производная, то (курьёзный) интерес отступает место удивлению наблюдаемой реальности производных...

Отредактировано Хайдук (2010-08-16 00:52:32)

Матричная алгебра 15 Авг 2010 18:53 #22

  • mittelspiel
  • mittelspiel's Avatar
  • OFFLINE
  • Посадник
  • Posts: 3974
  • Thank you received: 14
  • Karma: 1
Grigoriy написал(а):
У большинства математиков мозги устроены так, что им нужно это построение.
Но есть люди, которые могут работать иначе - операторно - т е они свободно оперируют с теми операциями, которые определены на интересующих их обьектах, не строя в воображении обьекты сами по себе.. Hасколько я понимаю, таков в основном подход физиков. Я так не могу и потому книг, где проводится соответствующий подход не знаю и соответственно ничего не могу сказать о них Вам.
да. мне даже не операторно, а именно алгебраически хотелось бы.

задачка такая: упростить выражение d/dt[(AxB)*(AxB)*(AxB)...]

А и В - матрицы
x - внешнее матричное произведение
* - обычное матричное произведение
n - константа
t - скаляр

Тут по аналогии с задачками по школьной алгебре из Сканави, хотелось бы знать правила, по которым можно проводить упрощения.
Типа A*(BxC)=(A*B)xC (но мы уже убедились выше что это не работает)

Отредактировано mittelspiel (2010-08-15 22:56:14)

Матричная алгебра 15 Авг 2010 20:14 #23

  • Serge_P
  • Serge_P's Avatar
  • OFFLINE
  • Бояринъ
  • Posts: 1568
  • Thank you received: 6
  • Karma: 1
mittelspiel написал(а):
вообще-то
размерность A: i,j
размерность B*C: k,j
размерность Ax(B*C): i+k, 2j

Похоже что действительно размерности не совпадают
да. Но там это сразу видно - слева один раз происходит повышение размерности, а справа - 2 раза.

mittelspiel написал(а):
да. мне даже не операторно, а именно алгебраически хотелось бы.

задачка такая: упростить выражение d/dt[(AxB)*(AxB)*(AxB)...]

А и В - матрицы
x - внешнее матричное произведение
* - обычное матричное произведение
n - константа
t - скаляр

Тут по аналогии с задачками по школьной алгебре из Сканави, хотелось бы знать правила, по которым можно проводить упрощения.
Типа A*(BxC)=(A*B)xC (но мы уже убедились выше что это не работает)
в квадратных скобках стоит (AxB)^n? Впрочем, все равно не знаю, как это можно особо упростить

Матричная алгебра 15 Авг 2010 22:20 #24

  • mittelspiel
  • mittelspiel's Avatar
  • OFFLINE
  • Посадник
  • Posts: 3974
  • Thank you received: 14
  • Karma: 1
Serge_P написал(а):
в квадратных скобках стоит (AxB)^n? Впрочем, все равно не знаю, как это можно особо упростить
Да, в квадратных скобках стояло (AxB)^n

если поверить что оператор дифференцирования действует на тензоры так же как на обычные функции, то тогда наше выражение упрощается вот так:

d/dt[(AxB)^n] = n*(AxB)^(n-1)*d/dt(AxB) = n*(AxB)^(n-1)*([dA/dt]xB + Ax[dB/dt])

Я может быть неправильно выразился, в математике это вроде называется не упростить, а раскрыть скобки (expand).

Таким образом, с дифференцированием мы разобрались; коммутативный закон забраковали (x и * некоммутативны); осталось проверить только дистрибутивный закон.

Вот справедливо ли такое утверждение:

A*(BxC)*(DxE)*F = A*[(BxC)*(DxE)]*F

?

Отредактировано mittelspiel (2010-08-16 02:45:22)

Матричная алгебра 15 Авг 2010 23:04 #25

  • Grigoriy
  • Grigoriy's Avatar
  • OFFLINE
  • Боярин
  • Posts: 16672
  • Thank you received: 477
  • Karma: 65
Так дело не пойдёт. В силу некоммутативности производная произведения А1*А2...*Аn
имеет вид:
А1'A2...An + A1*A2'A3...An + A1A2A3'*A4....*An + A1A2...A(n-1)*An'
Здесь под * имеется ввиду любая билинейная операция, штрих - взятие производной, Аi - любые операнды.

Отредактировано Grigoriy (2010-08-16 03:06:24)

Матричная алгебра 15 Авг 2010 23:27 #26

  • Serge_P
  • Serge_P's Avatar
  • OFFLINE
  • Бояринъ
  • Posts: 1568
  • Thank you received: 6
  • Karma: 1
как отметил Григорий, не факт, что матрица коммутирует со своей производной, поэтому эта формула

mittelspiel написал(а):
d/dt[(AxB)^n] = n*(AxB)^(n-1)*d/dt(AxB)
вообще говоря, неверна.

А вот это

mittelspiel написал(а):
A*(BxC)*(DxE)*F = A*[(BxC)*(DxE)]*F
верно, поскольку умножение ассоциативно.

Матричная алгебра 16 Авг 2010 00:59 #27

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 49331
  • Thank you received: 130
  • Karma: 16
Grigoriy написал(а):
есть люди, которые могут работать иначе - операторно - т е они свободно оперируют с теми операциями, которые определены на интересующих их обьектах, не строя в воображении обьекты сами по себе
Если (формальные) операции не становятся часто математически бессмысленными, зачем не положиться на них, ведь такое легче? С интегралами Фейнмана, насколько понимаю, такое даже помогает, несмотря на отсутствие непротиворечивого смысла. По-видимому, за интегралами теми кроется что-то фундаментальное, о чем формальные операции являются лишь таинственными намёками...

Матричная алгебра 16 Авг 2010 19:01 #28

  • mittelspiel
  • mittelspiel's Avatar
  • OFFLINE
  • Посадник
  • Posts: 3974
  • Thank you received: 14
  • Karma: 1
Serge_P написал(а):
mittelspiel написал(а):

A*(BxC)*(DxE)*F = A*[(BxC)*(DxE)]*F

верно, поскольку умножение ассоциативно.
Отлично, это хороший момент

Матричная алгебра 16 Авг 2010 19:03 #29

  • mittelspiel
  • mittelspiel's Avatar
  • OFFLINE
  • Посадник
  • Posts: 3974
  • Thank you received: 14
  • Karma: 1
Grigoriy написал(а):
Так дело не пойдёт. В силу некоммутативности производная произведения А1*А2...*Аn
имеет вид:
А1'A2...An + A1*A2'A3...An + A1A2A3'*A4....*An + A1A2...A(n-1)*An'
Спасибо, это я слишком разогнался на повороте...
Видимо тут только рекуррентное соотношение можно вывести. Сейчас попробую.

Матричная алгебра 16 Авг 2010 19:07 #30

  • mittelspiel
  • mittelspiel's Avatar
  • OFFLINE
  • Посадник
  • Posts: 3974
  • Thank you received: 14
  • Karma: 1
Допустим у нас есть d/dt[A*(BxC)] попробуем его расшифровать:

d/dt[A*(BxC)] = dA/dt*(BxC) + A*d/dt(BxC) = dA/dt*(BxC) + A*(dB/dt)xC + A*Bx(dC/dt)

Очень громозденько получается.
  • Page:
  • 1
  • 2
Moderators: Grigoriy
Рейтинг@Mail.ru

Научно-шахматный клуб КвантоФорум