matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Hochschulmathe
  Status Uni-Analysis
    Status Reelle Analysis
    Status UKomplx
    Status Uni-Kompl. Analysis
    Status Differentialgl.
    Status Maß/Integrat-Theorie
    Status Funktionalanalysis
    Status Transformationen
    Status UAnaSon
  Status Uni-Lin. Algebra
    Status Abbildungen
    Status ULinAGS
    Status Matrizen
    Status Determinanten
    Status Eigenwerte
    Status Skalarprodukte
    Status Moduln/Vektorraum
    Status Sonstiges
  Status Algebra+Zahlentheo.
    Status Algebra
    Status Zahlentheorie
  Status Diskrete Mathematik
    Status Diskrete Optimierung
    Status Graphentheorie
    Status Operations Research
    Status Relationen
  Status Fachdidaktik
  Status Finanz+Versicherung
    Status Uni-Finanzmathematik
    Status Uni-Versicherungsmat
  Status Logik+Mengenlehre
    Status Logik
    Status Mengenlehre
  Status Numerik
    Status Lin. Gleich.-systeme
    Status Nichtlineare Gleich.
    Status Interpol.+Approx.
    Status Integr.+Differenz.
    Status Eigenwertprobleme
    Status DGL
  Status Uni-Stochastik
    Status Kombinatorik
    Status math. Statistik
    Status Statistik (Anwend.)
    Status stoch. Analysis
    Status stoch. Prozesse
    Status Wahrscheinlichkeitstheorie
  Status Topologie+Geometrie
  Status Uni-Sonstiges

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 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
StartseiteMatheForenUni-SonstigesPolynomdivision, Beweis
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
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 ^
www.unimatheforum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]