Линейная форма

Лине́йная форма, лине́йный функционал — линейное отображение, действующее из векторного пространства $L$ над полем $K$ в поле $LK$. Условие линейности заключается в выполнении следующих двух свойств:

$\Phi (f+g)=\Phi (f)+\Phi (g),$

$\Phi (\alpha f)=\alpha \,\Phi (f)$

для любых двух векторов $f,g\in L$ и любого $\alpha \in K$. Таким образом, линейная форма (линейный функционал) является частным случаем понятия линейного оператора, действующего из одного векторного пространства в другое векторное пространство: $L_{K}\to M_{K}$, рассматриваемых над одним и тем же полем $K$. Именно, в случае линейной формы векторное пространство $M_{K}=K$.

Линейные функционалы играют особую роль в функциональном анализе.

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

$\Phi [\mathbf {f} ]=\int _{\Omega }f(x)\phi (x)d\Omega$

(может быть также использовано интегрирование с весовой функцией).

• Такие линейные функционалы, представляющие скалярное произведение $\mathbf {f}$ с каждой из базисных функций полного набора, дают прямое преобразование Фурье.

Свойства

• Множество всех линейных форм на $V$ является линейным пространством относительно операций сложения и умножения на элемент из $k$. Это пространство называется сопряженным к $V$ и обозначается $V^{\ast }$ .
• Ядро линейной формы (линейного функционала) — линейное пространство. В невырожденном случае оно является гиперплоскостью.
  • В частности, при $n=3$ ядро линейного функционала $l_{1}x+l_{2}y+l_{3}z=0$ — плоскость в трёхмерном пространстве, причем коэффициенты функционала суть координаты нормального вектора плоскости.

Примеры

• $\Phi [\mathbf {f} ]=\int _{\Omega }Lf(x)d\Omega$, где $L$ — линейный оператор, действующий на функцию $f(x)$, $\Omega$ — область интегрирования,

в частности:

• $\int _{1}^{2}f(x)dx$,
• $\int _{1}^{2}(5{\frac {d^{2}f}{dx^{2}}}+2{\frac {df}{dx}}+3f)dx$,
• $\int _{1}^{2}\int _{3}^{4}f(x,y)dxdy$,
• $\int _{1}^{2}K(x)f(x)dx$, где $\mathbf {K}$ — некоторая фиксированная функция,

• $\Phi [\mathbf {f} ]=f(11)$
• $\Phi [\mathbf {f} ]=f(1)-f(0)$
• $\Phi [\mathbf {f} ]={\frac {d^{3}f}{dx^{3}}}|_{x=0}$
• $\int _{-\infty }^{+\infty }f(x,3)dx$

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

Замечания

• Особую роль играют непрерывные линейные функционалы, иначе называемые обобщёнными функциями. Свойство непрерывности линейного функционала зависит от класса функций (пространства), на котором он действует. Так, нетрудно видеть, что некоторые из приведённых выше функционалов не непрерывны при действии на разрывные функции (можно легко привести такие примеры). Однако на сепарабельных пространствах — то есть в наиболее употребительном и конструктивно разработанном случае — все они непрерывны.
• Используя обобщённые функции, в частности дельта-функцию Дирака и её производные, можно многие линейные функционалы, в частности из приведённых в качестве примеров выше, представить в виде интегральных функционалов, например:
• $\Phi [\mathbf {f} ]=f(1)-f(0)=\int _{-\infty }^{+\infty }\delta (x-1)f(x)dx-\int _{-\infty }^{+\infty }\delta (x-0)f(x)dx=\int _{-\infty }^{+\infty }(\delta (x-1)-\delta (x))f(x)dx$.

В обычном абстрактном определении обобщённой функции она и определяется просто как непрерывный линейный функционал (в традиционном понимании и записи функционал порождается подразумеваемым интегрированием с обобщённой функцией).

См. также

• Билинейная форма
• Полуторалинейная форма

Литература

• Кострикин А. И., Манин Ю. И. Линейная алгебра и геометрия, — М.: Наука, 1986.
• Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия, — Физматлит, Москва, 2009.