Distinct diagonal weights break a first column dependence

ID: distinct-diagonal-weights-break-a-first-column-dependence

Let the first columns of a matrix be the first dependent prefix, with no zero column. Their relation space has dimension one, and every nonzero relation has at least two nonzero coordinates. If both and , one-dimensionality gives for all . Two nonzero coordinates would force two of the distinct weights to agree, a contradiction.

New to topics? Read the docs here!