todo: 四捨五入の話も書く。

床関数・天井関数の定義

$x\in \mathbb{R}$ とする。

• 定義1
  • $\lfloor x \rfloor = \max\{n \in \mathbb{Z} \mid n \leq x\}$
  • $\lceil x \rceil = \min \{ n \in \mathbb{Z} \mid x \leq n\}$
• 定義2
  • $n\leq x < n+ 1$ を満たす唯一の整数 $n$ を $\lfloor x \rfloor$ と定義する。
  • $n -1 < x \leq n$ を満たす唯一の整数 $n$ を $\lceil x \rceil$ と定義する

床関数・天井関数の性質

• 単調性

  $x \leq y$ ならば $\lfloor x \rfloor \leq \lfloor y \rfloor$

  特に、$x$ が整数のとき、$x \leq \lfloor y \rfloor$ が言えたりする。

  $\lceil \cdot \rceil$ も同様。

• 随伴

  $n \in \mathbb{Z}$ と $x \in \mathbb{R}$ について以下が成り立つ。

  • $n \leq x \iff n \leq \lfloor x \rfloor$
  • $x \leq n \iff \lceil x\rceil \leq n$

  同値の左側は $\mathbb{R}$ での比較、右側は $\mathbb{Z}$ での比較である。つまり、$\mathbb{R}$ での比較が $\mathbb{Z}$ での比較にできるという命題である。

  床関数・天井関数はこれらを満たす $\mathbb{R}\to \mathbb{Z}$ の単調増加関数として特徴づけできる

  • 余談: 圏論的な解釈

• 随伴の対偶

  • $n < x \iff n < \lceil x \rceil$
  • $x < n \iff \lfloor x \rfloor< n$

  証明: 対偶を取ると随伴の式になる

• $\lceil x \rceil = - \lfloor - x\rfloor$, $\lfloor - x\rfloor = -\lceil x \rceil$

  • sum of floor of linear の解説するよ - えびちゃんの日記

• 床関数から天井関数を求める

  • $\lceil x \rceil = \begin{cases}\lfloor x \rfloor & (x \in \mathbb{Z})\\ \lfloor x \rfloor + 1 & (x\notin \mathbb{Z})\end{cases}$

• $b$ が整数のとき$\displaystyle \left\lfloor \frac{\lfloor x/a \rfloor}{b} \right\rfloor = \left\lfloor \frac{x}{ab}\right\rfloor$

  • ABC350 E の解説

• $f$ が単調増加な連続関数で「$f(x)$ が整数ならば $x$ が整数」のとき $\lfloor f(x) \rfloor =\lfloor f(\lfloor x \rfloor) \rfloor$

• レイリーの定理

modint と床関数

$\lfloor x/k \rfloor \bmod p$ を計算したい場合

$x$ を $\bmod\ p$ と $\bmod\ k$ の両方で計算をすればよい。