La noción de límite es, más generalmente, a un topológica de la noción. Se define en términos de la topología del espacio en cuestión. Por supuesto, esto plantea la pregunta: ¿qué es una topología? Formalmente, una topología, $\tau$, para un conjunto $X$ es una colección de subconjuntos de ese conjunto, definido para ser abierto, que satisface las siguientes propiedades:
1: El conjunto vacío $\{\}$, y la de todo el conjunto, $X$ son los elementos de la topología, $\tau$.
2: Dado cualquier colección de conjuntos en la topología, $U_i\in\tau$ $i\in I$ ($I$ es un conjunto de índices), la unión de los conjuntos, $\bigcup_{i\in I} U_i$ también está en la topología, $\bigcup_{i\in I} U_i\in\tau$.
3: Dado cualquier finito colección de conjuntos en la topología, $U_i\in\tau$$i\in I$, la intersección de los conjuntos, $\bigcap_{i\in I} U_i$ también está en la topología, $\bigcap_{i\in I} U_i\in\tau$.
El punto de la anterior definición abstracta es que la estructura resultante da una noción de cercanía, a través de la open conjuntos definidos por una determinada topología, que es menos rígida que la distancia (para apreciar plenamente lo que significa que usted necesita para el estudio de la topología de un poco justo).
Con topologías definidas, entonces se puede definir la noción de límite de una función rigurosamente:
Un límite de una función, $f$ entre espacios topológicos, $(X,\tau)$ $(Y,\sigma)$ $x\rightarrow x_0$ es un punto de $y_0\in Y$ tal forma que:
Dado cualquier conjunto abierto $V\in\sigma$ contiene $y_0$, existe un conjunto abierto en $U$ contiene $x_0$ que la imagen en $f$, de $U-\{ x_0\}$ ($U$ con el punto de $x_0$ retirado de ella), $f(U-\{ x_0\})$ está contenida en $V$, $f(U-\{ x_0\})\subseteq V$.
Dos cosas a tener en cuenta: en Primer lugar, la existencia de un punto de $y_0$ no está garantizada, y de hecho, hay muchos ejemplos de límites que no existen. Segundo, no hay una garantía de que el $y_0$ es única, puede haber muchos de esos puntos, por lo tanto, en general, sólo se puede hablar de un límite más que el límite. Sin embargo, la mayoría de las topologías de intereses en el estudio de la topología en sí satisfacen una propiedad llamada la Hausdorff de la propiedad, lo que garantiza que cuando el límite existe, es única, por lo tanto, en Hausdorff espacios topológicos nos puede hablar de el límite.
El punto de la definición de límite por encima, es que la función, $f$ se puede decir que eventualmente dentro de cada barrio de el punto límite (el término barrio es sinónimo de conjunto abierto aquí).
Presentar esta abstracción de la espalda hacia abajo para el caso de interés:
Los números reales tiene un natural de la elección de la topología, que se define a través de una base:
Una base para una topología es un subconjunto de la topología, de la que uno puede reconstruir el resto de la topología a través de los sindicatos. Para los números reales, esta es la base que abrir intervalos: $(a,b)$ ( $a<b$ ). Por lo tanto, un elemento arbitrario de la norma de la topología de los reales se ve como una unión de intervalos abiertos:
$\bigcup_{i\in I}(a_i,b_i)$ donde $i\in I$
Si consideramos un punto límite $y_0$, siempre que éste exista, se habla de abrir los barrios alrededor de ese punto, los que están siendo cualquier intervalo abierto $(a,b)$ tal que $y_0\in (a,b)$ (más general, dado un elemento de la topología estándar de los reales, $y_0$ se encuentran en al menos uno de los intervalos en la unión, por lo que puede concentrarse en base a los elementos). La definición de límite en este contexto se hace: dado cualquier intervalo abierto $(a,b)$ contiene $y_0$, existe un intervalo abierto $(c,d)$ contiene $x_0$ de manera tal que la imagen de $(c,d)-\{ x_0\} =(c,x_0)\cup (x_0,d)$, $f((c,x_0)\cup (x_0,d))$ se contiene en el otro intervalo abierto $f((c,x_0)\cup (x_0,d))\subseteq (a,b)$. La formal $\epsilon$-$\delta$ definición de un límite que usted encontrará en la mayoría de las presentaciones formales de los límites (por ejemplo, en la mayoría de riguroso cálculo de los textos) no es más que una reafirmación de la anterior sin referencia específica a la topología de los involucrados (ya que gran parte de la motivación para el desarrollo de la topología de vino de los intentos de ampliar las herramientas y técnicas de cálculo más matemática general contextos, y que, históricamente, el cálculo de pre-fechas de la topología de aproximadamente 3 siglos, e incluso de los límites pre-fecha de la topología de por lo menos 50 años, este es pedagógicamente justificado).
La forma intuitiva de pensar acerca de los límites en el contexto en cuestión es preguntarse: ¿Cuál es la función de hacer alrededor de la $x=x_0$. Es que siempre que se alojen en torno a un determinado valor, $y_0$? Si sí, entonces, intuitivamente, tiene un límite en el $x=x_0$$y_0$. Lo anterior hace que la intuición precisa en un matemáticamente rigurosa.