Metric (mathematics)#Metrics on vector spaces