פונקציה אלגברית

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

במתמטיקה, פונקציה אלגברית היא פונקציה שניתן להגדיר כשורש של משוואה פולינומית. לעיתים קרובות למדי פונקציות אלגבריות הן ביטויים אלגבריים המשתמשים במספר סופי של מונחים, הכוללים רק את הפעולות האלגבריות חיבור, חיסור, כפל, חילוק והעלאה לחזקת שבר. דוגמאות לפונקציות כאלה הן:

עם זאת, לא ניתן לבטא כמה פונקציות אלגבריות על ידי ביטויים סופיים כאלה (זהו משפט הבל-רופיני). זה המקרה, למשל, עבור רדיקל ברינג, שהוא הפונקציה המוגדרת במרומז על ידי

.

במונחים מדויקים יותר, פונקציה אלגברית של תואר n במשתנה אחד x היא פונקציה שהיא רציפה בתחום שלה ומקיימת פולינום משוואה

כאשר המקדמים ai(x) הם פונקציות פולינומיות של x, עם מקדמים שלמים. ניתן להראות שאותה מחלקה של פונקציות מתקבלת אם מקבלים מספרים אלגבריים עבור המקדמים של ה-ai(x). אם מספרים טרנסצנדנטליים מתרחשים במקדמים, הפונקציה היא, באופן כללי, לא אלגברית, אבל היא אלגברית על פני השדה שנוצר על ידי מקדמים אלה.

הערך של פונקציה אלגברית במספר רציונלי, ובאופן כללי יותר, במספר אלגברי הוא תמיד מספר אלגברי. לפעמים, נחשבים מקדמים ai(x) שהם פולינום מעל טבעת R, ואז מדברים על "פונקציות אלגבריות מעל R".

פונקציה שאינה אלגברית נקראת פונקציה טרנסנדנטלית, כפי שהיא למשל המקרה של . הרכב של פונקציות טרנסצנדנטליות יכול לתת פונקציה אלגברית: .

מכיוון שלמשוואה פולינומית בדרגה n יש עד n שורשים (ובדיוק n שורשים מעל שדה סגור אלגברית, כמו המספרים המרוכבים), משוואת פולינום אינה מגדירה באופן מרומז פונקציה בודדת, אלא עד n פונקציות, הנקראות לפעמים גם ענפים. קחו למשל את המשוואה של מעגל היחידה: , זה קובע את y, אלא רק עד סימן כולל; בהתאם, יש לו שני ענפים: . פונקציה אלגברית ב-m משתנים מוגדרת באופן דומה כפונקציה אשר פותר משוואה פולינומית בm + 1 משתנים :

בדרך כלל ההנחה היא ש-p צריך להיות פולינום בלתי ניתן לצמצום. קיומה של פונקציה אלגברית מובטח אז על ידי משפט הפונקציות המרומזות.

באופן פורמלי, פונקציה אלגברית ב-m משתנים מעל השדה K היא מרכיב של הסגירה האלגברית של שדה הפונקציות הרציונליות K(x1, ..., xm).

לקריאה נוספת

  • בן ציון קון וסמי זעפרני, חדו"א 1, הוצאת בק ספרי לימוד,


Logo hamichlol 3.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0