For representatives and , a point belongs to their projective line exactly when these three vectors are linearly dependent. The determinant criterion givesExpanding along the first row givesThe coefficient vector is the cross product . It is nonzero because the projective points are distinct. Rescaling either representative merely rescales all three coefficients, leaving the projective line unchanged. This is the join formula in projective joins and meets by cross products.
Articles by others on the same topic
There are currently no matching articles.