y=xxy = x - \lfloor x \rfloor

小数部の関数 y=xxy = x - \lfloor x \rfloor のグラフ(のこぎり波)

y=xxy = x - \lfloor x \rfloorxx小数部(fractional part)を取り出す関数で、しばしば {x}\{x\} と書かれます。xx から「xx を超えない最大の整数」である床関数 x\lfloor x \rfloor を引くので、整数部分が取り除かれて小数の部分だけが残ります。

  • 2.32.3=2.32=0.32.3 - \lfloor 2.3 \rfloor = 2.3 - 2 = 0.3
  • 55=55=05 - \lfloor 5 \rfloor = 5 - 5 = 0
  • 1.21.2=1.2(2)=0.8-1.2 - \lfloor -1.2 \rfloor = -1.2 - (-2) = 0.8

負の数では床関数が下側の整数を返すため、結果はつねに 00 以上になります。1.2-1.2 の小数部が 0.80.8 になる点は直感と少しずれるので注意してください。

定義域と値域:定義域はすべての実数で、値域は 0y<10 \leq y < 1、つまり区間 [0, 1)[0,\ 1) です。値が 11 に達することはありません。

周期性と形:この関数は周期 11 をもち、{x+1}={x}\{x + 1\} = \{x\} が成り立ちます。各整数区間 [n, n+1)[n,\ n+1) の上では傾き 11 の直線 y=xny = x - n になり、x=nx = n00 から始まってまっすぐ上がり、次の整数の直前で 11 に近づきます。この形が繰り返されるため、グラフはのこぎり波(sawtooth wave)と呼ばれます。

不連続点とジャンプ:関数はすべての整数で不連続です。整数 nn に左から近づくと値は 11 に近づきますが、x=nx = n では 00 にリセットされます。したがってジャンプの幅は 1-1 で、天井へ届く直前に床へ落ちる動きを繰り返します。各段の左端(整数点)は値 00 で含まれ、右端は含まれません(右連続)。

他の関数との関係:小数部は床関数から作られ、xxx - \lfloor x \rfloor は「xx11 で割った余り」xmod1x \bmod 1 とも一致します。xx が整数のときだけ床関数と xx が等しくなり、値が 00 になります。

応用:のこぎり波は音のシンセサイザーのオシレータや、位相を 00 から 11(または 00 から 2π2\pi)へ繰り返し進める位相アキュムレータなど、周期的な現象のモデルとして信号処理で広く使われます。フーリエ級数の題材としても有名です。