II.D83 — L² Norm

L² norm squared: ‖f‖²_k = ⟨f,f⟩_k. Non-negative by construction (sum of squares). Zero iff f = 0 (definiteness).