Projective joins and meets by cross products

ID: projective-joins-and-meets-by-cross-products

In the real projective plane, represent a projective point by a nonzero vector and a projective line by its nonzero coefficient covector, identified with a vector in chosen coordinates. The join of distinct projective points represented by has coefficient vector , using the cross product. It is nonzero because the representatives are linearly independent, and its dot product with each representative vanishes. Dually, two distinct projective lines with coefficients meet in the projective point represented by . Scaling an input scales the output and leaves the projective object unchanged. This makes joins, intersections, concurrency, and collinearity exact calculations with homogeneous coordinates.

New to topics? Read the docs here!