Exponential Chebyshev system

ID: exponential-chebyshev-system

Exponentials with distinct real exponents form a Chebyshev system on every nondegenerate real interval. For an inductive proof, multiply a candidate combination by . If it has zeros, Rolle's theorem gives at least zeros of its derivative, a combination of the exponentials with exponents , . The inductive zero bound forces all those coefficients to vanish. The remaining constant also vanishes, a contradiction.

New to topics? Read the docs here!