Funciones de parte entera

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En matemática, las funciones de parte entera son funciones:

 f: \mathbb{R} \rarr \mathbb{Z}

que toman un número real y devuelven un número entero más próximo, sea por exceso o por defecto.

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

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

Función techo[editar]

Función techo.

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

 \lceil x \rceil =\min\{k\in\mathbb{Z}\mid x\le k\}

O de otra forma:


   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 \le y \big \}

Propiedades[editar]

  • Para cualquier número real se cumple que \lceil x \rceil \ge x.
  • El número real x al que se aplica la función techo es un número entero si y sólo si la función techo de x tiene el mismo valor que x.

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:

\int_{\epsilon}^{x+\epsilon} \delta(1-\chi_\mathbb{Z}(y))  dy =  \lceil x \rceil, \qquad 0 < \epsilon < 1

Ejemplos[editar]

Para un número real no entero:

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

Para un número entero:

 \lceil 2 \rceil = \min\{k\in\mathbb{Z}\mid 2\le k\} = 2
 \lceil -2 \rceil = \min\{k\in\mathbb{Z}\mid -2\le k\} = -2

Función piso/suelo/parte entera[editar]

Función piso.

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

\lfloor x \rfloor=\max\{k\in\mathbb{Z}\mid k\le x\} . Se conoce también como función máximo entero[1]

Que se puede expresar:


   y = \lfloor x \rfloor : \quad
   y = \big \{ y : \quad y \in \mathbb{Z} \quad \land \quad x \in \mathbb{R} \quad \land \quad y \le x < y+1 \big \}

Propiedades[editar]

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

x\in\mathbb{Z} \Leftrightarrow  \lfloor x \rfloor= x
  • Sea x con y números reales. En tal caso se cumple [2]

a)[x] ≤ x < [x]+1

b) [x + m] = [x] + m si m es entero.

c) [x] + [y] ≤ [x + y] ≤ [x] + [y] + 1 [3] -

d) [x] + [-x] = 0 si x es entero, en otro caso es -1.

e) x - [x] es la parte fraccionaria o mantisa[4] de x.

f) -[-x] es el menor entero ≥ x.

g) [x + 1/2] es el entero más próximo a x.

h) -[-x + 1/2] es el entero más próximo a x.

Ejemplos[editar]

Para un número real no entero:

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

Para un número entero:

 \lfloor 2 \rfloor = \max\{k\in\mathbb{Z}\mid k\le 2\} = 2
 \lfloor -2 \rfloor = \max\{k\in\mathbb{Z}\mid k\le -2\} = -2

Proposición[editar]

Un número m es racional si, sólo si existe un entero positivo h, tal que [hm] = hm [5] .

Implementación informática[editar]

Función parte entera en el lenguaje de programación C.

La función parte entera en el lenguaje de programación C es el resultado de truncar el valor real. Se puede definir a partir de las funciones piso[6] y techo,[7] de la siguiente manera:

\operatorname{int}(x)=[x] = \begin{cases} \mathrm{si \ \ } x\ge 1 \quad  & [x]=\lfloor x \rfloor \\ 
\mathrm{si \ \ } -1< x< 1 \quad & [x]=0 \\
\mathrm{si \ \ } x \le -1 \quad & [x]= \lceil x \rceil
\end{cases}

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

Series de expansión[editar]

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 \{x\}:=x-\lfloor x \rfloor, llamada función de parte decimal, fraccionaria o función mantisa, es periódica, y por lo tanto tiene una expansión en serie de Fourier, que es:

\{x\}= \frac{1}{2} -  \frac{1}{\pi} \sum_{k=1}^\infty \frac{\sin(2 \pi k x)} {k}.

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

 \lfloor x\rfloor = x - \frac{1}{2} + \frac{1}{\pi} \sum_{k=1}^\infty \frac{\sin(2 \pi k x)}{k}.

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

\lceil x\rceil= x + \frac{1}{2} + \frac{1}{\pi} \sum_{k=1}^\infty \frac{\sin(2 \pi k x)}{k}.

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

\mbox{int}(x) = x - \frac{\sin(x)}{2} + \frac{1}{\pi} \sum_{k=1}^\infty \frac{\sin(2 \pi k x)}{k}.

Véase también[editar]

Notas y Referencias[editar]

  1. Niven- Zuckerman: Introducción a la teoría de números ISBN 968-18-0669-7 pág. 87
  2. Niven- Zuckerman. Op. cit
  3. La primera desigualdad es contraria a la propiedad triangular de valor absoluto
  4. Venero: Análisis matemático, Lima (1995)
  5. Niven - Zuckerman: Íbid
  6. «C++ reference of floor function». Consultado el 24 de abril de 2011.
  7. «C++ reference of ceil function». Consultado el 24 de abril de 2011.

Enlaces externos[editar]