Namespaces
Variants
Actions

Difference between revisions of "Bivector"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
A class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b0166001.png" /> of ordered pairs <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b0166002.png" /> of vectors of an affine space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b0166003.png" />, starting at a common origin (considered in a basis of the underlying space). A bivector is considered to be equal to zero if its constituent vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b0166004.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b0166005.png" /> are collinear. A non-zero bivector generates a unique two-dimensional space in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b0166006.png" />, its carrier. Two bivectors are said to be parallel if their carrier planes are parallel. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b0166007.png" /> has finite dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b0166008.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b0166009.png" /> are the contravariant coordinates of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660010.png" />, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660011.png" /> are the contravariant coordinates of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660012.png" />, calculated with respect to some basis <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660013.png" /> of the underlying space of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660014.png" />, then the quantities
+
<!--
 +
b0166001.png
 +
$#A+1 = 37 n = 0
 +
$#C+1 = 37 : ~/encyclopedia/old_files/data/B016/B.0106600 Bivector
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660015.png" /></td> </tr></table>
+
{{TEX|auto}}
 +
{{TEX|done}}
  
are called the Plücker coordinates of the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660016.png" />. Two pairs of vectors are in the same class if their Plücker coordinates with respect to some basis coincide (they will then be equal in any basis). The coordinates of the class are then called the coordinates of the bivector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660017.png" /> with respect to the basis <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660018.png" />. These coordinates are skew-symmetric with respect to their indices; they contain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660019.png" /> independent coordinates. Under a transition to another basis of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660020.png" />, the coordinates of a bivector behave as coordinates of a twice-contravariant tensor. A bivector is also called a free bivector. In the presence of a scalar product in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660021.png" />, a number of metrical concepts of vector algebra can be extended to bivectors. The measure of a bivector is the area of the parallelogram formed by the vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660022.png" />, the origin of each one being located in the end of the preceding one. This only depends on the class, not on the representatives <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660023.png" />. The scalar product of two bivectors is the number equal to the product of the measures of the factors by the cosine of the angle between their two carrier planes. This product is a bilinear form of the coordinates of the factors, the coefficients of which are defined by the metric tensor of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660024.png" /> alone.
+
A class  $  [ \mathbf u , \mathbf v ] $
 +
of ordered pairs $  \mathbf u , \mathbf v $
 +
of vectors of an affine space  $  A $,
 +
starting at a common origin (considered in a basis of the underlying space). A bivector is considered to be equal to zero if its constituent vectors  $  \mathbf u $
 +
and  $  \mathbf v $
 +
are collinear. A non-zero bivector generates a unique two-dimensional space in $  A $,  
 +
its carrier. Two bivectors are said to be parallel if their carrier planes are parallel. If  $  A $
 +
has finite dimension  $  n $,
 +
and  $  (u  ^ {1} \dots u  ^ {n} ) $
 +
are the contravariant coordinates of $  \mathbf u $,
 +
while  $  (v  ^ {1} \dots v  ^ {n} ) $
 +
are the contravariant coordinates of $  \mathbf v $,  
 +
calculated with respect to some basis  $  e = ( \mathbf e _ {1} \dots \mathbf e _ {n} ) $
 +
of the underlying space of $  A $,
 +
then the quantities
  
If the dimension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660025.png" /> is 3, the bivector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660026.png" /> may be identified with a vector of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660027.png" /> which, in the presence of a scalar product, is called the [[Vector product|vector product]] of the vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660028.png" />.
+
$$
 +
a _ {ij}  = \
 +
\left |
 +
\begin{array}{l}
 +
u  ^ {i} \\
 +
u  ^ {j}
 +
\end{array}
  
In tensor calculus a bivector is an arbitrary contravariant skew-symmetric tensor of valency 2 (i.e. a tensor of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660029.png" />). Each such tensor may be represented as a sum of tensors, to which correspond non-zero bivectors in the above sense with different carrier planes. They define the sheets of the bivector. The rank of the skew-symmetric matrix of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660030.png" /> consisting of the coordinates of a bivector is an even number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660031.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660032.png" /> is the number of sheets of the bivector. In a real affine space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660033.png" /> this matrix is similar to the matrix
+
\  \begin{array}{l}
 +
v  ^ {i} \\
 +
v  ^ {j}
 +
\end{array}
 +
\
 +
\right |  =  2!  u  ^ {[i} v  ^ {j]} ,\ \
 +
1 \leq  i, j \leq  n,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660034.png" /></td> </tr></table>
+
are called the Plücker coordinates of the pair  $  \mathbf u , \mathbf v $.
 +
Two pairs of vectors are in the same class if their Plücker coordinates with respect to some basis coincide (they will then be equal in any basis). The coordinates of the class are then called the coordinates of the bivector  $  [ \mathbf u , \mathbf v ] $
 +
with respect to the basis  $  e $.
 +
These coordinates are skew-symmetric with respect to their indices; they contain  $  ( {} _ {2}  ^ {n} ) $
 +
independent coordinates. Under a transition to another basis of  $  A $,
 +
the coordinates of a bivector behave as coordinates of a twice-contravariant tensor. A bivector is also called a free bivector. In the presence of a scalar product in  $  A $,
 +
a number of metrical concepts of vector algebra can be extended to bivectors. The measure of a bivector is the area of the parallelogram formed by the vectors  $  \mathbf u , \mathbf v , - \mathbf u , - \mathbf v $,
 +
the origin of each one being located in the end of the preceding one. This only depends on the class, not on the representatives  $  \mathbf u , \mathbf v $.
 +
The scalar product of two bivectors is the number equal to the product of the measures of the factors by the cosine of the angle between their two carrier planes. This product is a bilinear form of the coordinates of the factors, the coefficients of which are defined by the metric tensor of the space  $  A $
 +
alone.
 +
 
 +
If the dimension of  $  A $
 +
is 3, the bivector  $  [ \mathbf u , \mathbf v ] $
 +
may be identified with a vector of  $  A $
 +
which, in the presence of a scalar product, is called the [[Vector product|vector product]] of the vectors  $  \mathbf u , \mathbf v $.
 +
 
 +
In tensor calculus a bivector is an arbitrary contravariant skew-symmetric tensor of valency 2 (i.e. a tensor of type  $  (2, 0) $).
 +
Each such tensor may be represented as a sum of tensors, to which correspond non-zero bivectors in the above sense with different carrier planes. They define the sheets of the bivector. The rank of the skew-symmetric matrix of dimension  $  n \times n $
 +
consisting of the coordinates of a bivector is an even number  $  2 \rho $,
 +
where  $  \rho $
 +
is the number of sheets of the bivector. In a real affine space  $  A $
 +
this matrix is similar to the matrix
 +
 
 +
$$
 +
\left \|
 +
 
 +
\begin{array}{ccccc}
 +
J _ {1}  &{}  &{}  &{}  & 0  \\
 +
{}  &\cdot  &{}  &{}  &{}  \\
 +
{}  &{}  &J _  \rho  &{}  &{}  \\
 +
{}  &{}  &{}  &\cdot  &{}  \\
 +
0  &{}  &{}  &{}  & 0  \\
 +
\end{array}
 +
\
 +
\right \|
 +
$$
  
 
with the blocks
 
with the blocks
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660035.png" /></td> </tr></table>
+
$$
 +
J _ {j}  = \
 +
\left \|
 +
 
 +
\begin{array}{rc}
 +
0  & 1  \\
 +
-1  & 0 \\
 +
\end{array}
 +
\
 +
\right \| ,\ \
 +
1 \leq  j \leq  \rho .
 +
$$
  
 
See also [[Exterior product|Exterior product]]; [[Poly-vector|Poly-vector]]; [[Plücker coordinates|Plücker coordinates]].
 
See also [[Exterior product|Exterior product]]; [[Poly-vector|Poly-vector]]; [[Plücker coordinates|Plücker coordinates]].
Line 19: Line 100:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  J.A. Schouten,  "Tensor analysis for physicists" , Cambridge Univ. Press  (1951)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  J.A. Schouten,  "Tensor analysis for physicists" , Cambridge Univ. Press  (1951)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
Assign to a non-zero bivector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660036.png" /> the plane it generates, i.e. the corresponding point of the Grassmannian of 2 planes in (the underlying vector space of) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016600/b01660037.png" />. Then the Plücker coordinates of this element in the [[Grassmann manifold|Grassmann manifold]] can be identified with the Plücker coordinates of the bivector.
+
Assign to a non-zero bivector $  ( \mathbf u , \mathbf v ) $
 +
the plane it generates, i.e. the corresponding point of the Grassmannian of 2 planes in (the underlying vector space of) $  A $.  
 +
Then the Plücker coordinates of this element in the [[Grassmann manifold|Grassmann manifold]] can be identified with the Plücker coordinates of the bivector.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  E. Cartan,  "Geometry of Riemannian spaces. (With notes and appendices by R. Hermann)" , Math. Sci. Press  (1983)  (Translated from French)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  S. Gołab,  "Tensor calculus" , Elsevier  (Translated from Polish)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  P.K. [P.K. Rashevskii] Rashewski,  "Riemannsche Geometrie und Tensoranalyse" , Deutsch. Verlag Wissenschaft.  (1959)  (Translated from Russian)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  E. Cartan,  "Geometry of Riemannian spaces. (With notes and appendices by R. Hermann)" , Math. Sci. Press  (1983)  (Translated from French)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  S. Gołab,  "Tensor calculus" , Elsevier  (Translated from Polish)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  P.K. [P.K. Rashevskii] Rashewski,  "Riemannsche Geometrie und Tensoranalyse" , Deutsch. Verlag Wissenschaft.  (1959)  (Translated from Russian)</TD></TR></table>

Latest revision as of 10:59, 29 May 2020


A class $ [ \mathbf u , \mathbf v ] $ of ordered pairs $ \mathbf u , \mathbf v $ of vectors of an affine space $ A $, starting at a common origin (considered in a basis of the underlying space). A bivector is considered to be equal to zero if its constituent vectors $ \mathbf u $ and $ \mathbf v $ are collinear. A non-zero bivector generates a unique two-dimensional space in $ A $, its carrier. Two bivectors are said to be parallel if their carrier planes are parallel. If $ A $ has finite dimension $ n $, and $ (u ^ {1} \dots u ^ {n} ) $ are the contravariant coordinates of $ \mathbf u $, while $ (v ^ {1} \dots v ^ {n} ) $ are the contravariant coordinates of $ \mathbf v $, calculated with respect to some basis $ e = ( \mathbf e _ {1} \dots \mathbf e _ {n} ) $ of the underlying space of $ A $, then the quantities

$$ a _ {ij} = \ \left | \begin{array}{l} u ^ {i} \\ u ^ {j} \end{array} \ \begin{array}{l} v ^ {i} \\ v ^ {j} \end{array} \ \right | = 2! u ^ {[i} v ^ {j]} ,\ \ 1 \leq i, j \leq n, $$

are called the Plücker coordinates of the pair $ \mathbf u , \mathbf v $. Two pairs of vectors are in the same class if their Plücker coordinates with respect to some basis coincide (they will then be equal in any basis). The coordinates of the class are then called the coordinates of the bivector $ [ \mathbf u , \mathbf v ] $ with respect to the basis $ e $. These coordinates are skew-symmetric with respect to their indices; they contain $ ( {} _ {2} ^ {n} ) $ independent coordinates. Under a transition to another basis of $ A $, the coordinates of a bivector behave as coordinates of a twice-contravariant tensor. A bivector is also called a free bivector. In the presence of a scalar product in $ A $, a number of metrical concepts of vector algebra can be extended to bivectors. The measure of a bivector is the area of the parallelogram formed by the vectors $ \mathbf u , \mathbf v , - \mathbf u , - \mathbf v $, the origin of each one being located in the end of the preceding one. This only depends on the class, not on the representatives $ \mathbf u , \mathbf v $. The scalar product of two bivectors is the number equal to the product of the measures of the factors by the cosine of the angle between their two carrier planes. This product is a bilinear form of the coordinates of the factors, the coefficients of which are defined by the metric tensor of the space $ A $ alone.

If the dimension of $ A $ is 3, the bivector $ [ \mathbf u , \mathbf v ] $ may be identified with a vector of $ A $ which, in the presence of a scalar product, is called the vector product of the vectors $ \mathbf u , \mathbf v $.

In tensor calculus a bivector is an arbitrary contravariant skew-symmetric tensor of valency 2 (i.e. a tensor of type $ (2, 0) $). Each such tensor may be represented as a sum of tensors, to which correspond non-zero bivectors in the above sense with different carrier planes. They define the sheets of the bivector. The rank of the skew-symmetric matrix of dimension $ n \times n $ consisting of the coordinates of a bivector is an even number $ 2 \rho $, where $ \rho $ is the number of sheets of the bivector. In a real affine space $ A $ this matrix is similar to the matrix

$$ \left \| \begin{array}{ccccc} J _ {1} &{} &{} &{} & 0 \\ {} &\cdot &{} &{} &{} \\ {} &{} &J _ \rho &{} &{} \\ {} &{} &{} &\cdot &{} \\ 0 &{} &{} &{} & 0 \\ \end{array} \ \right \| $$

with the blocks

$$ J _ {j} = \ \left \| \begin{array}{rc} 0 & 1 \\ -1 & 0 \\ \end{array} \ \right \| ,\ \ 1 \leq j \leq \rho . $$

See also Exterior product; Poly-vector; Plücker coordinates.

References

[1] J.A. Schouten, "Tensor analysis for physicists" , Cambridge Univ. Press (1951)

Comments

Assign to a non-zero bivector $ ( \mathbf u , \mathbf v ) $ the plane it generates, i.e. the corresponding point of the Grassmannian of 2 planes in (the underlying vector space of) $ A $. Then the Plücker coordinates of this element in the Grassmann manifold can be identified with the Plücker coordinates of the bivector.

References

[a1] E. Cartan, "Geometry of Riemannian spaces. (With notes and appendices by R. Hermann)" , Math. Sci. Press (1983) (Translated from French)
[a2] S. Gołab, "Tensor calculus" , Elsevier (Translated from Polish)
[a3] P.K. [P.K. Rashevskii] Rashewski, "Riemannsche Geometrie und Tensoranalyse" , Deutsch. Verlag Wissenschaft. (1959) (Translated from Russian)
How to Cite This Entry:
Bivector. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bivector&oldid=46079
This article was adapted from an original article by L.P. Kuptsov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article