Let SS be a subset of C,C, let f:S→Cf:S→C be a complex-valued function, and let cc be a point of S.S.
Then ff is said to be expandable in a Taylor series around c with radius of convergence rr
if there exists an r>0r>0 such that Br(c)⊆S,Br(c)⊆S,
and f(z)f(z) is given by the formula
f
(
z
)
=
∑
n
=
0
∞
a
n
(
z
-
c
)
n
f
(
z
)
=
∑
n
=
0
∞
a
n
(
z
-
c
)
n
(1)
for all z∈Br(c).z∈Br(c).
Let SS be a subset of R,R, let f:S→Rf:S→R be a real-valued function on S,S, and let cc be a point of S.S.
Then ff is said to be expandable in a Taylor series around c with radius of convergence rr
if there exists an r>0r>0 such that the interval (c-r,c+r)⊆S,(c-r,c+r)⊆S,
and f(x)f(x) is given by the formula
f
(
x
)
=
∑
n
=
0
∞
a
n
(
x
-
c
)
n
f
(
x
)
=
∑
n
=
0
∞
a
n
(
x
-
c
)
n
(2)
for all x∈(c-r,c+r).x∈(c-r,c+r).
Suppose SS is an open subset of C.C.
A function f:S→Cf:S→C is called
analytic on S
if it is expandable in a Taylor series
around every point cc of S.S.
Suppose SS is an open subset of R.R.
A function f:S→Cf:S→C is called
real analytic on S
if it is expandable in a Taylor series
around every point cc of S.S.