Función discreta. Noción de sucesión de números reales.

La matemática discreta es un área de la matemática encargada del estudio de los

conjuntos discretos: finitos o infinitos numerables (es decir, contables).
En oposición a las matemáticas continuas, que se encargan del estudio de conceptos
como la continuidad y el cambio continuo, la matemática discreta estudia estructuras
cuyos elementos pueden contarse uno por uno separadamente. Es decir, los procesos en
matemáticas discretas son contables, como por ejemplo, los números enteros, grafos y
sentencias de lógica.
Mientras que el cálculo infinitesimal está fundado en los números reales, que no son
numerables (es decir no son contables), la matemática discreta es la base de todo lo
relacionado con los números naturales o conjuntos numerables.
Son fundamentales para la ciencia de la computación, porque sólo son computables las
funciones de conjuntos numerables.
Una función discreta f es una función matemática cuyo dominio de definición es
un conjunto numerable (o discreto). Es decir,

Una función discreta no debe confundirse con una función discontinua, puesto que estas
últimas corresponden a funciones reales definidas por tramos.

Sucesión
Una sucesión se puede pensar como una lista de números escrito en un determinado
orden:

a1 , a2 , a3 , a4 , ... , an , ...
Siendo el número a1 el primer término; a2 el segundo término y an es el n-ésimo término.
Observemos que para cada entero positivo n, hay un número correspondiente an , por lo
tanto podemos definir una sucesión como una función cuyo dominio es el conjunto
de los enteros positivos y cuya imagen es un subconjunto de .

Casi siempre se escribe an en lugar de la notación de función f (n) para indicar el valor
de la función en el número n .

1
La representación gráfica es:

Igualdad: Dos sucesiones son iguales si sus términos coinciden ordenadamente. Es

decir:

 an    bn   n  
: an  bn

Siendo  an    a1 , a2 , ... , an  y bn   b1 , b2 , ... , bn  .

Sucesiones Acotadas

k es una cota superior de la sucesión  an   n : an  k

k es una cota inferior de la sucesión  an   n : an  k '

Extremo inferior o ínfimo: Es la mayor de las cotas inferiores.

Extremos superior o supremo: Es la menor de las cotas superiores.

Ejemplos:

1
a)  an     0 es la cota inferior o ínfimo.
n
1 es cota superior o supremo.

2
 1
b)  an    n  0 es la cota inferior o ínfimo.
3 
1
es cota superior o supremo
3

Una sucesión está acotada si tiene cota superior e inferior.

Sucesiones Monótonas
Sucesión creciente

Una sucesión  an  es creciente  n  : an  an1

Sucesión decreciente

Una sucesión  an  es decreciente  n  : an  an1

Una sucesión es monótona  es creciente o decreciente.

Ejemplos:

1  1 1 1 1 
a)  an      1, , , , ..., , ...  es monótona decreciente.
n  2 3 4 n 

b)  bn    2n    2, 4, 8, ..., 2n , ...  es monótona creciente.