The vectors v1,v2,...,vk in a vector space V are said to form a basis for V if (a) v1,v2,...,vk span V and (b) v1,v2,...,vk are linearly independent.
