Lineární funkcionál

Lineární funkcionál nebo lineární forma je v matematice lineární zobrazení z množiny vektorů daného vektorového prostoru do množiny jeho skalárů. Jedná se tedy o funkcionál, který je zároveň lineární.

Definice

Nechť V {\displaystyle V} je vektorový prostor nad tělesem T {\displaystyle T} . Zobrazení f : V T {\displaystyle f:V\to T} sa nazývá lineární funkcionál, pokud jde o zobrazení do tělesa, které je zároveň lineární, tj.:

  1. x V : f ( x ) T , {\displaystyle \forall x\in V\!:f(x)\in T,}
  2. x , y V : f ( x + y ) = f ( x ) + f ( y ) , {\displaystyle \forall x,y\in V\!:f(x+y)=f(x)+f(y),}
  3. x V   α T : f ( α x ) = α f ( x ) . {\displaystyle \forall x\in V\ \forall \alpha \in T\!:f(\alpha \cdot x)=\alpha f(x).}

Podmínky 2., 3. můžeme ekvivalentně přepsat do podmínky

x , y V   α , β T : f ( α x + β y ) = α f ( x ) + β f ( y ) . {\displaystyle \forall x,y\in V\ \forall \alpha ,\beta \in T\!:f(\alpha \cdot x+\beta \cdot y)=\alpha f(x)+\beta f(y).}

Uvedenou definici můžeme přeformulovat tak, že f {\displaystyle f} je lineární zobrazení z V {\displaystyle V} do T {\displaystyle T} .

  1. x V : f ( x ) T , {\displaystyle \forall x\in V\!:f(x)\in T,}
  2. x , y V   α , β T : f ( α x + β y ) = α f ( x ) + β f ( y ) . {\displaystyle \forall x,y\in V\ \forall \alpha ,\beta \in T\!:f(\alpha \cdot x+\beta \cdot y)=\alpha f(x)+\beta f(y).}

Příklad

Lineární funkcionály v Rn

Uvažujme o euklidovském prostoru R n {\displaystyle \mathbb {R} ^{n}} . Předpokládejme, že vektory prostoru R n {\displaystyle \mathbb {R} ^{n}} jsou reprezentované jako sloupcové vektory typu

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

Potom každý lineární funkcionál možno zapsat ve tvaru

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

Předchádzející výraz je možno ekvivalentně zapsat jako maticový součin

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

Lineární funkcionály na R n {\displaystyle \mathbb {R} ^{n}} mohou být tudíž reprezentovány jako n {\displaystyle n} -rozměrné řádkové vektory ( a 1 , a 2 , , a n ) {\displaystyle (a_{1},a_{2},\ldots ,a_{n})} .

Externí odkazy

  • Definice lineárního funkcionálu na Wolfram MathWorld
  • stránky Lubomíry Dvořákové týkající se lineární algebry
Autoritní data Editovat na Wikidatech