log（n）が空間構成可能な関数である理由

ウィキペディアの「構築可能な機能」によると、

複雑性理論、時間構成可能関数は、関数であるFから自然数という特性を有する自然数のF（nは）から構成することができるNによってチューリングマシンオーダーの時間でF（N）。

しかし、は自然数にマップするのではなく、実数にマップします。$\log\left(n\right)$

それにもかかわらず、なぜはスペース構築可能な関数なのですか？$\log\left(n\right)$

私たちがを書くとき、それはそれが重要ではないコンテキスト（例えば、Landau境界）にあるか、またはまたはの暗黙の意味を持つためです。$\log n$$\lfloor \log n \rfloor$$\lceil \log n \rceil$

？実際の範囲で構築可能な関数について話すことは確かに意味がありません。ソースがまたはについて話していると思います。$\lfloor \log n \rfloor$$\lceil \log n \rceil$