2014 dxdy logo

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

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




На страницу 1, 2  След.
 
 Внешний дифференциал
Сообщение04.05.2014, 15:07 
Аватара пользователя
Можете дать инвариантное геометрическое определение внешнего дифференциала, только не в лоб покоординатно дифференцируя с использование правила косого произведения? Читаю Арнольда, у него непонятно описывается
И что такое цепи и коцепи можете объяснить?

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 16:30 
Это единственное отображение $\Omega^p(M)\to \Omega^{p+1}(M)$, удовлетворяющее свойствам:
1) для 0-форм (гладких функций) это дифференциал,
2) $d(\alpha+\beta)=d\alpha+d\beta$,
2) $d(\alpha\wedge \beta)=d\alpha\wedge \beta+(-1)^k\,\alpha\wedge d\beta$, где $k$ -- степень $\alpha$,
3) $d^2=0$.

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 16:33 
Аватара пользователя
да еклмн, я просил геометрически :mrgreen:
а это тоже самое, что и при обычном дифференцировании

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 16:47 
Аватара пользователя
А разве есть "более инвариантное" определение, чем то, которое дала lena7? :shock:

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 16:54 
Аватара пользователя
но я хотел геометрическое

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 18:02 
ну можно еще через ковариантные производные определить, а потом доказать, что внешний дифференциал не зависит от выбора симметрической связности. Только зачем? ТС сам не понимает чего спрашивает и не поймет.

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 18:05 
Аватара пользователя
ну определите
и заодно помогите понять :mrgreen:

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 18:08 
Аватара пользователя
Внешним дифференциалом $k$-формы $\omega$ на многообразии $M$ называется такая $(k+1)$-форма $d\omega$, что
$\int\limits_{\sigma}d\omega=\int\limits_{\partial\sigma}\omega$
для любого куска $\sigma$ гладкого $(k+1)$-мерного подмногообразия $D\subset M$.
Конечно, надо доказывать существование, единственность.

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 18:13 
Аватара пользователя
вот то что я и хотел услышать :-)
ну с существованием понятно, а как единственность доказать?

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 19:00 
svv в сообщении #858925 писал(а):
Внешним дифференциалом $k$-формы $\omega$ на многообразии $M$ называется такая $(k+1)$-форма $d\omega$, что
$\int\limits_{\sigma}d\omega=\int\limits_{\partial\sigma}\omega$
для любого куска $\sigma$ гладкого $(k+1)$-мерного подмногообразия $D\subset M$.
Конечно, надо доказывать существование, единственность.


Это же вроде теорема Стокса, или я что-то путаю?

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 19:29 
"Навыворот".

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 19:32 
Цитата:
"Навыворот".

Не понимаю, чем не устраивает стандартное определение.

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 19:33 
Аватара пользователя
svv в сообщении #858925 писал(а):
Внешним дифференциалом $k$-формы $\omega$ на многообразии $M$ называется такая $(k+1)$-форма $d\omega$, что
$\int\limits_{\sigma}d\omega=\int\limits_{\partial\sigma}\omega$
для любого куска $\sigma$ гладкого $(k+1)$-мерного подмногообразия $D\subset M$.
Конечно, надо доказывать существование, единственность.
Помнится мне, наш лектор здесь еще про какую-то ориентацию (точно, что не сексуальную!) бормотал.

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 20:42 
Аватара пользователя
Brukvalub
Да, да, кусок ориентированный.

Sicker
Пусть для краткости $k+1=p$.
Допустим, существует две таких $p$-формы:
$\int\limits_{\sigma}\alpha_1=\int\limits_{\sigma}\alpha_2=\int\limits_{\partial\sigma}\omega$.
Тогда для любого $p$-мерного (с какими-нужно-свойствами) куска $\sigma$
$\int\limits_{\sigma}\alpha=0$,
где $\alpha=\alpha_2-\alpha_1$.
Сможете доказать, что тогда и сама $p$-форма $\alpha=0$?

 
 
 
 Re: Внешний дифференциал
Сообщение04.05.2014, 20:46 
Аватара пользователя
Sicker
Тензоры знаете? Вот всякая $k$-форма - это тензор с $k$ нижними индексами, полностью по ним антисимметричный. Соответственно, $k\leqslant n$ - размерность пространства, а все последующие ранги тождественно нули.

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


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