Facts
If W is a linear subspace of V, then dim(W) ≤ dim(V).
To show that two finite-dimensional vector spaces are equal, one often uses the following criterion: if V is a finite-dimensional vector space and W is a linear subspace of V with dim(W) = dim(V), then W = V.
Rn has the standard basis {e1, ..., en}, where ei is the i-th column of the corresponding identity matrix. Therefore Rn has dimension n.
Any two vector spaces over F having the same dimension are isomorphic. Any bijective map between their bases can be uniquely extended to a bijective linear map between the vector spaces. If B is some set, a vector space with dimension |B| over F can be constructed as follows: take the set F(B) of all functions f : B → F such that f(b) = 0 for all but finitely many b in B. These functions can be added and multiplied with elements of F, and we obtain the desired F-vector space.
An important result about dimensions is given by the rank–nullity theorem for linear maps.
If F/K is a field extension, then F is in particular a vector space over K. Furthermore, every F-vector space V is also a K-vector space. The dimensions are related by the formula
- dimK(V) = dimK(F) dimF(V).
In particular, every complex vector space of dimension n is a real vector space of dimension 2n.
Some simple formulae relate the dimension of a vector space with the cardinality of the base field and the cardinality of the space itself. If V is a vector space over a field F then, denoting the dimension of V by dimV, we have:
- If dim V is finite, then |V| = |F|dimV.
- If dim V is infinite, then |V| = max(|F|, dimV).
Read more about this topic: Dimension (vector Space)
Famous quotes containing the word facts:
“Modern morality and manners suppress all natural instincts, keep people ignorant of the facts of nature and make them fighting drunk on bogey tales.”
—Aleister Crowley (1875–1947)
“I went to the woods because I wished to live deliberately, to front only the essential facts of life, and see if I could not learn what it had to teach, and not, when I came to die, discover that I had not lived.... I wanted to live deep and suck out all the marrow of life, to live so sturdily and Spartan-like as to put to rout all that was not life, to cut a broad swath and shave close, to drive life into a corner, and reduce it to its lowest terms.”
—Henry David Thoreau (1817–1862)
“Science is built up with facts, as a house is with stones. But a collection of facts is no more a science than a heap of stones is a house.”
—Jules Henri Poincare (1854–1912)