23.07.2012 Views

Linear Algebra

Linear Algebra

Linear Algebra

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Topic: Projective Geometry 341<br />

of this plane through the origin in R3 ⎛<br />

{ ⎝ x<br />

⎞<br />

y⎠<br />

z<br />

� � x + y − z =0}<br />

project to a line that we can described with the triple � 1 1 −1 � (we use row<br />

vectors to typographically distinguish lines from points). In general, for any<br />

nonzero three-wide row vector � L we define the associated line in the projective<br />

plane, tobethesetL = {k� L � � k ∈ R and k �= 0} of nonzero multiples of L. �<br />

The reason that this description of a line as a triple is convienent is that<br />

in the projective plane, a point v and a line L are incident — the point lies<br />

on the line, the line passes throught the point — if and only if a dot product<br />

of their representatives v1L1 + v2L2 + v3L3 is zero (Exercise 4 shows that this<br />

is independent of the choice of representatives �v and � L). For instance, the<br />

projective point described above by the column vector with components 1, 2,<br />

and 3 lies in the projective line described by � 1 1 −1 � , simply because any<br />

vector in R3 whose components are in ratio 1 : 2 : 3 lies in the plane through the<br />

origin whose equation is of the form 1k · x +1k · y − 1k · z = 0 for any nonzero k.<br />

That is, the incidence formula is inherited from the three-space lines and planes<br />

of which v and L are projections.<br />

Thus, we can do analytic projective geometry. For instance, the projective<br />

line L = � 1 1 −1 � has the equation 1v1 +1v2 − 1v3 = 0, because points<br />

incident on the line are characterized by having the property that their representatives<br />

satisfy this equation. One difference from familiar Euclidean anlaytic<br />

geometry is that in projective geometry we talk about the equation of a point.<br />

For a fixed point like<br />

⎛ ⎞<br />

1<br />

v = ⎝2⎠<br />

3<br />

the property that characterizes lines through this point (that is, lines incident<br />

on this point) is that the components of any representatives satisfy 1L1 +2L2 +<br />

3L3 = 0 and so this is the equation of v.<br />

This symmetry of the statements about lines and points brings up the Duality<br />

Principle of projective geometry: in any true statement, interchanging ‘point’<br />

with ‘line’ results in another true statement. For example, just as two distinct<br />

points determine one and only one line, in the projective plane, two distinct<br />

lines determine one and only one point. Here is a picture showing two lines that<br />

cross in antipodal spots and thus cross at one projective point.<br />

Contrast this with Euclidean geometry, where two distinct lines may have a<br />

unique intersection or may be parallel. In this way, projective geometry is<br />

simpler, more uniform, than Euclidean geometry.<br />

(∗)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!