MathGloss

Let f:XYf: X\to Y be a function between topological spaces XX and YY. Then ff is continuous if and only if the preimage of an open set in YY is open in XX.

A function f:XYf: X\to Y between metric spaces (X,ρ)(X,\rho) and (Y,σ)(Y,\sigma) is continuous at xXx\in X if and only if for every ε>0\varepsilon > 0, there exists δ>0\delta> 0 such that σ(f(x),f(x))<ε\sigma(f(x),f(x’)) < \varepsilon whenever ρ(x,x)<δ\rho(x,x’) < \delta.

A function f:XYf: X\to Y between metric spaces (X,ρ)(X,\rho) and (Y,σ)(Y,\sigma) is continuous at xXx\in X if and only if for any sequence ${x_n}{n\in\mathbb N}in in X$ converging to xx, ${f(x_n)}{n\in \mathbb N}convergesto converges to f(x)$.

These three definitions are all equivalent in their respective contexts.

Wikidata ID: Q170058