Positive definite matrix by Ciro Santilli 34 Updated Created
The dot product is a positive definite matrix, and so we see that those will have an important link to familiar geometry.