Let n,m be natural numbers and let R be the real numbers, with absolute value ∣⋅∣. Regard Euclidean space Rn as a real vector space, and let ∥⋅∥ be the Euclidean norm and dE the Euclidean distance, a metric on Rn.
Let c∈Rn, let λ and μ be nonzero real numbers, let U⊆Rn be open, and let f=(f1,…,fm):U→Rm. Put
V={x∈Rn: c+λx∈U},
and let g=(g1,…,gm):V→Rm be given by g(x)=μf(c+λx), so that gj(x)=μfj(c+λx) for every j∈{1,…,m}.
1. (Domain) The map T:Rn→Rn given by T(x)=c+λx is a bijection, with inverse S(y)=λ−1(y−c), and T restricts to a bijection from V onto U. The set V is open in Rn. Moreover
U={y∈Rn: (−λ−1c)+λ−1y∈V},f(y)=μ−1g((−λ−1c)+λ−1y) (y∈U);
that is, (f,U) arises from (g,V) by a substitution of the same form, with c, λ, μ replaced by −λ−1c, λ−1, μ−1.
2. (Partial derivatives) Let x∈V, put a=c+λx, and let i∈{1,…,n} and j∈{1,…,m}. Then the partial derivative of gj with respect to the ith variable exists at x if and only if the partial derivative of fj with respect to the ith variable exists at a, and in that case
∂igj(x)=μλ∂ifj(a).
3. (Continuity) For every j∈{1,…,m}: the function fj is continuous at every point of U if and only if gj is continuous at every point of V.
4. (Class Ck) For every natural number k: f is of class Ck on U if and only if g is of class Ck on V.
5. (Smoothness) f is smooth on U if and only if g is smooth on V.