Proper map on $n$-sphere Proper functions are defined over topological spaces.
For functions $f:\mathbb{R}^d\rightarrow \mathbb{R}^d$ the conditions &quot;simplify&quot; to $\lim_{x\rightarrow \infty}|f(x)|=\infty$.
Are similar &quot;simplications&quot; know for functions over the n-sphere $S^{d}=\{x\in\mathbb{R}^{d+1} \mid \|x\|=1\}$, i.e., $f:S^{d}\rightarrow S^{d}$?
A function $f$ from $\mathbb{S}^d$ to itself is proper iff it is
continuous.

Note that
$\mathbb{S}^d$ is compact and so every closed subset of it is compact and viceversa

Continuous$\rightarrow$ proper.
Every continuous function $f:\mathbb{S}^d\to \mathbb{S}^d$ is proper, since $f^{-1}$ sends closed (=compact) sets to closed (=compact) sets.

Proper $\rightarrow$ continuous. Every proper function $f:\mathbb{S}^d\to \mathbb{S}^d$ is such that $f^{-1}$ sends compact (=closed) sets to compact (=closed) sets. This is one of the possible definition of continuity


The result is true in a more general form: given an Hausdorff compact space $X$, $f:X\to X$ is proper iff it is continuous,
$f: S^d \to S^d $ is proper if an only if it is continuous.