Definition Real Analytic;

F is real analytic at a if there excist an open interval (a-r, a+r) in E for some r>0 such that there exist a power series centered at a which has radius of convergence greater than or equal to r, and which converges to f on (a-r, a+r).