Definiciones

Las diferentes definiciones suelen estar ligadas al rea de trabajo, la ms comn y poco general es la definicin de sucesin numrica, en la prctica se usan sucesiones de forma intuitiva: [editar]Definicin

abstracta conjuntista
en X.

Clase de finitos o numerables objetos ordenados. [editar]Definicin

Una sucesin en un conjunto X es una enumeracin de elementos de X, es decir una aplicacin de [editar]Notacin Notaremos por digamos . a una sucesin, donde x la identifica como distinta de otra

La notacin es permisiva en cuanto a su modificacin si realmente es necesario. [editar]Definicin

de trmino general
,donde indica el lugar que ocupa en

Llamaremos trmino general de una sucesin a dicha sucesin. [editar]Definicin

de parcial
a una sucesin donde

Llamaremos parcial de [editar]Ejemplos

en distintas reas

Estos ejemplos pretenden ser una pequea muestra de la infinidad, propiamente dicha, de usos que tienen dichas sucesiones en matemticas. El trabajo interno en el desarrollo de cada tema en cada rea obliga a diversificar el modo de nominar y notar las sucesiones, hacindose frecuente el uso de ndices, subndices y superndices para salvar la sobrecarga de notacin y hacerlas ms legibles y estticas en cuanto a la presentacin. [editar]En Se puede tener una sucesin que [editar]En tal

el espacio de las sucesiones finitas en

tal

Se puede tener una sucesin que [editar]En

K[x]

Un polinmio representada como [editar]En

no es ms que una sucesin finita .

tal que

Se puede tener una sucesin donde [editar]En .

tal que

un espacio vectorial topolgico

, donde , donde es una

Se puede tener una sucesin sucesin real arbitraria y B un abierto. [editar]Sucesiones

funcionales
.

Se puede tener una sucesin de funciones continuas [editar]En Sea

el lenguaje proposicional
al conjunto de sucesiones finitas de n elementos de A, se

un alfabeto, llamaremos

define inductivamente por la sucesin de productos cartesianos siguiente: as . [editar]En

homologa simplicial

El complejo de cadenas simplicial del complejo simplicial K, no es ms que una determinada sucesin de grupos abelianos y morfismos [editar]En Sea [editar]

el lenguaje de las categoras

, donde .

una categora, podemos tener una sucesin

Sucesiones numricas

Una sucesin numrica se formaliza como una aplicacin de los naturales en los reales, es decir :

que escribiremos simplemente como subndices son enteros, tambin vale

o, si se da por entendido que los .

El nombre que recibe la sucesin tambin puede hacer referencia a los valores que toma sobre los reales, as, si la imagen de del tipo [editar]Notas fuesen los racionales, es decir fracciones enteras

, podemos llamarla sucesin de nmeros racionales, y lo mismo para

los irracionales, naturales, enteros, algebraicos, trascendentes, ... .

y ejemplos bsicos

Para definir trmino a trmino la sucesin, se indica para cada termino el valor que le corresponde directamente: El primero es el segundo es el tercero es a por ejemplo 3, a por ejemplo -10, a por ejemplo 9, y as sucesivamente.

Para indicar, si hace falta, el comportamiento del resto de los valores, se usa el trmino general y se escribe acompaado como ejemplo nmero al azar, ... . a por

Los puntos suspensivos dan por entendido que los valores de la sucesin se omiten ya que estos quedan claramente determinados hasta el infinito, siendo el n-simo valor, nombre , el portador del mtodo para generar el valor de cada trmino, y el puede ser cambiado, si hace falta, por , , , , ... . Materialmente seria: 3, -10, 9, 7, ... , nmero al azar, ... . [editar]Sucesin

finita

Diremos que una sucesin es finita si determinamos su ltimo termino, por ejemplo el n-simo: Genricamente: general si hiciese falta. ejemplo: 100, 99, 98, ... , 1, 0. , donde sera el trmino

Sucesin constante
Diremos que una sucesin es constante si todos los trminos valen cualquiera, ejemplo: Genricamente ejemplo: si mismo, 1. . queda como 1, 1, 1, 1, ... ,1 ,... , es decir, que todos los valores son el , un nmero real

Sucesin creciente

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

, es , se

, 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 termino general, que: si si entonces la sucesin es decreciente, es estrictamente decreciente.

Sucesin alternada
Intuitivamente se llama sucesin alternada cuando alterna valores de signo opuesto, como an = ( 1)n que nos genera la sucesin: 1, -1, 1, -1, 1, -1, ... . Utilizado por las series llamadas series alternas.

Segn el trmino general

El termino general de la sucesin queda definido de forma explcita si su valor est en funcin del valor del subndice, es decir, si cualquiera como por ejemplos: que dara la sucesin de naturales sucesivos, es decir, 1, 2, 3, 4, 5, ... . que dara todos los nmero pares incluido el cero, es decir, 0, 2, 4, 6, 8, ... . que dara la sucesin de cuadrados siguiente, 0, 1, 4, 9, 16, ... . Dada una funcin funcin , llamaremos extensin en los reales de cuyos valores coinciden en el dominio de , es decir, a una . donde es una funcin

Error fatal es nombrar a la extensin en los reales con el mismo nombre !, pues, se trata de una asociacin totalmente arbitraria y no univoca que trae confusin y no tiene sentido para algunas funciones definidas a trozos. Comprubese que llamemos a la extendida por ejemplo o solo si la sucesin que si es un polinomio, o o determinan sobre los enteros es la misma, pero no son la misma funcin!, si son funciones trigonomtricas, agregando subndices si hace falta.

La funcin f puede adquirir propiedades de la extendida P, si existe P con dichas propiedades, como lmites al infinito, monotona, acotaciones... . Casos en los que f no puede extenderse sobre los reales: si definimos un como el nmero de factores propios de n. funciones aritmticas, como la funcin fi de Euler o la Funcin de Mbius .

El trmino general de la sucesin queda definido de forma implcita si su valor depende de sus predecesores, esto se indica en general del modo siguiente Dados previamente los valores de general de forma inductiva como ejemplo con la ecuacin en diferencias . , podemos definir el trmino como por

APROXIMACIONES
Cuando un nmero tiene muchas cifras, es difcil recordarlo y operar con l. Por eso lo solemos sustituir por otro ms manejable de valor similar, prescindiendo de sus ltimas cifras, que sustituimos por ceros. Ese otro nmero ms sencillo decimos que es unaaproximacin del nmero de partida. Cuando aproximamos un nmero, nos quedamos con sus primeras cifras y completamos con ceros. Esas cifras, con las que nos quedamos, se llaman cifras significativas.

Llamamos orden de la aproximacin, a la posicin hasta la que nos quedamos con cifras significativas.

Se puede aproximar por defecto si el nmero utilizado es menor que el de partida, o por exceso si el nmero utilizado es mayor que el de partida.

Aproximar significa en matemticas sustituir ciertos objetos X bajo inters por otros ms amigables que denotaremos por A. El objetivo es obtener cierta informacin relativa a X. Es muy frecuente que X sea la incgnita de un problema. Resolver dicho problema significa obtener, con muchas dificultades, cierta informacin. Sobre la base de los datos que ofrece el problema encontramos un elemento A- posiblemente en otro espacio ms simple que el original donde habita X- que es portador de informacin relativa a X. Esto ltimo sera un mtodo de solucin. La Teora de Aproximacin intenta decirnos cmo construir A, y cmo medir la calidad de la informacin que ste ltimo nos brinda. Es tpico abordar la construccin de una sucesin (An) tal que , en el sentido de que An es portador de informacin sobreX, y que la . Interesa entonces estudiar la . La Teora de

correspondiente calidad aumenta cuando

relacin entre la calidad y la complejidad (tamao de n), cuando Numrico. El otro es el lgebra Matricial Numrica.
INTRO. LMITES DE SUCESIONES

la Aproximacin es uno de los dos grandes pilares en los que se apoya el Anlisis

Con el estudio de lmites de sucesiones se inaugura el bloque temtico dedicado al clculo (o anlisis) infinitesimal. Este nombre se debe a que se va a especular con cantidades infinitesimales (infinitamente pequeas) en el clculo diferencial e integral, fundamentalmente, y se reflexionar acerca de sucesiones de nmeros al considerar una cantidad infinita de trminos. Los conceptos del anlisis infinitesimal son de una extraordinaria sutileza y el fruto de muchos aos de pensamiento. En el estudio de progresiones se indic que una sucesin es una coleccin de nmeros dispuestos uno a continuacin de otro y separados por comas. Esto puede considerarse como una definicin poco rigurosa, pero una definicin ms exacta no ayudara mucho a entender con mayor claridad lo que es una sucesin. En las progresiones, en general, se centr la atencin en un nmero finito de trminos; en lo sucesivo tendr ms inters considerar los infinitos trminos de una progresin. Todas las progresiones geomtricas cuya razn, en valor absoluto, es menor que uno, tienen algo en comn: los trminos de la sucesin se van acercando a cero rpidamente (la sucesin tiende a cero). Por supuesto, no todas las sucesiones presentan la particularidad de que sus trminos se aproximen paulatinamente a un nmero, llamado lmite de la sucesin. Las que as se comporten se llamarn convergentes y, de todas las sucesiones, stas son las merecedoras de estudio.

El concepto de lmite ha sido de enorme utilidad en el desarrollo de las matemticas; en l se fundamenta el clculo infinitesimal. Aunque muchos matemticos utilizaron la idea intuitiva de lmite, fue el barn de Cauchy (1789-1857), a principios del siglo XIX, quien dio una definicin satisfactoria de lmite y, en consecuencia, de derivada de una funcin. SUCESIONES. LMITES Una sucesin genrica se simboliza por a1, a2, a3, ..., an , ... en la que el subndice denota, con toda exactitud, el lugar que cada trmino ocupa en la misma. As, a5 es el quinto trmino de la sucesin. Cuando en una sucesin haya que referirse a un trmino cualquiera sin especificar el lugar que ocupa se har siempre mencin al trmino an , denominado trmino n-simo. En definitiva, el lugar que cada trmino tome en una sucesin ser de vital importancia a la hora de hacer un mnimo anlisis del comportamiento de la sucesin. La simbolizacin de una sucesin por a1, a2, a3, ..., an , ...; o ms simplificadamente (an ), no es en modo alguno gratuita. Los subndices recorren los nmeros naturales porque una sucesin tiene tantos elementos como nmeros naturales hay; es decir, una sucesin tiene una cantidad infinita numerable de trminos. Se debe recordar que el trmino general de una sucesin es una expresin que permite conocer un elemento cualquiera siempre que se sepa el lugar que ocupa. Entorno

Name=1; HotwordStyle=BookDefault; Dado un punto (nmero) a, un entorno centrado en a es un intervalo de la forma (a - e, a + e); es decir, es el conjunto de puntos x tales que a - e < x < a + e . Ejercicio: clculo del trmino general de una sucesin ------------------------------------------------------------------------------------------------------------------------Encontrar el quincuagsimo trmino de la sucesin 1, 3, 5, 7,... Resolucin: Es una progresin aritmtica de diferencia 2. Su trmino general es: an = 1 + (n - 1)2 = 2n - 1 a50 = 250 - 1 = 99

Resolucin: Los numeradores forman una progresin aritmtica de diferencia 2. Su trmino general es an = 2n + 1

 Cada denominador es el cuadrado de su numerador aumentado en una unidad: 10 = 32 + 1; 26 = 52 + 1; 50 = 72 + 1; 82 = 92 + 1 El trmino general de la sucesin es:

------------------------------------------------------------------------------------------------------------------------El problema del lmite Encontrar el lmite de una sucesin es un problema que consiste en determinar a qu nmero, si es que existe, se aproximan sus trminos.

al aumentar n (el nmero de orden), an est cada vez ms prximo a cero:

1.Ningn trmino de la sucesin llega a valer cero. 2.Elegido un entorno centrado en cero, por pequeo que ste sea, siempre se encuentra un trmino tal que a partir de l todos los trminos de la sucesin estn dentro de ese entorno. Por ejemplo, si se elige el entorno (-0,0001 ; 0,0001), a partir del trmino a10 000, todos los dems trminos (an , n> 10 000) estn en dicho entorno. En efecto: a10 000 = 0,0001. Coincide con uno de los extremos del intervalo y, por definicin, no tiene cabida en l.

(-0,0001 ; 0,0001). Si n > 10 001, an < a10 001 < 0,0001 Se concluye que si n > 10 000, an (-0,0001; 0.0001). Este ejemplo pone las cosas a punto para comprender la definicin de lmite de una sucesin. LMITE DE UNA SUCESIN

Name=1; HotwordStyle=BookDefault; Name=2; HotwordStyle=BookDefault; Dada una sucesin (an ), se dice que (an ) tiene por lmite I, tiende a l o converge a l cuando n tiende a infinito (), y se simbolizar

o ms simplificadamente (an ) I, si para todo e > 0 (psilon) tan pequeo como se quiera, existe un subndice n0 tal que para todo n n0, an pertenece al entorno (I - e, I + e). Es decir, a partir de un elemento en adelante todos caen en el entorno citado. Esto significa que para n n0, | an - I | < e. Y recordando el significado de valor absoluto, | an - I | < e se traduce en -e < an - I < e, y sumando I a los tres miembros de la desigualdad, I -e < an < I + e. EL nmero n0 que se ha de encontrar para cada e, depende de ste. En general, cuando ms pequeo se tomo e, mayor ha de ser el n0 correspondiente. Sucesin convergente Toda sucesin que tenga lmite se dice que es convergente. Una sucesin (an ) que tenga por lmite I, se dir que tiende a I o que converge a I.

-------------------------------------------------------------------------------------------------------------------------

Resolucin: Se toma un e cualquiera (sin especificar ms). Hay que encontrar un no tal que para n no , 0 - e < an < 0 + e.

2. Decidir si la sucesin de trmino general

es convergente y, en caso afirmativo, hallar el lmite. Resolucin:

Name=2; HotwordStyle=BookDefault; Para n =1, a1 = -1/6 = -0,1666 Para n = 7, a7 = 0,9166

a10 000 = 1,9997001; a30 000 = 1,9995667;... Todo parece indicar que el lmite de esta sucesin, cuando n tiende a infinito, es 2. Para probarlo, se har uso de la definicin. Se toma un e cualquiera. Hay que ver a partir de qu n se cumple |an - 2| < e.

13 < e(n + 5) = en + 5e 13 - 5e < en.

En consecuencia, a12 966, a12 997, a12 998 ... estn todos contenidos en el

------------------------------------------------------------------------------------------------------------------------Primera propiedad de las sucesiones convergentes a) Si una sucesin (an ) tiene lmite I positivo, existe un trmino a partir del cual todos los trminos de la sucesin son positivos. b) Si una sucesin (an ) tiene lmite I negativo, existe un trmino a partir del cual los trminos de la sucesin son negativos. c) Si una sucesin converge a cero, no se puede asegurar nada acerca del signo de cada uno de los trminos de la sucesin. Demostracin:

Name=3; HotwordStyle=BookDefault;

Por definicin de lmite de una sucesin, existe un subndice n0 tal que para

adelante, los que le siguen son positivos.

Name=4; HotwordStyle=BookDefault; El razonamiento es anlogo al del caso anterior.

son alternadamente positivos y negativos. Sucesiones alternadas Son aquellas que alternan los signos de sus trminos (positivo, negativo, positivo). Sucesiones divergentes Una sucesin es divergente si los trminos se aproximan cada vez ms a infinito o a menos infinito (+ ). Expresado de forma rigurosa: Una sucesin (an ) tiene por lmite + diverge a + si elegido un nmero k tan grande como se quiere, se puede encontrar un subndice no tal que para cualquier n no , an > k. Esto es equivalente a afirmar que para n no , an est en el intervalo (k, +), es decir, los trminos se hacen tan grandes como se quiera. Una sucesin (an ) tiene por lmite - diverge a - si elegido un nmero k tan grande como se quiere, se puede encontrar un subndice no tal que para cualquier n no , an < -k. Esto equivale a decir que para n no , an pertenece al intervalo (-, -k). Igual que en las sucesiones convergentes, para cada nmero k elegido, el subndice no ser distinto. Cuanto mayor sea k, mayor resultar no . Sucesin oscilante

Name=5; HotwordStyle=BookDefault; Una sucesin (an ) se dice que es oscilante si no es convergente ni divergente. Ejercicio: sucesiones divergentes y oscilantes ------------------------------------------------------------------------------------------------------------------------Probar que la sucesin an = 5n2 - 9 diverge a +. Resolucin: Se elige un nmero k tan grande como se desee. Por ejemplo k = 108. Hay que encontrar los valores de n para los cuales an >108, es decir, 5n2- 9 >108.

En 5n2 - 9 > 108 se suma 9 a los dos miembros: 5n2 > 108 + 9 = 100 000 009.

A partir del trmino a4 473, an > 108. Tiene lmite la sucesin an = (-1)n 3? Resolucin: Los trminos de esta sucesin son: -3, 3, -3,3, -3,3, ... La sucesin an = (-1)n 3 es oscilante. Se ha de probar que no tiene lmite: los posibles lmites son 3 y -3.

Si se toma e = 1, los trminos impares a2n-1 = -3 no stan en el intervalo (I - e, I + e) = (2, 4). No se puede encontrar un n0 a partir del cual todos los trminos estn dentro del intervalo (2, 4).

Si se toma e = 1, los trminos pares a2n = 3 no se encuentran en (I - e, I + e) = (-4, 2). No se puede encontrar un n0 a partir del cual todos los trminos estn dentro del intervalo (-4, 2).

Por lo tanto la sucesin es oscilante. Es fcil caer en la tentacin de tomar el intervalo (-4,10) y pensar que puesto que todos los trminos de la sucesin pertenecen a l, la sucesin debera tener lmite. Sin embargo, la definicin de lmite obliga a que elegido un e cualquiera todos, salvo una cantidad finita de trminos, queden en el intervalo (I - e, I + e). Basta, pues, elegir un e para el que no se cumpla esta premisa y concluir que la sucesin no tiene lmite. ------------------------------------------------------------------------------------------------------------------------SUCESIONES ACOTADAS Sucesiones acotadas superiormente e inferiormente Una sucesin (an ) est acotada superiormente si existe un nmero k tal que cualquier trmino de la sucesin es menor o igual que k, es decir, para todo n, an k.

Al nmero k se le llama cota superior de la sucesin. De la misma forma, una sucesin est acotada inferiormente si existe un nmero M tal que cualquier trmino de la sucesin es mayor o igual que M. En consecuencia, para cualquier n, an M. Al nmero M se le llama cota inferior de la sucesin. Sucesin acotada Una sucesin que est acotada superiormente e inferiormente se dice que est acotada. En este caso existe un nmero k tal que -k < an < k, es decir, |an | < k. Observando estas definiciones es claro que una sucesin que diverge a + no puede estar acotada superiormente, y una sucesin que diverge a - no est acotada inferiormente. Ejercicio: ejemplos de sucesiones acotadas -------------------------------------------------------------------------------------------------------------------------

inferiormente por 2 y superiormente por 3. Resolucin:

Name=1; HotwordStyle=BookDefault;

Multiplicando ambos miembros por n2: 2n2 + 1 2n2. Restando 2n2 : 1 0, lo cual es cierto.

Restando 2n2 a los dos miembros, 1 n2. Y esto es cierto ya que n es un nmero natural.

Resolucin:

------------------------------------------------------------------------------------------------------------------------Otras propiedades de las sucesiones convergentes Propiedad 1 Cualquiera sucesin convergente est acotada. Propiedad 2 Si (an ) y (bn ) son dos sucesiones convergentes con lmites L1 y L2 respectivamente, y tales que an bn para todo n, entonces L1 L2.

Propiedad 3 Si (an ), (bn ) y (cn ) son tres sucesiones convergentes tales que an bn cn

La ltima propiedad se utiliza en numerosas ocasiones para determinar el lmite de una sucesin si se conocen los lmites de otras dos sucesiones, una de ellas con trminos mayores que las de la primera y la otra con trminos menores. Ejercicio: clculo de lmites -------------------------------------------------------------------------------------------------------------------------

Resolucin:

La sucesin constante 0: 0, 0, 0, 0, ... tiene por lmite 0.

MITE DE UNA FUNCIN EN UN PUNTO Significado de lim f(x) cuando

(lmite de f(x) cuando x tiende a c) es el comportamiento de la funcin cuando x se aproxima a c, sin importar si es por la derecha o por la izquierda. Si , decimos que . Anlogamente, cuando los dos lmites laterales son o . Si los dos lmites laterales no toman el mismo valor, se dice que no existe el

Lmite en un punto en que la funcin es continua

Lmite de un cociente de dos polinomios Buscamos calcular, al sustituir la c en el numerador y el denominador podemos encontrar las siguientes indeterminaciones: En definitiva para calcular el lmite de una funcin racional seguimos el siguiente esquema:

significa que x toma valores cada vez ms prximos a c. Se lee x tiende a c (x tiende a c por la izquierda) significa que x toma valores cada vez ms prximos a c, pero menores que c. (x tiende a c por la derecha) significa que x toma valores cada vez ms prximos a c, pero mayores que c.

LIMITES LATERALES

Diremos que el lmite de una funcin f(x) cuando x tiende hacia a por la izquierda es L, si y slo si para todo > 0 existe > 0 tal que si x (a+, a ) , entonces |f (x) - L| < .

Diremos que el lmite de una funcin f(x) cuando x tiende hacia a por la derecha esL , si y slo si para todo > 0 existe > 0 tal que si x (a, a + ), , entonces |f (x) - L| < .

El lmite de una funcin en un punto si existe, es nico.

En este caso vemos que el lmite tanto por la izquierda como por la derecha cuando x tiende a 2 es 4 .

El lmite de la funcin es 4 aunque la funcin no tenga imagen en x = 2.

Para calcular el lmite de una funcin en un punto, no nos interesa lo que sucede en dicho punto sino a su alrededor. Ejemplo

Dada la funcin:

Hallar

Como no coinciden los lmites laterales , la funcin no tiene lmite en x = 0.

LIMITE FINITO

Definicin
Intervalo cerrado
Un segmento en el eje numrico con extremos a y b, con a < b, se denomina intervalo. Si los puntos extremos, a y b, estn incluidos en el intervalo, se dice que el intervalo es cerrado, y se denota por [a,b]. [a,b] = { x perteneciente a R / a <= x <= b }

El intervalo cerrado [a,b] consiste de los puntos x para los cuales a <= x <= b.

Definicin
Intervalo abierto
Si los puntos extremos se excluyen, el intervalo se llama abierto, y se denota por (a,b). (a,b) = { x perteneciente a R / a < x < b }
El intervalo abierto (a,b) consiste de aquellos puntos x para los cuales a < x < b.

Definicin
Entorno del punto a de radio
Es el intervalo abierto (a - ,a + ), esto es, consiste de los valores x para los cuales a - < x < a + . Ea, = { x perteneciente a R / |x - a| < }

Son los puntos x cuya distancia al punto a es menor que .

Definicin
Entorno reducido de a de radio
No incluye al punto a. E*a, = { x perteneciente a R / 0 < |x - a| < }
Son los puntos x cuya distancia al punto a es menor que pero mayor que 0, es decir, no se incluye a a.

El concepto de Lmite
Consideremos la funcin f(x)=x2. Observemos los valores de f(x) para x cercanos a 3.
x 2,8 2,9 2,95 2,99 f(x) 7,84 8,41 8,7025 8,9401

Cuando x se aproxima a 3, los valores de f(x) se acercan a 9. Se dice que f(x) tiende a 9 cuando x tiende a 3.

2,999 8,994001 3,001 9,006001 3,01 3,05 3,1 3,2 9,0601 9,3025 9,61 10,24

En general, una funcin f(x) tiende a un lmite b cuando x tiende a a, si f(x) difiere arbitrariamente poco de b para todo x situado suficientemente cerca de a. En smbolos, limx->af(x)=b. Enseguida se expresa ms precisamente la definicin de lmite.

Definicin

Lmite finito de una funcin

limx->a f(x)=b <=> para todo >0 existe >0 / para todo x, 0 < |x-a| < |f(x) - b| < . Otra notacin: limx->a f(x)=b <=> para todo Eb, existe un E*a, / para todo x perteneciente al E*a, f(x) pertenece a Eb,. Se dice que la funcin f(x) tiene lmite b, cuando x tiende a a, si dado positivo arbitrario y tan pequeo como se quiera, existe un tal que para todo x perteneciente al entorno reducido de a de radio , la funcin pertenece al entorno de b de radio . Dicho de otro modo, para cualquier nmero positivo , por pequeo que sea, podemos encontrar un tal que para todos los x dentro del entorno reducido de a de radio se cumple que f(x) est dentro del entorno de b de radio .

limx->af(x)=b significa que por ms pequeo que sea el entorno considerado alrededor de b, va a ser posible encontrar un entorno de a, para cuyos valores x(x a), la funcin f da como resultado valores que estn dentro del entorno de b considerado. En otras palabras, la funcin f(x) tiene lmite b, cuando x tiende a a, si el valor de la funcin f(x) se hace arbitrariamente prximo al valor b cuando x se aproxima al valor a. Notar que la definicin dice entorno reducido de a. Es decir que f(a) puede no existir, o puede estar fuera del entorno de b, pero el lmite de f cuando x tiende a a sigue siendo b.

f(a) b, pero limx->af(x)=b

LIMITE INFINITO

Lmite infinito
Observemos la funcin f(x)=1/x2 para valores de x positivos muy grandes.
x 100 1.000 10.000 100.000 f(x) 1,0x10-4 1,0x10-6 1,0x10-8 1,0x10-10

Si tomamos x cada vez mayor, f(x) est cada vez ms cerca de 0. Si x es suficientemente grande podemos conseguir que f(x) se acerque a 0 tanto como queramos. Decimos que f(x) tiende a 0 cuando x tiende a infinito.

1.000.000 1,0x10-12

Veamos a continuacin las definiciones precisas de cada uno de los lmites que involucran al infinito.

Definicin

Lmite infinito Caso 1:

limx->af(x) = +inf <=> para todo A > 0 existe > 0 / para todo x perteneciente al E*a, f(x) > A. El lmite de f(x) cuando x->a es infinito positivo, si para cualquier nmero positivo A (tan grande como se quiera), podemos encontrar un nmero tal que, para todos los x dentro del entorno reducido de a de radio se cumple que f(x) es mayor que A. En otras palabras, si para cualquier nmero positivo A que consideremos, existe un entorno reducido de a donde la funcin vale ms que A, quiere decir que f(x) puede hacerse mayor que cualquier nmero, con tal de que x se acerque lo suficiente a a. Por eso se dice que el lmite de f(x) cuando x tiende a a es +inf.

Caso 2:
limx->af(x) = -inf <=> para todo A > 0 existe > 0 / para todo x perteneciente al E*a, f(x) < -A.

Caso 3:
limx->+inff(x) = +inf <=> para todo A > 0 existe B > 0 / para todo x > Bf(x) > A.

Para cualquier nmero positivo A (por grande que sea), es posible encontrar un nmero positivo B tal que para todos los x mayores que B, f(x) es mayor que A. Es decir que f(x) puede ser mayor que cualquier nmero, si x es lo suficientemente grande.

Caso 4
limx->+inff(x) = -inf <=> para todo A > 0 existe B > 0 / para todo x > Bf(x) < -A.

Caso 5:
limx->-inff(x) = +inf <=> para todo A > 0 existe B > 0 / para todo x < -Bf(x) > A.

Caso 6:
limx->-inff(x) = -inf <=> para todo A < 0 existe B < 0 / para todo x < -Bf(x) < -A.

Caso 7:
limx->+inff(x) = b <=> para todo > 0 existe B > 0 / para todo x > B f(x) pertenece al Eb,.

Caso 8:
limx->-inff(x) = b <=> para todo > 0 existe B > 0 / para todo x < -B f(x) pertenece al Eb,.

Una idea intuitiva de funcin continua se tiene al considerar que su grfica es continua, en el sentido que se puede dibujar sin levantar el lpiz de la hoja de papel.

Continuidad de una funcin en un punto

Se dice que una funcin f(x) es continua en un punto x = a si y slo si se cumplen las tres condiciones siguientes:

1. Que el punto x= a tenga imagen.

2. Que exista el lmite de la funcin en el punto x = a.

3. Que la imagen del punto coincida con el lmite de la funcin

en el punto.

Estudiar la continuidad de

en x =2

f(2)= 4

.2.1. Definicin de Continuidad: en un Punto y en un Intervalo. 3.2.2. Propiedades y Clculo de Funciones Continuas.

Continuidad de una Funcin

Intuitivamente se puede decir que una funcin es continua cuando en su grfica no aparecen saltos o cuando el trazo de la grfica no tiene "huecos". En la figura 8.6., aparece la grfica de tres funciones: dos de ellas no continuas (discontinuas) en el punto x = a de su dominio (fig. 8.6. (a) y 8.6. (b)) y la otra (fig. 8.6. (c)) continua en todo su dominio.

fig. 8.6. Al mirar con un poco de cuidado las grficas de la fig. 8.6., se pueden deducir intuitivamente, resultados que permitirn comprender con mayor claridad la definicin precisa de lo que significa: "ser una funcin continua en un punto dado de su dominio". En la grfica de la fig. 8.6. (a) se tiene:

i. ii. f(a) existe.

. (Existe).

Pero,

. (Por esta razn f es discontinua) Qu le sucede a la grfica si f(a)= L? Para la grfica de la fig. 8.6. (b) se tiene:

i.

No existe. (Por esta razn f es discontinua) ii. f(a) = L1(Existe). Finalmente, para la grfica de la fig. 8.6. (c) se tiene:

i. (Por esta razn f es discontinua) ii. f(a) (Existe).

. (Existe).

iii. Estas tres condiciones son las que en ltima instancia, permiten deducir intuitivamente que la funcin cuya grfica aparece en la fig. 8.6. (c) es continua en el punto a. Lo anterior nos permite establecer la siguiente definicin. Definicin:

Una funcin f es CONTINUA EN x = a, si y solo si se satisfacen las siguientes condiciones:

i.

f(a) existe.

ii. iii.

existe.

Si al menos una de estas tres condiciones deja de cumplirse se dice que f es DISCONTINUA (NO CONTINUA) en x = a. Observaciones:

i. Si en la definicin anterior, sustituimos

por

o por

, se dice entonces que f es continua a la derecha, respectivamente, a la izquierda del punto x = a. ii. Algunos autores adoptan como definicin de continuidad en un punto, la condicin iii. de la definicin anterior, esto es, f es continua en x = a, si y solo si, . iii. Si en la definicin de continuidad se hace: x = a + h; con a y (a + h) en el dominio de f, se dice entonces, que f es continua en a si y solo si, .

iv. Si f es discontinua en x = a y existe pero es diferente de f(a), se dice que la discontinuidad es REMOVIBLE O EVITABLE. En caso contrario, se dice que la discontinuidad es ESENCIAL. Asi por ejemplo, la grfica de la fig. 8.6. (a) corresponde a la grfica de una funcin con discontinuidad Removible o evitable en x = a. Mientras que la grfica de la fig. 8.6. (b) corresponde a la grfica de una funcin con discontinuidad ESENCIAL en x = a. v. Cuando una funcin tiene discontinuidad removible en un punto, se usa la frase "Remover la discontinuidad" para indicar que se puede redefinir la funcin haciendo que: y de esta manera obtener una nueva funcin continua en x = a.

Considere por ejemplo, la funcin f definida por: La grfica de la funcin aparece en la fig. 8.7.

fig. 8.7.

Si se analiza la continuidad de f en el punto x = 0, se tiene:

i. ii.f (0) = 3 (Existe)

(Existe)

Pero,

; lo que indica que f es discontinua en x = 0. Ahora, como , la discontinuidad es evitable.

Se puede entonces, "remover" o "evitar" la discontinuidad, redefiniendo una nueva funcin de tal forma que . Esto es, redefiniendo a f asi:

Esta nueva funcin es continua en x = 0. Es de anotar que la funcin f se ha redefinido y por lo tanto, no se trata de la misma funcin. Porqu?

Teoremas sobre funciones continuas. Los siguientes teoremas, que se enuncian sin demostracin, sealan importantes propiedades de las funciones continuas y son al mismo tiempo herramientas tiles que permiten deducir, en muchos casos, la continuidad de una funcin, sin recurrir directamente al empleo de la definicin. TEOREMA 1. (Algebra de funciones continuas)

Sean f, g dos funciones continuas en el punto x = a. Entonces: i. (f + g) es continua en x = a. (Suma de funciones continuas es continua). ii. (f g) es continua en x = a. (Diferencia de funciones continuas es continua).

iii. (f g) es continua en x = a. (Producto de funciones continuas es continua).

iv.

es continua en x = a, si g(a) 0. (Cociente de funciones continuas es continua). Consecuencias:

C.C.1. La funcin polinmica es continua en todo punto del eje real. En efecto, sea una funcin polinmica de grado n. Sea a un punto cualquiera del eje real. Al aplicar sucesivamente el teorema 1 en sus partes i., ii. y iii se obtiene que: y de aqu, Pn (x) es una funcin continua en todo punto del eje real. C.C.2. Toda funcin racional es continua en los puntos que no anulen el denominador de la funcin. Demostracin: aplicar el teorema 1. TEOREMA 2. (Lmite de la funcin compuesta) Sean f y g dos funciones tales que: f es continua en b y . Entonces:

. Algunas consecuencias importantes de este teorema son las siguientes:

C.C.3. Si

, entonces, par, se debe cumplir adems que b > 0.

. Cuando n sea

C.C.4. Si

, entonces,

Las consecuencias C.C.3. y C.C.4., se expresan respectivamente en palabras de la siguiente forma: "El lmite de la raiz n-sima, es la raiz n-sima del lmite y "El lmite del valor absoluto, es

el valor absoluto del lmite". C.C.5. (Continuidad de la funcin compuesta). Si g es continua en a y f es continua en g(a), entonces (f o g) (x) = f (g(x)) es continua en a.
Continuidad En Un Intervalo Definiciones: i. Una funcin f es continua en un INTERVALO ABIERTO si y solo si, f es continua en TODO punto del intervalo. ii.Una funcin f es continua en un INTERVALO CERRADO [a, b] si y solo si, f es continua en el intervalo abierto (a, b), continua por la derecha de a y continua por la izquierda de b. Definiciones similares se establecen para la continuidad de una funcin en un intervalo semiabierto de cualquiera de las formas: (a, b] [a, b). Asi por ejemplo, la funcin intervalos de la forma (mayor entero menor o igual a x), es continua en los , ya que en cada uno de estos intervalos, la funcin es constante. Considere tambin la funcin f definida por:

y cuya grfica aparece en la fig. 8.8. Se desea analizar la continuidad de f en el intervalo [-1, 3]

fig. 8.8.

1.Continuidad en el intervalo abierto (-1, 3). Se analiza la continuidad slo en el punto x = 2, ya que en los dems puntos del intervalo f es continua por ser polinmica en cada

tramo. Continuidad en x = 2 i. f(2) = 4

ii. iii.
De i., ii., y iii. se concluye que f es continua en x = 2 y por lo tanto f es continua en el intervalo (-1, 3). 2. Continuidad por la derecha del punto x = -1 i. f(-1) = (-1)2 = 1 (Existe)

ii. iii.

(Existe)

Luego f es continua por la derecha del punto x = -1. 3. Continuidad por la izquierda del punto x = 3 i. f(3) = 3 + 2 = 5 (Existe)

ii. iii.

(Existe)

Asi que f es continua por la izquierda del punto x = 3. De 1. 2. y 3. se concluye de acuerdo a la definicin, que f es continua en el intervalo cerrado [-1, 3].

TEOREMA DE BOLZANO
En anlisis real el teorema de Bolzano es una propiedad de las funciones reales continuas definidas en un intervalo. El teorema afirma que si una funcin es continua en un intervalo cerrado y acotado y en los extremos del mismo sta toma valores con signos opuestos, entonces existe al menos una raz de la funcin en el interior del intervalo. En palabras ms vulgares, lo que viene a decir el teorema de Bolzano es lo siguiente: Suponiendo que el eje de abscisas (eje x) fuese un ro, y el segmento (a, b) un camino que hemos de seguir: si en el punto a, la grfica est en un lado del ro (tiene valor negativo) y en el

punto b est en el otro lado del ro (tiene valor positivo) y la grfica es continua en ese segmento, lgica y obligatoriamente ha de cortar por lo menos en un punto con el eje x (el ro), con lo que podemos decir que para cruzar el ro uno se ha de mojar. Este teorema est ntimamente relacionado con los teoremas de Rolle y del valor medio. El teorema de Bolzano establece que: Sea f una funcin real continua en un intervalo cerrado [a,b] con f(a) y f(b) de signos contrarios. Entonces existe al menos un punto c del intervalo abierto (a, b) con f(c) = 0. El teorema como tal no especifica el nmero de puntos, solo demuestra que como mnimo existe uno.

Demostracin 1: Para demostrarlo, suponemos que f(a)<0 y f(b)>0 (se demuestra anlogamente para el caso contrario). Suponemos un conjunto K, que contiene todos los puntos x del intervalo [a, b] que verifican que f(x)<= 0. (K es distinto de vaco, ya que f(a)<0). Ese conjunto tiene un supremo c puesto que K es compacto de acuerdo a su definicin. Ahora basta demostrar que f(c)= 0, por definicin de K. Supongamos f(c)0, ello implica que hay un intervalo (c-h, c+h) en el que f(x) y f(c) tienen el mismo signo. Esto no puede pasar, porque contradice la definicin de c. Luego tiene que ser f(c)=0.

Demostracin 2: Demostraremos el teorema utilizando un lema conocido en topologa, cuyo enunciado y demostracin es el siguiente: Lema: Sean X e Y dos espacios topolgicos y ellos. Entonces si una funcin continua entre

es un subconjunto conexo de X, f(A) es un subconjunto conexo , como y por ser disjuntos

de Y. Demostracin: Es sencillo, suponiendo que f(A) no es conexo, significa que existen U y Vabiertos de X no vacos y disjuntos tales que la funcin es continua tenemos que tenemos,

con U y V no vacos, luego A no sera conexo lo que prueba el lema.

Ahora el Teorema de Bolzano es sencillo porque como [a,b] es un intervalo conexo y la funcin es continua, el intervalo [f(a),f(b)] debe ser conexo, si suponemos que no existe un valor c en [a,b] tal que f(c) = 0 significa que lo que implicara que, al ser[f(a),f(b)] conexo o bien 0 < f(a) y 0 < f(b) o bien 0 > f(a) y 0 > f(b) lo que entra en contradiccin con la hiptesis que f(a)f(b) < 0, as pues queda probado el teorema.

Aplicaciones
1: Demostrar que una funcin f(x) corta al eje OX en un determinado intervalo. 2: Demostrar que dos funciones se cortan en un punto. Para demostrar que la funcin f(x) y la funcin g(x) se cortan en al menos un punto establecer la funcin h(x) como: h(x)=f(x) - g(x). Mediante la aplicacin del teorema de Bolzano podr establecer que estas funciones se cortan en un punto c perteneciente a un intervalo concreto: h(c)=0 f(c) - g(c)=0 f(c)=g(c)

TEOREMA DE VALOR INTERMEDIO En anlisis real el teorema del valor intermedio o ms correctamente teorema de los valores intermedios es una propiedad de las funciones continuas reales en un intervalo. El teorema establece que si una funcin es continua en un intervalo, la funcin toma todos los valores intermedios comprendidos entre los valores de la funcin en los extremos del intervalo. Como consecuencia del teorema de Weierstrass se puede generalizar diciendo que la imagen de un intervalo es otro intervalo, siendo los subconjuntos conexos de los nmeros reales.
El teorema del valor intermedio establece que: Sea f una funcin continua en un intervalo [a,b] y supongamos que f(a) < f(b). Entonces para cada u tal que f(a) < u < f(b), existe al menos un c dentro de (a,b)tal que f(c) = u. La misma conclusin se obtiene para el caso que f(b) < f(a). [Demostracin El teorema puede demostrarse fcilmente aplicando el teorema de Bolzano (que se trata de un caso particular del teorema del valor intermedio cuando u=0) a la funcin tambin continua g(x) definida como g(x):=f(x)-z.

Teorema del valor intermedio para funciones polinomiales

Si f es funcin polinomial y f(a) f(b) para a < b, entonces fasume todo valor entre f(a) y f(b) en el intervalo [a, b].

El teorema del valor intermedio establece que si w es cualquier nmero entre f(a) y f(b), hay por lo menos un nmero c entre a y b, tal que f(c)= w. Si se considera que la grfica de f se extiende en forma continua desde el punto (a, f(a)) hasta el punto (b, f(b)), como se ve en la figura siguiente, entonces, para cualquier nmero entre f(a) y f(b), la recta horizontal y = w corta a la grfica cuando menos en un punto P. La abscisa c de P es un nmero tal que f(c) = w.

Una consecuencia del teorema del valor intermedio es que si f(a) y f(b)tienen signos opuestos, hay cuando menos un nmero c entre a y b, tal que f(c) = 0; es decir, f tiene un cero en c. As, si el punto (a, f(a))est abajo del eje x y el punto (b, f(b)) est arriba del eje x, o viceversa, la grfica cruza el eje x cuando menos una vez entre x = a yx = b, como se ve en la siguientes figuras.