PlanetMath: barycentric coordinates

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (200)
Orphanage
Unclass'd
Unproven (490)
Corrections (6)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

barycentric coordinates

(Definition)

Let be an affine space (over a field ). It is known if a set $S=\lbrace v_1,\ldots,v_n\rbrace$ of elements in is affinely independent, then every element in the affine subspace spanned by can be uniquely written as a affine combination of $v_1,\ldots,v_n$ :

$\displaystyle v=k_1v_1+\cdots+k_nv_n\qquad (k_1+\cdots+k_n=1)$

It is also not hard to see that there is a subset

such that

is affinely independent and the span of

. 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 $v\in A$ as

$\displaystyle (k_1,\ldots,k_n)$ iff $\displaystyle v=k_1v_1+\cdots+k_nv_n.$

The expression $(k_1,\ldots,k_n)$ is called the barycentric coordinates of

(given

). Each

is called a component of the barycentric coordinates of

Remarks.

Unlike the Euclidean space, and with $1\neq k\in F$ defined by coordinate-wise addition and scalar multiplication do not make sense in an affine space. If $v=(k_1,\ldots,k_n)$ and $w=(m_1,\ldots,m_n)$ , then $(k_1+m_1)+\cdots+(k_n+m_n)=2$ and $v+w:=(k_1+m_1,\ldots,k_n+m_n)$ would be meaningless.
Similarly, $\boldsymbol{0}:=(0,\ldots,0)$ does not exist in an affine space for the simple reason that $\boldsymbol{0}$ is not an affine combination of any subset of an affine space ( $0\neq 1$ ). 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 $v=(k_1,\ldots,k_n)$ and $w=(m_1,\ldots,m_n)$ . Let
$\displaystyle u=kv+mw$ with $\displaystyle 1=k+m.$
A direct calculation shows that has barycentric coordinates
$\displaystyle (kk_1+mm_1,\ldots,kk_n+mm_n),$
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.