2
$\begingroup$

Are there equivalents to the notation of $\lfloor x \rfloor$ and $\lceil x \rceil$ that don't round to the next integer, but to a specified digit of a real number?

Examples

  • $floorReal(2.3656, 1) = 2.3$
  • $ceilReal(2.3678, 2) = 2.37$

Do notations for these exist in a mathematical sense? I know such functions exist in programming languages, but what would be the formal mathematical way to write something like this?

  • 1
    You can always *define* a function like this if you need it as QiaochuYuan did. Mathematically, it is of interest whether a real number happens to be an integer (and hence it is of interest to determine the nearest integers of a real), but hardly whether multiplication with an arbitrary number like $10^k$ (why not $\pi\sqrt 2$ instead?) makes it an integer. That may be the reason why the extended concept is not widespread in math - it "only" applies to input/output interfaces using limited decimal digits.2012-10-12

0 Answers 0