Proof that polynomial functions are continuous
Builds on Continuous functionContinuity at a pointProduct of continuous functions is continuous
Proof
We argue by induction, from constants and the identity, using that sums and products of continuous functions are continuous.
- Let and let be the constant function . Let and let be an open interval containing .
- Take . For all , . So is continuous at . Hence is continuous.
- Let be . Let and let be an open interval containing . Take . Then for all . So is continuous.
- For each natural number , let . We show by induction on that is continuous.
- Base case: , which is continuous by step 2.
- Induction step: , so is the product of and . It is continuous by the induction hypothesis, step 3 and the product rule.
- For each , the function is the product of and . So it is continuous, by steps 2 and 6 and the product rule.
- For , let . By step 7, is continuous.
- If is continuous and , then is a sum of two continuous functions, by step 7. So it is continuous.
- By induction on , is continuous.
Idea
A polynomial is built from constants and the identity by finitely many sums and products. Both building blocks are continuous, and sums and products keep continuity. Induction on the degree carries this through.
Reading path
To understand this page from the ground up, read these 69 pages in order. The foundations come first. The path takes the proofs Proof of the limit of a sum of sequences, Proof of the approximation property of the supremum, Proof of the epsilon-delta form of continuity, Proof that there is a natural number n with 1/n below any positive epsilon, Proof that the reals form an ordered field, with the Cauchy sequence construction, Proof of the limit of a product of sequences, Proof that the absolute value is multiplicative, Proof of the triangle inequality for real numbers, Proof of the epsilon-N definition of the limit of a sequence, Proof that the reals are Archimedean from the completeness axiom, Proof that convergent sequences are bounded, Proof that continuity is equivalent to sequential continuity, Proof that sums and products of continuous functions are continuous.
- Construction of the reals from Cauchy sequences concept
- Element definition
- Integers object
- Limit point of a set definition
- Ordered field definition
- Proposition concept
- Rational numbers object
- Real numbers object
- Sequence definition
- Set bounded above definition
- Set definition
- Ring of integers statement
- Limit of a function definition
- Archimedean ordered field definition
- Implication definition
- Predicate definition
- The reals form a field statement
- Real sequence definition
- Supremum definition
- Ordered pair definition
- Continuity at a point definition
- The rationals form a field statement
- Universal quantifier definition
- Bounded sequence definition
- Limit of a sequence definition
- Completeness axiom statement
- Cartesian product definition
- Continuous function definition
- Subset definition
- The rationals form an ordered field statement
- Convergent sequence definition
- Sequential continuity definition
- Binary relation definition
- Order on the reals definition
- Antisymmetric relation definition
- Reflexive relation definition
- Transitive relation definition
- Interval definition
- Preorder definition
- Proof of the epsilon-delta form of continuity proof
- Partial order definition
- Epsilon-delta definition of continuity statement
- Total order definition
- Proof that the reals form an ordered field, with the Cauchy sequence construction proof
- The reals form an ordered field statement
- Absolute value definition
- Proof of the approximation property of the supremum proof
- Proof of the triangle inequality for real numbers proof
- Proof that the absolute value is multiplicative proof
- Proof of the epsilon-N definition of the limit of a sequence proof
- Approximation property of the supremum statement
- Triangle inequality statement
- Absolute value is multiplicative statement
- Epsilon-N definition of the limit of a sequence statement
- Proof that the reals are Archimedean from the completeness axiom proof
- Proof of the limit of a sum of sequences proof
- Proof that convergent sequences are bounded proof
- The reals are Archimedean statement
- Proof that there is a natural number n with 1/n below any positive epsilon proof
- Limit of a sum of sequences statement
- Convergent sequences are bounded statement
- There is a natural number n with 1/n below any positive epsilon statement
- Proof of the limit of a product of sequences proof
- Proof that continuity is equivalent to sequential continuity proof
- Limit of a product of sequences statement
- Continuity is equivalent to sequential continuity statement
- Proof that sums and products of continuous functions are continuous proof
- Product of continuous functions is continuous statement
- Proof that polynomial functions are continuous proof
Where this leads
18 pages build on this one.
- Polynomial functions are continuous
- Existence of nth roots by the intermediate value theorem
- Irrationality of pi
- Power series of arctangent
- Integration by partial fractions
- Rational function
- Runge's theorem
- Padé approximant
- Rational approximation
- Purely transcendental extension
- Lüroth's theorem
- Inversion of rational transforms by partial fractions
- Hilbert's seventeenth problem
- Newman's theorem on rational approximation of the absolute value
- Padé table
- Heaviside cover-up method
- Proof of the power series of arctangent by integrating a finite geometric sum
- Niven's proof of the irrationality of pi
Further reading
- Web https://www.jirka.org/ra/, Proposition 3.2.4
About this page
| Tag | 33XSWFTWNZ |
|---|---|
| URI | m2://33XSWFTWNZ |
| Kind | proof |
| Writing | W0 stub |
| MSC | 26A15 |
| Proves | Polynomial functions are continuous |
| Uses | Continuous function, Continuity at a point, Product of continuous functions is continuous |
| Changed | 4 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.