Lineárny funkcionál alebo lineárna forma alebo konvektor je v matematike lineárne zobrazenie z množiny vektorov daného vektorového priestoru do množiny jeho skalárov. Inými slovami, lineárny funkcionál je funkcionál, ktorý je súčasne lineárnym zobrazením.

Definícia

Nech V je vektorový priestor nad poľom F. Zobrazenie ${\displaystyle f:V\to F}$ sa nazýva lineárny funkcionál vo V, ak platí:

1. ${\displaystyle \forall x,y\in V:f(x+y)=f(x)+f(y),}$
2. ${\displaystyle \forall x\in V\forall \alpha \in F:f(\alpha \cdot x)=\alpha f(x).}$

Tieto dve podmienky možno ekvivalentne prepísať do podmienky

${\displaystyle \forall x,y\in V\forall \alpha ,\beta \in F:f(\alpha \cdot x+\beta \cdot y)=\alpha f(x)+\beta f(y).}$

Uvedenú definíciu teda možno preformulovať tak, že f je lineárne zobrazenie z V do F.

Príklady

Lineárne funkcionály v Rⁿ

Uvažujme o euklidovskom priestore ${\displaystyle \mathbb {R} ^{n}}$. Predpokladajme, že vektory priestoru ${\displaystyle \mathbb {R} ^{n}}$ sú reprezentované ako stĺpcové vektory typu

${\displaystyle x=(x_{1},x_{2},\ldots ,x_{n})^{T}.}$

Potom každý lineárny funkcionál možno zapísať v tvare

${\displaystyle f(x)=a_{1}x_{1}+a_{2}x_{2}+\ldots +a_{n}x_{n}.}$

Predchádzajúci výraz možno ekvivalentne zapísať ako maticový súčin

${\displaystyle f(x)=(a_{1},a_{2},\ldots ,a_{n})\cdot (x_{1},x_{2},\ldots ,x_{n})^{T}.}$

To znamená, že lineárne funkcionály na ${\displaystyle \mathbb {R} ^{n}}$ môžu byť reprezentované ako n-rozmerné riadkové vektory ${\displaystyle (a_{1},a_{2},\ldots ,a_{n})}$.

Integrály

Typickým príkladom lineárnych funkcionálov sú lineárne funkcionály na vektorových priestoroch funkcií. Príkladom takéhoto lineárneho funkcionálu môže byť napríklad Riemannov integrál chápaný ako zobrazenie na vektorovom priestore spojitých reálnych funkcií na intervale ${\displaystyle <a,b>}$. Môžeme teda definovať funkcionál I ako

${\displaystyle I(f)=\int _{a}^{b}f(x)dx.}$

Linearitu funkcionálu možno overiť nasledujúcim spôsobom:

${\displaystyle I(\alpha \cdot f+\beta \cdot g)=\int _{a}^{b}((\alpha \cdot f)(x)+(\beta \cdot g)(x))dx=\int _{a}^{b}(\alpha f(x)+\beta g(x))dx=\alpha \int _{a}^{b}f(x)dx+\beta \int _{a}^{b}g(x)dx=\alpha I(f)+\beta I(g).}$

Literatúra

• Rudin, W.: Functional Analysis. McGraw-Hill, 1973.
• Yosida, K.: Functional Analysis. Springer-Verlag, 1980.
• Vopěnka, P.: Analytická geometrie druhé generace. Univerzita Jana Evangelisty Purkyně v Ústí nad Labem, 1998.

Externé odkazy

• Definícia lineárneho funkcionálu na Wolfram MathWorld (po anglicky).