Orthogonality forces many interior zeros
ID: orthogonality-forces-many-interior-zeros
If a nonzero continuous real function on an interval is orthogonal to every polynomial of degree below , it has at least distinct interior zeros. If it had only finitely many zeros and fewer than sign changes, multiply it by the product of linear factors at its sign-changing zeros. The product has constant sign and is nonzero on an open interval, so its integral cannot vanish. Orthogonality to this degree-below- polynomial contradicts that conclusion. Infinitely many interior zeros already satisfy the assertion. Orthogonal polynomials of respective degrees form a basis of the needed polynomial space.
New to topics? Read the docs here!