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
Empty map
Collection
Ring element collection
Ring element combination
Standard formal finite combination
Polynomial map
Polynomial function
Complex polynomial function
Definition D5033
Monic complex polynomial function
Formulation 1
Let $f : \mathbb{C} \to \mathbb{C}$ be a D4312: Complex polynomial function such that
(i) \begin{equation} f(z) = \sum_{n = 0}^N r_n z^n \end{equation}
Then $f$ is a monic complex polynomial function if and only if \begin{equation} r_N = 1 \end{equation}