Exterior Algebra

v\wedge v = 0

for all vectors

v\in  V

which entails
:

u\wedge v = - v\wedge u

for all vectors

u,v\in V

, and
:

v_1\wedge v_2\wedge\cdots \wedge v_k = 0

whenever

v_1,\ldots,v_k\in V

are Linearly Dependent .
Note that these three properties are only valid for the vectors in ''V'', ''not'' for all elements of the algebra Λ(''V'').

The exterior algebra is in fact the "most general" algebra with these properties. This means that all equations that hold in the exterior algebra follow from the above properties alone. This generality of Λ(''V'') is formally expressed by a certain Universal Property , see below.

Elements of the form

v_1\wedge v_2\wedge\cdots\wedge v_k

with ''v''₁,…,''v''_''k'' in ''V'' are called ''k''-vectors. The subspace of Λ(''V'') generated by all ''k''-vectors is known as the ''k''-th exterior power of ''V'' and denoted by Λ^''k''(''V''). The exterior algebra can be written as the Direct Sum of each of the ''k''-th powers:
:

\Lambda(V) = \bigoplus_{k=0}^{\infty} \Lambda^k V

The exterior product has the important property that the product of a ''k''-vector and an ''l''-vector is a ''k''+''l''-vector. Thus the exterior algebra forms a with sides ''u'' and ''v'', while the 3-vector

u\wedge v\wedge w

represents the oriented Parallelepiped with edges ''u'', ''v'', and ''w''.

Exterior powers find their main application in Differential Geometry , where they are used to define Differential Form s. As a consequence, there is a natural wedge product for differential forms. All of these concepts go back to Hermann Grassmann .

BASIS AND DIMENSION

If the Dimension of ''V'' is ''n'' and {''e''₁,...,''e''_''n''} is a Basis of ''V'', then the set
:

\{e_{i_1}\wedge e_{i_2}\wedge\cdots\wedge e_{i_k} \mid 1\le i_1 < i_2 < \cdots < i_k \le n\}

is a basis for the ''k''-th exterior power Λ^''k''(''V''). The reason is the following: given any wedge product of the form
:

v_1\wedge\cdots\wedge v_k

then every vector ''v''_''j'' can be written as a Linear Combination of the basis vectors ''e''_''i''; using the bilinearity of the wedge product, this can be expanded to a linear combination of wedge products of those basis vectors. Any wedge product in which the same basis vector appears more than once is zero; any wedge product in which the basis vectors don't appear in the proper order can be reordered, changing the sign whenever two basis vectors change places. In general, the resulting coefficients of the basis ''k''-vectors can be computed as the Minor s of the Matrix that describes the vectors ''v''_''j'' in terms of the basis ''e''_''i''.

Counting the basis elements, we see that the dimension of Λ^''k''(''V'') is ''n'' Choose ''k'' . In particular, Λ^''k''(''V'') = {0} for ''k'' > ''n''.

The exterior algebra is a Graded Algebra as the Direct Sum
:

\Lambda(V) = \Lambda^0(V)\oplus \Lambda^1(V) \oplus \Lambda^2(V) \oplus \cdots \oplus \Lambda^n(V)

(where we set Λ⁰(''V'') = ''K'' and Λ¹(''V'') = ''V''), and therefore its dimension is equal to the sum of the binomial coefficients, which is 2^''n''.

EXAMPLE: THE EXTERIOR ALGEBRA OF EUCLIDEAN 3-SPACE

For vectors in R³, the exterior algebra is closely related to the Cross Product and Triple Product . Using the standard basis {'''i''', '''j''', '''k'''}, the wedge product of a pair of vectors
:

\mathbf{u} = u_1 \mathbf{i} + u_2 \mathbf{j} + u_3 \mathbf{k}

and
:

\mathbf{v} = v_1 \mathbf{i} + v_2 \mathbf{j} + v_3 \mathbf{k}

is
:

\mathbf{u} \wedge \mathbf{v} = (u_1 v_2 - u_2 v_1) (\mathbf{i} \wedge \mathbf{j}) + (u_1 v_3 - u_3 v_1) (\mathbf{i} \wedge \mathbf{k}) + (u_2 v_3 - u_3 v_2) (\mathbf{j} \wedge \mathbf{k})

where {i Λ '''j''', i Λ '''k''', '''j''' Λ '''k'''} is the basis for the three-space Λ²('''R'''³). This imitates the usual definition of the Cross Product of vectors in three dimensions.

Bringing in a third vector
:

\mathbf{w} = w_1 \mathbf{i} + w_2 \mathbf{j} + w_3 \mathbf{k}

,
the wedge product of three vectors is
:

\mathbf{u} \wedge \mathbf{v} \wedge \mathbf{w} = (u_1 v_2 w_3 + u_2 v_3 w_1 + u_3 v_1 w_2 - u_1 v_3 w_2 - u_2 v_1 w_3 - u_3 v_2 w_1) (\mathbf{i} \wedge \mathbf{j} \wedge \mathbf{k})

where i Λ '''j''' Λ '''k''' is the basis vector for the one-space Λ³('''R'''³). This imitates the usual definition of the Triple Product .

The cross product and triple product in three dimensions each admit both geometric and algebraic interpretations. The cross product u×'''v''' can be interpreted as a vector which is perpendicular to both u and '''v''' and whose magnitude is equal to the area of the parallelogram determined by the two vectors. It can also be interpreted as the vector consisting of the Minors of the matrix with columns '''v''' and '''w'''. The triple product of u, '''v''', and '''w''' is geometrically a (signed) volume. Algebraically, it is the determinant of the matrix with columns u, '''v''', and '''w'''. The exterior product in three-dimensions allows for similar interpretations. In fact, in the presence of a positively oriented Orthonormal Basis , the exterior product generalizes these notions to higher dimensions.

The space Λ¹(R³) is R³, and the space Λ⁰(R³) is R. Direct-summing all four subspaces together yields a vector space Λ(R³) of eight-dimensional vectors
:

\mathbf{a} = (a_1, a_2, a_3, a_4, a_5, a_6, a_7, a_8) := (a_1, a_2 \mathbf{i} + a_3 \mathbf{j} + a_4 \mathbf{k}, a_5 \mathbf{i} \wedge \mathbf{j} + a_6 \mathbf{i} \wedge \mathbf{k} + a_7 \mathbf{j} \wedge \mathbf{k}, a_8 \mathbf{i} \wedge \mathbf{j} \wedge \mathbf{k})

.

Then given a pair of eight-dimensional vectors a and '''b''', with a given as above and
:

\mathbf{b} = (b_1, b_2, b_3, b_4, b_5, b_6, b_7, b_8)

,
the wedge product of a and '''b''' is (expressed as a column vector),
:

\mathbf{a} \wedge  \mathbf{b} = \begin{pmatrix} a_1 b_1 \ a_1 b_2 + a_2 b_1 \ a_1 b_3 + a_3 b_1 \ a_1 b_4 + a_4 b_1 \ 
a_1 b_5 + a_5 b_1 + a_2 b_3 - a_3 b_2 \   a_1 b_6 + a_6 b_1 + a_2 b_4 - a_4 b_2 \   a_1 b_7 + a_7 b_1 + a_3 b_4 - a_4 b_3 \
a_1 b_8 + a_8 b_1 + a_2 b_7 + a_7 b_2 - a_3 b_6 - a_6 b_3 + a_4 b_5 +  a_5 b_4 \end{pmatrix}

.

It is easy to verify by inspection that the eight-dimensional wedge product has the vector (1,0,0,0,0,0,0,0) as the multiplicative unit element. It is also possible to verify by multiplying out components that this Λ(R³) algebra wedge product is associative (as well as bilinear):
:

(\mathbf{a} \wedge \mathbf{b}) \wedge \mathbf{c} = \mathbf{a} \wedge (\mathbf{b} \wedge \mathbf{c}) \qquad \qquad orall \, \mathbf{a}, \mathbf{b}, \mathbf{c} \isin \Lambda (\mathbf{R}^3),

so that the algebra is unital associative.

UNIVERSAL PROPERTY AND CONSTRUCTION

Let ''V'' be a vector space over the field ''K'' (which in most applications will be the field of Real Number s). The fact that Λ(''V'') is the "most general" unital associative ''K''-algebra containing ''V'' with an alternating multiplication on ''V'' can be expressed formally by the following Universal Property :

Given any unital associative ''K''-algebra ''A'' and any ''K''- ''f'' : Λ(''V'') → ''A'' such that ''f''(''v'') = ''j''(''v'') for all ''v'' in ''V''.

To construct the most general algebra that contains ''V'' and whose multiplication is alternating on ''V'', it is natural to start with the most general algebra that contains ''V'', the Tensor Algebra ''T''(''V''), and then enforce the alternating property by taking a suitable Quotient . We thus take the two-sided Ideal ''I'' in ''T''(''V'') generated by all elements of the form ''v''⊗''v'' for ''v'' in ''V'', and define Λ(''V'') as the quotient
:Λ(''V'') = T(''V'')/''I''
(and use Λ as the symbol for multiplication in Λ(''V'')). It is then straightforward to show that Λ(''V'') contains ''V'' and satisfies the above universal property.

Rather than defining Λ(''V'') first and then identifying the exterior powers Λ^''k''(''V'') as certain subspaces, one may alternatively define the spaces Λ^''k''(''V'') first and then combine them to form the algebra Λ(''V''). This approach is often used in differential geometry and is described in the next section.

ANTI-SYMMETRIC OPERATORS AND EXTERIOR POWERS

Given two vector spaces ''V'' and ''X'', an ''anti-symmetric operator'' from ''V''^''k'' to ''X'' is a Multilinear map

f

such that whenever ''v''₁,...,''v''_''k'' are Linearly Dependent vectors in ''V'', then

f

The most famous example is the Determinant , an anti-symmetric operator from (''K''^''n'')^''n'' to ''K''.

The map

w

which associates to ''k'' vectors from ''V'' their wedge product, i.e. their corresponding ''k''-vector, is also anti-symmetric. In fact, this map is the "most general" anti-symmetric operator defined on ''V''^''k'': given any other anti-symmetric operator ''f'' : ''V''^''k'' → ''X'', there exists a unique characterizes the space Λ^''k''(''V'') and can serve as its definition.

The set of all anti-symmetric maps from ''V''^''k'' to the base field ''K'' is a vector space, as the sum of two such maps, or the multiplication of such a map with a scalar, is again anti-symmetric. If ''V'' has finite dimension ''n'', then this space can be identified with Λ^''k''(''V''^∗), where ''V''^∗ denotes the Dual Space of ''V''. In particular, the dimension of the space of anti-symmetric maps from ''V''^''k'' to ''K'' is ''n'' choose ''k''.

Under this identification, and if the base field is R or '''C''', the wedge product takes a concrete form: it produces a new anti-symmetric map from two given ones. Suppose ω : ''V''^''k'' → ''K'' and η : ''V''^''m'' → ''K'' are two anti-symmetric maps. As in the case of Tensor Product s of multilinear maps, the number of variables of their wedge product is the sum of the numbers of their variables. It is defined as follows:

:

\omega\wedge\eta=rac{(k+m)!}{k!\,m!}{
m Alt}(\omega\otimes\eta)

where the alternation Alt of a multilinear map is defined to be the signed average of the values over all the Permutation s of its variables:

:

{
m Alt}(\omega)(x_1,\ldots,x_k)=rac{1}{k!}\sum_{\sigma\in S_k}{
m sgn}(\sigma)\,\omega(x_{\sigma(1)},\ldots,x_{\sigma(k)})

NB. There are few books where wedge product is defined as
:

\omega\wedge\eta={
m Alt}(\omega\otimes\eta)

THE INTERIOR PRODUCT OR INSERTION OPERATOR

'' denotes the Dual Space to the vector space ''V'', then for each $\alpha\in V^---$ , it is possible to define an Antiderivation on the algebra $\bigwedge V$ ,

i_\alpha:\bigwedge^k V
ightarrow\bigwedge^{k-1}V.

'' to '''R''', so it is defined by its values on the ''k''-fold Cartesian Product $V^--- imes V^--- imes\dots imes V^---$ . If $u_0,u_1,\dots,u_{k-2}$ are ''k-1'' elements of ''V---'', then we define

(i_\alpha {\bold w})(u_0,u_1\dots,u_{k-2})=\sum_{i=0}^{k-2}(-1)^i{\bold w}(u_0,\dots,\alpha_i,\dots, u_{k-2})

where in each term of the summation, "

\alpha_i

" occupies the ''i''-th position among the arguments of w. Additionally, we require that

(i_\alpha f)=0

whenever ''f'' is a pure scalar (i.e., belonging to

\Lambda^0V

).

Alternatively in Index Notation , if

{\bold w}=w_{i_0i_1\dots i_k}

is a skew-symmetric ''k'' form in

\bigwedge^kV

, then

i_\alpha{\bold w}

is a skew-symmetric ''k-1'' form in

\bigwedge^{k-1}V

given by

:

(i_\alpha {\bold w})_{i_0\dots i_{k-2}}=k\sum_{j=0}^n\alpha^j w_{ji_0i_1\dots i_{k-2}}

.

where ''n'' is the dimension of ''V''.

The final definition of the interior product is axiomatic.

, there exists a graded derivation of degree ''-1'' :

i_\alpha:\bigwedge^kV
ightarrow \bigwedge^{k-1}V.

By convention,

\bigwedge^{-1}=0

These two axioms are sufficient to characterize the interior product.

INDEX NOTATION

In the Index Notation , used primarily by Physicist s,

(\omega\wedge\eta)_{a_1 \cdots a_{k+m}}=rac{1}{k!m!}arepsilon_{a_1 \cdots a_{k+m}}^{b_1 \cdots b_k c_1 \cdots c_m} \omega_{b_1 \cdots b_k} \eta_{c_1 \cdots c_m}

where

arepsilon

is the Levi-Civita Symbol .

DIFFERENTIAL FORMS

Let ''M'' be a Differentiable Manifold . A Differential ''k''-form ω is a section of Λ^kT^∗''M'', the ''k''-th exterior power of the Cotangent Bundle of ''M''. Equivalently, ω is a smooth function on ''M'' which assigns to each point ''x'' of ''M'' an element of Λ^k(T_''x''''M'')^∗. Roughly speaking, differential forms are globalized versions of cotangent vectors. Differential forms are important tools in Differential Geometry , where, among other things, they are used to define De Rham Cohomology and Alexander-Spanier Cohomology .

GENERALIZATION

Given a Commutative Ring ''R'' and an ''R''- Module ''M'', we can define the exterior algebra Λ(''M'') just as above, as a suitable quotient of the tensor algebra T(''M''). It will satisfy the analogous universal property.

PHYSICAL APPLICATIONS

Grassmann algebras have some important applications in Physics where they are used to model various concepts related to Fermion s and Supersymmetry . For a physical description see Grassmann Number .

''See also'': Superspace , Superalgebra , Supergroup (physics) .

SEE ALSO

Multilinear Algebra

Tensor Algebra

Symmetric Algebra

Clifford Algebra

	APPAREL
	BABY
	BEAUTY
	BOOKS
	CAR TOYS
	CELL PHONES
	DVD'S
	ELECTRONICS
	GOURMET FOOD
	GROCERIES
	HEALTH & PERSONAL
	HOME & GARDEN
	JEWELRY
	MUSIC
	MUSIC INSTRUMENTS
	OFFICE PRODUCTS
	SOFTWARE
	SPORTING GOODS
	TOOLS & HARDWARE
	TOYS
	VIDEO GAMES
	SHOPPING HOME

	MORE SHOPPING...

	CATEGORIES ABOUT EXTERIOR ALGEBRA

	multilinear algebra

	differential forms

Information About

Exterior Algebra