万维百科

高斯符号本文重定向自 高斯符号

(重定向自高斯符號)
下取整函数
上取整函数

数学计算机科学中,取整函数是一类将实数映射到相近的整数函数

常用的取整函数有两个,分别是下取整函数上取整函数

下取整函数即为取底符号,在数学中一般记作或者或者,在计算机科学中一般记作floor(x),表示不超过x的整数中最大的一个。

举例来说,。对于非负的实数,其下取整函数的值一般叫做它的整数部分取整部分。而叫做x小数部分。每个分数都可以表示成其整数部分与一个真分数的和,而实数的整数部分和小数部分是与此概念相应的拓延。

下取整函数的符号用方括号表示(),称作高斯符号

上取整函数即为取顶符号在数学中一般记作,在计算机科学中一般记作ceil(x),表示不小于x的整数中最小的一个。

举例来说,

计算机中的上取整函数和下取整函数的命名来自于英文ceiling(天花板)和floor(地板),相关的记法由肯尼斯·艾佛森于1962年引入。

性质

对于高斯符号,有如下性质。

  • 按定义:
当且仅当x为整数时取等号。
  • 设x和n为正实数,则:
  • 高斯符号为等幂运算.
  • 对任意的整数k和任意实数x
  • 一般的数值修约规则可以表述为将x映射到floor(x + 0.5);
  • 高斯符号不是连续函数,但是上半连续的。作为一个分段的常数函数,在其导数有定义的地方,高斯符号导数为零。
  • x为一个实数,n为整数,则由定义,nx当且仅当n ≤ floor(x)。
  • 用高斯符号可以写出若干个素数公式,但没有什么实际价值。
  • 对于非整数的x,高斯符号有如下的富裡葉展开:
  • 对于互素的正整数mn,有:
  • 根据Beatty定理,每个正无理数都可以通过高斯符号制造出一个整数集的分划
  • 最后,对于每个正整数k,其在 p 进制下的表示有 数位

对于上取整函数:

  • 显然有:
  • 以及:
  • 对于整数k有:
.

其它等式

  • x为一个实数,n为整数,则
  • 对于两个相反数的高斯符号,有:
如果x为整数,则
否则

参见

参考来源

  1. ^ Ronald Graham, Donald Knuth and Oren Patashnik英语Oren Patashnik. "Concrete Mathematics". Addison-Wesley, 1999. Chapter 3, "Integer Functions".
  2. ^ Kenneth E. Iverson. "A Programming Language". Wiley, 1962.

本页面最后更新于2021-07-04 12:27,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器