metric_vector_space