Polynom

Fra Wikipedia, den frie encyklopedi
Gå til: navigasjon, søk

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 heltalseksponenter. 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 variable 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, mens et binom og et trinom 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[rediger | rediger kilde]

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[rediger | rediger kilde]

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[rediger | rediger kilde]

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} + ... + a_1 x + a_0 \,

Her er ai (i = 1,...,n) koeffisientene i polynomet, og x er argumentet i funksjonen.

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.

Andregradspolynom:
f(x) = x2 - x - 2
= (x+1)(x-2)
Tredjegradspolynom:
f(x) = x3/5 + 4x2/5 - 7x/5 - 2
= 1/5 (x+5)(x+1)(x-2)
Fjerdegradspolynom:
f(x) = 1/14 (x+4)(x+1)(x-1)(x-3) + 0.5
Femtegradspolynom :
f(x) = 1/20 (x+4)(x+2)(x+1)(x-1)(x-3) + 2

Vektorrom av polynomfunksjoner[rediger | rediger kilde]

Summen av to polynom er også et polynom. Multipliserer en et polynom med et reellt 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,...,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) + ... + a_1 p_1(x) + a_0 p_0(x)  \,

Koordinatvektoren er gitt ved

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

Vektorrommet av polynom opp til grad n er et (n+1)-dimensjonalt vektorrom med samme struktur som Rn+1, det vil si isomorft med Rn+1.

Polynomligninger[rediger | rediger kilde]

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

Fundamentalteoremet i algebra[rediger | rediger kilde]

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 xi (i = 1,...,n) er kjente, så kan polynomet skrivest 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[rediger | rediger kilde]

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 Galoisteori studerer en relasjoner mellom røttene i polynomligninger.

Funksjonstilnærming med polynom[rediger | rediger kilde]

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 \epsilon. Da eksisterer det et polynom p(x) slik at

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

Tilnærming ved Taylorutvikling[rediger | rediger kilde]

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\left( x \right) \approx x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} \,

Ortogonale polynom[rediger | rediger kilde]

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

< p_1(x),p_2(x) >  \  = \int_a^b w(x)p_1(x)p_2(x) dx \,

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:

Splinefunksjoner[rediger | rediger kilde]

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

Generaliseringer[rediger | rediger kilde]

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

Trigonometriske polynom[rediger | rediger kilde]

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[rediger | rediger kilde]

Et matrisepolynom er et uttrykk på forma

a_n M^n + a_{n-1} M^{n-1} + ... + a_1 M + a_0 \,

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

Eksterne lenker[rediger | rediger kilde]

Litteratur[rediger | rediger kilde]

  • Hans-Frederik Aas (1974). Forelesningsreferater i matematisk analyse, del I. Bergen: Matematisk institutt, Universitetet i Bergen. 
  • Ronald Douglas Milne (1980). Applied functional analysis, an introductory treatment. London: Pitman Publishing Limited. ISBN 0-273-08404-6. 
  • Steven Schwartzman (1994). The words of mathematics. An etymological dictionary of mathematical terms used in English. Washington, DC: The Mathematical Association of America. ISBN 0-88385-511-9.