Plücker coordinates: Difference between revisions
m →Projective distance: Typo R^n |
fix mathjax errors |
||
| Line 20: | Line 20: | ||
The Plücker map takes a temperament and embeds it into a projective space by taking the wedge product of the basis vectors: | The Plücker map takes a temperament and embeds it into a projective space by taking the wedge product of the basis vectors: | ||
:<math> | :<math> | ||
\begin{ | \begin{aligned} | ||
\iota: \mathrm{Gr} (k, n) | \iota: \mathrm{Gr} (k, n) | ||
& \to \mathbf{P}\left(\Lambda^{k} \, \mathbb{R}^n \right) \\ | & \to \mathbf{P}\left(\Lambda^{k} \, \mathbb{R}^n \right) \\ | ||
\operatorname {span} (m_1, \ldots, m_k) | \operatorname {span} (m_1, \ldots, m_k) | ||
& \mapsto \left[ m_1 \wedge \ldots \wedge m_k \right] \, . | & \mapsto \left[ m_1 \wedge \ldots \wedge m_k \right] \, . | ||
\end{ | \end{aligned} | ||
</math> | </math> | ||
| Line 38: | Line 38: | ||
An element <math>M</math> spanned by two lines <math>x, y</math>, can be represented as the matrix | An element <math>M</math> spanned by two lines <math>x, y</math>, can be represented as the matrix | ||
:<math> | :<math> | ||
\begin{ | \begin{bmatrix} | ||
x_{1} & x_{2} & x_{3} & x_{4} \\ | |||
y_{1} & y_{2} & y_{3} & y_{4} | |||
\end{bmatrix} \, . | |||
</math> | </math> | ||
| Line 60: | Line 58: | ||
:<math> | :<math> | ||
\iota (M) = \left[ x \wedge y \right] = \left[ p_{12} : p_{13} : p_{14} : p_{23} : p_{24} : p_{34} \right] \, . | \iota (M) = \left[ x \wedge y \right] = \left[ p_{12} : p_{13} : p_{14} : p_{23} : p_{24} : p_{34} \right] \, . | ||
</math> | </math> | ||
| Line 107: | Line 103: | ||
The height can be easily computed using the {{w|Gram matrix}}: | The height can be easily computed using the {{w|Gram matrix}}: | ||
:<math> | :<math> | ||
\begin{ | \begin{aligned} | ||
\mathrm{G}_{ij} &= \left\langle m_i, m_j \right\rangle \\ | \mathrm{G}_{ij} &= \left\langle m_i, m_j \right\rangle \\ | ||
\sqrt{\det(\mathrm{G})} &= \left\| m_1 \wedge \ldots \wedge m_n \right\| = \left\| X \right\| \, . | \sqrt{\det(\mathrm{G})} &= \left\| m_1 \wedge \ldots \wedge m_n \right\| = \left\| X \right\| \, . | ||
\end{ | \end{aligned} | ||
</math> | </math> | ||