Поточкова операція
З Вікіпедії, вільної енциклопедії
Remove ads
З Вікіпедії, вільної енциклопедії
Пото́чкова опера́ція, або покоордина́тна опера́ція двох функцій і — нова функція, значення якої дорівнює значенню бінарної операції від значень і , а аргументи і дорівнюють аргументу нашої нової функції.
Покоординатна операція перетворює дві функції на одну. Покоординатну операцію можна утворити з різних бінарних операцій. Покоординатне множення утворюється з множення. Покоординатна сума утворюється з суми. Спрощено можна сказати, що покоординатна операція виконує бінарну операцію на значеннях функцій.
Оскільки аргументами і результатом покоординатної операції є функції, вона є функцією вищого порядку. Бінарну операцію, з якої утворюється покоординатна операція, також можна вважати одним із аргументов. Разом покоординатну операцію можна записати на мові програмування Haskell таким чином:
\b f g -> \x -> (f x) `b` (g x)
де — бінарна операція (сума або добуток у наших прикладах), , — функції, про які йшлося у нашому визначенні покоординатної операції.
Прикметник поточковий або покоординатний застосовується і до інших понять в математиці, якщо ці поняття стосуються значення функції.
Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.