Функциональная дифференциальная геометрия. Чтение 21. Ковариантная производная: формы Картана

Продолжаем рассуждать о параллельном переносе геометрических объектов вдоль векторного поля. Из требования к ковариантной производной быть производной по направлению и не зависеть от скорости вдоль пути выводим свойства матрицы коэффициентов для параллельного транспорта. Выясняется, что производные коэффициентов должны быть полями 1-форм. Наконец, строим ковариантную производную векторного поля из набора таких форм (форм Картана или форм связи). Проверяем справедливость формулы Лейбница (производная произведения). #геометрия и #lisp 1P.S. identity-like возвращает тождественное значение для типа значения, указанного в качестве аргумента. Поэтому, в том месте, где вычисляются Aij, действительно стит разложение в ряд Тейлора с точностью до 1 порядка в окрестности 0. Aij от нуля - это тождественная матрица.