Никак не могу разобраться, извините за сумбурность изложения но как-то я запутался уже:
Задача: Связность в расслоении

, заданна условием

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

1)линейно по

;
2)аддитивно по

;
3)удовлетворяет правилу Лейбница, относительно умножения

на функции;
Никак не получается связать теорию с практикой. А что такое ковар.диф. , если у меня есть расслоение(наверное какое-то специальное,главное\векторное,не знаю) и связность (как нули 1-формы) на нем и все. Как тогда записать ковариантное дифференцирование?
2.А кривизна связности, это просто тензор кривизны?