Projective frame

In the mathematical field of projective geometry, a projective frame is an ordered collection of points in projective space which can be used as reference points to describe any other point in that space. For example:

• Given three distinct points on a projective line, any other point can be described by its cross-ratio with these three points.
• In a projective plane, a projective frame consists of four points, no three of which lie on a projective line.

In general, let KPⁿ denote n-dimensional projective space over an arbitrary field K. This is the projectivization of the vector space Kⁿ⁺¹. Then a projective frame is an (n+2)-tuple of points in general position in KPⁿ. Here general position means that no subset of n+1 of these points lies in a hyperplane (a projective subspace of dimension n−1).

Sometimes it is convenient to describe a projective frame by n+2 representative vectors v₀, v₁, ..., v_n+1 in Kⁿ⁺¹. Such a tuple of vectors defines a projective frame if any subset of n+1 of these vectors is a basis for Kⁿ⁺¹. The full set of n+2 vectors must satisfy linear dependence relation

$\lambda _{0}v_{0}+\lambda _{1}v_{1}+\cdots +\lambda _{n}v_{n}+\lambda _{{n+1}}v_{{n+1}}=0.$

However, because the subsets of n+1 vectors are linearly independent, the scalars λ_j must all be nonzero. It follows that the representative vectors can be rescaled so that λ_j=1 for all j=0,1,...,n+1. This fixes the representative vectors up to an overall scalar multiple. Hence a projective frame is sometimes defined to be a (n+ 2)-tuple of vectors which span Kⁿ⁺¹ and sum to zero. Using such a frame, any point p in KPⁿ may be described by a projective version of barycentric coordinates: a collection of n+2 scalars μ_j which sum to zero, such that p is represented by the vector

$\mu _{0}v_{0}+\mu _{1}v_{1}+\cdots +\mu _{n}v_{n}+\mu _{{n+1}}v_{{n+1}}.$

References