Vector space basic inequalities