פונקציית הערך השלם – הבדלי גרסאות
שולי ולא עיקר |
אז? |
||
שורה 19: | שורה 19: | ||
: <math>\lfloor x + n \rfloor = \lfloor x \rfloor + n</math> |
: <math>\lfloor x + n \rfloor = \lfloor x \rfloor + n</math> |
||
* [[עיגול (אריתמטיקה)|עיגול]] למספר השלם הקרוב ביותר ל-x ניתן על ידי הנוסחה <math>\lfloor x + 0.5 \rfloor</math>. |
* [[עיגול (אריתמטיקה)|עיגול]] למספר השלם הקרוב ביותר ל-x ניתן על ידי הנוסחה <math>\lfloor x + 0.5 \rfloor</math>. |
||
* אם m ו-n [[מספרים זרים|זרים זה לזה]], אזי מתקיים:<br> |
|||
:<math>\sum_{i=1}^{n-1} \lfloor im / n \rfloor = (m - 1) (n - 1) / 2</math> |
|||
== פונקציית תקרה == |
== פונקציית תקרה == |
גרסה מ־16:37, 21 בנובמבר 2015
בערך זה |
במתמטיקה, פונקציית הערך השלם (נקראת גם פונקציית רִצפה) היא פונקציה המחזירה לכל מספר ממשי x את המספר השלם הגדול ביותר שקטן או שווה ל-x (מעגלת כלפי מטה). פונקציה זו מסומנת , או (x)floor. דוגמאות: , , .
במדעי המחשב הפונקציה נקראת Trunc, קיצור של Truncate. רמז לתיאור הציורי שלה כפונקציה שלוקחת מספר ממשי ו"מקצצת" את החלק השברי שלו ומשאירה רק את החלק השלם, כלומר מעגלת כלפי מטה (פונקציית רצפה). כאשר משתמשים במונח "פונקציית הערך השלם" סתם מבלי לפרט מתכוונים לפונקציית הרצפה. כאשר מתכוונים לפונקציית התקרה (שמעגלת כלפי מעלה) מציינים זאת במפורש.
פונקציית רִצפה
על פי תכונת ארכימדס, לכל מספר ממשי קיים מספר טבעי שגדול ממנו. נובע מכאן שהמרחב המטרי של המספרים הממשיים הוא מרחב ספרבילי, משום שקבוצת המספרים הרציונליים, שהיא בת מנייה, היא קבוצה צפופה (שכן כל קטע פתוח מכיל מספר רציונלי). הצפיפות הזו מאפשרת להגדיר את הערך השלם של x, בתור המקסימום של כך ש:
תכונות של פונקציית רִצפה
- לכל x ממשי הפונקציה מקיימת:
- כאשר השוויון באגף שמאל מתקיים אם ורק אם x שלם.
- הפונקציה היא אידמפוטנטית:
- לכל x ממשי ולכל n שלם מתקיים:
- עיגול למספר השלם הקרוב ביותר ל-x ניתן על ידי הנוסחה .
פונקציית תקרה
פונקציית התקרה מחזירה לכל מספר ממשי x את המספר השלם הקטן ביותר שגדול או שווה ל-x. הפונקציה מסומנת או (x)ceiling. ניתן לתאר את פונקציה התקרה כך:
דוגמאות: , , .
הקשר בין פונקציית הרצפה לבין פונקציית התקרה ניתן על ידי הנוסחה .
לכל k שלם מתקיים: .
לכל k מספר ממשי מתקיים: .