Vis kilden til Polynom

Et '''polynom''' er i [[matematikk]] en sum av et endelig antall ledd der hvert ledd er en [[konstant]] multiplisert med en eller flere [[variabel|variabler]] opphøyd i positive [[Potens (matematikk)|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 <math>x</math> og et polynom i to variabler <math>x</math> og <math>y</math>:

:<math>2x^3 + 5x^2 - 2</math>

:<math>2 x^2 y ^2 - 3 y^2 + 5 xy - 2</math>

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. <math>2x</math>), mens et ''binom'' (f.eks. <math>2x-3</math>) og et ''trinom'' (f.eks. <math>2x^3-2x-13</math>) har henholdsvis to og tre ledd.

[[Ligning (matematikk)|Ligninger]] som involverer kun polynom kalles ''polynomligninger'', og [[andregradsligning]]en er et velkjent eksempel. [[Funksjon (matematikk)|Funksjoner]] definert ved et polynom kalles naturlig nok [[polynomfunksjon]]er.

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 [[numerisk analyse|numeriske beregningsmetoder]], for eksempel [[endelig-element-metoden]].

== Fundamentale begrep ==
Et ledd i et polynom har '''grad''' <math>n</math> dersom summen av eksponentene til variablene i leddet er lik <math>n</math>. ''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 <math>n</math> er ''komplett'' dersom det inneholder ledd av samtlige potenser mindre eller lik <math>n</math> 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:

:<math>2 x^3 + 3 y^3 + x^2y + 6xy^2 - 3xy + 5x^2 - y^2 - 2x + y + 7</math>

Et <math>n</math>-te-grads polynom i én variabel er ''monisk'' dersom koeffisienten foran leddet med eksponent <math>n</math> er lik 1.

Et polynom i flere variable er ''symmetrisk'' dersom en [[permutasjon]] av variablene ikke endrer polynomet. Et polynom <math>p(x,y)</math> i to variable er altså symmetrisk dersom

:<math>p(x,y) = p(y,x)</math>

Et polynom i flere variable er homogent i grad <math>n</math> dersom alle leddene har grad <math>n</math>.

== Polynomfunksjoner ==
[[Fil:Legendre_polynomials.png|thumb|right|Her er polynomfunksjoner opp til 5.gradslikning tatt med i samme [[koordinatsystem]]]]

En [[polynomfunksjon]] er en [[Funksjon (matematikk)|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 [[kontinuerlig funksjon|kontinuerlige]] og [[glatt funksjon|glatte]]. Polynom er både [[derivasjon|deriverbare]] og [[integrasjon|integrerbare]], og resultatet av disse operasjonene er også polynom.

=== Polynomfunksjoner i én variabel ===
Den generelle forma for et <math>n</math>-te-grads polynom i én variabel er

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

Her er <math>a_i\ (i=1,\ldots, n)</math> koeffisientene i polynomet, og <math>x</math> er argumentet i funksjonen.  [[Eksponent]]en ''n'' er et [[naturlig tall]], det vil si et positivt heltall.

Polynomfunksjoner kan være [[reelt tall|reelle]] eller [[komplekst tall|komplekse]], alt etter hvordan koeffisientene og variablene er definerte.

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

[[Funksjonsgraf|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.

{|
|-----
| [[Fil:Polynomialdeg2.png|thumb|left|300px|Andregradspolynom:
:<math>^{f(x)=x^2-x-2= (x+1)(x-2)}</math>]]
| [[Fil:Polynomialdeg3.png|thumb|left|300px|Tredjegradspolynom:
:<math>^{f(x)=\tfrac 15 x^3+\tfrac 45 x^2 -\tfrac 75 x -2 =\tfrac{1}{5} (x+5)(x+1)(x-2)}</math>]]
|-----
| [[Fil:Polynomialdeg4.png|thumb|left|300px|Fjerdegradspolynom: 
:<math>^{f(x)=\tfrac{1}{14} (x+4)(x+1)(x-1)(x-3)+0.5}</math>]]
| [[Fil:Polynomialdeg5.png|thumb|left|300px|Femtegradspolynom:
:<math>^{f(x)=\tfrac{1}{20} (x+4)(x+2)(x+1)(x-1)(x-3)+2}</math>]]
|}

=== 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 (matematikk)|basis]] av polynomfunksjoner. Som en del av definisjonen inngår også det såkalte ''nullpolynomet'', definert ved

:<math>p(x) = 0</math>

Som et eksempel kan en definere basisfunksjonene

:<math>p_0(x) = 1</math>
:<math>p_i(x) = x^i, \quad i=1,\ldots,n</math>

Et vilkårlig <math>n</math>-te-grads polynom kan da skrives som

:<math>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)</math>

Koordinatvektoren er gitt ved

:<math>(a_n, a_{n-1}, \ldots , a_1, a_0)</math>

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

== Polynomligninger ==
En ligning der et polynom er satt lik null kalles en polynomligning. [[Andregradsligning]]en er et velkjent eksempel.

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

:<math>p_n(x) = a_n ( x- x_1)(x-x_2) \dots (x - x_n)</math>

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 [[Babylonia|babylonertiden]], 1600 år f.Kr. Den generelle forma for løsningen av andregradsligningen ved den såkalte [[andregradsligning|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 <math>[a,b]</math> 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 <math>f(x)</math> definert på intervallet <math>[a,b]</math> og et vilkårlig positivt tall <math>\varepsilon</math>. Da eksisterer det et polynom <math>p(x)</math> slik at

:<math>\max_{x \in [a,b]} |f(x) - p(x)| < \varepsilon</math>

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

:<math>f(x) \approx \sum_{i=1}^n {1 \over i!} f^{(i)}(c)(x - c)^i</math>
 
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]:

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

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

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

To polynom er ortogonale dersom indreproduktet er lik null. Ulike definisjoner av vektfunksjonen <math>w(x)</math>) 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 ===
[[Spline]]funksjoner 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 <math>x</math> med en mer kompliserte funksjon eller en annen datatype.

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

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

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

:<math>a_n M^n + a_{n-1} M^{n-1} + \ldots + a_1 M + a_0</math>

der <math>M</math> er ei kvadratisk [[matrise]], slik at matrisemultiplikasjon er definert.

== Eksterne lenker ==
* [http://mathforum.org/library/drmath/view/69475.html Opphavet til navnet polynom, på engelsk]

== Litteratur ==
* {{Kilde bok
| forfatter= Hans-Frederik Aas
| redaktør= 
| utgivelsesår=1974
| artikkel=
| tittel=Forelesningsreferater i matematisk analyse, del I
| bind=
| utgave=
| utgivelsessted= Bergen
| forlag= Matematisk institutt, Universitetet i Bergen
| side=
| isbn=
| id=
| kommentar= 
| url= }}

* {{Kilde bok
| forfatter= Ronald Douglas Milne
| redaktør= 
| utgivelsesår=1980
| artikkel=
| tittel=Applied functional analysis, an introductory treatment
| bind=
| utgave=
| utgivelsessted= London
| forlag= Pitman Publishing Limited
| side=
| isbn=0-273-08404-6
| id=
| kommentar= 
| url= }}

* {{Kilde bok
| forfatter= Steven Schwartzman
| redaktør= 
| utgivelsesår=1994
| artikkel=
| tittel=The words of mathematics. An etymological dictionary of mathematical terms used in English
| bind=
| utgave=
| utgivelsessted= Washington, DC
| forlag= The Mathematical Association of America
| side=
| isbn= 0-88385-511-9
| id=
| kommentar= 
| url= }}
{{Autoritetsdata}}

[[Kategori:Polynomer]]