Let U⊂Rn be an open set and and let f:U→Rm be smooth. The Taylor series for f about x0 is the formal power series r=0∑+∞r!1Drf(x0)⋅r copies(v,…,v),v∈Rn
Let U⊂Rn be an open set and and let f:U→Rm be smooth. The function f is real-analytic if, for every x0∈U, there exists ρ>0 such that the Taylor Series converges to f(x0+v) provided that ∥v∥Rn<ρ.A real-analytic map is said to be of classCω.
If U⊂Rn and if f:U→Rm is Differentiation, then, for any r∈N and for any x0∈U, f(x0+v)=k=0∑rk!1Dkf(x0)⋅(v,…,v)+o(∥v∥Rnr+1)