Dmitri Pavlov - Больше всего в математике я ненавижу…
April 3rd, 2008
06:55 pm

[Link]

Больше всего в математике я ненавижу…

(61 comments | Leave a comment)

Comments
 
From:[info]dmitri_pavlov
Date:April 5th, 2008 - 01:58 am
(Link)
Проблема в том, что d и d/d (или ∂/∂) обочначают совершенно
разные операции.
Первая — дифференциал, он же производная, он же касательное отображение.
Вторая — производная функции вдоль векторного поля.
Двойственности между этими операциями нет.
Двойственной к касательному отображению будет pullback дифференциальных 1-форм.
А вот операция взятия производной вдоль векторного поля двойственна сама себе.
Поэтоми на самом деле эти обозначения ничего не подчёркивают, а только затемняют суть дела.

>А еще тем, что вместо x можно подставить что-нибудь еше (т.е. видно, по каким правилам происходит пересчет координат при замене локальной параметризации).

Об этом говорил ещё Арнольд: обозначения Лейбница позволили преподавать
анализ, не понимая его. На самом деле, если понимаешь геометрический
смысл этих операций, то никакой необходимости в мнемонических правилах нет.
Геометрический смысл первичен, правила вычислений вторичны.
From:[info]viktorpetrov.livejournal.com
Date:April 6th, 2008 - 09:07 pm
(Link)
Я имел в виду, что при каноническом спаривании между касательным и кокасательным расслоением локальные базисы dx_i и d/dx_j (извиняюсь, не умею писать частную производную) двойственны. Все конкретные вычисления все-таки происходят локально (хотя в доказательствах теорем от использования базиса нужно по возможности избавляться).
My Website Powered by LJ.Rossia.org