385 B
385 B
up::fonction #s/maths/topologie
[!definition] fonction équicontinue Soit
(X, d)
un espace métrique et soitC \subset X
Soitf : C \to \mathbb{R}
, on dit quef
est équicontinue surC
quand :\forall x \in I,\quad \forall \varepsilon >0,\quad \exists \eta > 0,\quad \forall y \in I,\quad d(x, y)<\eta \implies d(f(x), f(y)) < \varepsilon
^definition