# Uniform continuity

A property of a function (mapping) $f: X \rightarrow Y$, where $X$ and $Y$ are metric spaces. It requires that for any $\epsilon > 0$ there is a $\delta > 0$ such that for all $x _ {1} , x _ {2} \in X$ satisfying $\rho ( x _ {1} , x _ {2} ) < \delta$, the inequality $\rho ( f ( x _ {1} ), f ( x _ {2} )) < \epsilon$ holds.
If a mapping $f: X \rightarrow Y$ is continuous on $X$ and $X$ is a compactum, then $f$ is uniformly continuous on $X$. The composite of uniformly-continuous mappings is uniformly continuous.
Uniform continuity of mappings occurs also in the theory of topological groups. For example, a mapping $f: X _ {0} \rightarrow Y$, where $X _ {0} \subset X$, $X$ and $Y$ topological groups, is said to be uniformly continuous if for any neighbourhood of the identity $U _ {y}$ in $Y$, there is a neighbourhood of the identity $U _ {x}$ in $X$ such that for any $x _ {1} , x _ {2} \in X _ {0}$ satisfying $x _ {1} x _ {2} ^ {-} 1 \in U _ {x}$( respectively, $x _ {1} ^ {-} 1 x _ {2} \in U _ {x}$), the inclusion $f ( x _ {1} ) [ f ( x _ {2} )] ^ {-} 1 \in U _ {y}$( respectively, $[ f ( x _ {1} )] ^ {-} 1 f ( x _ {2} ) \in U _ {y}$) holds.