Проблема в том, что d и d/d (или ∂/∂) обочначают совершенно
разные операции.
Первая — дифференциал, он же производная, он же касательное отображение.
Вторая — производная функции вдоль векторного поля.
Двойственности между этими операциями нет.
Двойственной к касательному отображению будет pullback дифференциальных 1-форм.
А вот операция взятия производной вдоль векторного поля двойственна сама себе.
Поэтоми на самом деле эти обозначения ничего не подчёркивают, а только затемняют суть дела.
>А еще тем, что вместо x можно подставить что-нибудь еше (т.е. видно, по каким правилам происходит пересчет координат при замене локальной параметризации).
Об этом говорил ещё Арнольд: обозначения Лейбница позволили преподавать
анализ, не понимая его. На самом деле, если понимаешь геометрический
смысл этих операций, то никакой необходимости в мнемонических правилах нет.
Геометрический смысл первичен, правила вычислений вторичны.
Я имел в виду, что при каноническом спаривании между касательным и кокасательным расслоением локальные базисы dx_i и d/dx_j (извиняюсь, не умею писать частную производную) двойственны. Все конкретные вычисления все-таки происходят локально (хотя в доказательствах теорем от использования базиса нужно по возможности избавляться).