Аннотация:
В данной заметке известная лемма анализа о гомоморфизмах подстановки сформулирована в виде утверждения о канонической двойственности между семейством всех гладких отображений одного гладкого многообразия в другое и семейством всех гомоморфизмов алгебр гладких скалярных функций на этих многообразиях. Указанная формулировка придает лемме максимальную возможную общность и одновременно явно фиксирует основную симметрию задачи: двойственность между “сопряжением” (переходом от отображений многообразий к гомоморфизмам алгебр гладких функций на них) и “косопряжением” (переходом от гомоморфизмов к отображениям).