רזולטנט
באלגברה, רֶזוּלטַנט הוא שמו של מדד מספרי המחושב משני פולינומים נתונים, ומתאר את הקשר בין השורשים שלהם, בדרך המכלילה את הדיסקרימיננטה.
יהיו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x) = a_n x^n + \dots + a_0} ו- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle g(x) = b_m x^m + \dots + b_0} שני פולינומים מעל שדה F. הרזולטנט שלהם מוגדר כדטרמיננטה של המטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (n+m)\times (n+m)} ש-m שורותיה הראשונות הן ההזזות של הווקטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a_n,a_{n-1},\dots,a_0)} , ו-n שורותיה האחרונות הן הזזות של הווקטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (b_m,b_{m-1},\dots,b_0)} (עם אפסים בכל מקום אחר).
נניח שהמקדם המוביל של f אינו אפס. לפולינומים f,g יש גורם משותף אם ורק אם הפולינומים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f, xf, \dots, x^{m-1}f, g, xg, \dots, x^{n-1}g} תלויים ליניארית. מכאן נובע שיש שורש משותף (בשדה פיצול משותף לשני הפולינומים) אם ורק אם הרזולטנט של f,g הוא אפס. למעשה,
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \operatorname{Res}(f,g) = a_n^m b_m^n \prod_{i,j}(x_i-y_j) = a_n^m \prod_i g(x_i) = b_m^n \prod_j f(y_j)} ,
כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_1,\dots,x_n} הם השורשים של f, ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y_1,\dots,y_m} הם השורשים של g.
מחוק קרמר נובע שהרזולטנט של פולינומים מעל שדה שייך לאידיאל שהם יוצרים בחוג הפולינומים מעל השדה. אם מקדמי הפולינומים שייכים לתחום שלמות D, גם הרזולטנט הוא איבר באותו תחום שלמות. תכונה זו מאפשרת לרזולטנט לטפל גם בפולינומים בכמה משתנים.
הדיסקרימיננטה של פולינום מתקבלת מן הנוסחה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \operatorname{Res}(f,f') = (-1)^{n(n-1)/2} a_n \Delta(f)} .
ברזולטנט אפשר להשתמש כדי לפתור את בעיית הפירוש (Implicitization) של עקום פרמטרי מישורי: נתון העקום הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_1 = f_1(t),\ x_2 = f_2(t)} , כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f_1,\,f_2} פולינומים. מהי המשוואה הפולינומית שאותה מקיימים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ (x_1,x_2)} ? התשובה היא הרזולטנט של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_1 - f_1(t), x_2-f_2(t)} ביחס למשתנה t (אותו פתרון נכון גם כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f_1,f_2} פונקציות רציונליות, על ידי כפל במכנה המשותף). כאשר מדובר בעקום במרחב רב-ממדי, היחסים האלגבריים בין ה-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_i} מתקבלים מניפוי t באידיאל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \langle x_1-f_1(t),\dots,x_n-f_n(t)\rangle} באמצעות בסיס גרובנר.
ראו גם
קישורים חיצוניים
רזולטנט23771581