פונקציית הערך השלם

במתמטיקה, פונקציית הערך השלם (נקראת גם פונקציית רִצפה) היא פונקציה המחזירה לכל מספר ממשי x את המספר השלם הגדול ביותר שקטן או שווה ל-x (מעגלת כלפי מטה). פונקציה זו מסומנת ,  או (x)floor. דוגמאות: , , .

סימון
פונקציית הערך השלם הוגדרה לראשונה בשנת 1798 על ידי המתמטיקאי הצרפתי אדריאן-מארי לז'נדר, בהוכחתו לנוסחת לז'נדר. קרל פרידריך גאוס הציג את הסימון  בהוכחתו השלישית, משנת 1808, למשפט ההדדיות הריבועית. זה נותר הסימון המקובל עד שבשנת 1962 הציג קנת אייברסון, בספרו A Programming Language (על שפת התכנות APL), את הסימון  ואת השם "רצפה" (floor) לפונקציה זו (ולצדם את הסימון  והשם "תקרה" לפונקציית תקרה). מאז מקובלים הסימונים של גאוס ושל אייברסון. יש המשתמשים לפונקציית הערך השלם בסימון .

תכונות
 לכל x ממשי הפונקציה מקיימת:

 כאשר השוויון באגף שמאל מתקיים אם ורק אם x שלם.
 הפונקציה היא אידמפוטנטית: 
 לכל x ממשי ולכל n שלם מתקיים: 

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

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

 פונקציית תקרה 

שמאל|ממוזער|250px|הגרף של פונקציית תקרה

פונקציית התקרה מחזירה לכל מספר ממשי x את המספר השלם הקטן ביותר שגדול או שווה ל-x. הפונקציה מסומנת  או (x)ceiling. 
ניתן לתאר את פונקציה התקרה כך:

דוגמאות: , , .

הקשר בין פונקציית הרצפה לבין פונקציית התקרה ניתן על ידי הנוסחה .

לכל k שלם מתקיים: 

לכל k מספר ממשי מתקיים: .

פונקציית Trunc

שמאל|ממוזער|250px|הגרף של פונקציית Trunc

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

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

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

לקריאה נוספת
 Ronald Graham, Donald Knuth, Oren Patashnik, Concrete Mathematics: A Foundation for Computer Science, Addison-Wesley, 1994, pp. 67-101

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



הערות שוליים

הערך השלם