פונקציה אלגברית
במתמטיקה, פונקציה אלגברית היא פונקציה שניתן להגדיר כשורש של משוואה פולינומית. לעיתים קרובות למדי פונקציות אלגבריות הן ביטויים אלגבריים המשתמשים במספר סופי של מונחים, הכוללים רק את הפעולות האלגבריות חיבור, חיסור, כפל, חילוק והעלאה לחזקת שבר. דוגמאות לפונקציות כאלה הן:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x) = 1/x}
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x) = \sqrt{x}}
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x) = \frac{\sqrt{1 + x^3}}{x^{3/7} - \sqrt{7} x^{1/3}}}
עם זאת, לא ניתן לבטא כמה פונקציות אלגבריות על ידי ביטויים סופיים כאלה (זהו משפט הבל-רופיני). זה המקרה, למשל, עבור רדיקל ברינג, שהוא הפונקציה המוגדרת במרומז על ידי
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)^5+f(x)+x = 0} .
במונחים מדויקים יותר, פונקציה אלגברית של תואר n במשתנה אחד x היא פונקציה שהיא רציפה בתחום שלה ומקיימת פולינום משוואה
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n(x)y^n+a_{n-1}(x)y^{n-1}+\cdots+a_0(x)=0} כאשר המקדמים ai(x) הם פונקציות פולינומיות של x, עם מקדמים שלמים. ניתן להראות שאותה מחלקה של פונקציות מתקבלת אם מקבלים מספרים אלגבריים עבור המקדמים של ה-ai(x). אם מספרים טרנסצנדנטליים מתרחשים במקדמים, הפונקציה היא, באופן כללי, לא אלגברית, אבל היא אלגברית על פני השדה שנוצר על ידי מקדמים אלה.
הערך של פונקציה אלגברית במספר רציונלי, ובאופן כללי יותר, במספר אלגברי הוא תמיד מספר אלגברי. לפעמים, נחשבים מקדמים ai(x) שהם פולינום מעל טבעת R, ואז מדברים על "פונקציות אלגבריות מעל R".
פונקציה שאינה אלגברית נקראת פונקציה טרנסנדנטלית, כפי שהיא למשל המקרה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \exp x, \tan x, \ln x, \Gamma(x)} . הרכב של פונקציות טרנסצנדנטליות יכול לתת פונקציה אלגברית: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)=\cos \arcsin x = \sqrt{1-x^2}} .
מכיוון שלמשוואה פולינומית בדרגה n יש עד n שורשים (ובדיוק n שורשים מעל שדה סגור אלגברית, כמו המספרים המרוכבים), משוואת פולינום אינה מגדירה באופן מרומז פונקציה בודדת, אלא עד n פונקציות, הנקראות לפעמים גם ענפים. קחו למשל את המשוואה של מעגל היחידה: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y^2+x^2=1.\,} , זה קובע את y, אלא רק עד סימן כולל; בהתאם, יש לו שני ענפים: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y=\pm \sqrt{1-x^2}.\,} . פונקציה אלגברית ב-m משתנים מוגדרת באופן דומה כפונקציה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y=f(x_1,\dots ,x_m)} אשר פותר משוואה פולינומית בm + 1 משתנים :
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle p(y,x_1,x_2,\dots,x_m) = 0.}
בדרך כלל ההנחה היא ש-p צריך להיות פולינום בלתי ניתן לצמצום. קיומה של פונקציה אלגברית מובטח אז על ידי משפט הפונקציות המרומזות.
באופן פורמלי, פונקציה אלגברית ב-m משתנים מעל השדה K היא מרכיב של הסגירה האלגברית של שדה הפונקציות הרציונליות K(x1, ..., xm).
לקריאה נוספת
- בן ציון קון וסמי זעפרני, חדו"א 1, הוצאת בק ספרי לימוד,
34662248פונקציה אלגברית