Linearly compact vector space