Equality in the projected Cauchy-Schwarz inequality

ID: equality-in-the-projected-cauchy-schwarz-inequality

For an orthogonal projection onto in an inner product space, apply the Cauchy-Schwarz inequality to and then use , . If either original vector is zero, equality holds. Otherwise equality holds exactly when both vectors belong to and are linearly dependent. Necessity follows because equality in the product of the two norm bounds forces equality in each, while equality in Cauchy-Schwarz inequality forces dependence. This retains the zero cases that a division by the original norms would lose.

New to topics? Read the docs here!