Let be an affine space (over a field ). It is known if a set of elements in is affinely independent, then every element in the affine subspace spanned by can be uniquely written as a affine combination of :
It is also not hard to see that there is a subset of such that is affinely independent and the span of is . If is finite dimensional, then is finite, and that every element of can then be expressed uniquely as a finite affine combination of elements of . Because of the existence and uniquess of this expression, we can write every element as
Similarly, does not exist in an affine space for the simple reason that is not an affine combination of any subset of an affine space (). The notion of an origin has no place in an affine space.
However, any finite affine combination of any set of points in an affine space is always a point in the space. This can be easily illustrated by the use of barycentric coordinates. For example, take and . Let
A direct calculation shows that has barycentric coordinates
which means it lies in the affine space.
If is ordered, then we can form sets in an affine space consisting of points with non-negative barycentric coordinates. Given a set of affinely independent points, a set is called the affine polytope spanned by if consists of all points that are in the span of and have non-negative barycentric coordinates via . A point in is said to lie on the surface of the polytope if it has at least one zero component, otherwise it is an interior point (having all positive components). In the language of algebraic topology, this is also known as a simplex.
|Date of creation||2013-03-22 16:08:26|
|Last modified on||2013-03-22 16:08:26|
|Last modified by||CWoo (3771)|