Differentiation of Polynomials induces Well-Founded Relation

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $P$ be the set of all polynomials over $\R$ in one variable with real coefficients.

Let $\DD$ be a relation on $P$ defined as:

$\forall p_0, p_1 \in P: \tuple {p_0, p_1} \in \DD$ if and only if $p_0$ is the derivative of $p_1$.


Then $\DD$ is a well-founded relation on $P$.


Proof



Sources