Definition:Euclidean Metric on Real Vector Space