Разбираюсь с интегрированием форм на гладких многообразиях и возникла масса мелких вопросов. Они хоть и мелкие, но мешают общему представлению.
Например, интегрирование по цепям. Вообще стандартное определение гладкого сингулярного

-мерного симплекса - это гладкое отображение стандартного симплекса из

в многообразие. Однако, также мне встретилось немного иное определение:
Цитата:
сингулярный

-симплекс - это
образ стандартного замкнутого

-мерного симплекса в

при гладком отображении его в многообразие вместе с параметризацией.
Возникает первый вопрос: так образ или само отображение? Если читать дальше, то вообще-то выходит, что отображение. Однако, очень стойкое желание рассматривать всю конструкцию как интеграл по триангулированной области - тогда получается, что ближе процитированное определение.
Второй вопрос касается сингулярных цепей: почему говорится о линейных комбинациях с вещественными коэффициентами, если по логике вещей все коэффициенты должны вроде бы быть равными 1?