לדלג לתוכן

הוכחות מתמטיות/שונות/π מספר טרנסצנדנטי/סידור מונומי

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי

הגדרה 1

[עריכה]

תהי n־יה סדורה. נגדיר:

עבור פונקציות נגדיר:

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

הגדרה 2

[עריכה]

יהי שדה. אזי הוא מרחב הפולינומים במשתנים עם מקדמים ב־.

מונום (חד־אבר) הוא פולינום מן הצורה , כאשר וכן .

הגדרה 3

[עריכה]

יהי , ויהי וקטור מעריכים. נגדיר:

  • מעלת פולינום (שאינו פולינום האפס) שוה למקסימלית מבין מעלות המונומים המרכיבים אותו.

תכונות

[עריכה]

מכפלת מונומים מקיימת חיבור וקטורי מעריכים:

הגדרה 4

[עריכה]

יהיו מונומים.

נאמר כי בעל סדר קטן מ־ (ונסמן ) אם קיים אינדקס עבורו מתקיים

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

למונום בעל בעל הסדר המקסימלי בפולינום נקרא המונום המוביל, ונסמנו .

דוגמא

[עריכה]

יהיו פולינומים. אזי מתקיים .

הוכחה

[עריכה]

יהיו מונומים, כאשר .

1. נניח כי . נראה כי מתקיים לכל .
מן ההגדרה, קיים אינדקס עבורו מתקיים

2. נניח כי גם . נראה כי מתקיים .
מן ההגדרה, קיימים אינדקסים עבורם מתקיים בהתאמה

כלומר:

הגדרה 5

[עריכה]

יהי פולינום. נגדיר:

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

דוגמא

[עריכה]


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