y=⌊x⌋y = \lfloor x \rfloor

Gráfica de la función suelo y=⌊x⌋y = \lfloor x \rfloor

y=⌊x⌋y = \lfloor x \rfloor devuelve el mayor entero que no supera a xx1. Se llama función suelo, y la imagen más fácil es la del primer entero que uno encuentra mirando hacia la izquierda desde xx a lo largo de la recta numérica.

xx⌊x⌋\lfloor x \rfloor
2.72.722
3333
−0.5-0.5−1-1
−1.2-1.2−2-2

Dominio y rango

El dominio es el conjunto de todos los números reales. El valor que devuelve es siempre un entero, así que el rango es el conjunto de los números enteros, una colección discreta y no una recta continua. Solo se alcanzan alturas enteras.

Forma de la gráfica

La gráfica es una escalera. Cada peldaño es un segmento horizontal de longitud 11, y el valor salta hacia arriba en 11 en cada entero.

IntervaloValor
[−1,0)[-1, 0)−1-1
[0,1)[0, 1)00
[1,2)[1, 2)11

Cada peldaño incluye su extremo izquierdo y excluye el derecho. En 1≤x<21 \leq x < 2 el valor es siempre 11 y, en cuanto xx llega a 22, salta a 22.

Puntos de discontinuidad

La función es discontinua en todos los enteros. Al acercarse a un entero nn por la derecha el límite es nn, mientras que por la izquierda es n−1n - 1, y los dos no coinciden. El tamaño del salto es siempre 11.

En los puntos no enteros el valor es constante en los alrededores, así que la función es derivable allí con derivada 00. Está hecha únicamente de peldaños planos de pendiente 00 y de saltos repentinos.

Monotonía

El valor no disminuye nunca al aumentar xx, así que la función es no decreciente. No es estrictamente creciente, sin embargo, porque el valor se queda quieto a lo largo de cada peldaño.

Una advertencia con los números negativos

Nótese que ⌊−1.2⌋=−2\lfloor -1.2 \rfloor = -2, y no −1-1. La función suelo no descarta la parte fraccionaria; redondea siempre hacia −∞-\infty. Eso se diferencia de la división entera de muchos lenguajes de programación, que redondea hacia 00, así que los números negativos merecen cuidado.

Relación con otras funciones

  • La función techo ⌈x⌉\lceil x \rceil, que devuelve el menor entero que es al menos xx, es su contrapartida
  • La diferencia x−⌊x⌋x - \lfloor x \rfloor es la parte fraccionaria, una onda de diente de sierra de período 11
  • El redondeo al entero más próximo puede escribirse ⌊x+0.5⌋\lfloor x + 0.5 \rfloor

Aplicaciones

El número de cifras de un entero positivo NN se halla con la función suelo.

⌊log⁡10N⌋+1\lfloor \log_{10} N \rfloor + 1

El cociente de una división entera ⌊ab⌋\left\lfloor \dfrac{a}{b} \right\rfloor, el cálculo de índices de un vector y la paginación de una lista la usan: allí donde hay que cortar en escalones una magnitud continua.

  1. Floor and ceiling functions, Wikipedia