This is an old revision of the document!


ε-δ function limit

Set

context $\langle X,d_X\rangle$ … metric space
context $\langle Y,d_Y\rangle$ … metric space
context $f:X\to Y$
context $\xi\in X$
definiendum $\mathrm{lim}_{x\to \xi}\ f(x)\equiv y_\xi$
range $\varepsilon,\delta\in \mathbb R_+^*$
postulate $\forall\varepsilon.\ \exists \delta.\ \forall x.\ [\ 0<d_X(x,\xi)<\delta\ ] \Rightarrow [\ d_Y(f(x),y_\xi)<\varepsilon\ ]$

Discussion

Parents

Context

Link to graph
Log In
Improvements of the human condition