Processing math: 100%
ThmDex – An index of mathematical definitions, results, and 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 CC be the D3093: Set of functions from C to C.
Let r:NC be a D339: Complex sequence.
The complex power series with respect to r and z0C is the D62: Sequence NCC,N(zNn=0rn(zz0)n)
Formulation 2
Let CC be the D3093: Set of functions from C to C.
Let r:NC be a D339: Complex sequence.
The complex power series with respect to r and z0C is the D62: Sequence NCC,N(fN:CC,fN(z)=Nn=0rn(zz0)n)
Children
D1411: Analytic complex function