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