На каждом ребре имеем дело с дифференцируемой функцией одной переменной.
Только там ещё один формальный шаг понадобится: нужно будет либо сослаться на, либо выписать на коленке эквивалентность норм.
в нашем случае:
- линейная форма, значит
Это не в нашем случае, а просто определение. Конкретно же в нашем случае
и, соответственно,
с вытекающими отсюда последствиями.
можно показать, что в шаре
функция постоянна. Выбрав приращение
так, чтобы
, по Лагранжу получим,
Ну зачем же такие кошмарики. Вполне достаточно того, что функция постоянна на любой прямой.