Documente Academic
Documente Profesional
Documente Cultură
3.1. Sucesiones
Las sucesiones son un modelo matemático importante en computación para representar estructuras
de datos, como son las listas de objetos.
Es decir, las sucesiones sirven para representar conjuntos de objetos donde interesa tener una
noción de orden lineal entre ellos. El orden en este caso está definido en términos de la “posición”
que ocupan los elementos dentro de la sucesión. Para fijar la posición de un elemento dentro de una
sucesión se utilizan los números naturales o un subconjunto de ellos, asociando cada número natural
con un elemento y sólo un elemento del conjunto de objetos.
Definición: 1.5.1 Sucesión finita. Sea A un conjunto. Una sucesión finita con valores en A es una
para referirnos a la sucesión finita que asocia el elemento con . Gráficamente esta
correspondencia la podemos ilustrar de la siguiente forma:
• es el primer elemento.
• es el último elemento.
• precede a para .
• está en la posición .
• es el conjunto de valores.
Ejemplo:
Considérese la sucesión
MATEMATICAS DISCRETAS
Ingeniería en Tecnologías de la Información y las Comunicaciones UniLibre Cúcuta
Prof. Freddy Oswaldo Ovalles Pabón IS Esp. TI MSc SE PhD TI (c)
Unidad 3. Recursión y Matrices
De acuerdo a las definiciones anteriores para esta sucesión tenemos que: 1 es el primer elemento;
1/6 es el último elemento; 1/3 precede a 1/2; 1/2 sucede a 1/3y 1/4 está en la posición 4. La longitud
Es decir;
Ejemplo:
Las sucesiones
•
Son distintas. Obsérvese, sin embargo, que el conjunto de valores de las tres sucesiones es el
mismo: .
Una sucesión que asocia con cada número natural un objeto se le llama sucesión infinita.
Definición: 1.5.2 Sucesión infinita. Sea A un conjunto. Una sucesión infinita con valores en A es
una correspondencia que asocia con cada número un elemento y sólo un elemento de A.
Utilizamos la representación
para referirnos a la sucesión infinita que asocia el elemento con . Gráficamente esta
correspondencia la podemos ilustrar de la siguiente forma:
MATEMATICAS DISCRETAS
Ingeniería en Tecnologías de la Información y las Comunicaciones UniLibre Cúcuta
Prof. Freddy Oswaldo Ovalles Pabón IS Esp. TI MSc SE PhD TI (c)
Unidad 3. Recursión y Matrices
Las mismas definiciones dadas para sucesiones finitas se utilizan para las sucesiones infinitas. A
excepción de los conceptos de último elemento y longitud. En este caso no están definidos.
En la sucesión infinita
Es decir,
Su primer elemento es 1; 1/50 está en la posición 50; precede a 1/20 y 1/30 sucede a 1/10. Su
En computación es más usual nombrar una sucesión por un identificador, por ejemplo, “fact.”.
También se prefiere la notación para el término n-esimo de la sucesión s. Así
representa el término n-ésimo de la sucesión fact.
Ejemplo:
.
• Una sucesión importante en computación que se utiliza en problemas de conteo es la
sucesión factorial, definida por . Es decir, el término
n-ésimo de la sucesión factorial es el producto de los primeros n números. Por ejemplo,
, . Es
costumbre considerar esta sucesión definida a partir de 0, y definir . Una
notación tradicional para denotar esta sucesión es . De esta forma, por ejemplo, 0!=1,
1!=1, 2!=2x1=2, 3!=3x2x1=6
como . Hay sucesiones que se definen implícitamente mediante reglas que permiten
encontrar un término de la sucesión utilizando otros términos que lo preceden en la sucesión.
MATEMATICAS DISCRETAS
Ingeniería en Tecnologías de la Información y las Comunicaciones UniLibre Cúcuta
Prof. Freddy Oswaldo Ovalles Pabón IS Esp. TI MSc SE PhD TI (c)
Unidad 3. Recursión y Matrices
La cláusula recursiva nos describe la manera (reglas o fórmulas) para obtener los otros valores de la
sucesión (de manera “recurrente”).
Es un ejemplo de sucesión aritmética, en donde cada término se obtiene del anterior sumándole 2.
Una definición recursiva de esta sucesión es:
(B)
(R) .
En general, una sucesión aritmética es una sucesión en la cual cada término después del primero se
obtiene sumando al término precedente un mismo número fijo d, llamado diferencia común. Es
decir, una sucesión aritmética es de la forma
Teniendo en cuenta la definición anterior, una manera de definir recursivamente una sucesión
aritmética con diferencia común d es:
(B)
(R) .
Utilizando esta definición para la sucesión aritmética con primer término y diferencia
.
MATEMATICAS DISCRETAS
Ingeniería en Tecnologías de la Información y las Comunicaciones UniLibre Cúcuta
Prof. Freddy Oswaldo Ovalles Pabón IS Esp. TI MSc SE PhD TI (c)
Unidad 3. Recursión y Matrices
Ejemplo: Sucesiones geométricas
La sucesión definida por , es decir,
Es un ejemplo de sucesión geométrica, donde cada término se obtiene del anterior multiplicándolo
por 2.
Una definición recursiva de esta sucesión es:
(B)
(R) .
En general, una sucesión geométrica es una sucesión en la cual cada término después del primero
se obtiene multiplicando el término precedente por un mismo número fijo r, llamado razón o
cociente común.
Teniendo en cuenta la definición anterior, una manera de definir recursivamente una sucesión
geométrica con razón común r es:
(B)
(R)
Utilizando esta definición para la sucesión geométrica con primer término y razón
común podemos calcular por ejemplo, ,
(B)
Luego .
(B)
(R)
Principio de inducción matemática. Sea un predicado sobre N.Si tiene las siguientes
propiedades
(B) es verdadera.
(P) Para cualquier , Si es verdadera entonces es verdadera, entonces
es verdadera.
Utilizando la notación del cálculo de predicados el anterior principio puede ser expresado como:
“El principio de inducción matemática se basa en el hecho de que después de cada entero k hay un
siguiente k+1y que todo entero n puede ser alcanzado mediante un número finito de pasos, a partir
de 1”.
Nos referimos a (B), es decir al hecho que es verdadera, como el paso básico de la inducción y
nos referimos a (P) como el paso inductivo. En general, el paso básico es sencillo de verificar; para
demostrar el paso inductivo se supone que, es verdadera, y se demuestra que es
verdadera. En este caso llamamos a hipótesis de inducción.
Para todo valor de n, la suma 1+2+3+…+n de los n primeros números naturales es igual a .
Consideremos la proposición
es evidentemente verdadero
(P) Supóngase que se sabe que es verdadera para algún . Esto es, se supone para
algún fijo,
Hipótesis
•
•
Al sumar miembro a miembro las dos igualdades obtenemos:
Puesto que en el lado izquierdo de esta igualdad hay n sumandos en total tenemos
que, , es decir,
De (1.1) se puede decir la fórmula de la suma de los primeros términos de cualquier
progresión aritmética,
Demostración:
MATEMATICAS DISCRETAS
Ingeniería en Tecnologías de la Información y las Comunicaciones UniLibre Cúcuta
Prof. Freddy Oswaldo Ovalles Pabón IS Esp. TI MSc SE PhD TI (c)
Unidad 3. Recursión y Matrices