Funciones de parte entera

En matemáticas, las funciones de parte entera son funciones que toman un número real y devuelven un número entero próximo, sea por exceso o por defecto. Formalmente son funciones de la forma:

${\displaystyle {\begin{array}{rccl}{\text{E}}:&\mathbb {R} &\to &\mathbb {Z} \\&x&\to &y={\text{E}}(x)\end{array}}}$

Según la forma de considerar el número entero más próximo a un número real dado, se pueden considerar varias funciones:

• Función techo, que a cada número real asigna el número entero más próximo por exceso, es decir, el menor número entero igual o mayor que ese número real. Algunos lenguajes de programación tienen una implementación nativa llamada generalmente ceil o Ceil (por ceiling, «techo» en inglés).
• Función piso (o suelo), que a cada número real asigna el mayor número entero igual o menor que ese número real (por ejemplo, si tenemos el caso [-2.4], este se acercaría al valor -3; o aplicándolo a un caso positivo sería [1.5], este se acercaría al valor 1). Algunos lenguajes de programación tienen una implementación nativa llamada generalmente floor o Floor («suelo» en inglés).
• Truncamiento, que a cada número real se le asigna el número entero resultado de ignorar su parte decimal.
• Redondeo, que a cada número real asigna el número entero más próximo según su parte decimal.

Un concepto relacionado con estas funciones es la parte fraccionaria, cuya representación es la de una onda de sierra.

Función techo

 

La función techo se aplica a un número real x y devuelve el mínimo número entero y no inferior a x:

${\displaystyle {\begin{array}{rccl}{\text{techo}}:&\mathbb {R} &\to &\mathbb {Z} \\&x&\to &y={\text{techo}}(x)\end{array}}}$ 

Definida:

${\displaystyle {\text{techo}}(x)=\lceil x\rceil =\min\{k\in \mathbb {Z} \mid x\leq k\}}$ 

O de otra forma:

${\displaystyle y=\lceil x\rceil :\quad y={\big \{}y:\quad y\in \mathbb {Z} \quad \land \quad x\in \mathbb {R} \quad \land \quad y-1<x\leq y{\big \}}}$ 

Propiedades

• Para cualquier número real se cumple que ${\displaystyle \lceil x\rceil \geq x}$ .
• El número real x al que se aplica la función techo es un número entero si y solo si la función techo de x tiene el mismo valor que x.

${\displaystyle x\in \mathbb {Z} \Leftrightarrow \lceil x\rceil =x}$ 

• La función techo tiene puntos de discontinuidad en los números enteros pero es diferenciable para el resto de puntos.
• La función techo puede expresarse como integral mediante la delta de Dirac y la función característica del conjunto de los enteros:

${\displaystyle \int _{\epsilon }^{x+\epsilon }\delta (1-\chi _{\mathbb {Z} }(y))dy=\lceil x\rceil ,\qquad 0<\epsilon <1}$ 

Estas funciones no son algebraicas ni trascendentes, por lo que son funciones no elementales^[1]​

Ejemplos

Para un número real no entero:

${\displaystyle \lceil 2.3\rceil =\min\{k\in \mathbb {Z} \mid 2,3\leq k\}=3}$ 

${\displaystyle \lceil -2.3\rceil =\min\{k\in \mathbb {Z} \mid -2,3\leq k\}=-2}$ 

Para un número entero:

${\displaystyle \lceil 2\rceil =\min\{k\in \mathbb {Z} \mid 2\leq k\}=2}$ 

${\displaystyle \lceil -2\rceil =\min\{k\in \mathbb {Z} \mid -2\leq k\}=-2}$ 

Función piso/suelo

 

La función suelo se aplica a un número real x y devuelve el máximo número entero y no superior a x:

${\displaystyle {\begin{array}{rccl}{\text{suelo}}:&\mathbb {R} &\to &\mathbb {Z} \\&x&\to &y={\text{suelo}}(x)\end{array}}}$ 

que se define:

${\displaystyle {\text{suelo}}(x)=\lfloor x\rfloor =\max\{k\in \mathbb {Z} \mid k\leq x\}}$ 

Se conoce también como función máximo entero^[2]​

Que se puede expresar:

${\displaystyle y={\text{suelo}}(x):\quad y=\lfloor x\rfloor :\quad y={\big \{}y:\quad y\in \mathbb {Z} \quad \land \quad x\in \mathbb {R} \quad \land \quad y\leq x<y+1{\big \}}}$ 

Propiedades

El número real x al que se aplica la función suelo es un número entero si y solo si la función piso de x tiene el mismo valor que x.

${\displaystyle x\in \mathbb {Z} \Leftrightarrow \lfloor x\rfloor =x}$ 

Podemos deducir que si m y n son números enteros estrictamente positivos coprimos entonces (fórmula de Sylvester):

${\displaystyle \sum _{k=1}^{n-1}\left\lfloor {\frac {km}{n}}\right\rfloor ={\frac {(m-1)(n-1)}{2}}}$ .

La fórmula anterior puede ser generalizada para todo m y n enteros estrictamente positivos:^[3]​

${\displaystyle \sum _{k=1}^{n-1}\left\lfloor {\frac {km}{n}}\right\rfloor ={\frac {(m-1)(n-1)+\operatorname {mcd} (m,n)-1}{2}}}$ .

Ejemplos

Para un número real no entero:

${\displaystyle \lfloor 2.3\rfloor =\max\{k\in \mathbb {Z} \mid k\leq 2,3\}=2}$ 

${\displaystyle \lfloor -2.3\rfloor =\max\{k\in \mathbb {Z} \mid k\leq -2,-3\}=-3}$ 

Para un número entero:

${\displaystyle \lfloor 2\rfloor =\max\{k\in \mathbb {Z} \mid k\leq 2\}=2}$ 

${\displaystyle \lfloor -2\rfloor =\max\{k\in \mathbb {Z} \mid k\leq -2\}=-2}$ 

Función truncamiento/parte entera

Artículo principal: Truncamiento

 

La función parte entera en el lenguaje de programación C es el resultado de truncar el valor real, eliminando su parte decimal. Se puede definir a partir de las funciones piso^[4]​ y techo,^[5]​ de la siguiente manera:

${\displaystyle {\begin{array}{rccl}{\text{int}}:&\mathbb {R} &\to &\mathbb {Z} \\&x&\to &y={\text{int}}(x)\end{array}}}$ 

definida de esta forma:

${\displaystyle \operatorname {int} (x)=[x]=\left\{{\begin{array}{ccl}\lceil ~x\rceil &{\text{si}}&x<0\\\lfloor ~x\rfloor &{\text{si}}&x\geq 0\end{array}}\right.}$ 

Se utiliza mediante el operador (int) para truncar el valor de variables del tipo float o double.

Función redondeo

Artículo principal: Redondeo

 

La función redondeo asigna a cada x número real un y número entero siendo y el valor más próximo a x.

${\displaystyle {\begin{array}{rccl}{\text{redon}}:&\mathbb {R} &\to &\mathbb {Z} \\&x&\to &y={\text{redon}}(x)\end{array}}}$ 

si la primera cifra decimal es 5 o mayor el redondeo se hace por exceso, si la primera cifra decimal es inferior a 5 el redondeo se hace por defecto.

Se puede comprobar la siguiente igualdad:

${\displaystyle {\text{redon}}(x)=\left\{{\begin{array}{ccl}\lceil x-0.5\rceil &{\text{si}}&x<0\\\lfloor x+0.5\rfloor &{\text{si}}&x\geq 0\end{array}}\right.}$ 

Series de expansión

La función piso no es continua, y por lo tanto no tiene un expansión en serie de Taylor; como no es periódica, tampoco tiene una expansión en serie de Fourier. Sin embargo, la función ${\displaystyle \{x\}:=x-\lfloor x\rfloor }$ , llamada función de parte decimal, fraccionaria o función mantisa, es periódica,^[6]​ y por lo tanto tiene una expansión en serie de Fourier, que es:

${\displaystyle \{x\}={\frac {1}{2}}-{\frac {1}{\pi }}\sum _{k=1}^{\infty }{\frac {\sin(2\pi kx)}{k}}.}$  si x no es un número entero.

Usando la expresión ${\displaystyle \{x\}:=x-\lfloor x\rfloor }$  podemos saber la expansión de la función ${\displaystyle \lfloor x\rfloor }$ :

${\displaystyle \lfloor x\rfloor =x-{\frac {1}{2}}+{\frac {1}{\pi }}\sum _{k=1}^{\infty }{\frac {\sin(2\pi kx)}{k}}.}$ 

Teniendo en cuenta que: ${\displaystyle \lceil x\rceil =-\lfloor -x\rfloor }$ , entonces la expansión de serie de la función techo sería:

${\displaystyle \lceil x\rceil =x+{\frac {1}{2}}+{\frac {1}{\pi }}\sum _{k=1}^{\infty }{\frac {\sin(2\pi kx)}{k}}.}$ 

Y por último, para la función truncamiento, se utiliza la siguiente expresión ${\displaystyle {\mbox{int}}(x)={\big \lfloor }|x|{\big \rfloor }\operatorname {sgn}(x)}$ ; entonces quedaría:

${\displaystyle {\mbox{int}}(x)=x-{\frac {\sin(x)}{2}}+{\frac {1}{\pi }}\sum _{k=1}^{\infty }{\frac {\sin(2\pi kx)}{k}}.}$ 

Véase también

• Función continua
• Representación de números con signo
• Función definida a trozos
• Función escalón de Heaviside
• Función rectangular
• Función escalonada
• Función identidad
• Función signo
• Valor absoluto
• Función rampa
• Parte fraccionaria
• Mantisa

Notas y referencias

1. N. A. Piskunov: Cálculo difrencial e integral.
2. Niven- Zuckerman: Introducción a la teoría de números, ISBN 968-18-0669-7, p. 87.
3. J.E.blazek, Combinatoire de N-modules de Catalan, tesis de maestría, p. 17.
4. «C++ reference of floor function». Consultado el 24 de abril de 2011. 
5. «C++ reference of ceil function». Consultado el 24 de abril de 2011. 
6. Venero: Análisis matemático, Lima (1995)

Enlaces externos

• Weisstein, Eric W. «Floor Function». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• Weisstein, Eric W. «Ceiling Function». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• Štefan Porubský, "Integer rounding functions", Interactive Information Portal for Algorithmic Mathematics, Institute of Computer Science of the Czech Academy of Sciences, Prague, Czech Republic.

•   Datos: Q215193
•   Multimedia: Floor and ceiling / Q215193