En funksjonal er i matematikk en funksjon fra et vektorrom inn på den tilhørende kroppen. Mange varianter av definisjonen finnes i litteraturen. Studiet av egenskaper og bruk av funksjonaler inngår i det matematiske delområdet funksjonalanalyse.

I mange anvendelser er vektorrommet et rom av funksjoner. En funksjonal er da en «funksjon av en funksjon».

Spesielt viktige er lineære funksjonaler, og «funksjonal» brukes ofte synonymt med «lineær funksjonal».

Definisjon

La være et vektorrom over en kropp . En funksjonal er en funksjon . R.D. Milne: Applied functional analysis, ... s.49 Vanligvis vil være mengden av reelle tall eller komplekse tall . Generelt er altså en funksjonal en avbildning fra et høyere-ordens vektorrom inn på et en-dimensjonalt rom.

Mange varianter av definisjonen kan finnes i litteraturen, inkludert de følgende

Definisjonen begrenses til å gjelde når . En funksjonal er en lineær funksjonal. Definisjonsmengden er et normert vektorrom og funksjonen er lineær og begrenset. Definisjonsmengden til en funksjonal er en mengde av funksjoner.

Dersom både argumentmengden og verdimengden til er funksjoner, kan betraktes som en generalisert funksjonal. Dette er også brukt som definisjon på en funksjonal.

Eksempler

En norm definert i et vektorrom er en funksjonal. I et indreproduktrom kan en definere funksjonaler ved

,

der vektoren er en parameter.

Lengden av en kontinuerlig kurve er en funksjonal:

En avbildning fra en kvadratisk matrise på den tilhørende determinanten er en funksjonal.

Den kinetiske energien uttrykt ved en hastighetsvektor er en funksjonal:

Lineære funksjonaler

En lineær funksjonal er en funksjonal med egenskapen

.

Mengden av lineære funksjonaler på danner også et vektorrom, kalt den algebraiske dualen til . R.D. Milne: Applied functional analysis, ... s.50 Lineære funksjonaler bevarer addisjon og skalarmultiplikasjon fra vektorrommet .

Referanser

Litteratur

Kategori:Funksjonalanalyse