- Plücker coordinates
In
geometry , Plücker coordinates, introduced byJulius Plücker in the 19th century, are a way to assign sixhomogenous coordinates to each line in projective 3-space, "P"3. Because they satisfy a quadratic constraint, they establish aone-to-one correspondence between the 4-dimensional space of lines in "P"3 and points on a quadric in "P"5 (projective 5-space). A predecessor and special case ofGrassmann coordinates (which describe "k"-dimensional linear subspaces, or "flats", in an "n"-dimensionalEuclidean space ), Plücker coordinates arise naturally ingeometric algebra . They have proved useful forcomputer graphics , and also can be extended to coordinates for the screws and wrenches in the theory ofkinematics used forrobot control .Geometric intuition
A line "L" in 3-dimensional
Euclidean space is determined by two distinct points that it contains, or by two distinct planes that contain it. Consider the first case, with points "x" = ("x"1,"x"2,"x"3) and "y" = ("y"1,"y"2,"y"3). The vector displacement from "x" to "y" is nonzero because the points are distinct, and represents the "direction" of the line. That is, every displacement between points on "L" is a scalar multiple of "d" = "y"−"x". If a physical particle of unit mass were to move from "x" to "y", it would have a moment about the origin. The geometric equivalent is a vector whose direction is perpendicular to the plane containing "L" and the origin, and whose length equals the area of the triangle formed by the displacement and the origin. Treating the points as displacements from the origin, the moment is "m" = "x"×"y", where "×" denotes the vectorcross product . The area of the triangle is proportional to the length of the segment between "x" and "y", considered as the base of the triangle; it is not changed by sliding the base along the line, parallel to itself. By definition the moment vector is perpendicular to every displacement along the line, so "d"•"m" = 0, where "•" denotes the vectordot product .Although neither "d" nor "m" alone is sufficient to determine "L", together the pair does so uniquely, up to a common (nonzero) scalar multiple which depends on the distance between "x" and "y". That is, the coordinates
: ("d":"m") = ("d"1:"d"2:"d"3:"m"1:"m"2:"m"3)
may be considered
homogeneous coordinates for "L", in the sense that all pairs (λ"d":λ"m"), for λ ≠ 0, can be produced by points on "L" and only "L", and any such pair determines a unique line so long as "d" is not zero and "d"•"m" = 0. Furthermore, this approach extends to include points, lines, and a plane "at infinity", in the sense ofprojective geometry .: Example. Let "x" = (2,3,7) and "y" = (2,1,0). Then ("d":"m") = (0:−2:−7:−7:14:−4).
Alternatively, let the equations for points "x" of two distinct planes containing "L" be
: 0 = "a" + "a"•"x": 0 = "b" + "b"•"x" .
Then their respective planes are perpendicular to vectors "a" and "b", and the direction of "L" must be perpendicular to both. Hence we may set "d" = "a"×"b", which is nonzero because "a" and "b" are neither zero nor parallel (the planes being distinct and intersecting). If point "x" satisfies both plane equations, then it also satisfies the linear combination
:
Dual coordinates are convenient in some computations, and we can show that they are equivalent to primary coordinates. Specifically, let ("i","j","k","l") be an
even permutation of (0,1,2,3); then: p_{ij} = p^{kl} . ,!
Geometry
To relate back to the geometric intuition, take "x"0 = 0 as the plane at infinity; thus the coordinates of points "not" at infinity can normalized so that "x"0 = 1. Then "M" becomes
: M = egin{bmatrix} 1 & 1 \ x_1 & y_1 \ x_2& y_2 \ x_3 & y_3 end{bmatrix} ,
and setting "x" = ("x"1,"x"2,"x"3) and "y" = ("y"1,"y"2,"y"3), we have "d" = ("p"01,"p"02,"p"03) and "m" = ("p"23,"p"31,"p"12).
Dually, we have "d" = ("p"23,"p"31,"p"12) and "m" = ("p"01,"p"02,"p"03).
Bijection between lines and Klein quadric
Plane equations
If the point z = ("z"0:"z"1:"z"2:"z"3) lies on "L", then the columns of
: egin{bmatrix} x_0 & y_0 & z_0 \ x_1 & y_1 & z_1 \ x_2 & y_2 & z_2 \ x_3 & y_3 & z_3 end{bmatrix}
are linearly dependent, so that the rank of this larger matrix is still 2. This implies that all 3×3 submatrices have determinant zero, generating four (4 choose 3) plane equations, such as
:
Since both 3×3 determinants have duplicate columns, the right hand side is identically zero.
Point equations
Letting ("x"0:"x"1:"x"2:"x"3) be the point coordinates, four possible points on a line each have coordinates "x""i" = "p""ij", for "j" = 0…3. Some of these possible points may be inadmissible because all coordinates are zero, but since at least one Plücker coordinate is nonzero, at least two distinct points are guaranteed.
Bijectivity
If ("q"01:"q"02:"q"03:"q"23:"q"31:"q"12) are the homogeneous coordinates of a point in "P"5, without loss of generality assume that "q"01 is nonzero. Then the matrix
: M = egin{bmatrix} q_{01} & 0 \ 0 & q_{01} \ -q_{12} & q_{02} \ q_{31} & q_{03} end{bmatrix}
has rank 2, and so its columns are distinct points defining a line "L". When the "P"5 coordinates, "q""ij", satisfy the quadratic Plücker relation, they are the Plücker coordinates of "L". To see this, first normalize "q"01 to 1. Then we immediately have that for the Plücker coordinates computed from "M", "p""ij" = "q""ij", except for
: p_{23} = - q_{03} q_{12} - q_{02} q_{31} . ,!
But if the "q""ij" satisfy the Plücker relation "q"23+"q"02"q"31+"q"03"q"12 = 0, then "p""23" = "q""23", completing the set of identities.
Consequently, α is a
surjection onto thealgebraic variety consisting of the set of zeros of the quadratic polynomial: p_{01}p_{23}+p_{02}p_{31}+p_{03}p_{12} . ,!
And since α is also an injection, the lines in "P"3 are thus in bijective correspondence with the points of this
quadric in "P"5, called the Plücker quadric orKlein quadric .Uses
Plücker coordinates allow concise solutions to problems of line geometry in 3-dimensional space, especially those involving incidence.
Line-line crossing
Two lines in "P"3 are either skew or
coplanar , and in the latter case they are either coincident or intersect in a unique point. If "p""ij" and "p"′"ij" are the Plücker coordinates of two lines, then they are coplanar precisely when "d"⋅"m"′+"m"⋅"d"′ = 0, as shown by:
When the lines are skew, the sign of the result indicates the sense of crossing: positive if a right-handed screw takes "L" into "L"′, else negative.
The quadratic Plücker relation essentially states that a line is coplanar with itself.
Line-line join
In the event that two lines are coplanar but not parallel, their common plane has equation
: 0 = ("m"•"d"′)"x"0 + ("d"×"d"′)•"x" ,
where "x" = ("x"1,"x"2,"x"3).
The slightest perturbation will destroy the existence of a common plane, and near-parallelism of the lines will cause numeric difficulties in finding such a plane even if it does exist.
Line-line meet
Dually, two coplanar lines, neither of which contains the origin, have common point
: ("x"0 : "x") = (d•m′:m×m′) .
To handle lines not meeting this restriction, see the references.
Plane-line meet
Given a plane with equation
: 0 = a^0x_0 + a^1x_1 + a^2x_2 + a^3x_3 , ,!
or more concisely 0 = "a"0"x"0+"a"•"x"; and given a line not in it with Plücker coordinates ("d":"m"), then their point of intersection is
: ("x"0 : "x") = ("a"•"d" : "a"×"m" − "a"0"d") .
The point coordinates, ("x"0:"x"1:"x"2:"x"3), can also be expressed in terms of Plücker coordinates as
: x_i = sum_{j e i} a^j p_{ij} , qquad i = 0 ldots 3 . ,!
Point-line join
Dually, given a point ("y"0:"y") and a line not containing it, their common plane has equation
: 0 = ("y"•"m") "x"0 + ("y"×"d"−"y"0"m")•"x" .
The plane coordinates, ("a"0:"a"1:"a"2:"a"3), can also be expressed in terms of dual Plücker coordinates as
: a^i = sum_{j e i} y_j p^{ij} , qquad i = 0 ldots 3 . ,!
Line families
Because the
Klein quadric is in "P"5, it contains linear subspaces of dimensions one and two (but no higher). These correspond to one- and two-parameter families of lines in "P"3.For example, suppose "L" and "L"′ are distinct lines in "P"3 determined by points x, y and x′, y′, respectively. Linear combinations of their determining points give linear combinations of their Plücker coordinates, generating a one-parameter family of lines containing "L" and "L"′. This corresponds to a one-dimensional linear subspace belonging to the Klein quadric.
Lines in plane
If three distinct and non-parallel lines are coplanar; their linear combinations generate a two-parameter family of lines, all the lines in the plane. This corresponds to a two-dimensional linear subspace belonging to the Klein quadric.
Lines through point
If three distinct and non-coplanar lines intersect in a point, their linear combinations generate a two-parameter family of lines, all the lines through the point. This also corresponds to a two-dimensional linear subspace belonging to the Klein quadric.
Ruled surface
A
ruled surface is a family of lines that is not necessarily linear. It corresponds to a curve on the Klein quadric. For example, ahyperboloid of one sheet is a quadric surface in "P"3 ruled by two different families of lines, one line of each passing through each point of the surface; each family corresponds under the Plücker map to aconic section within the Klein quadric in "P"5.Line geometry
During the nineteenth century, "line geometry" was studied intensively. In terms of the bijection given above, this is a description of the intrinsic geometry of the Klein quadric.
References
* cite book
last = Hodge
first = W. V. D.
authorlink = W. V. D. Hodge
coauthors =D. Pedoe
title = Methods of Algebraic Geometry, Volume I (Book II)
publisher =Cambridge University Press
date = 1994
origdate = 1947
id = ISBN 978-0-521-46900-5
* cite book
last = Behnke
first = H.
coauthors = F. Bachmann, K. Fladt, H. Kunle (eds.)
others = trans. S. H. Gould
title = Fundamentals of Mathematics, Volume II: Geometry
publisher =MIT Press
date = 1984
id = ISBN 978-0-262-52094-2
From the German: "Grundzüge der Mathematik, Band II: Geometrie". Vandenhoeck & Ruprecht.
* cite book
last = Stolfi
first = Jorge
title = Oriented Projective Geometry
publisher =Academic Press
date = 1991
id = ISBN 978-0-12-672025-9
From originalStanford Ph.D. dissertation, "Primitives for Computational Geometry", available as [http://ftp.digital.com/pub/compaq/SRC/research-reports/abstracts/src-rr-036.html DEC SRC Research Report 36] .
* cite journal
last = Shoemake
first = Ken
title = Plücker Coordinate Tutorial
journal = Ray Tracing News
volume = 11
issue = 1
date = 1998
url = http://www.acm.org/tog/resources/RTNews/html/rtnv11n1.html#art3
* cite book
last = Mason
first = Matthew T.
coauthors = J. Kenneth Salisbury
title = Robot Hands and the Mechanics of Manipulation
publisher =MIT Press
date = 1985
id = ISBN 978-0-262-13205-3
* cite journal
last = Hohmeyer
first = M.
coauthors = S. Teller
title = Determining the Lines Through Four Lines
journal =Journal of Graphics Tools
volume = 4
issue = 3
pages = 11–22
publisher =A K Peters
date = 1999
url = http://people.csail.mit.edu/seth/pubs/TellerHohmeyerJGT2000.pdf
format =PDF
id = ISSN|1086-7651
accessdate =
Wikimedia Foundation. 2010.