Funktional

Från Rilpedia

Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif
icon_anmal.gif
rp-wp-sv.gif

Inom matematiken är en funktional en avbildning från ett vektorrum till den underliggande skalärkroppen (t.ex. de reella eller komplexa talen).

Innehåll

Definitioner

Om V är ett vektorrum på kroppen K, så är en funktional f en avbildning sådan att:

f:V\to K

f säges vara en linjär funktional om den är en linjär avbildning, dvs följande gäller:

x, y \in V \ \alpha, \beta \in K: \ f(\alpha x + \beta y) = \alpha f(x) + \beta f(y)

En sublinjär funktional är en funktional p som uppfyller:

p(x+y) \leq p(x) + p(y)

f säges vara en begränsad linjär funktional om den är linjär och följande olikhet är uppfylld:

|f(x)| \leq c \| x \|

för något positivt reellt tal c och alla x \in V , då man kan definiera en operatornorm av f, som är:

\| f \| = \sup_{x \in V: \| x \| = 1} |f(x)|

Dualrum och representationer

Alla linjära begränsade funktionaler för ett vektorrum bildar det så kallade dualrummet för vektorrummet. Rummet som består av alla linjära funktionaler kallas för algebraiska dualen för vektorrummet.

Om vektorrummet är ett Hilbertrum med inre produkten \langle \cdot, \cdot \rangle så kan, enligt Riesz representationssats, varje funktional f i dualrummet representeras av ett element xf i Hilbertrummet, så att:

f(x) = \langle x, x_f\rangle

och f och xf får samma norm:

\|f\| = \|x_f\|

Exempel

Normer

Normen på ett vektorrum är en funktional. Den är dock ej linjär, men sublinjär.

Skalärprodukten

Den vanliga skalärprodukten på ett inre produktrum med en av vektorerna konstant är en linjär begränsad funktional.

Determinanter

Determinanten för alla kvadratiska matriser av storlek n är en funktional på rummet av alla matriser av storlek n.

Integraler

En integral på ett intervall [a,b] kan ses som en linjär funktional f på funktionsrummet av alla kontinuerliga envariabelfunktioner, betecknat C[a,b], dvs:

f(x) = \int_a^b x(t) \, dt

x(t) är alltså ett element i C[a,b]. f är en linjär begränsad funktional med operatornorm:

\| f \| = b - a

Vilket kan inses om vi använder följande norm på C[a,b]:

\| x(t) \| = \max_{t \in [a,b]} |x(t)|

Så att vi kan skriva:

|f(x)| = |\int_a^b x(t) \, dt| \leq (b-a)\max_{t \in [a,b]} |x(t)| = (b-a)\| x \|

Detta ger (med operatornormsdefinitionen ovan):

\| f \| = \sup_{x \in V: \| x \| = 1} |f(x)| \leq \sup_{x \in V: \| x \| = 1} (b-a)\|x\| = b-a

För operatornormer gäller att: |f(x)| \leq \| f \| \| x \| så att:

\| f \| \geq \frac{|f(x)|}{\| x \|}

Om vi väljer x0 = 1, så att \| x_0 \| = 1 får vi med ovanstående formel att:

\| f \| \geq f(x_0) = \int_a^b \, dt = b -a

Så att b-a \leq \| f \| \leq b - a och alltså måste \| f \| = b -a .

Se även

Hämtad från "https://sv.rilpedia.org/wiki/Funktional"
Personliga verktyg