Você está na página 1de 17

UNIVERSIDAD NACIONAL DE CAJAMARCA

Norte de la Universidad Peruana


Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas

1. Sucesin
Una sucesin matemtica es una aplicacin cuyo dominio es el conjunto de los enteros positivos o
+{0} y su codominio es cualquier otro conjunto, generalmente de nmeros, figuras geomtricas
o funciones. Cada uno de ellos es denominado trmino (tambin elemento o miembro) de la
sucesin y al nmero de elementos ordenados (posiblemente infinitos) se le denomina la longitud
de la sucesin. No debe confundirse con una serie matemtica, que es la suma de los trminos de
una sucesin.

A diferencia de un conjunto, el orden en que aparecen los trminos s es relevante y un mismo


trmino puede aparecer en ms de una posicin. De manera formal, una sucesin puede definirse
como una funcin sobre el conjunto de los nmeros naturales (o un subconjunto del mismo) y es
por tanto una funcin discreta.

Estas sucesiones que siguen una regla determinada, han llamado siempre la atencin de los
matemticos de todas las generaciones. Pero, a pesar de esto y de que se conocan desde tiempos
lejanos, no fueros estudiadas de forma detallada hasta la poca de mayor desarrollo de las
matemticas en el siglo XVIII. Fue en este tiempo cuando se perfeccion el concepto de lmite de
una sucesin como el valor al cual se acercan de forma sucesiva sus trminos.

En general, las sucesiones se utilizan para representar listas ordenadas de elementos pero, sobre
todo, dentro de las matemticas discretas son empleadas de otras diversas maneras como, por
ejemplo, dentro de las ciencias de la computacin y en la Teora de Juegos.

Sin cuestin alguna, Leonhard Euler fue el matemtico ms destacado de esa poca, gracias a sus
contribuciones decisivas en diversos campos de las matemticas, sobe todo, en el campo de las
sucesiones y de las series numricas.

Tambin cabe destacar al matemtico italiano Leonardo de Pisa, quien, en el siglo siglo XII, introdujo
en Europa una de las sucesiones matemticas que mayor existencia tiene en los fenmenos
naturales, los nmeros de Fibonacci.

Definicin formal
Una sucesin finita (de longitud r) con elementos pertenecientes a un conjunto S, se define
como una funcin

y en este caso el elemento corresponde a

Por ejemplo, la sucesin finita, (de longitud 4) de nmeros primos menores que 10:

1
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas

corresponde a la funcin (donde es el conjunto de nmeros primos)


definida por:

Notacin
Notaremos por a una sucesin, donde x la identifica como distinta de otra
digamos

La notacin es permisiva en cuanto a su modificacin si realmente es necesario.

2. Limite de una sucesin


El lmite de una sucesin es uno de los conceptos ms antiguos del anlisis matemtico. Es el
valor al que tienden los trminos de la sucesin cuando toma valores muy grandes. Se
representa mediante , y se lee lmite cuando tiende a ms infinito de sub .

Este concepto est estrechamente ligado al de convergencia, una sucesin de elementos de un


conjunto es convergente si y solo si en el mismo conjunto existe un elemento (al que se le
conoce como lmite) al cual la sucesin se aproxima tanto como se desee a partir de un
momento dado. Si una sucesin tiene lmite, se dice que es una sucesin convergente, y que la
sucesin converge o tiende al lmite. En caso contrario, la sucesin es divergente.
La definicin significa que eventualmente todos los elementos de la sucesin se aproximan tanto
como queramos al valor lmite. La condicin que impone que los elementos se encuentren
arbitrariamente cercanos a los elementos subsiguientes no implica, en general, que la sucesin
tenga un lmite (vase sucesin de Cauchy).
Qu se entiende por prximo da lugar a distintas definiciones de lmite dependiendo del conjunto
donde se ha definido la sucesin

Definicin formal
El trmino general de una sucesin tiene lmite cuando tiende , si para todo
valor por pequeo que sea, existe un valor a partir del cual si tenemos que
la distancia de a es menor que , es decir:

2
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas

Notacin

Ejemplos

La sucesin 1/1, 1/2, 1/3, 1/4, ... converge al lmite 0.


La sucesin 1, -1, 1, -1, 1, ... es oscilante.
La sucesin 1/2, 1/2 + 1/4, 1/2 + 1/4 + 1/8, 1/2 + 1/4 + 1/8 + 1/16, ... converge al lmite 1.
Si a es un nmero real con valor absoluto |a| < 1, entonces la sucesin an posee lmite 0. Si
0 < a 1, entonces la sucesin a1/n posee lmite 1.

Propiedades

Si una sucesin tiene lmite positivo, existe un trmino a partir del cual todos los
trminos de la sucesin son positivos.
Si una sucesin tiene lmite negativo, existe un trmino a partir del cual los trminos
de la sucesin son negativos.
Si una sucesin converge a cero, no se puede asegurar nada acerca del signo de
cada uno de los trminos de la sucesin.
Si una sucesin tiende a menos infinito y entonces tiende a 0.

3
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas

Limite de una Sucesin

Se dice que la sucesin converge hacia un complejo si y solo si .

Ntese que es la misma definicin que para , con mdulo en lugar del valor absoluto.
Se puede escribir
o ms simplemente, si no hay ambigedad

Las sucesiones complejas convergentes poseen las mismas propiedades que las sucesiones
reales, excepto las de relacin de orden: el lmite es nico, una sucesin convergente tiene
mdulo acotado, toda sucesin de Cauchy converge (en efecto, es tambin completo).

Sucesiones montonas

En una sucesin montona, la diferencia entre cada trmino y el siguiente es siempre del mismo
signo. Pueden ser crecientes o decrecientes:

Sucesin creciente
Si se impone al trmino general de una sucesin numrica la condicin que , es
decir, que el siguiente trmino, , , siempre sea estrictamente mayor que su predecesor, ,
se llaman sucesiones estrictamente crecientes:
Para naturales: 1, 2, 3, 4, 5, 6, ...
Para enteros: -10, -9, -8, -7, -6, ...
Para reales:

Si se impone ,es decir, una desigualdad no estricta, entonces se pueden incluir,


entre otras, las sucesiones constantes.

Sucesin decreciente
Al igual que las crecientes tenemos, segn el trmino general, que:

Si es estrictamente decreciente.
Si entonces la sucesin es decreciente.

4
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas

3. Series

a. Serie armnica
Serie armnica se define en matemticas como la siguiente serie infinita:

Se llama as porque la longitud de onda de los armnicos de una cuerda que vibra es
proporcional a su longitud segn la serie de fracciones unitarias: 1, 1/2, 1/3, 1/4, 1/5,
1/6, 1/7...
Divergencia de la serie armnica
La serie armnica es divergente, aunque diverge lentamente (los primeros
1043 trminos de la serie suman menos que 100). Esto se puede demostrar haciendo
ver que la agrupacin de los trminos de la serie armnica:

son mayores, que esta otra serie:

que est claro que diverge y por consecuencia la serie armnica tambin diverge. Esta prueba
fue dada por Nicols Oresme en (1350) y fue un gran paso para las matemticas medievales en
particular.
Otras series, como la suma de los inversos de los nmeros primos diverge, aunque esto ya es
ms difcil de demostrar.

b. serie geomtrica
En matemtica, una serie geomtrica es una serie en la cual la razn entre sus trminos
sucesivos permanece constante.
Por ejemplo, la serie:

es geomtrica, pues cada trmino sucesivo se obtiene al multiplicar el anterior por

5
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas

Si los trminos decrecen y se acercan a cero en el lmite. En tal caso, la serie


converge.
Si los trminos de la serie se incrementan en magnitud. La suma de los trminos
tambin aumenta y la serie no tiene suma. La serie diverge.

Frmula:

Demostracin:

Ejemplo:

6
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas

c. Serie aritmtica
En matemticas, una progresin aritmtica es una sucesin de nmeros tales que la
diferencia de dos trminos sucesivos cualesquiera de la secuencia es una constante,
cantidad llamada diferencia de la progresin, diferencia o incluso distancia.
Por ejemplo, la sucesin matemtica 3, 5, 7, 9, es una progresin aritmtica de
diferencia constante 2, as como 5, 2, 1, 4, es una progresin aritmtica de
diferencia constante 3.

Formulacin:
En una progresin aritmtica, si se toman dos trminos consecutivos cualesquiera de
esta, la diferencia entre ambos es una constante, denominada diferencia. Esto se puede
expresar como una relacin de recurrencia de la siguiente manera:

Conociendo el primer trmino a1 y la diferencia d, se puede calcular el ensimo trmino de


la progresin mediante sustitucin sucesiva en la relacin de recurrencia

con lo que se obtiene una frmula para el trmino general de una progresin aritmtica,
escrita de manera compacta como:

donde d es un nmero real cualquiera.


Tambin se puede escribir el trmino general de otra forma. Para ello se consideran los
trminos am y an (m<n) de la progresin anterior y se ponen en funcin de a1:

Restando ambas igualdades, y trasponiendo, se obtiene:

7
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas

expresin ms general que (I), pues da los trminos de la progresin conociendo uno cualquiera
de ellos, y la diferencia.
Dependiendo de si la diferencia d en una progresin aritmtica es positiva, nula o negativa, se
tiene que:
d>0: progresin creciente. Cada trmino es mayor que el anterior.

Ejemplo: 3, 6, 9, 12, 15, 18... (d=3)


d=0: progresin constante. Todos los trminos son iguales.

Ejemplo: 2, 2, 2, 2, 2... (d=0)


d<0: progresin decreciente. Cada trmino es menor que el anterior.

Ejemplo: 5, 3, 1, -1, -3, -5, -7... (d = -2)

4. Sucesiones Convergentes

Las s uc es i o n es c on v er g e nt es s o n l as s uc e s i on es q ue t i e ne n l m it e f in i to .

Ejemplo:

L mi te = 0

8
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas

Ejemplos de sucesi ones convergentes

a n = 2 , 3/2 , 4/3 , 5/ 4, . . ., n + 1 /n

L mi te = 1.

b n = 2 , - 4 , 8, - 16, 3 2, . . ., ( - 1) n - 1 2 n

N o e s c on v e rg en t e n i di ve rg en t e .

Criterios de convergencia

En matemticas, una serie (suma de los trminos de una secuencia de nmeros),


resulta convergente si la sucesin de sumas parciales tiene un lmite en el espacio
considerado. De otro modo, constituira lo que se denomina serie divergente.
Las series consideradas son numricas (con trminos reales o complejos) o vectoriales (con
valores en un espacio vectorial normado).
La serie de trmino general converge cuando la sucesin de sumas
parciales converge, donde para todo entero natural n.

En este caso la suma de la serie es el lmite de la sucesin de sumas parciales.

9
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas

5. Principios de induccin simple

En matemticas, la induccin es un razonamiento que


permite demostrar proposiciones que dependen de una variable que toma una infinidad
de valores enteros. En trminos simples, la induccin matemtica consiste en el siguiente
razonamiento:
El nmero entero tiene la propiedad . El hecho de que cualquier nmero

entero tambin tenga la propiedad implica que tambin la tiene.


Entonces todos los nmeros enteros a partir de tienen la propiedad .
La demostracin est basada en el axioma denominado principio de la induccin
matemtica

Ejemplo:
Se probar que la siguiente declaracin P ( n ), que se supone vlida para todos los nmeros
naturales n .

P ( n ) da una frmula para la suma de los nmeros naturales menores o igual a n . La prueba
de que P ( n ) es verdadera para todos los nmeros naturales procede como sigue.
Base: Se muestra que es vlida para n = 1.
con P(1) se tiene:

En el lado izquierdo de la ecuacin, el nico trmino es 1, entonces su valor es 1.


mientras que el trmino derecho, 1(1 + 1)/2 = 1.
Ambos lados son iguales, n = 1. Entonces P(1) es verdadera.
Paso inductivo: Mostrar que si P(k) es verdadera, entonces P(k + 1) es verdadera. Como sigue:
Se asume que P(k) es verdadera (para un valor no especfico de k). Se debe entonces mostrar
que P(k + 1) es verdadera:

usando la hiptesis de induccin P(k) es verdadera, el trmino izquierdo se puede reescribir:

10
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas

Desarrollando:

mostrando de hecho que P(k + 1) es verdadera.


Puesto que se han realizado los dos pasos de la induccin matemtica tanto la base como el
paso inductivo, la declaracin P ( n ) se cumple para todo nmero natural .

6. Induccin fuerte
La induccin fuerte o induccin completa es un mtodo de demostracin matemtica similar a
la induccin matemtica comn, pero difiere en el razonamiento de lo que queremos demostrar.
Se toma un nmero fijo y se toma como hiptesis que es cierto para otro nmero fijo mayor que
ste y para todos los que estn entre ellos. As, la afirmacin es cierta slo si tambin se cumple
para el sucesor de este ltimo nmero.
Existe tambin un mtodo de induccin dbil o induccin desplazada, que usa un razonamiento
en cierto modo inverso a este, ya que toma como base la hiptesis de que es cierta para el
antecesor del que se quiere demostrar.
El procedimiento es vlido considerando que los elementos de lo que queremos demostrar
pertenecen a un conjunto inductivo. Es decir, el conjunto de todas las afirmaciones es un
conjunto inductivo.

Podemos enunciar el principio de induccin fuerte tal y como se muestra a continuacin:


Sea P(n) una afirmacin que depende del parmetro n entero, y suponiendo que se demuestra
lo siguiente,

1) es cierta para un cierto entero


2) Siempre que es cierto y que es cierto para cualquier entero ,
se tendr que es cierto, entones la afirmacin ser cierta para todo entero
.

11
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas

Suele ser ms complicado y no trivial solucionar los problemas comunes de induccin con este
mtodo, pero puede ser ventajoso.

Demostracin:

Usando el principio de induccin fuerte:

i) Probar la base inductiva

ii) Iterando suponemos que la hiptesis inductiva vale para:

iii) Por demostrar que

Como

Usando la hiptesis de induccin y y como

por transitividad de la desigualdad se tiene

7. Pricipio del buen orden

Dados dos enteros diferentes x, y, sabemos que x y o y x . Sin embargo, esto


tambin es cierto si, en vez de ser enteros, x y y son nmeros racionales o nmeros reales.
Qu hace especial a la Z en este caso? Supongamos que tratamos de expresar el
subconjunto z de Z , mediante los smbolos de desigualdad > y . Vemos que podemos
definir el conjunto de los elementos positivos de Z como:

No obstante, cuando intentamos hacer lo mismo con los nmeros racionales y reales vemos
que:

12
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas

Pero no podemos representar

Este principio sirve para distinguir a Z de Q o R . Pero conduce a algo que sea interesante
o til desde el punto de vista matemtico? La respuesta es un rotundo SI es la base de
una tcnica de demostracin conocida como induccin matemtica. Esta tcnica nos
ayudara con frecuencia para demostrar una proposicin matemtica general relacionada
con los enteros positivos, cuando algunos casos de esa proposicin sugieran un patrn
general.

Ahora estableceremos la base de esta tcnica de induccin.

Teorema 1

Principio de induccin finita o principio de induccin matemtica. Sea S(n) una proposicin
matemtica abierta (o un conjunto de tales proposiciones abiertas), en la que aparece una o varias
veces la variable n, que representa a un entero positivo.

a) Si S(1) es verdadera: y

b) siempre que S(k) sea verdadera (para algn k Z particular, pero elegido al azar), entonces S(k
1) ser verdadera; entonces S(n) es verdadera para todo nZ .

Ejemplo:

Para cualquier

Demostracin: para n 1 , la proposicin abierta

13
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas

Se convierte en es verdadera y tenemos nuestra base para la


induccin. Un punto de inicio para comenzar la induccin. Si suponemos que el resultado es cierto
para n k (para algn k z ), queremos establecer nuestro paso inductivo mostrando que la verdad
de S(k) obliga a aceptar la verdad de S(k 1) . [La hiptesis de la verdad de S(k) es nuestra hiptesis
de induccin.] Para establecer la verdad de S(k 1) , necesitamos mostrar que:

Hacemos lo siguiente.

ya que estamos suponiendo la verdad de S(k) . Pero

Lo que establece el paso inductivo [condicin (b)] del teorema. En consecuencia, por el principio de
induccin finita, S(n) es verdadera para todo n z Ahora que hemos obtenido la formula para la
suma de dos formas nos desviaremos un poco del tema principal y estudiaremos un ejemplo
que usa esta formula de la suma.

8. Demostraciones por induccin


Razonamiento que permite demostrar una infinidad de proposiciones, o una proposicin que
depende de un parmetro en que toma una infinidad de valores enteros.

Definicin:
Este principio sirve para demostrar propiedades que se cumplen para un conjunto numerable de
objetos (Un conjunto A es numerable si existe una biyeccin de A en el conjunto de los nmeros
naturales). Generalmente se usa la notacin A(n), B(n), C(n), P (n), para denotar estas
propiedades.

Principio
El principio de induccin completa, en que se basa el mtodo del mismo nombre, consiste en:

14
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas

1ro. Probar que la propiedad se satisface para un primer nmero natural (P (a) es verdadera para a
perteneciente a N).

2do. Probar que siempre que un nmero natural cualquiera satisfaga la propiedad, su sucesor
tambin la satisface.(De P (k) se deduce P (k+1)).

Ejemplo
Demuestra por Induccin completa que para todos los nmeros naturales n se cumple: 0 + 2 + 4
++ 2n = n(n + 1). Sea S(n) = 0 + 2 + 4 ++ 2n. Se debe probar que S(n) = n(n + 1).

Inicio de Induccin: Para n = 0: S (0) = 0(0 + 1) = 0 La propiedad es verdadera para n = 0.

Hiptesis de induccin: Para n = k : 0 + 2 + 4 ++ 2k = k(k + 1).

Tesis de induccin: Para n = k +1: 0 + 2 + 4 ++ 2(k+1) = (k + 1)(k + 2).

Demostracin de la tesis de induccin: Se debe probar que S (k)= k(k + 1) => S (k+1)= (k + 1)(k + 2)
Partiendo de la hiptesis: 0 + 2 + 4 ++ 2k = k(k + 1) Sumemos el trmino 2(k +1) a ambos miembros
de la igualdad: 0 + 2 + 4 ++ 2k + 2(k + 1) = k(k + 1) + 2(k + 1) Debemos analizar si en el miembro
derecho la expresin: k(k + 1) + 2(k + 1)es la misma que (k + 1)(k + 2) 0 + 2 + 4 ++ 2k + 2(k + 1) = k(k
+ 1) + 2(k + 1) 0 + 2 + 4 + +2k+ 2(k + 1) = (k + 1)(k + 2) extrayendo factor comn (k+1) Luego, la
propiedad se cumple para todo n que pertenece a N.

Demostracin de proposiciones de la Teora de nmeros


Demuestra por induccin completa que para todo numero natural n 3n 1 es divisible por 2.

Inicio de induccin: Para n = 0 ; 30 1 = 1 1 = 0 no se cumple la propiedad. Para n = 1, 31 1 = 2


es divisible por 2. Se cumple la propiedad. Elaborar de conjunto con los alumnos que si un nmero
es divisible por 2, entonces es de la forma 2x, con x que pertenece a N.)

15
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas

BIBLIOGRAFIAS

Leonhard Euler, De summatione innumerabilium progressionum

(Vase, en ingls, An Elementary Problem Equivalent to the Riemann Hypothesis,


American Mathematical Monthly, volumen 109 (2002), pginas 534--543.)

Weisstein, Eric W. Geometric Series. En Weisstein, Eric W. MathWorld (en


ingls). Wolfram Research.

Weisstein, Eric W. ConvergentSeries. En Weisstein, Eric W. MathWorld (en


ingls). Wolfram Research.

"Diccionario de Matemticas" de Christopher Clapham (1998)

Lokenath Debnath (2009), The Legacy of Leonhard Euler: A Tricentennial Tribute,


World Scientifi

"Matemtica discreta y sus aplicaciones" Kenneth H. Rosen

H. Crdenas, E. Lluis, F. Raggi y F. Toms, lgebra Superior, Mxico, Trillas, 1978

Ralph Grimaldi. Matemtica discreta y combinatoria. Prentice Hall. 3 Ed. 1998.


Kolman, Busby y Ross. Estructuras de matemticas discretas para la computacin.
Pearson Educacin. 3 Ed. 1997 K. Ross y C. Wright. Matemticas discretas. Prentice
Hall. 2 Ed. 1990. Richard Johnsonbaugh. Matemticas discretas. Grupo Editorial
Iberoamericana. 1998

16
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas

INDICE

1.1 Sucesin.
1.2 Lmite de una sucesin, sucesiones montonas, convergencia
de sucesiones .
1.3 Serie: serie armnica, serie aritmtica, serie geomtrica..
1.4 Serie convergente y divergente, criterios de convergencia ..
1.5 Principios de induccin simple ..
1.6 Principio de induccin por curso de valores
1.7 Principio de buen orden
1.8 Demostracin de teorema por induccin

17
matematica bsica I

Você também pode gostar