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

(הופנה מהדף פונקציית התקרה)

בערך זה
נעשה שימוש
בסימנים מוסכמים
מתחום המתמטיקה.
להבהרת הסימנים
ראו סימון מתמטי.

במתמטיקה, פונקציית הערך השלם (נקראת גם פונקציית רִצפה) היא פונקציה המחזירה לכל מספר ממשי 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

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

ראו גם

עריכה

לקריאה נוספת

עריכה
  • Ronald Graham, Donald Knuth, Oren Patashnik, Concrete Mathematics: A Foundation for Computer Science, Addison-Wesley, 1994, pp. 67-101

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

עריכה

הערות שוליים

עריכה