Функционал в математике и программировании¶

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

¶Функционал в математике

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

Формально: пусть задано векторное пространство X над полем K. Функционалом называется отображение F: X → K. Простейший пример — определённый интеграл: он сопоставляет каждой непрерывной функции на отрезке её интеграл, то есть число.

¶Виды функционалов

• Линейные — удовлетворяют условиям аддитивности и однородности: F(x + y) = F(x) + F(y) и F(αx) = αF(x).
• Нелинейные — не обладают этими свойствами; к ним относятся, например, квадратичные функционалы.
• Непрерывные — сохраняющие сходимость: если последовательность сходится, то значения функционала также сходятся.
• Ограниченные — для которых существует такая константа C, что |F(x)| ≤ C·||x|| для всех элементов пространства.

Связь между непрерывностью и ограниченностью для линейных функционалов устанавливает теорема, согласно которой линейный функционал непрерывен тогда и только тогда, когда он ограничен.

¶Вариационное исчисление

Особое место функционалы занимают в вариационном исчислении, где ищется функция, доставляющая экстремум (минимум или максимум) заданному функционалу. Классический пример — задача о брахистохроне, сформулированная Иоганном Бернулли в 1696 году: требуется найти кривую, по которой тело под действием силы тяжести скатится из одной точки в другую за кратчайшее время. Длина кривой при этом не минимальна — минимизируется именно функционал времени.

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

¶Функциональный анализ

В функциональном анализе изучаются пространства функций и действующие в них функционалы. Центральный результат — теорема Рисса о представлении, согласно которой всякий непрерывный линейный функционал в гильбертовом пространстве может быть записан через скалярное произведение с некоторым фиксированным элементом. Сопряжённое пространство X* состоит из всех непрерывных линейных функционалов над X и само является векторным пространством.

¶Функционал в программировании

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

Типичные примеры функций высших порядков: map (применяет функцию к каждому элементу коллекции), filter (отбирает элементы по условию), reduce (свёртывает коллекцию в одно значение). Эти конструкции лежат в основе языков Лисп, Haskell, а также широко применяются в Python, JavaScript и других языках.

¶Функционал в технике и экономике

В технике функционал устройства — это перечень задач, которые оно способно выполнять. Так, функционал смартфона включает связь, работу с приложениями, фотосъёмку, навигацию. При проектировании изделий применяется функциональный анализ — методика разложения потребностей пользователя на отдельные функции с последующим поиском технических решений.

В экономике и управлении говорят о функционале подразделения или должности — совокупности закреплённых обязанностей и зон ответственности. Функциональная структура управления предполагает разделение организации по направлениям деятельности: производство, финансы, маркетинг, кадры.

¶Свойства и особенности

Ключевые характеристики функционалов в математике:

Для линейных функционалов норма определяется как наименьшая константа C в неравенстве |F(x)| ≤ C·||x||. Пространство всех линейных функционалов над данным пространством называется сопряжённым и обозначается X*.

¶Значение и применение

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

В прикладном смысле понятие функционала помогает описать возможности системы и сравнить её с аналогами. При этом важно различать математическое и бытовое употребление термина: в первом случае речь идёт о строгом отображении, во втором — о наборе функций.

¶Источники

• Колмогоров А. Н., Фомин С. В. «Элементы теории функций и функционального анализа»
• Люстерник Л. А., Соболев В. И. «Элементы функционального анализа»
• Математическая энциклопедия
• Учебные материалы по функциональному программированию