Гельфанд, Вариационное исчисление, с.19, второй абзац:
...функционал J[y] достигает при

слабого экстремума, если существует такое a>0, что
![$J[y]-J[y_0]$ $J[y]-J[y_0]$](https://dxdy-04.korotkov.co.uk/f/b/1/b/b1be1dd1699c0cfd290cf36660482c4e82.png)
сохраняет постоянный знак для всех дифференцируемых у, для которых функционал J[y] определён и

(здесь || ||означает норму в пространстве дифференцируемых функций).
В принципе смысл абзаца понятен, не понятно понятие нормы пространства.