Bilinear form Dual basis Let (π,β¨ β , β β©) be a ^nondegenerate finite-dimensional quadratic space. Given a basis {π£π}ππ=1, the dual basis is a unique basis defined by linalg β¨π£β²π,π£πβ©=πΏππ Proof of existence and uniqueness proof develop | en | SemBr