(←) предыдущая запись ; следующая запись (→)
Кстати, пара слов про плохую нотацию.
Я уже писал, что мне не нравятся смешанные дроби. Потому что они пишутся очень похоже на умножение, хотя на деле являются сложением.
Но у нас есть ещё один пример ужасной нотации — скобки.
Скобки обозначают одновременно:
— группировку операций
— вычисление функции
— абстрагирование функции
Вот вам пример, где скобки используются во всех трёх смыслах: взятая в нуле производная суммы, зависящих от аргумента x функций f и g: d(f+g)(x)/dx(0)
Добавляет радости, что математики любят (по делу) вместо функций нескольких аргументов использовать каррирование. Это когда функция берёт один аргумент и возвращает функцию другого аргумента. А та тоже может вернуть функцию итд.
Например:
df(x0)(v) — дифференциал функции f в точке x0 является функцией, которую мы применяем к вектору v.
А теперь давайте мы этот на дифференциал подействуем какой-нибудь функцией и превратим его в дифференциал на другом объекте: g(df(x0))(v) или может быть (g∘df)(x0)(v). Вроде ничего сильно сложного не написано, но чтобы это распарсить требуется прилагать дополнительные усилия.
Интересно, как выглядела бы более удачная нотация? Сам подумать про это пока не успел.