I have the following definitions:

Given a vector space $V$ over a field $k$, we can define the projective space $\mathbb P V = (V \backslash \{0\}) / \sim $ where $\sim$ identifies all points that lie on the same line through the origin.

A projective subspace $\mathbb P W$ of $\mathbb P V$ is of the form $\pi(W \backslash \{0\})$, where $\pi$ is the residue class map and $W$ is a vector subspace of $V$. Define $\mathrm{dim} (\mathbb P V) = \mathrm{dim}( V )- 1$. A line in $\mathbb P V$ is a $1$-dimensional projective subspace.

Now I'm finding it difficult to visualise what a line in projective space actually is. I can understand why any two lines in a projective plane intersect. Suppose I'm in $\mathbb P^3$ and want to write 'an equation' for the line that goes through the points $ p = (1:0:0:0)$ and $q = (a:b:c:d)$. How could I do that? Does my question even make sense? I'm concerned because $\mathbb P V$ isn't actually a vector space, so can I think of points inside it as vectors?



If you have two distinct points $A=[a_0:\ldots :a_n], B=[b_0:\ldots:b_n]\in \mathbb P^n$, they correspond to two vectors $a=(a_0,\ldots ,a_n), b= (b_0,\ldots,b_n)\in k^{n+1}$.
These vectors span a plane $\Lambda \subset k^{n+1}$ whose vectors are the $ua+vb, \; (u,v\in k)$.
The corresponding line $\overline {AB}=\mathbb P(\Lambda)\subset \mathbb P^n$ has its points of the form $[ua_0+vb_0:\ldots :ua_n+vb_n] \quad (u,v \in k, $ not both zero ).

In your particular case the projective line $\overline {pq}$ joining $p=[1:0:0:0]$ and $q=[a:b:c:d]$ has points with coordinates $[u+va:vb:vc:vd]$

  • 1
    $\begingroup$ Thanks a lot for your response. I was rather hoping it'd be you who responded; this ties in well with your answer to my previous question! $\endgroup$ – Jonathan Apr 30 '12 at 22:40
  • 16
    $\begingroup$ Yes, customers here deserve a good after-sales service :-) $\endgroup$ – Georges Elencwajg Apr 30 '12 at 22:45
  • $\begingroup$ So a line in projective space is actually a plane? $\endgroup$ – The Coding Wombat Mar 27 at 20:34
  • $\begingroup$ @The Coding Wombat: Yes, a line in the projective space associated to a vector space is a plane in that vector space. $\endgroup$ – Georges Elencwajg Mar 28 at 9:14
  • $\begingroup$ @GeorgesElencwajg So does that mean that the dimension of a line in $\mathbb{P}^n$ is equal to two? I do not understand that, since I read that $\dim \mathbb{P}^n=n$, but also that it is associated with $\mathbb{R}^5$ which is $\dim = 5$ $\endgroup$ – The Coding Wombat Mar 28 at 14:30

Every linear subspace in $V$ is intersection of hyperplanes. Projecting down to $\Bbb P(V)$ you obtain that every linear subspace in $\Bbb P(V)$ is intersection of hyperplanes.

If $\dim V=4$, i.e. $\dim\Bbb P(V)=3$, a line $\ell\subseteq\Bbb P(V)$ corresponds to a $2$-dimensional subspace $U\subset V$ which can always be obtained as intesection of two $3$-dimensional subspaces, $U=W_1\cap W_2$, obviously not uniquely determined. Hence $\ell=\pi(W_1)\cap\pi(W_2)$.

If $\ell$ is given as the line through two points $A$ and $B$ you can always find some $W_1$ and $W_2$ as above knowing that an hyperplane in $V$ has equation $$ a_1X_1+a_2X_2+a_3X_3+a_4X_4=0\qquad\qquad(\ast) $$ and imposing that the coordinates of $A$ and $B$ satisfy this equation. You thus obtain a homogeneous linear system of two equations in 4 variables (the coefficients of $(\star)$) wich you can certainly solve.

  • $\begingroup$ Suggestion to answer (v1): Stress that hyperplanes $\subseteq V$ here are assumed to contain the origin. $\endgroup$ – Qmechanic Nov 8 '15 at 23:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.