Sunteți pe pagina 1din 10

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

CAPITULO III: RECURSIÓN Y MATRICES

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

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 finita que asocia el elemento con . Gráficamente esta
correspondencia la podemos ilustrar de la siguiente forma:

Decimos en este caso que:


• N es la longitud de la sucesión. (el número de elementos)

• 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

de la sucesión es 6 y su conjunto de valores es .


La sucesión es una sucesión finita de longitud 7 con elementos repetidos.

Es decir;

En este caso el conjunto de valores es Además el elemento 0 aparece en las posiciones 2, 3, 4


y 5 Por consiguiente el elemento 0 en la posición 2 precede al elemento 0 en la posición 4.

Dos sucesiones y son iguales si sus correspondientes elementos son


iguales, 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

conjunto de valores es: .

En matemáticas es costumbre nombrar las sucesiones por letras minúsculas como a, b, s, y

referirnos a las sucesiones y de manera abreviada por

respectivamente. Con frecuencia llamamos al elemento ,que está en la


posición n de la sucesión s, el término n-esimo de la sucesión.

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:

• Consideremos la sucesión donde .Esta es la sucesión

• Consideremos la sucesión dada por para . Es decir, donde

.Esta es la sucesión .En este caso, su conjunto de valores es

.
• 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

3.2 Sucesiones definidas recursivamente


Los valores de los términos de una sucesión pueden definirse explícitamente mediante fórmulas

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

Definición: 1.6.1 Definición recursiva de sucesión. Una sucesión está definida


recursivamente siempre que:
(B) Cláusula base: Los valores de algunos términos de la sucesión, generalmente el primero, o los
primeros, se especifiquen explícitamente.
(R) Cláusula recursiva: Los valores de los otros elementos de la sucesión están definidos en
término de valores previos en la sucesión.
En la cláusula base se dan los valores de los elementos a partir de los cuales se generan los demás
valores de la sucesión.

La cláusula recursiva nos describe la manera (reglas o fórmulas) para obtener los otros valores de la
sucesión (de manera “recurrente”).

Ejemplo: Sucesiones aritméticas


La sucesión definida por , es decir,

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

común , podemos calcular por ejemplo,

.
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.

Es decir, una sucesión geométrica es de la forma

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, ,

Ejemplo: Potencia entera positiva


Una sucesión importante es el caso particular de sucesión geométrica, en el cual la razón de la
sucesión coincide con el valor del primer término. Por ejemplo,

En este caso el término general de la sucesión es la potencia n-ésima de 2, y como es costumbre se


denota por .

Su definición recursiva es: .

Utilizando la otra notación tenemos .


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
En general, la potencia entera positiva de un número real se define de manera recursiva por:

(B)

(R) . Utilizando esta definición podemos calcular, por ejemplo,

Ejemplo: Factorial de un número


Como mencionamos antes, el factorial de un número n natural es el producto de los n primeros
números naturales, y el factorial de 0 es 1. Estos números definen la sucesión factorial fact, donde el
término n-ésimo es

La definición recursiva de esta sucesión es


(B)
(R)

Utilizando esta definición podemos calcular, .


,
,
,
,

Utilizando la notación para el factorial de n. La definición recursiva de la sucesión fact se puede


escribir como
(B)
(R)
Teniendo en cuenta la definición recursiva de y podemos tratar de expresar en términos de
su predecesor.
Para obtenemos
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

Luego .

Haciendo en la formula inicial, obtenemos que . Luego se define recursivamente


por:

(B)

(R)

3.3 Inducción matemática


Para probar que una proposición de la forma es verdadera, donde es un
predicado sobre el conjunto U, hay que demostrar que para cada la proposición es
verdadera. Si el conjunto U es infinito lo anterior no se puede hacer de manera directa elemento por
elemento. En esta sección mostraremos para el caso en que U =N, un método de demostración que
nos permita concluir de manera indirecta que es verdadera. Este método es llamado el
principio de inducción matemática. Supongamos que de alguna forma hemos demostrado para un
predicado sobre N las siguientes dos afirmaciones:
(B) es verdadera
(P) Si es verdadera entonces es verdadera, para cualquier .
¿De qué manera podemos utilizar este hecho para probar que es verdadera?
Solución: Haciendo en (P)
(1) Si es verdadera, entonces es verdadera.
(2) Si es verdadera, entonces es verdadera.
(3) Si es verdadera, entonces es verdadera.
(4) Si es verdadera, entonces es verdadera.
Veamos la forma como se utilizan estas implicaciones para demostrar que es verdadera:
• Se sabe, por (B), que es verdadera. Por lo tanto, por (1), concluimos que es
verdadera.
• Como es verdadera, utilizando (2), deducimos que es verdadera.
• Ahora que sabemos que es verdadera, usando (3), podemos concluir que es
verdadera.
• Al ser verdadera, aplicando (4), tenemos que es verdadera.
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
Es decir, a partir de (B) usando sucesivamente (P), hemos probado que
son verdaderas. Haciendo lo anterior para cualquier concluimos que la sucesión infinita de
proposiciones, son verdaderas.

El siguiente principio lógico formaliza lo anterior.

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”.

El principio de inducción matemática nos ofrece la siguiente técnica de demostración.

Método de demostración usando inducción matemática. Sea un predicado sobre N. Para


demostrar que la proposición es verdadera, es suficiente demostrar las dos
afirmaciones:
(B) es verdadera.
(P) Para cualquier , si es verdadera entonces es verdadera.

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.

Ejemplo: Progresiones aritméticas

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

Demostremos por inducción que es verdadera.


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
(B) Se deberá probar que es verdadera, como se observa

es evidentemente verdadero
(P) Supóngase que se sabe que es verdadera para algún . Esto es, se supone para
algún fijo,

Ahora se debe probar que es verdadera, es decir, la igualdad

Hipótesis

Otra forma de probar (1.1) es escribiendo la suma de dos maneras:



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

Para el caso y , se obtiene la misma fórmula (1.1).

S-ar putea să vă placă și