Look at Problem 2.8 p 23 in Chong to see how to define a dot product mathematically.