complex vector space