properties of bases

Let V be a vector spaceMathworldPlanetmath over a field k.

  1. 1.

    V has a basis.

  2. 2.

    Every linearly independentMathworldPlanetmath set in V can be expanded into a basis for V.

  3. 3.

    Every spanning set of V contains a subset that is a basis for V.

  4. 4.

    If A,B are subsets of V such that A is linearly independent and B spans V, then

  5. 5.

    All bases for V have the same cardinality (hence it is possible to define the dimensionMathworldPlanetmathPlanetmath of a vector space).

  6. 6.

    V and W are isomorphicPlanetmathPlanetmathPlanetmath iff their bases have the same cardinality.


  • Property 1 is actually a special case of either property 2 or property 3. If we take as the given linearly independent set in V, and apply property 2, we obtain property 1. Likewise, if we take V as the given spanning set of V, and apply property 3, we again obtain property 1.

  • The above properties can be generalized to a (left or right) vector space over a division ring.

  • However, most of the properties on bases can not be generalized to an arbitrary module over an arbitrary ring. For example, not all modules have bases. But we do have the following: let M be a (left) module over a ring R. Then

    1. (a)

      if M has a finite basis, then all bases for M are finite.

    2. (b)

      if M has an infinite basis, then all bases for M have the same cardinality.

    When a module has a basis, then we call it a free modulePlanetmathPlanetmath (other characterizations are possible). So free modules behave a bit like vector spaces. However, unlike a vector space, one may not be able to define a dimension on a free module. It is possible that, in a finitely generatedMathworldPlanetmathPlanetmath free module, there are two bases of different cardinalities. For more on this, see the entry on IBN.

Title properties of bases
Canonical name PropertiesOfBases
Date of creation 2013-03-22 18:06:00
Last modified on 2013-03-22 18:06:00
Owner CWoo (3771)
Last modified by CWoo (3771)
Numerical id 9
Author CWoo (3771)
Entry type Result
Classification msc 15A03
Classification msc 13C05
Classification msc 16D40