Chapter 103. Alternating Forms

An alternating form is a scalar-valued multilinear map that vanishes when two of its arguments are equal. Alternating forms generalize signed area, signed volume, determinants, and differential forms.

They are the dual objects to exterior powers. Exterior algebra constructs objects such as

v_1\wedge\cdots\wedge v_k,

while alternating forms evaluate such objects and return scalars. Standard definitions describe an alternating multilinear map as one that becomes zero whenever any pair of arguments is equal; over fields of characteristic not equal to $2$ , this is equivalent to changing sign when two arguments are swapped.

103.1 Definition

Let $V$ be a vector space over a field $F$ .

An alternating $k$ -form on $V$ is a map

\omega : V^k \to F

such that $\omega$ is multilinear and alternating.

Multilinearity means that $\omega$ is linear in each argument separately.

Alternation means that

\omega(v_1,\ldots,v_k)=0

whenever two arguments are equal.

Thus, if $v_i=v_j$ for some $i\ne j$ , then

\omega(v_1,\ldots,v_i,\ldots,v_j,\ldots,v_k)=0.

The integer $k$ is called the degree of the form.

103.2 First Examples

A $1$ -form is just a linear functional:

\omega : V \to F.

There is no pair of arguments to compare, so every $1$ -form is alternating.

A $2$ -form is an alternating bilinear form:

\omega : V\times V \to F.

It satisfies

\omega(v,v)=0

for every $v\in V$ .

A $3$ -form is an alternating trilinear form:

\omega : V\times V\times V \to F.

It vanishes whenever any two of its three arguments are equal.

103.3 Antisymmetry

Assume the field has characteristic not equal to $2$ .

If $\omega$ is alternating, then swapping two arguments changes the sign:

\omega(\ldots,v_i,\ldots,v_j,\ldots) = - \omega(\ldots,v_j,\ldots,v_i,\ldots).

This property is called antisymmetry.

For a $2$ -form,

\omega(u,v)=-\omega(v,u).

The proof is direct. Since $\omega$ is alternating,

0=\omega(u+v,u+v).

By bilinearity,

0 = \omega(u,u)+\omega(u,v)+\omega(v,u)+\omega(v,v).

The first and last terms are zero. Hence

\omega(u,v)+\omega(v,u)=0,

\omega(u,v)=-\omega(v,u).

103.4 Alternating Forms and Determinants

The determinant is the basic example of an alternating form.

Let

v_1,\ldots,v_n\in F^n.

Define

\omega(v_1,\ldots,v_n) = \det[v_1\ \cdots\ v_n].

This map is multilinear in the column vectors. It is alternating because the determinant is zero when two columns are equal.

It also changes sign when two columns are interchanged.

Thus the determinant is an alternating $n$ -form on $F^n$ .

Geometrically, it measures signed $n$ -dimensional volume.

103.5 Signed Area in the Plane

Let $V=\mathbb{R}^2$ . Define

\omega(u,v)=u_1v_2-u_2v_1.

u= \begin{bmatrix} u_1\\ u_2 \end{bmatrix}, \qquad v= \begin{bmatrix} v_1\\ v_2 \end{bmatrix},

then

\omega(u,v) = \det \begin{bmatrix} u_1 & v_1\\ u_2 & v_2 \end{bmatrix}.

This form measures signed area.

If $u=v$ , then

\omega(u,u)=u_1u_2-u_2u_1=0.

If the two vectors are swapped, then

\omega(v,u)=-\omega(u,v).

Thus the orientation of the ordered pair matters.

103.6 Signed Volume in Space

Let $V=\mathbb{R}^3$ . Define

\omega(u,v,w)=u\cdot(v\times w).

This is the scalar triple product.

It equals the determinant of the $3\times 3$ matrix whose columns are $u,v,w$ :

\omega(u,v,w)=\det[u\ v\ w].

The value is the signed volume of the parallelepiped spanned by the three vectors.

If two vectors are equal, the parallelepiped collapses into a lower-dimensional object, and the volume is zero.

Thus the scalar triple product is an alternating $3$ -form.

103.7 Space of Alternating Forms

The set of all alternating $k$ -forms on $V$ is a vector space.

If $\omega$ and $\eta$ are alternating $k$ -forms, then

\omega+\eta

is also an alternating $k$ -form.

If $c\in F$ , then

c\omega

is also an alternating $k$ -form.

This vector space is denoted

\Lambda^k(V^*).

The notation reflects the fact that alternating $k$ -forms are elements of the $k$ -th exterior power of the dual space.

103.8 Basis of Alternating Forms

Let

e_1,\ldots,e_n

be a basis for $V$ , and let

\varepsilon^1,\ldots,\varepsilon^n

be the dual basis of $V^*$ .

Then a basis for $\Lambda^k(V^*)$ is given by

\varepsilon^{i_1}\wedge\varepsilon^{i_2}\wedge\cdots\wedge\varepsilon^{i_k},

where

1\le i_1<i_2<\cdots<i_k\le n.

Therefore,

\dim \Lambda^k(V^*)=\binom{n}{k}.

In particular, if $k>n$ , then

\Lambda^k(V^*)=\{0\}.

There are no nonzero alternating $k$ -forms on an $n$ -dimensional space when $k>n$ .

103.9 Evaluation on Basis Vectors

The wedge product of dual basis forms is evaluated by a determinant.

For example,

(\varepsilon^i\wedge\varepsilon^j)(u,v) = \varepsilon^i(u)\varepsilon^j(v) - \varepsilon^i(v)\varepsilon^j(u).

More generally,

(\varepsilon^{i_1}\wedge\cdots\wedge\varepsilon^{i_k})(v_1,\ldots,v_k) = \det \begin{bmatrix} \varepsilon^{i_1}(v_1) & \cdots & \varepsilon^{i_1}(v_k)\\ \vdots & \ddots & \vdots\\ \varepsilon^{i_k}(v_1) & \cdots & \varepsilon^{i_k}(v_k) \end{bmatrix}.

This formula makes alternation visible. If two input vectors are equal, then two columns of the determinant are equal, so the determinant is zero.

103.10 Coordinate Expression

Let

\omega\in\Lambda^k(V^*).

Using the dual basis, $\omega$ can be written uniquely as

\omega = \sum_{1\le i_1<\cdots<i_k\le n} a_{i_1\cdots i_k} \varepsilon^{i_1}\wedge\cdots\wedge\varepsilon^{i_k}.

The coefficients

a_{i_1\cdots i_k}

are the components of the alternating form.

Because of antisymmetry, the components with repeated indices are zero, and swapping two indices changes the sign.

Thus the independent components are indexed only by strictly increasing $k$ -tuples.

103.11 Wedge Product of Forms

\omega\in\Lambda^p(V^*)

and

\eta\in\Lambda^q(V^*),

then their wedge product is

\omega\wedge\eta\in\Lambda^{p+q}(V^*).

The wedge product combines alternating forms into higher-degree alternating forms.

It satisfies bilinearity and associativity.

It is graded-commutative:

\omega\wedge\eta = (-1)^{pq} \eta\wedge\omega.

Thus two $1$ -forms anticommute:

\alpha\wedge\beta=-\beta\wedge\alpha.

But two $2$ -forms commute because

(-1)^{2\cdot 2}=1.

103.12 Pullback of Alternating Forms

Let

T : U\to V

be a linear map.

\omega\in\Lambda^k(V^*),

then the pullback

T^*\omega\in\Lambda^k(U^*)

is defined by

(T^*\omega)(u_1,\ldots,u_k) = \omega(Tu_1,\ldots,Tu_k).

The pullback preserves alternation.

If two arguments $u_i,u_j$ are equal, then their images under $T$ are equal, so the value is zero.

Pullback is the algebraic basis for changing variables in differential forms.

103.13 Alternating Forms and Exterior Powers

Alternating forms are dual to exterior powers.

A $k$ -form $\omega$ evaluates a wedge product by

\omega(v_1,\ldots,v_k) = \omega(v_1\wedge\cdots\wedge v_k).

More precisely,

\Lambda^k(V^*) \cong (\Lambda^k V)^*

in finite dimensions.

This identification says that an alternating $k$ -form is a linear functional on $k$ -vectors.

The exterior power $\Lambda^k V$ stores oriented $k$ -dimensional vector data. The dual space $\Lambda^k(V^*)$ measures that data.

103.14 Top-Degree Forms

If $\dim V=n$ , then

\Lambda^n(V^*)

is one-dimensional.

A nonzero element of this space is called a volume form.

\omega\in\Lambda^n(V^*)

is nonzero, then for any basis $v_1,\ldots,v_n$ ,

\omega(v_1,\ldots,v_n)

is nonzero exactly when the basis is compatible with the volume measurement.

Top-degree forms are used to define orientation and integration.

103.15 Orientation

A nonzero top-degree form determines an orientation.

Let

\omega\in\Lambda^n(V^*)

be nonzero.

An ordered basis

(v_1,\ldots,v_n)

is called positively oriented if

\omega(v_1,\ldots,v_n)>0.

It is negatively oriented if

\omega(v_1,\ldots,v_n)<0.

Changing the order of two basis vectors reverses the sign.

This is why alternating forms are the natural algebraic language of orientation.

103.16 Alternating Forms and Linear Dependence

Let

\omega\in\Lambda^k(V^*).

v_1,\ldots,v_k

are linearly dependent, then

\omega(v_1,\ldots,v_k)=0.

To see this, suppose one vector is a linear combination of the others:

v_k=c_1v_1+\cdots+c_{k-1}v_{k-1}.

By multilinearity,

\omega(v_1,\ldots,v_k) = \sum_{i=1}^{k-1} c_i\omega(v_1,\ldots,v_i,\ldots,v_i,\ldots,v_{k-1}).

Each term has two equal arguments, so each term is zero.

Thus alternating forms measure only independent directions.

103.17 Alternating Forms in Geometry

Alternating forms represent oriented measurements.

Degree	Geometric meaning
0	Scalar
1	Linear measurement along a direction
2	Oriented area measurement
3	Oriented volume measurement
$k$	Oriented $k$ -dimensional volume measurement

This interpretation is precise in finite-dimensional real vector spaces.

For example, a $2$ -form measures signed area projected onto an oriented plane. A $3$ -form measures signed volume.

103.18 Alternating Forms in Differential Geometry

On a smooth manifold, an alternating $k$ -form can be assigned to each tangent space.

Such an object is called a differential $k$ -form.

For example, in coordinates $x,y,z$ , the expression

P\,dy\wedge dz + Q\,dz\wedge dx + R\,dx\wedge dy

is a differential $2$ -form in three-dimensional space.

Differential forms are integrated over oriented curves, surfaces, and higher-dimensional domains.

The exterior derivative maps $k$ -forms to $(k+1)$ -forms and satisfies

d^2=0.

This provides the modern formulation of gradient, curl, divergence, and Stokes’ theorem.

103.19 Example

Let $V=\mathbb{R}^3$ , and let

\omega=dx\wedge dy.

For

u= \begin{bmatrix} 1\\ 2\\ 3 \end{bmatrix}, \qquad v= \begin{bmatrix} 4\\ 5\\ 6 \end{bmatrix},

we compute

\omega(u,v) = (dx\wedge dy)(u,v).

By the determinant formula,

(dx\wedge dy)(u,v) = \det \begin{bmatrix} dx(u) & dx(v)\\ dy(u) & dy(v) \end{bmatrix}.

Since

dx(u)=1,\quad dy(u)=2,\quad dx(v)=4,\quad dy(v)=5,

we get

\omega(u,v) = \det \begin{bmatrix} 1 & 4\\ 2 & 5 \end{bmatrix} = 1\cdot 5-4\cdot 2 = -3.

The value $-3$ is the signed area of the projection of the parallelogram onto the $xy$ -plane.

103.20 Summary

Alternating forms are scalar-valued multilinear maps that vanish when two arguments are equal.

Concept	Meaning
Alternating $k$ -form	Multilinear map $V^k\to F$ with repeated arguments sent to zero
$1$ -form	Linear functional
$2$ -form	Alternating bilinear form
Top-degree form	Volume form
Wedge product	Product of alternating forms
Pullback	Change of variables for forms

Alternating forms provide the algebraic language for signed area, signed volume, determinants, orientation, exterior algebra, and differential forms. They measure independent oriented directions and vanish on degenerate configurations.