Bedeutung und Verwendung der Resultante |
11.02.2017, 15:42 | Shalec | Auf diesen Beitrag antworten » | ||
Bedeutung und Verwendung der Resultante heute mal ein anderes Thema, was vermutlich bereits an vielen Schulen auf Basisniveau durchgekaut wird. Was bedeutet die Resultante zweier Polynome? Zunächst die Definition anhand der Literatur [1, S. 119, Def. 3.3.2] oder dem Internet [2]. -------------------------------------------------------- 1. Definition: Resultante -------------------------------------------------------- Seien Polynome vom Grad . Weiter seien mit und für alle und gegeben. Dann lassen sich f und g als Zerlegung über schreiben als: und . Die Resultante von f und g ist dann durch eine der folgenden äquivalenten Formeln definiert: ----------------------------------------------------------------------------------------------------------------------- Auf Wikipedia [2] steht in der Einleitung, dass
Dies ist soweit erstmal klar und nachvollziehbar. Ist Res(f,g)=0, existiert mindestens eine gemeinsame Nullstelle. Aber: Ist der Rechenaufwand für diese Erkenntnis nicht zu groß? Welche anderen Aussagen kann ich aus der Resultante gewinnen, wenn ich g=f' z.B. betrachte? --------------------------- Literatur --------------------------- [1] Henri Cohen, A course in computational algebraic number theory, Graduate Texts in Mathematics, 138. Berlin: Springer, 1993. [2] https://de.wikipedia.org/wiki/Resultante |
||||
11.02.2017, 17:35 | IchWeißNicht | Auf diesen Beitrag antworten » | ||
Hi, eine äquivalente Definition der Resultante, die nicht auf den Nullstellen von in basiert, ist, dass die Resultante die Determinante der folgenden Matrix mit Einträgen in ist: Schreibe sowie mit , dann gilt Es stimmt, dass man anhand der Resultante ablesen kann, ob in eine gemeinsame Nullstelle besitzen. Man kann natürlich aber sogar herausfinden, ob in einen gemeinsamen Faktor besitzen. In der Praxis ist es oft sehr schwierig einen gemeinsamen Faktor von zwei Polynomen explizit zu berechnen, da du im Endeffekt (zu einem Teil) die Zerlegung in irreduzible Faktoren der beiden Polynome brauchst. Dass das Finden dieser schwierig ist, brauch ich vermutlich nicht sagen (schon das Faktorisieren von großen ganzen Zahlen ist eine höchst nichttriviale Aufgabe). Manchmal braucht man aber nur, dass ein gemeinsamer Faktor existiert und muss den Faktor nicht explizit bestimmen. In dem Setup was du gegeben hast, d.h. , kann man da einfach den euklidischen Algorithmus nutzen. Die ganze Betrachtung mit der Resultante funktioniert aber auch, wenn durch einen faktoriellen Ring ersetzt wird, d.h. , und da liefert die Resultante eben eine mehr oder weniger gute (d.h. mit vertretbarem Aufwand durchführbare) Methode, um festzustellen, ob zwei Polynome einen gemeinsamen Faktor besitzen. Man muss eben nur die Determinante einer Matrix berechnen. Um deine restlichen Fragen zu beantworten: 1) Ist , so nennt man die Diskriminante von . Diese sollte aus der Schule schon für quadratische Polynome bekannt sein. Kleine Aufgabe für dich: Ist mit , berechne die Diskriminante von . Ein elementares Lemma aus der Algebra besagt, dass quadratfrei ist genau dann, wenn keinen gemeinsamen Faktor haben (das kannst du auch versuchen zu beweisen). D.h. die Diskriminante gibt genau an, ob quadratfrei ist. 2) Die wichtigste Anwendung der Resultante ist meiner Meinung nach für den Satz von Bézout für ebene algebraische Kurven über den komplexen Zahlen. Das hier auszuführen würde aber zu lang dauern, wenn du konkrete Fragen dazu hast, kann ich dir aber gerne versuchen dabei zu helfen. |
||||
11.02.2017, 17:42 | IchWeißNicht | Auf diesen Beitrag antworten » | ||
In der letzten Zeile der Matrix oben soll es natürlich heißen. |
||||
11.02.2017, 20:00 | Shalec | Auf diesen Beitrag antworten » | ||
Hey, danke für den ausführlichen Ausflug über faktorielle Ringe und der Veranschaulichung an dem Faktorisierungsproblem. Dadurch sehe ich schon besser den Aussagegehalt der Resultante. Ich kenne natürlich die Diskriminante für quadratische und kubische Polynome, aber auch hier scheiden sich ja die Geister. Nehmen wir mal die Diskriminante der elliptischen Kurven in kurzer Weistraßform in Körpern K der Charakteristik als Beispiel: Einige definieren andere lassen gerne den Faktor -16 weg. Bei quadratischen Polynomen hingegen gibt es auch verschiedene Darstellungen. Wenn man die allgemeine Lösung nach der Mitternachts- (bzw. pq-) Formel betrachtet, hat man ja oder eben ohne den Nenner als Diskriminante definiert. Ich werde das Aber durchaus nochmal nachrechnen (anhand der Definition der Resultante), nur um zu sehen, dass es auch stimmt Nochmal zu deinem Ausflug zurück: Wenn man dann einen Faktor besitzt, führt man dann diese Operation so lange durch, bis man alle Faktoren kennt? (Bis ein schnellerer Weg anwendbar ist..) Wenn man nur an einem Faktor interessiert ist, in welchem Kontext wird nur einer gebraucht? Test nach Irreduzibilität? Viele Grüße und Danke |
||||
12.02.2017, 22:40 | IchWeißNicht | Auf diesen Beitrag antworten » | ||
Bei der Resultante findet man die Faktoren nicht heraus, man findet nur heraus, ob ein gemeinsamer Faktor existiert. Z.B. könnte man daran interessiert sein, die Anzahl der Schnittpunkte von zwei ebenen algebraischen Kurven (über den komplexen Zahlen) zu beschränken. Wenn ich schon weiß, dass die beiden Kurven keinen gemeinsamen Faktor haben (was ich über einige Rechnungen mit der Resultante in Erfahrung bringen kann), dann gibt mir der Satz von Bézout Aufschluss. |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |