קוד:הגדרת פונקציונל לינארי
\begin{definition}
יהי $V$ מרחב מכפלה פנימית מעל השדה $\mathbb{F}$. נתבונן ב-$\mathbb{F}$ בתור מרחב וקטורי מעל עצמו ($\dim_{\mathbb{F}}\mathbb{F}=1$, $\left\{1\right\}$ בסיס). אומרים שהעתקה לינארית $\varphi:V\rightarrow\mathbb{F}$ היא \textbf{פונקציונל לינארי על $V$}.
\end{definition}