Категории, гладкие многообразия и расслоения 10. Дифференциальные формы

Вводим дифференциальные k-формы с использованием языка векторных расслоений. Понимаем, что они образуют дифференциально-градуированную алгебру, а значит по ней можно построить когомологии. Это и есть когомологии де Рама. Также обсуждаем интегрирование форм и теорему Стокса как основной источник интегральных формул из матана.