Vector spaces by Raikov