פונקציית החלק הסטנדרטי

פונקציית החלק הסטנדרטי

באנליזה לא סטנדרטית, פונקציית החלק הסטנדרטי, או צל, היא פונקציה מהמספרים הסופיים ההיפר-ממשיים תבנית:אנ למספרים הממשיים. פונקציית החלק סטנדרטי "מעגלת" מספר סופי היפר-ממשי למספר ממשי הקרוב ביותר. היא מייחסת לכל $x$ היפר-ממשי את המספר הממשי היחיד $x_0$ כאשר $x-x_0$ הוא אינפיניטסימל.

היחס הזה מתבטא על ידי נוסחה $\mathrm{s}\mathrm{t}(x)=x_0$ .v החלק הסטנדרטי של כל אינפיניטסימל הוא 0.