complex_vector_space