2014 dxdy logo

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

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




На страницу 1, 2  След.
 
 внешнее умножение
Сообщение25.06.2013, 17:36 
а существует ли гуманный способ доказательства ассоциативности внешнего умножения кососимметричных форм?

 
 
 
 Re: внешнее умножение
Сообщение25.06.2013, 19:31 
Правильно ли я понимаю, что кососимметрическая форма - это то же, что и кососимметрический тензор, т.е. образ отображения ассиметризации $A\in End(L^{\otimes p})$, определенного на разложимых тензорах $l_1\otimes l_2 \otimes...\otimes l_p$ как альтернированная сумма $\frac{1}{p!}\sum sign(\sigma) l_{\sigma(1)} \otimes l_{\sigma(2)}\otimes...\otrimes l_{\sigma(p)}$, где $\sigma$ пробегает симметрическую группу? Тут конечно, ограничения а характеристику поля, ну да ладно. Или не так?
Поправьте, пожалуйста.

 
 
 
 Re: внешнее умножение
Сообщение25.06.2013, 19:46 

(Оффтоп)

Chernoknizhnik в сообщении #740446 писал(а):
Правильно ли я понимаю, что кососимметрическая форма - это то же, что и кососимметрический тензор

Над полями нулевой характеристики не важно, как определять внешнюю алгебру -- как подалгебру тензорной алгебры или как фактор. Имеется изоморфизм. В Кострикине--Манине было про это.

 
 
 
 Re: внешнее умножение
Сообщение25.06.2013, 19:50 
меня интересует только случай конечномерных линейных пространств над $\mathbb{R}$

 
 
 
 Re: внешнее умножение
Сообщение26.06.2013, 07:20 
Т.о., $x_1 \wedge x_2 \wedge...\wedge x_p=A(x_1 \otimes x_2 \otimes...\otimes x_p)$. Тогда для $l,q \in \Lambda^p (L)$ $l\wedge q=A(l \otimes q)$. Легко проверить, что $A(A(l)\otimes q)=A(l\otimes q)=A(l\otimes A(q))$, откуда и следует ассоциативность. Весьма гуманно.

 
 
 
 Re: внешнее умножение
Сообщение26.06.2013, 10:25 
не понял

-- Ср июн 26, 2013 10:35:22 --

$A(l)=l,\quad A(q)=q$ и что?

-- Ср июн 26, 2013 10:54:14 --

и почему все форму одной степени?

 
 
 
 Re: внешнее умножение
Сообщение26.06.2013, 13:07 
Я имел в виду, что $l,q\in \Lambda (L)$. Как Вы определяете внешнюю алгебру и умножение в ней?

-- 26.06.2013, 16:15 --

Если я Вас правильно понял (я неважно знаю терминологию), то могу посоветовать 6й параграф (часть 4) учебника Манина-Кострикина "Линейная алгебра и геометрия".

 
 
 
 Re: внешнее умножение
Сообщение26.06.2013, 13:32 
Аватара пользователя
По-моему, здесь нужно соотношение типа $A(l\otimes q)=A(A(l)\otimes A(q))$. И оно равносильно теореме о произведении определителей.

 
 
 
 Re: внешнее умножение
Сообщение26.06.2013, 13:50 
Если Вы используете обозначения Chernoknizhnik то эта формула является тривиальным тождеством, как я уже отметил выше. Что из нее следует -- непонятно

 
 
 
 Re: внешнее умножение
Сообщение26.06.2013, 14:25 
Аватара пользователя
$l$ и $q$ – тензоры, не обязательно антисимметричные.

 
 
 
 Re: внешнее умножение
Сообщение26.06.2013, 14:25 
Да, извините, я тормознул - $l$ и $q$ - просто тензоры:-)

 
 
 
 Re: внешнее умножение
Сообщение26.06.2013, 15:25 
g______d в сообщении #740672 писал(а):
$l$ и $q$ – тензоры, не обязательно антисимметричные.

вот, тогда я умею доказывать Вашу формулу только зубодробительной лобовой выкладкой. А как-то проще можно? Может можно нап какие-то теоремы сослаться из теории определителей, но я не знаю как.

 
 
 
 Re: внешнее умножение
Сообщение26.06.2013, 15:38 
Аватара пользователя
Oleg Zubelevich в сообщении #740693 писал(а):
вот, тогда я умею доказывать Вашу формулу только зубодробительной лобовой выкладкой. А как-то проще можно? Может можно нап какие-то теоремы сослаться из теории определителей, но я не знаю как.


Так а эта выкладка разве не есть в точности теорема об умножении определителей?

 
 
 
 Re: внешнее умножение
Сообщение26.06.2013, 15:40 
что бы была теорема об умножении определителей нужны матрицы, которые перемножаются, вообщем я не понимаю как свести

 
 
 
 Re: внешнее умножение
Сообщение26.06.2013, 15:57 
Аватара пользователя
Да, это не то же самое, но думаю, что можно доказать так же, как и теорему произведении определителей (там есть доказательство прямым подсчетом).

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


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