|
|
| Line 1: |
Line 1: |
| {{about|the classic case of lines in projective 3-space|general Plücker coordinates|Plücker embedding}}
| | The writer is known as Irwin Wunder but it's not the most masucline name out there. My working day job is a meter reader. Body building is one of the things I adore most. South Dakota is exactly where me and my husband live.<br><br>Here is my site [http://www.alimacau.com/members/tamigrider/activity/20490/ home std test kit] |
| | |
| {{No footnotes|date=February 2011}}
| |
| | |
| In [[geometry]], '''Plücker coordinates''', introduced by [[Julius Plücker]] in the 19th century, are a way to assign six [[homogeneous coordinates]] to each [[line (mathematics)|line]] in [[projective space|projective 3-space]], '''P'''<sup>3</sup>. Because they satisfy a quadratic constraint, they establish a [[one-to-one correspondence]] between the 4-dimensional space of lines in '''P'''<sup>3</sup> and points on a [[quadric (projective geometry)|quadric]] in '''P'''<sup>5</sup> (projective 5-space). A predecessor and special case of [[Grassmann coordinates]] (which describe ''k''-dimensional linear subspaces, or ''flats'', in an ''n''-dimensional [[Euclidean space]]), Plücker coordinates arise naturally in [[geometric algebra]]. They have proved useful for [[computer graphics]], and also can be extended to coordinates for the [[screw theory|screws and wrenches]] in the theory of [[kinematics]] used for [[robot control]].
| |
| | |
| == Geometric intuition ==
| |
| [[File:Plücker line coordinate geometry.png|thumb|right|Displacement and moment of two points on line]]
| |
| 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''<sub>1</sub>,''x''<sub>2</sub>,''x''<sub>3</sub>) and '''''y''''' = (''y''<sub>1</sub>,''y''<sub>2</sub>,''y''<sub>3</sub>). 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 (physics)|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 twice 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 vector [[cross 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 vector [[dot 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''<sub>1</sub>:''d''<sub>2</sub>:''d''<sub>3</sub>:''m''<sub>1</sub>:''m''<sub>2</sub>:''m''<sub>3</sub>)
| |
| | |
| 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 [[point at infinity|points]], [[line at infinity|lines]], and a [[plane at infinity|plane]] "at infinity", in the sense of [[projective 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
| |
| | |
| :{|
| |
| |-
| |
| | 0 || = ''a'' (''b'' + '''''b'''''•'''''x''''') − ''b'' (''a'' + '''''a'''''•'''''x''''')
| |
| |-
| |
| | || = (''a'' '''''b''''' − ''b'' '''''a''''')•'''''x''''' .
| |
| |}
| |
| | |
| That is, '''''m''''' = ''a'' '''''b''''' − ''b'' '''''a''''' is a vector perpendicular to displacements to points on ''L'' from the origin; it is, in fact, a moment consistent with the '''''d''''' previously defined from '''''a''''' and '''''b'''''.
| |
| | |
| : '''Example.''' Let ''a''<sub>0</sub> = 2, '''''a''''' = (−1,0,0) and ''b''<sub>0</sub> = −7, '''''b''''' = (0,7,−2). Then ('''''d''''':'''''m''''') = (0:−2:−7:−7:14:−4).
| |
| | |
| Although the usual algebraic definition tends to obscure the relationship, ('''''d''''':'''''m''''') are the Plücker coordinates of ''L''.
| |
| | |
| == Algebraic definition ==
| |
| In a 3-dimensional projective space, '''P'''<sup>3</sup>, let ''L'' be a line containing distinct points '''x''' and '''y''' with [[homogeneous coordinates]] (''x''<sub>0</sub>:''x''<sub>1</sub>:''x''<sub>2</sub>:''x''<sub>3</sub>) and (''y''<sub>0</sub>:''y''<sub>1</sub>:''y''<sub>2</sub>:''y''<sub>3</sub>), respectively. Let ''M'' be the 4×2 matrix with these coordinates as columns.
| |
| | |
| : <math> M = \begin{bmatrix} x_0 & y_0 \\ x_1 & y_1 \\ x_2 & y_2 \\ x_3 & y_3 \end{bmatrix}</math>
| |
| | |
| Because '''x''' and '''y''' are distinct points, the columns of ''M'' are [[linear independence|linearly independent]]; ''M'' has [[rank (linear algebra)|rank]] 2. Let ''M′'' be a second matrix, with columns '''x′''' and '''y′''' a different pair of distinct points on ''L''. Then the columns of ''M′'' are [[linear combination]]s of the columns of ''M''; so for some 2×2 [[nonsingular matrix]] Λ,
| |
| | |
| : <math> M' = M\Lambda . \,\! </math>
| |
| | |
| In particular, rows ''i'' and ''j'' of ''M′'' and ''M'' are related by
| |
| | |
| : <math> \begin{bmatrix} x'_{i} & y'_{i}\\x'_{j}& y'_{j} \end{bmatrix} = \begin{bmatrix} x_{i} & y_{i}\\x_{j}& y_{j} \end{bmatrix} \begin{bmatrix} \lambda_{00} & \lambda_{01} \\ \lambda_{10} & \lambda_{11} \end{bmatrix} . </math>
| |
| | |
| Therefore, the determinant of the left side 2×2 matrix equals the product of the determinants of the right side 2×2 matrices, the latter of which is a fixed scalar, det Λ.
| |
| | |
| === Primary coordinates ===
| |
| With this motivation, we define Plücker coordinate ''p''<sub>''ij''</sub> as the determinant of rows ''i'' and ''j'' of ''M'',
| |
| | |
| :{|
| |
| |-
| |
| | <math>p_{ij} \,\! </math> || <math> {}= \begin{vmatrix} x_{i} & y_{i} \\ x_{j} & y_{j}\end{vmatrix} </math>
| |
| |-
| |
| | || <math> {} = x_{i}y_{j}-x_{j}y_{i} . \,\!</math>
| |
| |}
| |
| | |
| This implies ''p''<sub>''ii''</sub> = 0 and ''p''<sub>''ij''</sub> = −''p''<sub>''ji''</sub>, reducing the possibilities to only six (4 [[binomial coefficient|choose]] 2) independent quantities. As we have seen, the sixtuple
| |
| | |
| : <math>(p_{01}:p_{02}:p_{03}:p_{23}:p_{31}:p_{12}) \,\!</math>
| |
| | |
| is uniquely determined by ''L'', up to a common nonzero scale factor. Furthermore, all six components cannot be zero, because if they were, all 2×2 subdeterminants in ''M'' would be zero and the rank of ''M'' at most one, contradicting the assumption that '''x''' and '''y''' are distinct. Thus the Plücker coordinates of ''L'', as suggested by the colons, may be considered homogeneous coordinates of a point in a 5-dimensional projective space.
| |
| | |
| === Plücker map ===
| |
| Denote the set of all lines (linear images of '''P'''<sup>1</sup>) in '''P'''<sup>3</sup> by G<sub>1,3</sub>. We thus have a map:
| |
| :<math>\begin{align}
| |
| \alpha \colon \mathrm{G}_{1,3} & \rightarrow \mathbf{P}^5 \\
| |
| L & \mapsto L^{\alpha},
| |
| \end{align}</math>
| |
| where
| |
| :<math> L^{\alpha}=(p_{01}:p_{02}:p_{03}:p_{23}:p_{31}:p_{12}) . \,\! </math>
| |
| | |
| === Dual coordinates ===
| |
| Alternatively, let ''L'' be a line contained in distinct planes '''a''' and '''b''' with homogeneous coefficients (''a''<sup>0</sup>:''a''<sup>1</sup>:''a''<sup>2</sup>:''a''<sup>3</sup>) and (''b''<sup>0</sup>:''b''<sup>1</sup>:''b''<sup>2</sup>:''b''<sup>3</sup>), respectively. (The first plane equation is 0 = ∑<sub>''k''</sub> ''a''<sup>''k''</sup>''x''<sub>''k''</sub>, for example.) Let ''N'' be the 2×4 matrix with these coordinates as rows.
| |
| | |
| : <math> N = \begin{bmatrix} a^0 & a^1 & a^2 & a^3 \\ b^0 & b^1 & b^2 & b^3 \end{bmatrix}</math>
| |
| | |
| We define dual Plücker coordinate ''p''<sup>''ij''</sup> as the determinant of columns ''i'' and ''j'' of ''N'',
| |
| | |
| :{|
| |
| |-
| |
| | <math>p^{ij} \,\! </math> || <math> {}= \begin{vmatrix} a^{i} & a^{j} \\ b^{i} & b^{j}\end{vmatrix} </math>
| |
| |-
| |
| | || <math> {} = a^{i}b^{j}-a^{j}b^{i} . \,\!</math>
| |
| |}
| |
| | |
| 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
| |
| | |
| : <math>p_{ij} = p^{kl} . \,\! </math>
| |
| | |
| === Geometry ===
| |
| To relate back to the geometric intuition, take ''x''<sub>0</sub> = 0 as the plane at infinity; thus the coordinates of points ''not'' at infinity can be normalized so that ''x''<sub>0</sub> = 1. Then ''M'' becomes
| |
| | |
| : <math> M = \begin{bmatrix} 1 & 1 \\ x_1 & y_1 \\ x_2& y_2 \\ x_3 & y_3 \end{bmatrix} , </math>
| |
| | |
| and setting '''''x''''' = (''x''<sub>1</sub>,''x''<sub>2</sub>,''x''<sub>3</sub>) and '''''y''''' = (''y''<sub>1</sub>,''y''<sub>2</sub>,''y''<sub>3</sub>), we have '''''d''''' = (''p''<sub>01</sub>,''p''<sub>02</sub>,''p''<sub>03</sub>) and '''''m''''' = (''p''<sub>23</sub>,''p''<sub>31</sub>,''p''<sub>12</sub>).
| |
| | |
| Dually, we have '''''d''''' = (''p''<sup>23</sup>,''p''<sup>31</sup>,''p''<sup>12</sup>) and '''''m''''' = (''p''<sup>01</sup>,''p''<sup>02</sup>,''p''<sup>03</sup>).
| |
| | |
| ==Bijection between lines and Klein quadric==
| |
| === Plane equations ===
| |
| If the point '''z''' = (''z''<sub>0</sub>:''z''<sub>1</sub>:''z''<sub>2</sub>:''z''<sub>3</sub>) lies on ''L'', then the columns of
| |
| | |
| : <math> \begin{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} </math>
| |
| | |
| 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
| |
| | |
| :{|
| |
| |-
| |
| | <math> 0 \,\!</math> || <math> {} = \begin{vmatrix} x_0 & y_0 & z_0 \\ x_1 & y_1 & z_1 \\ x_2 & y_2 & z_2 \end{vmatrix} </math>
| |
| |-
| |
| | || <math> {} = \begin{vmatrix} x_1 & y_1 \\ x_2 & y_2 \end{vmatrix} z_0 - \begin{vmatrix} x_0 & y_0 \\ x_2 & y_2 \end{vmatrix} z_1 + \begin{vmatrix} x_0 & y_0 \\ x_1 & y_1 \end{vmatrix} z_2 </math>
| |
| |-
| |
| | || <math> {} = p_{12} z_0 - p_{02} z_1 + p_{01} z_2 . \,\! </math>
| |
| |-
| |
| | || <math> {} = p^{03} z_0 + p^{13} z_1 + p^{23} z_2 . \,\! </math>
| |
| |}
| |
| | |
| The four possible planes obtained are as follows.
| |
| | |
| : <math> \begin{matrix}
| |
| 0 & = & {}+ p_{12} z_0 & {}- p_{02} z_1 & {}+ p_{01} z_2 & \\
| |
| 0 & = & {}- p_{31} z_0 & {}- p_{03} z_1 & & {}+ p_{01} z_3 \\
| |
| 0 & = & {}+p_{23} z_0 & & {}- p_{03} z_2 & {}+ p_{02} z_3 \\
| |
| 0 & = & & {}+p_{23} z_1 & {}+ p_{31} z_2 & {}+ p_{12} z_3
| |
| \end{matrix} </math>
| |
| | |
| Using dual coordinates, and letting (''a''<sup>0</sup>:''a''<sup>1</sup>:''a''<sup>2</sup>:''a''<sup>3</sup>) be the line coefficients, each of these is simply ''a''<sup>''i''</sup> = ''p''<sup>''ij''</sup>, or
| |
| | |
| : <math> 0 = \sum_{i=0}^3 p^{ij} z_i , \qquad j = 0,\ldots,3 . \,\! </math>
| |
| | |
| Each Plücker coordinate appears in two of the four equations, each time multiplying a different variable; and as at least one of the coordinates is nonzero, we are guaranteed non-vacuous equations for two distinct planes intersecting in ''L''. Thus the Plücker coordinates of a line determine that line uniquely, and the map α is an [[Injective function|injection]].
| |
| | |
| === Quadratic relation ===
| |
| The image of α is not the complete set of points in '''P'''<sup>5</sup>; the Plücker coordinates of a line ''L'' satisfy the quadratic Plücker relation
| |
| | |
| :{|
| |
| |-
| |
| | <math>0\,\!</math> || <math> {}= p_{01}p^{01}+p_{02}p^{02}+p_{03}p^{03} \,\! </math>
| |
| |-
| |
| | || <math> {}= p_{01}p_{23}+p_{02}p_{31}+p_{03}p_{12} . \,\!</math>
| |
| |}
| |
| | |
| For proof, write this homogeneous polynomial as determinants and use [[Laplace expansion]] (in reverse).
| |
| | |
| :{|
| |
| |-
| |
| | <math>0\,\!</math> || <math> {}= \begin{vmatrix}x_0&y_0\\x_1&y_1\end{vmatrix}\begin{vmatrix}x_2&y_2\\x_3&y_3\end{vmatrix}+
| |
| \begin{vmatrix}x_0&y_0\\x_2&y_2\end{vmatrix}\begin{vmatrix}x_3&y_3\\x_1&y_1\end{vmatrix}+
| |
| \begin{vmatrix}x_0&y_0\\x_3&y_3\end{vmatrix}\begin{vmatrix}x_1&y_1\\x_2&y_2\end{vmatrix} </math>
| |
| |-
| |
| | || <math> {} = (x_0 y_1-y_0 x_1)\begin{vmatrix}x_2&y_2\\x_3&y_3\end{vmatrix}-
| |
| (x_0 y_2-y_0 x_2)\begin{vmatrix}x_1&y_1\\x_3&y_3\end{vmatrix}+
| |
| (x_0 y_3-y_0 x_3)\begin{vmatrix}x_1&y_1\\x_2&y_2\end{vmatrix} \,\!</math>
| |
| |-
| |
| | || <math> {} = x_0 \left(y_1\begin{vmatrix}x_2&y_2\\x_3&y_3\end{vmatrix}-
| |
| y_2\begin{vmatrix}x_1&y_1\\x_3&y_3\end{vmatrix}+
| |
| y_3\begin{vmatrix}x_1&y_1\\x_2&y_2\end{vmatrix}\right)
| |
| -y_0 \left(x_1\begin{vmatrix}x_2&y_2\\x_3&y_3\end{vmatrix}-
| |
| x_2\begin{vmatrix}x_1&y_1\\x_3&y_3\end{vmatrix}+
| |
| x_3\begin{vmatrix}x_1&y_1\\x_2&y_2\end{vmatrix}\right) \,\!</math>
| |
| |-
| |
| | || <math> {} = x_0 \begin{vmatrix}x_1&y_1&y_1\\x_2&y_2&y_2\\x_3&y_3&y_3\end{vmatrix}
| |
| -y_0 \begin{vmatrix}x_1&x_1&y_1\\x_2&x_2&y_2\\x_3&x_3&y_3\end{vmatrix} \,\!</math>
| |
| |}
| |
| | |
| Since both 3×3 determinants have duplicate columns, the right hand side is identically zero.
| |
| | |
| Another proof may be done like this:
| |
| Since vector
| |
| :{|
| |
| |-
| |
| | <math> d = \left( p_{01}, p_{02}, p_{03} \right) </math>
| |
| |}
| |
| is perpendicular to vector
| |
| :{|
| |
| |-
| |
| | <math> m = \left( p_{23}, p_{31}, p_{12} \right) </math>
| |
| |}
| |
| (see above), the scalar product of d and m must be zero! q.e.d.
| |
| | |
| === Point equations ===
| |
| Letting (''x''<sub>0</sub>:''x''<sub>1</sub>:''x''<sub>2</sub>:''x''<sub>3</sub>) be the point coordinates, four possible points on a line each have coordinates ''x''<sub>''i''</sub> = ''p''<sub>''ij''</sub>, 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''<sub>01</sub>:''q''<sub>02</sub>:''q''<sub>03</sub>:''q''<sub>23</sub>:''q''<sub>31</sub>:''q''<sub>12</sub>) are the homogeneous coordinates of a point in '''P'''<sup>5</sup>, without loss of generality assume that ''q''<sub>01</sub> is nonzero. Then the matrix
| |
| | |
| : <math> M = \begin{bmatrix} q_{01} & 0 \\ 0 & q_{01} \\ -q_{12} & q_{02} \\ q_{31} & q_{03} \end{bmatrix} </math>
| |
| | |
| has rank 2, and so its columns are distinct points defining a line ''L''. When the '''P'''<sup>5</sup> coordinates, ''q''<sub>''ij''</sub>, satisfy the quadratic Plücker relation, they are the Plücker coordinates of ''L''. To see this, first normalize ''q''<sub>01</sub> to 1. Then we immediately have that for the Plücker coordinates computed from ''M'', ''p''<sub>''ij''</sub> = ''q''<sub>''ij''</sub>, except for
| |
| | |
| : <math> p_{23} = - q_{03} q_{12} - q_{02} q_{31} . \,\! </math>
| |
| | |
| But if the ''q''<sub>''ij''</sub> satisfy the Plücker relation ''q''<sub>23</sub>+''q''<sub>02</sub>''q''<sub>31</sub>+''q''<sub>03</sub>''q''<sub>12</sub> = 0, then ''p''<sub>''23''</sub> = ''q''<sub>''23''</sub>, completing the set of identities.
| |
| | |
| Consequently, α is a [[surjection]] onto the [[algebraic variety]] consisting of the set of zeros of the quadratic polynomial
| |
| | |
| : <math> p_{01}p_{23}+p_{02}p_{31}+p_{03}p_{12} . \,\!</math>
| |
| | |
| And since α is also an injection, the lines in '''P'''<sup>3</sup> are thus in [[bijection|bijective]] correspondence with the points of this [[quadric]] in '''P'''<sup>5</sup>, called the Plücker quadric or [[Klein quadric]].
| |
| | |
| ==Uses==
| |
| Plücker coordinates allow concise solutions to problems of line geometry in 3-dimensional space, especially those involving [[incidence (geometry)|incidence]].
| |
| | |
| === Line-line crossing ===
| |
| Two lines in '''P'''<sup>3</sup> are either [[skew lines|skew]] or [[coplanar]], and in the latter case they are either coincident or intersect in a unique point. If ''p''<sub>''ij''</sub> and ''p''′<sub>''ij''</sub> are the Plücker coordinates of two lines, then they are coplanar precisely when '''''d'''''⋅'''''m'''''′+'''''m'''''⋅'''''d'''''′ = 0, as shown by
| |
| | |
| :{|
| |
| |-
| |
| | <math> 0 \,\!</math> || <math> {} = p_{01}p'_{23} + p_{02}p'_{31} + p_{03}p'_{12} + p_{23}p'_{01} + p_{31}p'_{02} + p_{12}p'_{03} \,\! </math>
| |
| |-
| |
| | || <math> {} = \begin{vmatrix}x_0&y_0&x'_0&y'_0\\x_1&y_1&x'_1&y'_1\\x_2&y_2&x'_2&y'_2\\x_3&y_3&x'_3&y'_3\end{vmatrix} . </math>
| |
| |}
| |
| | |
| 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''<sub>0</sub> + ('''''d'''''×'''''d'''''′)•'''''x''''' ,
| |
| | |
| where '''''x''''' = (''x''<sub>1</sub>,''x''<sub>2</sub>,''x''<sub>3</sub>). | |
| | |
| 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''<sub>0</sub> : '''''x''''') = ('''d'''•'''m'''′:'''m'''×'''m'''′) .
| |
| | |
| To handle lines not meeting this restriction, see the references.
| |
| | |
| === Plane-line meet ===
| |
| Given a plane with equation
| |
| | |
| : <math> 0 = a^0x_0 + a^1x_1 + a^2x_2 + a^3x_3 , \,\!</math>
| |
| | |
| or more concisely 0 = ''a''<sup>0</sup>''x''<sub>0</sub>+'''''a'''''•'''''x'''''; and given a line not in it with Plücker coordinates ('''''d''''':'''''m'''''), then their point of intersection is
| |
| | |
| : (''x''<sub>0</sub> : '''''x''''') = ('''''a'''''•'''''d''''' : '''''a'''''×'''''m''''' − ''a''<sub>0</sub>'''''d''''') .
| |
| | |
| The point coordinates, (''x''<sub>0</sub>:''x''<sub>1</sub>:''x''<sub>2</sub>:''x''<sub>3</sub>), can also be expressed in terms of Plücker coordinates as
| |
| | |
| : <math> x_i = \sum_{j \ne i} a^j p_{ij} , \qquad i = 0 \ldots 3 . \,\! </math>
| |
| | |
| === Point-line join ===
| |
| Dually, given a point (''y''<sub>0</sub>:'''''y''''') and a line not containing it, their common plane has equation
| |
| | |
| : 0 = ('''''y'''''•'''''m''''') ''x''<sub>0</sub> + ('''''y'''''×'''''d'''''−''y''<sub>0</sub>'''''m''''')•'''''x''''' .
| |
| | |
| The plane coordinates, (''a''<sup>0</sup>:''a''<sup>1</sup>:''a''<sup>2</sup>:''a''<sup>3</sup>), can also be expressed in terms of dual Plücker coordinates as
| |
| | |
| : <math> a^i = \sum_{j \ne i} y_j p^{ij} , \qquad i = 0 \ldots 3 . \,\! </math>
| |
| | |
| === Line families ===
| |
| Because the [[Klein quadric]] is in '''P'''<sup>5</sup>, it contains linear subspaces of dimensions one and two (but no higher). These correspond to one- and two-parameter families of lines in '''P'''<sup>3</sup>.
| |
| | |
| For example, suppose ''L'' and ''L''′ are distinct lines in '''P'''<sup>3</sup> 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, a [[hyperboloid of one sheet]] is a quadric surface in '''P'''<sup>3</sup> 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 a [[conic section]] within the Klein quadric in '''P'''<sup>5</sup>.
| |
| | |
| === 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.
| |
| | |
| ==== Ray tracing ====
| |
| Line geometry is extensively used in [[Ray_tracing_(graphics)|ray tracing]] application where the geometry and intersections of rays need to be calculated in 3D. An implementation is described in
| |
| [http://www.flipcode.com/archives/Introduction_To_Plcker_Coordinates.shtml Introduction to Pluecker Coordinates] written for the Ray Tracing forum by Thouis Jones. | |
| == See also ==
| |
| * [[Real projective plane#The flat projective plane|Flat projective plane]]
| |
| | |
| == 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]]
| |
| | year = 1994
| |
| | isbn = 978-0-521-46900-5
| |
| | origyear = 1947 }}
| |
| * {{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]]
| |
| | year = 1984
| |
| | isbn = 978-0-262-52094-2 }}<br />From the German: ''Grundzüge der Mathematik, Band II: Geometrie''. Vandenhoeck & Ruprecht.
| |
| | |
| * {{cite journal
| |
| | last = Guilfoyle
| |
| | first = B.
| |
| | coauthors = W. Klingenberg
| |
| | title = On the space of oriented affine lines in R^3
| |
| | journal = [[Archiv der Mathematik]]
| |
| | volume = 82
| |
| | issue = 1
| |
| | pages = 81–84
| |
| | publisher = [[Birkhauser]]
| |
| | year = 2004
| |
| | url = http://www.springerlink.com/content/qt60a87jag72tyr8/
| |
| | format = [[PDF]]
| |
| | issn = 0003-889X
| |
| | accessdate = }}
| |
| | |
| *{{eom|id=P/p072890|first=L.P.|last= Kuptsov}}
| |
| * {{cite book
| |
| | last = Mason
| |
| | first = Matthew T.
| |
| | coauthors = J. Kenneth Salisbury
| |
| | title = Robot Hands and the Mechanics of Manipulation
| |
| | publisher = [[MIT Press]]
| |
| | year = 1985
| |
| | 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]]
| |
| | year = 1999
| |
| | url = http://people.csail.mit.edu/seth/pubs/TellerHohmeyerJGT2000.pdf
| |
| | format = [[PDF]]
| |
| | accessdate =
| |
| | issn = 1086-7651 }}
| |
| * {{cite book
| |
| | last = Shafarevich
| |
| | first = I. R.
| |
| | authorlink = Igor Shafarevich
| |
| | coauthors = A. O. Remizov
| |
| | title = Linear Algebra and Geometry
| |
| | publisher = [[Springer Science+Business Media|Springer]]
| |
| | year = 2012
| |
| | url = http://www.springer.com/mathematics/algebra/book/978-3-642-30993-9
| |
| | isbn = 978-3-642-30993-9}}
| |
| | |
| {{DEFAULTSORT:Plucker Coordinates}}
| |
| [[Category:Projective geometry]]
| |
| [[Category:Multilinear algebra]]
| |
| [[Category:Geometric algebra]]
| |
| [[Category:Coordinate systems]]
| |