6.16.4 Tensor Zero Two Bilinear Form Context

Tensor Zero Two Bilinear Form Context is the interpretive framework in which a type (0,2) tensor is understood not merely as an array of covariant components but as a bilinear form, a function that accepts two vectors and returns a single scalar in a manner that is linear in each of its two arguments separately. This context is the reason type (0,2) tensors appear throughout geometry and physics, since bilinear forms are the natural mathematical language for expressing notions such as length, angle, work, energy, and curvature, all of which combine two vector-valued quantities into a single scalar measurement.

The Defining Property of Bilinearity

Linearity in Each Argument Separately

A type (0,2) tensor T, viewed as a map T : V × V → ℝ, satisfies linearity in its first argument:

and analogous linearity in its second argument. This double linearity is exactly captured by the component expression T(v, w) = T_{ij} v^i w^j, since the contraction is linear in v^i and linear in w^j independently, with the coefficients T_{ij} fixed.

Bilinearity Is Weaker Than a Single Linear Map on a Product

A bilinear form is not the same as a linear map from the product space V × V, since V × V is not naturally a vector space on which T acts linearly as a whole; rather, T is linear along each "slice" obtained by fixing one argument. This subtlety is precisely why bilinear forms require the tensor product V* ⊗ V* for their coordinate-free description rather than the direct product or direct sum of V* with itself.

Classifying Bilinear Forms Within the Context

Symmetric Bilinear Forms

A bilinear form is symmetric when T(v, w) = T(w, v) for all vectors, corresponding to the component condition T_{ij} = T_{ji}. Symmetric bilinear forms are the context in which quadratic forms Q(v) = T(v, v) are defined, and every quadratic form determines its symmetric bilinear form uniquely through the polarization identity.

Antisymmetric Bilinear Forms

A bilinear form is antisymmetric, or alternating, when T(v, w) = -T(w, v), corresponding to T_{ij} = -T_{ji}. Alternating bilinear forms automatically satisfy T(v, v) = 0 for every vector v, and they are the context underlying the definition of symplectic forms, which play a central algebraic role in the study of Hamiltonian systems.

Degenerate and Nondegenerate Forms

A bilinear form is degenerate when there exists a nonzero vector v such that T(v, w) = 0 for every w, and nondegenerate otherwise. In matrix terms, T is nondegenerate exactly when its component matrix T_{ij} is invertible, and this condition is essential for T to serve as a genuine metric capable of raising and lowering indices.

Geometric Instances of the Bilinear Form Context

The Inner Product

An inner product is a symmetric, positive-definite bilinear form: T(v, v) > 0 for every nonzero v. This context turns T into the standard tool for measuring lengths, |v| = √(T(v,v)), and angles, cos(θ) = T(v,w) / (|v||w|), giving geometric meaning to an otherwise purely algebraic object.

The Second Fundamental Form

In the study of surfaces, the second fundamental form is a symmetric bilinear form on the tangent space that measures how the surface bends away from its tangent plane, and it is expressed exactly as a type (0,2) tensor whose components encode curvature information at each point.

Diagram of the Bilinear Form Context

Why the Bilinear Form Context Justifies the Tensor Language

Coordinate Independence of the Form

Describing T as a bilinear form, rather than merely as a matrix T_{ij}, emphasizes that its essential content, the rule assigning a scalar to each pair of vectors, does not depend on any coordinate system, even though computing that scalar in practice requires choosing a basis and using the components. This is the same coordinate independence that defines the tensor concept generally, and it is why bilinear forms are properly regarded as tensors of type (0,2) rather than as basis-dependent numerical tables.

Connection to Multilinear Generalizations

The bilinear form context generalizes naturally to trilinear and higher multilinear forms, corresponding to type (0,3), (0,4), and higher covariant tensors, each accepting more vector arguments while remaining linear in every one of them separately; the type (0,2) bilinear form context is therefore the foundational and most extensively used case of this broader multilinear pattern.