www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Uni-Sonstiges" - Polynomdivision, Beweis
Polynomdivision, Beweis < Sonstiges < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Polynomdivision, Beweis: Frage
Status: (Frage) beantwortet Status 
Datum: 01:50 Mo 11.07.2005
Autor: Phoeby

Hallo liebe Mathematikbegeisterte... ;-)

Hab da eine Frage zum Beweis der "Existenz" der polynomdivision mit Rest.
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.

Sei K ein kommutativer Ring und sei g normiertes Polynom  ("unitary polynomial") mit einer Unbestimmten mit Koeffizienten aus K.
Für jedes Polynom f Element K[X] gibt es Polynome q,r Elem. K[X] so, dass f=gq+r,   d°(r)<d°(g), und dass q und r eindeutig bestimmt.

Ich hab jetzt schon gezeigt, dass es mindestens ein q und r so geben muss.
Und beim Beweis, dass es höchstens ein q und r so geben kann sagt mein schlaues Buch
f = gq'+r' = gq''+r''    mit  d°(r')<d°(g) und d°(r'')<d°(g)   (*)

folgt g(q'-q'')=r''-r'

also genügt zu zeigen dass q'=q''

wegen (*) gilt: d°(r''-r')<d°(g)

Und q'=q'' folgt aus dem Lemma:

Sei g normiertes Polynom (unitary polynomial) und q kein Nullpolynom.
Dann:
         d°(gq) = d°(g) + d°(q) >= d°(g)

(>= soll größer/gleich heißen)


Und ich frag mich, wieso aus dem Lemma folgt, dass q'=q''?????

Lange Rede, kurze Frage. Ich wäre für eine Antwort sehr dankbar!

        
Bezug
Polynomdivision, Beweis: Antwort
Status: (Antwort) fertig Status 
Datum: 02:05 Mo 11.07.2005
Autor: Marc

Hallo Phoebs!

[willkommenmr]
  

> Hab da eine Frage zum Beweis der "Existenz" der
> polynomdivision mit Rest.
>  Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.
>  
> Sei K ein kommutativer Ring und sei g invertierbares
> Polynom mit einer unbestimmten mit Koeffizienten aus K.
>  Für jedes Polynom f Element K[X] gibt es Polynome q,r
> Elem. K[X] so, dass f=gq+r,   d°(r)<d°(g), und dass q und r
> eindeutig bestimmt.
>  
> Ich hab jetzt schon gezeigt, dass es mindestens ein q und r
> so geben muss.
>  Und beim Beweis, dass es höchstens ein q und r so geben
> kann sagt mein schlaues Buch
>  f = gq'+r' = gq''+r''    mit  d°(r')<d°(g) und
> d°(r'')<d°(g)   (*)
>  
> folgt g(q'-q'')=r''-r'
>  
> also genügt zu zeigen dass q'=q''
>  
> wegen (*) gilt: d°(r''-r')<d°(g)
>  
> Und q'=q'' folgt aus dem Lemma:
>  
> Sei g normiertes Polynom (unitary polynomial) und q kein
> Nullpolynom.
> Dann:
> d°(gq) = d°(g) + d°(q) >= d°(g)
>  
> (>= soll größer/gleich heißen)
>  
>
> Und ich frag mich, wieso aus dem Lemma folgt, dass
> q'=q''?????

Ich habe den Beweis nun nicht detailiert verfolgt, aber da steht doch der Widerspruch:

g(q'-q'')=r''-r'

=> d°(g(q'-q'')) = d°(r''-r')    

=> d°(g) <= d°(g(q'-q'')) = d°(r''-r')  < d°(g)

Die erste Ungleichung ist gerade das Lemme, angewendet auf g(q'-q''), die zweite Ungleichung ist die Folgerung aus (*), siehe oben.

=> d°(g) < d°(g)

Ich hoffe, das hilft dir schon weiter.

Viele Grüße,
Marc

Bezug
                
Bezug
Polynomdivision, Beweis: trotzdem Frage
Status: (Frage) beantwortet Status 
Datum: 02:26 Mo 11.07.2005
Autor: Phoeby

vielen Dank erstmal für die schnelle Antwort.

nee, da darf sich eigentlich garnix widersprechen.
in dem Theorem

> > Sei K ein kommutativer Ring und sei g invertierbares
> > Polynom mit einer unbestimmten mit Koeffizienten aus K.
>  >  Für jedes Polynom f Element K[X] gibt es Polynome q,r
> > Elem. K[X] so, dass f=gq+r,   d°(r)<d°(g), und dass q und r
> > eindeutig bestimmt

gilt (bzw soll gelten)
f = gq + r              mit d°(r) < d°(g)
also wenn man f durch g teilt, erhält man q und einen Rest r, wobei der Grad des Polynoms r kleiner dem von  g ist. logisch.
und ich muss zeigen, dass es maximal ein q und ein r so gibt.

>  >  f = gq'+r' = gq''+r''    mit  d°(r')<d°(g) und
> > d°(r'')<d°(g)   (*)
>  >  
> > folgt g(q'-q'')=r''-r'
>  >  
> > also genügt zu zeigen dass q'=q''
>  >  
> > wegen (*) gilt: d°(r''-r')<d°(g)
>  >  
> > Und q'=q'' folgt aus dem Lemma:
>  >  
> > Sei g normiertes Polynom (unitary polynomial) und q kein
> > Nullpolynom.
> > Dann:
> > d°(gq) = d°(g) + d°(q) >= d°(g)
>  >  
> > (>= soll größer/gleich heißen)
>  >  
> >
> > Und ich frag mich, wieso aus dem Lemma folgt, dass
> > q'=q''?????

Du schreibst:

> g(q'-q'')=r''-r'
>  
> => d°(g(q'-q'')) = d°(r''-r')    

irgendwie denk ich auch, dass das folgen müsste, aber is das sicher? dann müsste aber d°(q'-q'')<0 sein, weil ja d°(g)>d°(r''-r')
->???

und die Hauptfrage ist, wieso folgt aus dem Lemma dass q'=q''?

Bezug
                        
Bezug
Polynomdivision, Beweis: Antwort
Status: (Antwort) fertig Status 
Datum: 02:35 Mo 11.07.2005
Autor: Marc

Hallo Phoeby,

> vielen Dank erstmal für die schnelle Antwort.
>  
> nee, da darf sich eigentlich garnix widersprechen.

Doch, ich widerpsreche zum zweiten Mal ;-)

>  in dem Theorem
> > > Sei K ein kommutativer Ring und sei g invertierbares
> > > Polynom mit einer unbestimmten mit Koeffizienten aus K.
>  >  >  Für jedes Polynom f Element K[X] gibt es Polynome
> q,r
> > > Elem. K[X] so, dass f=gq+r,   d°(r)<d°(g), und dass q und r
> > > eindeutig bestimmt
>  
> gilt (bzw soll gelten)
>  f = gq + r              mit d°(r) < d°(g)
>  also wenn man f durch g teilt, erhält man q und einen Rest
> r, wobei der Grad des Polynoms r kleiner dem von  g ist.
> logisch.
>  und ich muss zeigen, dass es maximal ein q und ein r so
> gibt.
>
> >  >  f = gq'+r' = gq''+r''    mit  d°(r')<d°(g) und

> > > d°(r'')<d°(g)   (*)
>  >  >  
> > > folgt g(q'-q'')=r''-r'
>  >  >  
> > > also genügt zu zeigen dass q'=q''
>  >  >  
> > > wegen (*) gilt: d°(r''-r')<d°(g)
>  >  >  
> > > Und q'=q'' folgt aus dem Lemma:
>  >  >  
> > > Sei g normiertes Polynom (unitary polynomial) und q kein
> > > Nullpolynom.
> > > Dann:
> > > d°(gq) = d°(g) + d°(q) >= d°(g)
>  >  >  
> > > (>= soll größer/gleich heißen)
>  >  >  
> > >
> > > Und ich frag mich, wieso aus dem Lemma folgt, dass
> > > q'=q''?????
>  
> Du schreibst:
>  > g(q'-q'')=r''-r'

>  >  
> > => d°(g(q'-q'')) = d°(r''-r')    
> irgendwie denk ich auch, dass das folgen müsste, aber is
> das sicher?

Doch das ist sicher, da g(q'-q'')=r''-r' doch bedeutet, dass es sich um dasselbe Polynome handelt. Also müssen auch die Grade übereinstimmen.

> dann müsste aber d°(q'-q'')<0 sein, weil ja
> d°(g)>d°(r''-r')
>  ->???
>  
> und die Hauptfrage ist, wieso folgt aus dem Lemma dass
> q'=q''?

Das Lemma gilt ja nur, falls das q kein Nullpolynom ist.

Also wurde angenommen, dass q:=q'-q'' kein Nullpolynom ist, dann folgt aus der Anwendung des Lemmas der in meiner vorherigen Antwort gezeigte Widerspruch. Also ist q'-q''=0.

Viele Grüße,
Marc

Bezug
                                
Bezug
Polynomdivision, Beweis: noch ne Frage
Status: (Frage) beantwortet Status 
Datum: 02:49 Mo 11.07.2005
Autor: Phoeby

ach sooo, na sag's doch gleich ;o)
(irgendwie war klar es kann nur was ganz kleines logisches sein, aber ich kam grad einfach net drauf... wie is das mit den "women who are tired"?!? ;-) )

wenn ich gleich nochwas fragen dürfte:
hast Du zufällig auch eine Ahnung, was "unitary polynomial" genau übersetzt heißt? normiertes Polynom?? Einheits-polynom??
Jedenfalls ist dessen Haufkoeffizient immer "a unit"... also immer eins?!

Vielen vielen Dank jedenfalls schonmal...

Bezug
                                        
Bezug
Polynomdivision, Beweis: Antwort
Status: (Antwort) fertig Status 
Datum: 03:11 Mo 11.07.2005
Autor: Marc

Hallo Phoeby,

> ach sooo, na sag's doch gleich ;o)
>  (irgendwie war klar es kann nur was ganz kleines logisches
> sein, aber ich kam grad einfach net drauf... wie is das mit
> den "women who are tired"?!? ;-) )

... or rested -- macht also keinen Unterschied ;-)
  

> wenn ich gleich nochwas fragen dürfte:
>  hast Du zufällig auch eine Ahnung, was "unitary
> polynomial" genau übersetzt heißt? normiertes Polynom??
> Einheits-polynom??
>  Jedenfalls ist dessen Haufkoeffizient immer "a unit"...
> also immer eins?!

Ja, so würde ich das auch übersetzen.
Ein normiertes Polynom ist jedenfalls eines, dessen "höchster" Koeffizient [mm] $b_m=1$ [/mm] ist: [mm] $g=1*x^m+b_{m-1}x^{m-1}+\ldots$ [/mm]
Dass g in dem Beweis normiert ist, erspart einem etwas Schreibarbeit, ist aber keine Einschränkung der Allgemeinheit, da man andernfalls einfach die Polynome [mm] $f/b_m$ [/mm] und [mm] $g/b_m$ [/mm] betrachtet.
  
Viele Grüße an Joey,
Marc

Bezug
                                                
Bezug
Polynomdivision, Beweis: Danke
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 03:26 Mo 11.07.2005
Autor: Phoeby

vielen vielen Dank!

Du bist der Held der Nacht! :o)
Gute Nacht!

*phoeby*

welche Joey?
Ich kenn nur Joey Potter ;-)

Bezug
                                                        
Bezug
Polynomdivision, Beweis: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 03:50 Mo 11.07.2005
Autor: Marc

Hallo Phoeby,

> welche Joey?
>  Ich kenn nur Joey Potter ;-)

oh, die würde ich auch gerne kennen, aber sie muss erst noch ihre Verirrung mit Jerry Maguire durchstehen...

Ich meinte aber Joey Tribbiani, weil ich dachte, du wärst Phoebe Buffay...

Gute Nacht,
Marc

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]