Revision as of 07:38, 16 May 2007 by imported>Jitse Niesen
A vector space is a set
that satisfies certain axioms (see below) and which is equipped with two operations, vector addition and scalar multiplication.
Vector addition is defined as a map
![{\displaystyle +:V\times V\to V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/982bd4f2bd4daba2cb683b2ea4ac907d5422dcce)
that takes the ordered pair
to the vector
. Here
represents the Cartesian product between sets. Scalar multiplication is defined in a similar way, as a map
![{\displaystyle \cdot :F\times V\to V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/560ffe80eaaf90ead53388227487e74a91c8f43b)
that takes the ordered pair
to the vector
.
Note that frequently the dot representing scalar multiplication is omitted, the result being written simply as
instead. This is especially common when an inner product will also be defined on the vector space, with the dot then representing the inner product between two vectors.
It is important to keep in mind the distinction between scalar multiplication, which multiplies one vector by a scalar, and an inner or scalar product, that combined two vectors to yield a scalar.
Axioms of a vector space
Let
be a set,
,
, and
elements of that set, and
and
scalar elements of a field,
.
Then
is a vector space if the following axioms hold true for all choices of
- 1.
is closed under addition
- The vector
is also an element of
. This is automatically satisfied when the addition operation is defined as being injective as it was above. Care must be taken however if
is a subset of some larger set
and
, as is often the case when looking at subspaces.
- 2. Addition is commutative
- The order in which two vectors are added does not affect the result,
.
- 3. Addition is associative
. This means that even though addition is strictly defined as a binary operation, the object
is well defined.
- 4. An additive identity exists in
![{\displaystyle V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
- Labeled
, the additive identity or zero vector satisfies
.
- 5. The additive inverse exists in
![{\displaystyle V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
- A vector
can be found such that
.
- 6.
is closed under scalar multiplication
- The vector
is itself an element of
.
- 7. Scalar multiplication is distributive over addition in
![{\displaystyle F}](https://wikimedia.org/api/rest_v1/media/math/render/svg/545fd099af8541605f7ee55f08225526be88ce57)
. It is important to note that the addition occurring on the left-hand side of this equality is a 'different operation' from the addition on the right-hand side. While the latter is vector addition as defined above, the former is the addition operation defined on the field
.
- 8. Vector addition is distributive over scalar multiplication
. In this case vector addition takes place on both sides of the equality.
- 9. Scalar multiplication is associative
. This means that the algebraic structure of the underlying field
is preserved. Note that the left-hand side of this equality contains two subsequent applications of the scalar multiplication defined above, while the right-hand side contains one scalar multiplication as defined in
(that of
), followed by scalar multiplication with the vector
.
- 10. The multiplicative identity of
provides a scalar multiplicative identity
, where
is the multiplicative identity of the field
.
These axioms can be expressed concisely in mathematical notation as follows:
![{\displaystyle {\vec {u}}+{\vec {v}}\in V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bece3a92dc1ea92a9cb72ea23d58159c6b9439ee)
![{\displaystyle {\vec {u}}+{\vec {v}}={\vec {v}}+{\vec {u}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a446b9f93cf67ef88c46015ed31dbe89956983c1)
![{\displaystyle {\vec {u}}+({\vec {v}}+{\vec {w}})=({\vec {u}}+{\vec {v}})+{\vec {w}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f5969bf798f917e4e7d01e632c0f28fb19adb94)
![{\displaystyle \exists {\vec {0}}\in V:{\vec {0}}+{\vec {u}}={\vec {u}}+{\vec {0}}={\vec {u}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ef918335c462b629fd416c1f363e466e3c65dbf)
![{\displaystyle \exists \ -\!{\vec {u}}\in V:-{\vec {u}}+{\vec {u}}={\vec {u}}+(-{\vec {u}})={\vec {0}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce59a8a6bce1ca6dd263244999ae64a6315ceffb)
![{\displaystyle a{\vec {u}}\in V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b3f0bbeed66d4e1a7ed9da741afdd0eda17cd23)
![{\displaystyle (a+b){\vec {u}}=a{\vec {u}}+b{\vec {u}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83e4d3fe66ec0b9e4fa9905783f3f56562229b50)
![{\displaystyle a({\vec {u}}+{\vec {v}})=a{\vec {u}}+a{\vec {v}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c54a6d15ff0312b52f8e012857c7bc806454ba07)
![{\displaystyle a(b{\vec {u}})=(ab){\vec {u}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2309dbe5befb709d1c83e8e5757bfabcd1bfd5e8)
![{\displaystyle 1{\vec {u}}={\vec {u}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9651cb8cf07775b0b9dc5f47242cd7d16f5a067)
Some important theorems
Examples of vector spaces