הבדלים בין גרסאות בדף "פונקציית הערך השלם"

מתוך הערך מספר ממשי, הרחבה
(מתוך הערך מספר ממשי, הרחבה)
 
ב[[מדעי המחשב]] הפונקציה נקראת Trunc, קיצור של Truncate. רמז לתיאור הציורי שלה כפונקציה שלוקחת [[מספר ממשי]] ו"מקצצת" את [[החלק השברי]] שלו ומשאירה רק את החלק השלם, כלומר מעגלת כלפי מטה (פונקציית רצפה). כאשר משתמשים במונח "פונקציית הערך השלם" סתם מבלי לפרט מתכוונים לפונקציית הרצפה. כאשר מתכוונים לפונקציית התקרה (שמעגלת כלפי מעלה) מציינים זאת במפורש.
 
==בסיס מתמטי==
על פי [[תכונת ארכימדס]], לכל מספר ממשי קיים [[מספר טבעי]] שגדול ממנו. נובע מכאן שהמרחב המטרי של המספרים הממשיים הוא [[מרחב ספרבילי]], משום שקבוצת [[מספר רציונלי|המספרים הרציונליים]], שהיא בת מנייה, היא [[קבוצה צפופה]] (שכן כל קטע פתוח מכיל מספר רציונלי). הצפיפות הזו מאפשרת להגדיר את [[פונקציית הערך השלם|הערך השלם]] של x, בתור המקסימום של <math> \{ n \in \mathbb Z | \; x\ \leq n \} \!</math>.
 
== תכונות של פונקציית רִצפה==