פולינום הומוגני

במתמטיקה, ובפרט באלגברה, פולינום הומוגני הוא פולינום שהוא גם פונקציה הומוגנית.

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

 הגדרה 
בהינתן חוג חילופי , מספרים טבעיים  ופולינום  מהצורה

 ייקרא פולינום הומוגני מדרגה  אם ורק אם הוא מקיים את אחד התנאים השקולים הבאים:

  היא פונקציה הומוגנית מדרגה . כלומר, לכל  מתקיים ש-.
 לכל  מתקיים ש-. כלומר, הדרגה של כל מונום מאיברי הפולינום היא .

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

לעיתים פולינומים הומוגניים נקראים גם תבנית פולינומית.

 דוגמאות 

הפולינום  הוא פולינום הומוגני מדרגה 2 שכן:
 .

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

 תכונות 

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

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

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

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

איזומורפיזם זה  הוא כך שלכל  ולכל :

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

משמע,  הוא אכן פולינום הומוגני מדרגה , כנדרש.

ניתן לשחזר את הפונקציה המקורית  מתוך  על ידי הצבת :

.

 דוגמה 
בהינתן הפולינום הכללי:

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

ניתן לראות כי זהו פולינום הומוגני מדרגה 7 מכיוון וסכום החזקות בכל מונום הוא 7.

 יריעות אלגבריות פרויקטיביות 

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

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

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

לדוגמה, אוסף הנקודות במרחב הפרויקטיבי ה- ממדי הממשי שהקואורדינטות ההומוגניות שלהן מאפסות את הפולינום ההומוגני  הומיאומורפי לספירה  ממדית.

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

 ראו גם 
 פונקציה הומוגנית
 קואורדינטות הומוגניות

קישורים חיצוניים


 הערות שוליים 

קטגוריה:אלגברה
קטגוריה:גאומטריה אלגברית