פונקציית הערך השלם
בערך זה |
במתמטיקה, פונקציית הערך השלם (נקראת גם פונקציית רִצפה) היא פונקציה המחזירה לכל מספר ממשי x את המספר השלם הגדול ביותר שקטן או שווה ל-x (מעגלת כלפי מטה). פונקציה זו מסומנת , או (x)floor. דוגמאות: , , .
סימון
עריכהפונקציית הערך השלם הוגדרה לראשונה בשנת 1798 על ידי המתמטיקאי הצרפתי אדריאן-מארי לז'נדר, בהוכחתו לנוסחת לז'נדר. קרל פרידריך גאוס הציג את הסימון בהוכחתו השלישית, משנת 1808, למשפט ההדדיות הריבועית. זה נותר הסימון המקובל עד שבשנת 1962 הציג קנת אייברסון, בספרו A Programming Language (על שפת התכנות APL), את הסימון ואת השם "רצפה" (floor) לפונקציה זו (ולצדם את הסימון והשם "תקרה" לפונקציית תקרה). מאז מקובלים הסימונים של גאוס ושל אייברסון. יש המשתמשים לפונקציית הערך השלם בסימון .[1]
תכונות
עריכה- לכל x ממשי הפונקציה מקיימת:
-
- כאשר השוויון באגף שמאל מתקיים אם ורק אם x שלם.
- הפונקציה היא אידמפוטנטית:
- לכל x ממשי ולכל n שלם מתקיים:
- עיגול למספר השלם הקרוב ביותר ל-x ניתן על ידי הנוסחה .
פונקציות דומות
עריכהפונקציית תקרה
עריכה- ערך מורחב – פונקציית תקרה
פונקציית התקרה מחזירה לכל מספר ממשי x את המספר השלם הקטן ביותר שגדול או שווה ל-x. הפונקציה מסומנת או (x)ceiling. ניתן לתאר את פונקציה התקרה כך:
דוגמאות: , , .
הקשר בין פונקציית הרצפה לבין פונקציית התקרה ניתן על ידי הנוסחה .
לכל k שלם מתקיים:
לכל k מספר ממשי מתקיים: .
פונקציית Trunc
עריכה- ערך מורחב – פונקציית קיטום
במדעי המחשב מוכרת פונקציה בשם Trunc, קיצור של Truncate. רמז לתיאור הציורי שלה כפונקציה שלוקחת מספר ממשי ו"מקצצת" את החלק השברי שלו ומשאירה רק את החלק השלם. פונקציה זו מתנהגת כמו פונקציית רצפה עבור מספרים חיוביים, וכפונקציית תקרה עבור שליליים. שלוש הפונקציות מקבלות ערך שווה עבור כל המספרים השלמים.
ראו גם
עריכהלקריאה נוספת
עריכה- Ronald Graham, Donald Knuth, Oren Patashnik, Concrete Mathematics: A Foundation for Computer Science, Addison-Wesley, 1994, pp. 67-101
קישורים חיצוניים
עריכה- פונקציית הערך השלם, באתר MathWorld (באנגלית)