viernes, 22 de mayo de 2015

2.1 Definición de límite

Límite de una función[editar]

Visualización de los parámetros utilizados en la definición de límite.
Otra visualización de los parámetros utilizados en la definición de límite.
Como vimos en el capítulo anterior, el límite de una función es el valor L que parece tomar f(x) para cierto valor de la x llamadox0, sin embargo en el mundo de las matemáticas necesitaremos una definición formal que represente lo que acabamos de decir. para esto podemos hacer un primer intento y decir que:
Cuando una función f(x) toma valores muy próximos a L cada vez que tomamos una x suficientemente cerca de x0 se dice que el límite de la función f(x) es L cuando x tiende a x0, y se escribe:
 \lim_{x\to x_0} \, \, f(x) = L

Para un mayor rigor matemático se utiliza la definición épsilon-deltade límite, que es más estricta. Su definición se basa en dos parámetros, el primero es la δ (delta) que representa que tan cerca se encuentra xde x0, y el otro es ε (épsilon) que representa que tan cerca se encuentraf(x) de f(x0) o mejor dicho, ya que vimos en el capítulo anterior quef(x0) puede no existir,que tan cerca se encuentra de L:
"El límite de f(x) cuando x tiende a x0 es igual a L si y sólo si para todo número real ε mayor que cero existe un número real δ mayor que cero tal que si la distancia entre x y x0 es menor que δ, entonces la distancia entre la imagen de x y L es menor que ε".

Esta definición, se puede escribir utilizando términos matemáticos y de manera compacta:

   \begin{array}{l}
      \underset {x\to x_0}{\lim} \, \, f(x) = L \iff  \forall \varepsilon > 0 \ \ \exists \ \delta > 0 : 0<|x-x_0|<\delta \Rightarrow |f(x)-L|<\varepsilon
   \end{array}

Explicación[editar]

Tomando la última definición escrita y dividiéndola, podremos observar el significado de la misma. En primero lugar tenemos la definición formal que subdividiremos en dos partes. La definición es:
 \forall \varepsilon > 0 \ \ \exists \ \delta > 0 : 0<|x-x_0|<\delta \Rightarrow |f(x)-L|<\varepsilon

La primera parte dice:" \forall \varepsilon > 0 \ \ \exists \ \delta > 0", lo cual significa que siempre debe existir una δ sin importar que ε tomemos, con la condición de que ambos sean positivos. Esta existencia tiene como primer resultado que sin importar que ε tomemos, siempre existirá una δ, y debido a esta dependencia la mayoría de las veces será posible encontrar una δ(ε), donde la δ es función de ε.

La segunda parte expresa: " 0<|x-x_0|<\delta \Rightarrow |f(x)-L|<\varepsilon ". El significado de esta parte de la definición es más difícil de asimilar. En primer lugar, dice que 0<|x-x_0|<\delta , lo que es lo mismo que decir que x puede estar a una distancia δ de x0 o más cerca, pero x-x_0\not = 0 por lo que xnunca será igual que x0. En las gráficas que se muestran se puede observa el punto x0 representado por c y a, y el punto x puede estar en cualquier lugar entre las líneas que están marcadas a una distancia δ y no solo en donde las líneas cortan al eje.
Por otro lado, esta condición de x implica que: "|f(x)-L|<\varepsilon ". Esto lo podemos considerar de la manera similar que la parte anterior y decir que la distancia entre f(x) y L es menor que ε, recordando que xpuede ser cualquier número entre x-δ y x+δ. Por esto mismo, los valores mas alejados de L pueden ser f(x-δ) y f(x+δ) y deben estar como máximo, pero no necesariamente, a una distancia ε de este.

De forma simple, podemos expresar el significado de esta definición como: No importa que tan pequeño sea el valor de ε, siempre existirá una δ que limitará la distancia de x respecto a x0, la cual a su veces limitará los valores de f(x) de tal forma que estos valores estén muy cerca de L. Aquí la clave esta en No importa que tan pequeño sea el valor de ε, pues esto nos garantiza que los valores de f(x) estarán cada vez más y más cerca L, tan cerca como queramos, incluso infinitamente cerca por lo que el límite es el valor de f(x) cuando x esta infinitamente cerca de x0.

http://es.wikiversity.org/wiki/C%C3%A1lculo_y_an%C3%A1lisis_matem%C3%A1tico/L%C3%ADmite_de_una_funci%C3%B3n/Definici%C3%B3n_de_limite

No hay comentarios.:

Publicar un comentario