Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil II/Vorlesung 50/latex
\setcounter{section}{50}
\epigraph { Durch starkes Denken kann man ein Kamel zu Fall bringen. } { Ibn Sina }
\zwischenueberschrift{Polynomfunktionen}
In ein Polynom
\mathl{P \in K[X]}{} kann man ein Element
\mathl{z \in K}{} \stichwort {einsetzen} {,} indem man die Variable $X$ an jeder Stelle durch $z$ ersetzt. Dies führt zu einer Abbildung
\maabbeledisp {} {K} {K
} {z} {P(z)
} {,}
die die durch das Polynom definierte \stichwort {Polynomfunktion} {} heißt.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Polynomialdeg5.svg} }
\end{center}
\bildtext {Der Graph einer Polynomfunktion von $\R$ nach $\R$ vom Grad $5$.} }
\bildlizenz { Polynomialdeg5.svg } {} {Geek3} {Commons} {CC-by-sa 3.0} {}
Diese Abbildungen gehören zu den wichtigsten Funktionen. Die konstanten Polynome $a_0$ führen zu den konstanten Abbildungen mit dem Wert $a_0$, lineare Polynome der Form
\mathl{a_1X+a_0}{} führen zu affin-linearen Funktionen, insbesondere entspricht die Variable der Identität. Quadratische Polynome
\mathl{a_2X^2+ a_1X+a_0}{} führen auf quadratische Funktionen, die Potenzen der Variablen, also $X^k$, führen auf die Potenzfunktionen
\mathl{z \mapsto z^k}{.}
\inputfaktbeweis
{Polynomring/Eine Variable/Körper/Einsetzungshomomorphismus/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und
\mavergleichskette
{\vergleichskette
{ z
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein fixiertes Element.}
\faktfolgerung {Dann ist die Abbildung
\maabbdisp {} {K[X]} {K
} {,}
die einem
\definitionsverweis {Polynom}{}{}
$P$ die Einsetzung
\mathl{P(z)}{} zuordnet, ein
\definitionsverweis {Ringhomomorphismus}{}{.}}
\faktzusatz {Für beliebige Polynome
\mavergleichskette
{\vergleichskette
{P,Q
}
{ \in }{ K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt also
\aufzaehlungdrei{
\mavergleichskettedisp
{\vergleichskette
{ (P+Q)(z)
}
{ =} { P(z)+Q(z)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{
\mavergleichskettedisp
{\vergleichskette
{ (P \cdot Q)(z)
}
{ =} { P(z) \cdot Q(z)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{
\mavergleichskettedisp
{\vergleichskette
{ 1 (z)
}
{ =} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}}
\faktzusatz {}
}
{
Es seien
\mavergleichskette
{\vergleichskette
{P
}
{ = }{ \sum_{i} a_i X^{i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{Q
}
{ = }{ \sum_{j } b_j X^{j}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\aufzaehlungdrei{Es ist
\mavergleichskettedisp
{\vergleichskette
{P+Q
}
{ =} { \sum_i { \left( a_i+b_i \right) } X^i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und somit ist unter Verwendung des Distributivgesetzes für $K$
\mavergleichskettealign
{\vergleichskettealign
{ (P+Q)(z)
}
{ =} { { \left( \sum_i { \left( a_i+b_i \right) } X^i \right) } (z)
}
{ =} { \sum_i { \left( a_i+b_i \right) } z^i
}
{ =} { \sum_i a_i z^i + \sum_i b_i z^i
}
{ =} { { \left( \sum_i a_iX^i \right) } (z) + { \left( \sum_i b_i X^i \right) } (z)
}
}
{
\vergleichskettefortsetzungalign
{ =} { P(z) +Q(z)
}
{ } {}
{ } {}
{ } {}
}
{}{.}
}{Es ist
\mavergleichskettedisp
{\vergleichskette
{ P \cdot Q
}
{ =} { \sum_k { \left( \sum_{i +j = k } a_i \cdot b_j \right) } X^k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und somit ist unter Verwendung des Distributivgesetzes und der Potenzgesetze für $K$
\mavergleichskettealign
{\vergleichskettealign
{ (P \cdot Q)(z)
}
{ =} { { \left( \sum_k { \left( \sum_{i +j = k } a_i \cdot b_j \right) } X^k \right) } (z)
}
{ =} { \sum_k { \left( \sum_{i +j = k } a_i \cdot b_j \right) } z^k
}
{ =} { \sum_{i,j} a_i \cdot b_j z^{i+j}
}
{ =} { { \left( \sum_i a_i z^i \right) } \cdot { \left( \sum_j b_j z^j \right) }
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \left( \sum_i a_iX^i \right) } (z) \cdot { \left( \sum_j b_j X^j \right) } (z)
}
{ =} { P(z) \cdot Q(z)
}
{ } {}
{ } {}
}
{}{.}
}{Für jedes konstante Polynom $a_0$ gilt
\mavergleichskette
{\vergleichskette
{a_0 (z)
}
{ = }{a_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
da nicht eingesetzt werden kann.
}
\zwischenueberschrift{Die Division mit Rest für Polynome}
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{.} Man sagt, dass ein Polynom
\mavergleichskette
{\vergleichskette
{ T
}
{ \in }{ K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Polynom
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionswort {teilt}{,}
wenn es ein Polynom
\mavergleichskette
{\vergleichskette
{ Q
}
{ \in }{ K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} { T Q
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt.
}
Wenn $P$ von $T$ geteilt wird, so sagt man auch, dass $P$ ein Vielfaches von $T$ ist. In
\mathl{K[X]}{} ist es, anders wie in einem Körper, aber ähnlich wie in $\Z$, nicht möglich, ein Element durch ein anderes Element $\neq 0$ zu teilen. Es gibt aber, wie bei $\Z$, einen wichtigen Ersatz dafür, die \stichwort {Division mit Rest} {.}
\inputfaktbeweis
{Polynomring_über_Körper/Eine_Variable/Division_mit_Rest/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $K$ ein
\definitionsverweis {Körper}{}{} und sei
\mathl{K[X]}{} der \definitionsverweis {Polynomring}{}{} über $K$. Es seien
\mavergleichskette
{\vergleichskette
{P,T
}
{ \in }{ K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Polynome mit
\mavergleichskette
{\vergleichskette
{T
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {Dann gibt es eindeutig bestimmte Polynome
\mavergleichskette
{\vergleichskette
{Q,R
}
{ \in }{ K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathdisp {P = T Q + R \text{ und mit } \operatorname{grad} \, (R) < \operatorname{grad} \, (T)
\text{ oder } R = 0} { . }
}
\faktzusatz {}
\faktzusatz {}
}
{
Wir beweisen die Existenzaussage durch Induktion über den
\definitionsverweis {Grad}{}{}
von $P$. Wenn der Grad von $T$ größer als der Grad von $P$ ist, so ist
\mathkor {} {Q=0} {und} {R=P} {}
eine Lösung, sodass wir dies nicht weiter betrachten müssen. Bei
\mavergleichskette
{\vergleichskette
{ \operatorname{grad} \, (P)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist nach der Vorbemerkung auch
\mavergleichskette
{\vergleichskette
{ \operatorname{grad} \, (TP)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also ist $T$ ein konstantes Polynom, und damit ist
\zusatzklammer {da
\mavergleichskettek
{\vergleichskettek
{T
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und $K$ ein Körper ist} {} {}
\mathkor {} {Q=P/T} {und} {R=0} {}
eine Lösung. Es sei nun
\mavergleichskette
{\vergleichskette
{ \operatorname{grad} \, (P)
}
{ = }{ n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und die Aussage für kleineren Grad schon bewiesen. Wir schreiben
\mathkor {} {P= a_nX^n + \cdots + a_1X+a_0} {und} {T= b_kX^k + \cdots + b_1X+b_0} {}
mit
\mathl{a_n, b_k \neq 0,\, k \leq n}{.} Dann gilt mit
\mavergleichskette
{\vergleichskette
{ H
}
{ = }{ { \frac{ a_n }{ b_k } } X^{n-k}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Beziehung
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ P'
}
{ \defeq} { P-TH
}
{ =} { 0X^n + { \left( a_{n-1} - \frac{a_n}{b_k} b_{k-1} \right) } X^{n-1} + \cdots + { \left( a_{n-k} - \frac{a_n}{b_k} b_{0} \right) } X^{n-k} + a_{n-k-1}X^{n-k-1} + \cdots + a_0
}
{ } {
}
{ } {
}
}
{}
{}{.}
Dieses Polynom $P'$ hat einen Grad kleiner als $n$ und darauf können wir die Induktionsvoraussetzung anwenden, d.h. es gibt
\mathkor {} {Q'} {und} {R'} {}
mit
\mathdisp {P' = T Q' + R' \text{ mit } \operatorname{grad} \, (R') < \operatorname{grad} \, (T)
\text{ oder } R' = 0} { . }
Daraus ergibt sich insgesamt
\mavergleichskettedisp
{\vergleichskette
{ P
}
{ =} { P'+TH
}
{ =} { TQ'+TH+R'
}
{ =} { T(Q'+H)+R'
}
{ } {}
}
{}{}{,}
sodass also
\mavergleichskette
{\vergleichskette
{ Q
}
{ = }{ Q'+H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ R'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Lösung ist.
\teilbeweis {}{}{}
{Zur Eindeutigkeit sei
\mavergleichskette
{\vergleichskette
{ P
}
{ = }{ TQ+R
}
{ = }{ TQ'+R'
}
{ }{
}
{ }{
}
}
{}{}{}
mit den angegebenen Bedingungen. Dann ist
\mavergleichskette
{\vergleichskette
{ T(Q-Q')
}
{ = }{ R'-R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Da die Differenz
\mathl{R'-R}{} einen Grad kleiner als
\mathl{\operatorname{grad} \, (T)}{} besitzt, ist aufgrund der Gradeigenschaften diese Gleichung nur bei
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ R'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ Q
}
{ = }{ Q'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
lösbar.}
{}
Das Polynom $T$ ist genau dann ein Teiler von $P$, wenn bei der Division mit Rest von $P$ durch $T$ der Rest gleich $0$ ist. Der Beweis des Satzes ist konstruktiv, d.h. es wird in ihm ein Verfahren beschrieben, mit der man die Division mit Rest berechnen kann. Dazu muss man die Rechenoperationen des Grundkörpers beherrschen. Wir geben dazu drei Beispiele, zwei über den rationalen Zahlen und eines über einem endlichen Körper.
\inputbeispiel{}
{
Wir führen die
\definitionsverweis {Polynomdivision}{}{}
\mathdisp {P= X^2+X+2 \text{ durch } T= X-5} { }
durch. Es wird also ein quadratisches Polynom durch ein lineares Polynom dividiert, d.h. der Quotient muss
vom Grad $1$ und der Rest muss vom Grad $0$ sein. Im ersten Schritt überlegt man, mit welchem Term man $T$ multiplizieren muss, damit das Produkt mit $P$ im Leitterm übereinstimmt. Das ist offenbar $X$. Das Produkt ist
\mavergleichskettedisp
{\vergleichskette
{X { \left( X-5 \right) }
}
{ =} { X^2-5X
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Differenz von $P$ zu diesem Produkt ist
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ X^2+X+2 - { \left( X^2 -5 X \right) }
}
{ =} { 6 X +2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Mit diesem Polynom, nennen wir es $P'$, setzen wir die Division durch $T$ fort. Um Übereinstimmung im Leitkoeffizienten zu erhalten, muss man $T$ mit $6$ multiplizieren, dies ergibt
\mathdisp {6 X -30} { . }
Die Differenz zu $P'$ ist somit
\mavergleichskettedisp
{\vergleichskette
{ 6 X +2 - { \left( 6X-30 \right) }
}
{ =} { 32
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies ist das Restpolynom und somit ist insgesamt
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ X^2+X+2
}
{ =} { { \left( X+6 \right) } { \left( X - 5 \right) } +32
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputbeispiel{}
{
Wir führen die
\definitionsverweis {Polynomdivision}{}{}
\mathdisp {P=6 X^3+X+1 \text{ durch } T= 3X^2+2X-4} { }
\zusatzklammer {über $\Q$} {} {}
durch. Es wird also ein Polynom vom Grad $3$ durch ein Polynom vom Grad $2$ dividiert, d.h. dass der Quotient und auch der Rest
\zusatzklammer {maximal} {} {}
vom Grad $1$ sind. Im ersten Schritt überlegt man, mit welchem Term man $T$ multiplizieren muss, damit das Produkt mit $P$ im Leitterm übereinstimmt. Das ist offenbar $2X$. Das Produkt ist
\mavergleichskettedisp
{\vergleichskette
{ 2X { \left( 3X^2+2X-4 \right) }
}
{ =} { 6X^3 +4 X^2 -8 X
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Differenz von $P$ zu diesem Produkt ist
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ 6 X^3+X+1 - { \left( 6X^3 +4 X^2 -8 X \right) }
}
{ =} { -4 X^2 +9X +1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Mit diesem Polynom, nennen wir es $P'$, setzen wir die Division durch $T$ fort. Um Übereinstimmung im Leitkoeffizienten zu erhalten, muss man $T$ mit
\mathl{{ \frac{ -4 }{ 3 } }}{} multiplizieren. Dies ergibt
\mavergleichskettedisp
{\vergleichskette
{- { \frac{ 4 }{ 3 } } T
}
{ =} { - { \frac{ 4 }{ 3 } } { \left( 3X^2 +2X-4 \right) }
}
{ =} { -4X^2 - { \frac{ 8 }{ 3 } } X + { \frac{ 16 }{ 3 } }
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Differenz zu $P'$ ist somit
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ -4 X^2 +9X +1 - { \left( -4X^2 - { \frac{ 8 }{ 3 } } X + { \frac{ 16 }{ 3 } } \right) }
}
{ =} { { \frac{ 35 }{ 3 } } X - { \frac{ 13 }{ 3 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies ist das Restpolynom und somit ist insgesamt
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ 6 X^3 +X + 1
}
{ =} { { \left( 3X^2 +2 X-4 \right) } { \left( 2X - { \frac{ 4 }{ 3 } } \right) } + { \frac{ 35 }{ 3 } } X - { \frac{ 13 }{ 3 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputbeispiel{}
{
Wir führen im endlichen Restklassenkörper
\mathl{\Z/(7)}{} die
\definitionsverweis {Polynomdivision}{}{}
\mathdisp {P= X^2+3X+5 \text{ durch } T= 3X+4} { }
durch. Es wird also ein quadratisches Polynom durch ein lineares Polynom dividiert, d.h. der Quotient muss
vom Grad $1$ und der Rest muss vom Grad $0$ sein. Im ersten Schritt überlegt man, mit welchem Term man $T$ multiplizieren muss, damit das Produkt mit $P$ im Leitterm übereinstimmt. Mit was muss man also $3$ in
\mathl{\Z/(7)}{} multiplizieren, um $1$ zu erhalten? Eine Schreibweise wie
\mathl{{ \frac{ 1 }{ 3 } }}{} ist hier wenig hilfreich, es muss ein Element aus
\mathl{\Z/(7)}{} sein. Wegen
\mavergleichskette
{\vergleichskette
{3 \cdot 5
}
{ = }{15
}
{ = }{1 \mod 7
}
{ }{
}
{ }{
}
}
{}{}{}
ist $5$ das inverse Element, man muss also mit $5X$ multiplizieren. Das Produkt ist
\mavergleichskettedisp
{\vergleichskette
{ 5X { \left( 3X+4 \right) }
}
{ =} { X^2 +6 X
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Differenz von $P$ zu diesem Produkt ist
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ X^2+3X+5 - { \left( X^2 +6 X \right) }
}
{ =} { 4 X +5
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Mit diesem Polynom, nennen wir es $P'$, setzen wir die Division durch $T$ fort. Um Übereinstimmung im Leitkoeffizienten zu erhalten, muss man $T$ mit $6$ multiplizieren, da ja
\mavergleichskette
{\vergleichskette
{3 \cdot 6
}
{ = }{18
}
{ = }{4 \mod 7
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Dies ergibt
\mathdisp {4 X + 3} { . }
Die Differenz zu $P'$ ist somit
\mavergleichskettedisp
{\vergleichskette
{ 4 X +5 - { \left( 4X+3 \right) }
}
{ =} { 2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies ist das Restpolynom und somit ist insgesamt
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ X^2+3X+5
}
{ =} { { \left( 5X+6 \right) } { \left( 3X +4 \right) } + 2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\zwischenueberschrift{Nullstellen}
Unter einer Nullstelle eines Polynoms $P$ versteht man ein
\mathl{a \in K}{} mit
\mathl{P(a)= 0}{.} Ein Polynom muss keine Nullstellen besitzen, ferner hängt dies vom Grund\-körper ab.
\inputfaktbeweis
{Polynomring (Körper)/Nullstellen/Linearer Faktor/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{} und sei
\mathl{K[X]}{} der \definitionsverweis {Polynomring}{}{} über $K$. Es sei
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{ K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Polynom und
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {Dann ist $a$ genau dann eine
\definitionsverweis {Nullstelle}{}{}
von $P$, wenn $P$ ein Vielfaches des linearen Polynoms
\mathl{X-a}{} ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Wenn $P$ ein Vielfaches von
\mathl{X-a}{} ist, so kann man
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {(X-a)Q
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einem weiteren Polynom $Q$ schreiben. Einsetzen ergibt
\mavergleichskettedisp
{\vergleichskette
{ P(a)
}
{ =} { (a-a) Q(a)
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{.}
Im Allgemeinen gibt es
aufgrund der Division mit Rest
eine Darstellung
\mavergleichskettedisp
{\vergleichskette
{ P
}
{ =} { (X-a)Q +R
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder aber den Grad $0$ besitzt, also so oder so eine Konstante ist. Einsetzen ergibt
\mavergleichskettedisp
{\vergleichskette
{ P(a)
}
{ =} { R
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn also
\mavergleichskette
{\vergleichskette
{ P(a)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, so muss der Rest
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein, und das bedeutet, dass
\mavergleichskette
{\vergleichskette
{ P
}
{ = }{ (X-a)Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
\inputfaktbeweis
{Polynomring (Körper)/Nullstellen/Anzahl/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{} und sei
\mathl{K[X]}{} der \definitionsverweis {Polynomring}{}{} über $K$. Es sei
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Polynom
\zusatzklammer {\mathlk{\neq 0}{}} {} {}
vom
\definitionsverweis {Grad}{}{}
$d$.}
\faktfolgerung {Dann besitzt $P$ maximal $d$ Nullstellen.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir beweisen die Aussage durch Induktion über $d$. Für
\mavergleichskette
{\vergleichskette
{ d
}
{ = }{ 0,1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Aussage offensichtlich richtig. Es sei also
\mavergleichskette
{\vergleichskette
{d
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und die Aussage sei für kleinere Grade bereits bewiesen. Es sei $a$ eine Nullstelle von $P$
\zusatzklammer {falls $P$ keine Nullstelle besitzt, sind wir direkt fertig} {} {.}
Dann ist
\mavergleichskette
{\vergleichskette
{ P
}
{ = }{ Q(X-a)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nach
Lemma 50.7
und $Q$ hat den Grad
\mathl{d-1}{,} sodass wir auf $Q$ die Induktionsvoraussetzung anwenden können. Das Polynom $Q$ hat also maximal
\mathl{d-1}{} Nullstellen. Für
\mavergleichskette
{\vergleichskette
{b
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskette
{\vergleichskette
{ P(b)
}
{ = }{ Q(b)(b-a)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dies kann nach
Fakt ***** (5)
nur dann $0$ sein, wenn einer der Faktoren $0$ ist, sodass eine Nullstelle von $P$ gleich $a$ ist oder aber eine Nullstelle von $Q$ ist. Es gibt also maximal $d$ Nullstellen von $P$.
\zwischenueberschrift{Der Interpolationssatz}
Der folgende Satz heißt \stichwort {Interpolationssatz} {} und beschreibt die Interpolation von vorgegebenen Funktionswerten durch Polynome.
\inputfaktbeweis
{Polynom/K/Interpolation/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und es seien $n$ verschiedene Elemente
\mavergleichskette
{\vergleichskette
{ a_1 , \ldots , a_n
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und $n$ Elemente
\mavergleichskette
{\vergleichskette
{ b_1 , \ldots , b_n
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben.}
\faktfolgerung {Dann gibt es ein eindeutiges Polynom
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{ K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vom Grad
\mathl{\leq n-1}{} derart, dass
\mavergleichskette
{\vergleichskette
{ P { \left( a_i \right) }
}
{ = }{ b_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle $i$ ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir beweisen die Existenz und betrachten zuerst die Situation, wo
\mavergleichskette
{\vergleichskette
{b_j
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist für alle
\mavergleichskette
{\vergleichskette
{j
}
{ \neq }{i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für ein festes $i$. Dann ist
\mathdisp {(X-a_1) \cdots (X-a_{i-1}) (X-a_{i+1}) \cdots (X-a_n)} { }
ein Polynom vom Grad $n-1$, das an den Stellen
\mathl{a_1 , \ldots , a_{i-1}, a_{i+1} , \ldots , a_n}{} den Wert $0$ hat. Das Polynom
\mathdisp {{ \frac{ b_i }{ (a_i-a_1) \cdots (a_{i}-a_{i-1}) (a_{i} -a_{i+1}) \cdots (a_i-a_n) } } (X-a_1) \cdots (X-a_{i-1}) (X-a_{i+1}) \cdots (X-a_n)} { }
hat an diesen Stellen ebenfalls eine Nullstelle, zusätzlich aber noch bei $a_i$ den Wert $b_i$. Nennen wir dieses Polynom $P_i$. Dann ist
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {P_1 + P_2 + \cdots + P_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
das gesuchte Polynom. An der Stelle $a_i$ gilt ja
\mavergleichskettedisp
{\vergleichskette
{ P_j(a_i)
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{j
}
{ \neq }{i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ P_i(a_i)
}
{ = }{b_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Eindeutigkeit folgt aus Korollar 50.8.
\inputbemerkung
{}
{
Wenn die Daten
\mathl{a_1 , \ldots , a_n}{} und
\mathl{b_1 , \ldots , b_n}{} gegeben sind, so findet man das interpolierende Polynom $P$ vom Grad $\leq n-1$, das es nach
Satz 50.9
geben muss, folgendermaßen: Man macht den Ansatz
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {c_0+c_1X +c_2X^2 + \cdots + c_{n-2}X^{n-2}+c_{n-1}X^{n-1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und versucht die unbekannten Koeffizienten
\mathl{c_0 , \ldots , c_{n-1}}{} zu bestimmen. Jeder Interpolationspunkt
\mathl{(a_i,b_i)}{} führt zu einer linearen Gleichung
\mavergleichskettedisp
{\vergleichskette
{ c_0+c_1a_i +c_2a_i^2 + \cdots + c_{n-2} a_i^{n-2}+c_{n-1} a_i^{n-1}
}
{ =} { b_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
über $K$. Das entstehende lineare Gleichungssystem besitzt genau eine Lösung
\mathl{(c_0 , \ldots , c_{n-1})}{,} die das Polynom festlegt.
}
\zwischenueberschrift{Rationale Funktionen}
Der Polynomring
\mathl{K[X]}{} ist ein kommutativer Ring, aber kein Körper. Man kann aber mit Hilfe von formal-rationalen Funktionen einen Körper konstruieren, der den Polynomring enthält, ähnlich wie man aus $\Z$ die rationalen Zahlen $\Q$ konstruieren kann. Dazu definiert man
\mavergleichskettedisp
{\vergleichskette
{ K(X)
}
{ \defeq} { { \left\{ \frac{P}{Q} \mid P, Q \in K[X] , \, Q \neq 0 \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei man wie bei $\Q$ zwei Brüche
\mathkor {} {\frac{P}{Q}} {und} {\frac{P'}{Q'}} {}
miteinander identifiziert, wenn
\mavergleichskettedisp
{\vergleichskette
{PQ'
}
{ =} {P'Q
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist. Auf diese Weise entsteht der \stichwort {Körper der rationalen Funktionen} {}
\zusatzklammer {über $K$} {} {.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Function-1_x.svg} }
\end{center}
\bildtext {Man kann Brüche $P/Q$ von Polynomen als Funktionen auffassen, die außerhalb der Nullstellen des Nenners definiert sind. Das Beispiel zeigt den Graphen der rationalen Funktion $1/X$.} }
\bildlizenz { Function-1 x.svg } {} {Qualc1} {Commons} {CC-by-sa 3.0} {}
Einen formalen Ausdruck
\mathl{P/Q}{} kann man in folgender Weise wieder als eine Funktion auffassen.
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{.}
Zu
\definitionsverweis {Polynomen}{}{}
\mathbed {P,Q \in K [X]} {}
{Q \neq 0} {}
{} {} {} {,}
heißt die
\definitionsverweis {Funktion}{}{}
\maabbeledisp {} {D} { K
} {x} { { \frac{ P(x) }{ Q(x) } }
} {,}
wobei
\mavergleichskette
{\vergleichskette
{D
}
{ \subseteq }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das
\definitionsverweis {Komplement}{}{}
der
\definitionsverweis {Nullstellen}{}{}
von $Q$ ist, eine \definitionswort {rationale Funktion}{.}
}
Die nach den Polynomfunktionen einfachsten Funktionen sind die rationalen Funktionen.
| << | Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil II | >> |
|---|