פונקציית מדרגות

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

דוגמה לפונקציית מדרגות (הגרף האדום)

הגדרה

פונקציה $f:\mathbb {R} \rightarrow \mathbb {R}$ קרויה פונקציית מדרגות אם ניתן לכתוב אותה בצורה:

$f(x)=\sum \limits _{i=0}^{n}\alpha _{i}\chi _{A_{i}}(x)\,$ לכל מספר ממשי $\ x$

כאשר $n\geq 0,$ ו-$\ \alpha _{i}$ הם מספרים ממשיים, $\ A_{i}$ הם קטעים, $\ \chi _{A}\,$ היא הפונקציה המציינת של $\ A$:

$\chi _{A}(x)={\begin{cases}1&{\mbox{if }}x\in A,\\0&{\mbox{if }}x\notin A.\\\end{cases}}$

בהגדרה זו ניתן להניח שהקטעים $\ A_{i}$ מקיימים שתי תכונות:

• הקטעים הם קבוצות זרות - מתקיים $A_{i}\cap A_{j}=\emptyset$ לכל $i\neq j$.
• האיחוד של הקטעים הוא הישר הממשי כולו: $\cup _{i=0}^{n}A_{i}=\mathbb {R}$.

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

$f=4\chi _{[-5,1)}+3\chi _{(0,6)}\,$

ניתן לכתוב כ:

$f=0\chi _{(-\infty ,-5)}+4\chi _{[-5,0]}+7\chi _{(0,1)}+3\chi _{[1,6)}+0\chi _{[6,\infty )}\,$.

דוגמאות

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

• פונקציה קבועה היא דוגמה טריוויאלית לפונקציית מדרגות, שלה קטע יחיד $A_{0}=\mathbb {R}$.
• פונקציית מדרגה היא פונקציית מדרגות חשובה.
• מדרגות המס בישראל, הקובעות את שיעור מס ההכנסה כפונקציה של ההכנסה, הן פונקציית מדרגות.

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

תכונות

• סכום ומכפלה של שתי פונקציות מדרגות גם הוא פונקציית מדרגות. מכפלה של פונקציית מדרגות במספר גם היא פונקציית מדרגות. בהתאם לכך, האוסף של פונקציות המדרגות הוא אלגברה לא אסוציאטיבית מעל הממשיים.
• לפונקציית מדרגות יש מספר סופי של ערכים. אם הקטעים $\ A_{i},$ $i=0,1,\dots ,n,$ בדוגמה לעיל הם זרים, ואיחודם הוא הישר הממשי, אזי $f(x)=\alpha _{i}\,$ לכל $x\in A_{i}$.
• אינטגרל לבג של פונקציית מדרגות $f=\sum \limits _{i=0}^{n}\alpha _{i}\chi _{A_{i}}\,$ על קטע סופי הוא $\int \!f\,dx=\sum \limits _{i=0}^{n}\alpha _{i}\ell (A_{i})\,$ כאשר $\ell (A)$ הוא האורך של קטע $\ A$, ולכל אחד מהקטעים $\ A_{i}$ יש אורך סופי.

ראו גם

• פונקציית הביסייד
• פונקציה פשוטה

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

מדיה וקבצים בנושא פונקציית מדרגות בוויקישיתוף

• פונקציית מדרגות, באתר MathWorld (באנגלית)