Escolar Documentos
Profissional Documentos
Cultura Documentos
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.
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
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
Notacin
Notaremos por a una sucesin, donde x la identifica como distinta de otra
digamos
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
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
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:
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:
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:
5
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas
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:
con lo que se obtiene una frmula para el trmino general de una progresin aritmtica,
escrita de manera compacta como:
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.
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
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
9
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas
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:
10
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas
Desarrollando:
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.
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:
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
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.
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
13
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas
Hacemos lo siguiente.
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.
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).
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.
15
matematica bsica I
UNIVERSIDAD NACIONAL DE CAJAMARCA
Norte de la Universidad Peruana
Facultad de Ingenieria
Escuela Academico Profecional Ingenieria de Minas
BIBLIOGRAFIAS
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