Blade (geometry)
Template:Short description In the study of geometric algebras, a Template:Math-blade or a simple Template:Math-vector is a generalization of the concept of scalars and vectors to include simple bivectors, trivectors, etc. Specifically, a Template:Math-blade is a [[Multivector|Template:Math-vector]] that can be expressed as the exterior product (informally wedge product) of 1-vectors, and is of grade Template:Math.
In detail:[1]
- A 0-blade is a scalar.
- A 1-blade is a vector. Every vector is simple.
- A 2-blade is a simple bivector. Sums of 2-blades are also bivectors, but not always simple. A 2-blade may be expressed as the wedge product of two vectors Template:Math and Template:Math:
- A 3-blade is a simple trivector, that is, it may be expressed as the wedge product of three vectors Template:Math, Template:Math, and Template:Math:
- In a vector space of dimension Template:Math, a blade of grade Template:Math is called a pseudovector[2] or an antivector.[3]
- The highest grade element in a space is called a pseudoscalar, and in a space of dimension Template:Math is an Template:Math-blade.[4]
- In a vector space of dimension Template:Math, there are Template:Math dimensions of freedom in choosing a Template:Math-blade for Template:Math, of which one dimension is an overall scaling multiplier.[5]
A vector subspace of finite dimension Template:Math may be represented by the Template:Math-blade formed as a wedge product of all the elements of a basis for that subspace.[6] Indeed, a Template:Math-blade is naturally equivalent to a Template:Math-subspace, up to a scalar factor. When the space is endowed with a volume form (an alternating Template:Math-multilinear scalar-valued function), such a Template:Math-blade may be normalized to take unit value, making the correspondence unique up to a sign.
Examples
In two-dimensional space, scalars are described as 0-blades, vectors are 1-blades, and area elements are 2-blades in this context known as pseudoscalars, in that they are elements of a one-dimensional space that is distinct from regular scalars.
In three-dimensional space, 0-blades are again scalars and 1-blades are three-dimensional vectors, while 2-blades are oriented area elements. In this case 3-blades are called pseudoscalars and represent three-dimensional volume elements, which form a one-dimensional vector space similar to scalars. Unlike scalars, 3-blades transform according to the Jacobian determinant of a change-of-coordinate function.
See also
Notes
References
- Template:Cite book
- Template:Cite book
- A Lasenby, J Lasenby & R Wareham] (2004) A covariant approach to geometry using geometric algebra Technical Report. University of Cambridge Department of Engineering, Cambridge, UK.
- Template:Cite book
External links
- A Geometric Algebra Primer, especially for computer scientists.
- ↑ Template:Cite book
- ↑ Template:Cite book
- ↑ Template:Cite book
- ↑ Template:Cite book
- ↑ For Grassmannians (including the result about dimension) a good book is: Template:Citation. The proof of the dimensionality is actually straightforward. Take the exterior product of Template:Math vectors and perform elementary column operations on these (factoring the pivots out) until the top Template:Math block are elementary basis vectors of . The wedge product is then parametrized by the product of the pivots and the lower Template:Math block. Compare also with the dimension of a Grassmannian, Template:Math, in which the scalar multiplier is eliminated.
- ↑ Template:Cite book