Constants, Powers, Sums, Scalar Multiples and Products of Polynomial Functions
lemmaAlgebralem:polynomial-function-algebra-2026aLet be a field, with additive identity and multiplicative identity , and let be the set of natural numbers. Let be polynomial functions on and let . Write , and for the pointwise sum, scalar multiple and product, given by
Then the following hold.
1. (Constants and powers) The map with constant value is a polynomial function on ; and for every the map sending to the th power is a polynomial function on .
2. (Sums and scalar multiples) and are polynomial functions on .
3. (Products) is a polynomial function on .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.