Polynom

Et **polynom** er i matematikk en sum av et endelig antall ledd der hvert ledd er en konstant multiplisert med en eller flere variabler opphøyd i positive heltallseksponenter. Polynomet er definert kun ved hjelp av operasjonene addisjon, subtraksjon og multiplikasjon. I de følgende eksemplene er det vist et polynom i én variabel x og et polynom i to variabler x og y:

:2x^3 + 5x^2 - 2

:2 x^2 y ^2 - 3 y^2 + 5 xy - 2

Konstantene som inngår kalles også *koeffisienter* i polynomet.

Første del av navnet *polynom* kommer fra gresk *polus* som betyr flere. Det er uklart om andre del er avledet fra gresk *nomos* = *regler* eller latin *nomen* = *navn*. Et polynom med kun ett ledd kan kalles et **monom** (f.eks. 2x), mens et *binom* (f.eks. 2x-3) og et *trinom* (f.eks. 2x^3-2x-13) har henholdsvis to og tre ledd.

Ligninger som involverer kun polynom kalles *polynomligninger*, og andregradsligningen er et velkjent eksempel. Funksjoner definert ved et polynom kalles naturlig nok polynomfunksjoner.

Polynom har et stort bruksområde i matematikk, og polynom opptrer i nær sagt alle fagområder der matematikk brukes. Studiet av polynomligninger og røttene har tradisjonelt vært en viktig del av algebra. Den enkle forma gjør at polynom ofte brukes for å gi en tilnærmet riktig beskrivelse av mer komplekse sammenhenger. Polynom er viktige i mange numeriske beregningsmetoder, for eksempel endelig-element-metoden.

## Fundamentale begrep
Et ledd i et polynom har **grad** n dersom summen av eksponentene til variablene i leddet er lik n. *Graden* til polynomet er lik den største graden til samtlige av leddene. Det første eksempelet i introduksjonen har dermed grad lik tre, mens det andre har grad fire. Et polynom av grad 2 kalles både et andregradspolynom og et *kvadratisk polynom*, mens et *kubisk polynom* har grad 3.

Et polynom av grad n er *komplett* dersom det inneholder ledd av samtlige potenser mindre eller lik n i variablene. Et komplett tredjegrads polynom i én variabel har fire ledd, mens et komplett tredjegrads polynom i to variable har 10 ledd, som i det følgende eksempelet:

:2 x^3 + 3 y^3 + x^2y + 6xy^2 - 3xy + 5x^2 - y^2 - 2x + y + 7

Et n-te-grads polynom i én variabel er *monisk* dersom koeffisienten foran leddet med eksponent n er lik 1.

Et polynom i flere variable er *symmetrisk* dersom en permutasjon av variablene ikke endrer polynomet. Et polynom p(x,y) i to variable er altså symmetrisk dersom

:p(x,y) = p(y,x)

Et polynom i flere variable er homogent i grad n dersom alle leddene har grad n.

## Polynomfunksjoner

En polynomfunksjon er en funksjon som evaluerer verdien av et polynom. Begrepene polynom og polynomfunksjon blir ofte brukt om hverandre, men i abstrakt algebra er forskjellen mellom disse begrepene viktig.

Polynomfunksjoner har mange attraktive matematiske egenskaper, de er blant annet kontinuerlige og glatte. Polynom er både deriverbare og integrerbare, og resultatet av disse operasjonene er også polynom.

### Polynomfunksjoner i én variabel
Den generelle forma for et n-te-grads polynom i én variabel er

:p(x) = a_n x^n + a_{n-1} x^{n-1} + \ldots + a_1 x + a_0

Her er a_i\ (i=1,\ldots, n) koeffisientene i polynomet, og x er argumentet i funksjonen.  Eksponenten *n* er et naturlig tall, det vil si et positivt heltall.

Polynomfunksjoner kan være reelle eller komplekse, alt etter hvordan koeffisientene og variablene er definerte.

Horners regel eller Horner-algoritmen er en effektiv måte for beregning av polynomfunksjoner.

Grafen til en polynomfunksjon av grad én er en rett linje. Andregradspolynomet har en graf som blir kalt en parabel. Eksempel på polynom-grafer er vist under.

### Vektorrom av polynomfunksjoner
Summen av to polynom er også et polynom. Multipliserer en et polynom med et reelt eller et komplekst tall, så er resultatet også et polynom. Tilsammen gjør dette at en kan definere en rekke vektorrom dannet fra en basis av polynomfunksjoner. Som en del av definisjonen inngår også det såkalte *nullpolynomet*, definert ved

:p(x) = 0

Som et eksempel kan en definere basisfunksjonene

:p_0(x) = 1
:p_i(x) = x^i, \quad i=1,\ldots,n

Et vilkårlig n-te-grads polynom kan da skrives som

:p(x) = a_n p_n(x) + a_{n-1} p_{n-1}(x) + \ldots + a_1 p_1(x) + a_0 p_0(x)

Koordinatvektoren er gitt ved

:(a_n, a_{n-1}, \ldots , a_1, a_0)

Vektorrommet av polynom opp til grad n er et (n+1)-dimensjonalt vektorrom med samme struktur som \R^{n+3}, det vil si isomorft med \R^{n+1}.

## Polynomligninger
En ligning der et polynom er satt lik null kalles en polynomligning. Andregradsligningen er et velkjent eksempel.

### Fundamentalteoremet i algebra
Ifølge algebraens fundamentalteorem har et komplekst n-te-grads polynomligning av én variabel eksakt n røtter, når multiplisiteten til rota er tatt i betraktning. Dersom røttene x_i\ (i=1,\ldots, n) er kjente, så kan polynomet skrives på forma

:p_n(x) = a_n ( x- x_1)(x-x_2) \dots (x - x_n)

Overføring av polynomet til ei slik form kalles *faktorisering* av polynomet. Røttene trenger ikke være reelle, selv om koeffisientene i polynomet er relle. Kvadratsetningene er eksempel på faktorisering av andregradspolynom.

### Løsning av polynomligninger
Løsning av andregradsligninger har vært studert siden babylonertiden, 1600 år f.Kr. Den generelle forma for løsningen av andregradsligningen ved den såkalte ABC-formelen er velkjent. Også løsning av tredjegradsligninger og fjerdegradsligninger kan uttrykkes på sluttet form ved hjelp av aritmetiske operasjoner og rotutdraginger. Cardanos metode gir løsningen av den generelle tredjegradsligningen, mens Ferraris metode kan brukes for fjerdegradsligninger.

I 1824 viste Niels Henrik Abel at dette ikke er mulig for løsningen av den generelle polynomligningen av grad større eller lik fem, og dette resultatet er kjent som *Abel-Ruffini-teoremet*.
Merk at fundamentalteoremet viser at også femtegradsligninger alltid har løsninger, – en kan bare ikke alltid uttrykke disse på sluttet form.

I Galois-teori studerer en relasjoner mellom røttene i polynomligninger.

## Funksjonstilnærming med polynom
Weierstrass’ approksimasjonsteorem, navngitt etter Karl Weierstrass, sier at en vilkårlig kontinuerlig funksjon definert på et intervall [a,b] kan tilnærmes uniformt så nøyaktig en bare vil ved hjelp av polynomfunksjoner. Resultatet kalles også Stone-Weierstrass’ teorem.

Formelt kan en uttrykke dette, som følger: Gitt en kontinuerlig funksjon f(x) definert på intervallet [a,b] og et vilkårlig positivt tall \varepsilon. Da eksisterer det et polynom p(x) slik at

:\max_{x \in [a,b]} |f(x) - p(x)| 

### Tilnærming ved Taylorutvikling
En funksjon som er uendelig mange ganger deriverbar blir ofte tilnærmet ved hjelp av et polynom definert ved taylorrekka til funksjonen. I et område nær argumentet x=c er tilnærmingen gitt ved

:f(x) \approx \sum_{i=1}^n {1 \over i!} f^{(i)}(c)(x - c)^i
 
Jo høyere orden i polynomet en bruker, jo bedre er tilnærmingen. I det følgende eksempelet er feilen i tilnærmingen mindre en 0,000003 i intervallet [-1,1]:

:\sin(x) \approx x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!}

### Ortogonale polynom
I vektorrom av polynom kan en definere mange alternative indreprodukt, for polynom av én variabel ofte gitt på den følgede forma

:\langle\, p_1(x),p_2(x)\, \rangle = \int_a^b w(x)p_1(x)p_2(x)\,\mathrm{d}x

To polynom er ortogonale dersom indreproduktet er lik null. Ulike definisjoner av vektfunksjonen w(x)) vil føre til ulike definisjoner av ortogonale polynom, og det eksisterer en lang rekke typer som alle har mange anvendelser der de brukes til å tilnærme mer generelle funksjoner og til interpoloasjon. Ulike klasser av ortogonale polynom er typisk oppkalt etter en matematiker som har bidratt til utvikling av teorien for disse:

* Chebyshev-polynom, oppkalt etter Pafnutij Tsjebysjov 
* Hermitske polynom, oppkalt etter Charles Hermite 
* Jacobi-polynom, oppkalt etter Carl Gustav Jacob Jacobi
* Laguerre-polynom, oppkalt etter Edmond Laguerre
* Legendre-polynom, oppkalt etter Adrien-Marie Legendre

### Splinefunksjoner
Splinefunksjoner er konstruert ved å sette sammen polynom definert på delintervaller, og disse funksjonene er svært anvendelige til funksjonstilnærminger.

## Generaliseringer
Polynom kan genraliseres ved å erstatte et argument x med en mer kompliserte funksjon eller en annen datatype.

### Trigonometriske polynom
En trigonometrisk polynom er et uttrykk på forma

:a_0 + \sum_{i=1}^n \left[a_i \sin(ix) + b_i \cos(ix)\right]

### Matrisepolynom
Et matrisepolynom er et uttrykk på forma

:a_n M^n + a_{n-1} M^{n-1} + \ldots + a_1 M + a_0

der M er ei kvadratisk matrise, slik at matrisemultiplikasjon er definert.

## Eksterne lenker
* Opphavet til navnet polynom, på engelsk 

## Litteratur
* 

* 

*