Lmite 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 cualesa <= 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 cualesa < 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