Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
▼
Set of symbols
▼
Alphabet
▼
Deduction system
▼
Theory
▼
Zermelo-Fraenkel set theory
▼
Set
▼
Binary cartesian set product
▼
Binary relation
▼
Map
▼
Operation
▼
N-operation
▼
Binary operation
▼
Enclosed binary operation
▼
Groupoid
▼
Semigroup
▼
Standard N-operation
▼
Indexed sum
▼
Series
▼
Power series
Definition D3711
Complex power series
Formulation 1
Let
C
C
be the
D3093: Set of functions
from
C
to
C
.
Let
r
:
N
→
C
be a
D339: Complex sequence
.
The
complex power series
with respect to
r
and
z
0
∈
C
is the
D62: Sequence
N
→
C
C
,
N
↦
(
z
↦
N
∑
n
=
0
r
n
(
z
−
z
0
)
n
)
Formulation 2
Let
C
C
be the
D3093: Set of functions
from
C
to
C
.
Let
r
:
N
→
C
be a
D339: Complex sequence
.
The
complex power series
with respect to
r
and
z
0
∈
C
is the
D62: Sequence
N
→
C
C
,
N
↦
(
f
N
:
C
→
C
,
f
N
(
z
)
=
N
∑
n
=
0
r
n
(
z
−
z
0
)
n
)
Children
▶
D1411: Analytic complex function