3.18.1 Tensor Covector Symbol Notation

Tensor Covector Symbol Notation is the set of typographic and symbolic conventions used to denote covectors themselves, as opposed to their components, including the choice of letters, decorations, and special symbols that identify an object as belonging to a dual vector space and clarify its role in expressions involving pairing, pullback, and tensor construction. Beyond the index notation used for components, symbol notation governs how the covector as a whole is named, how basis dual vectors are symbolized, how the dual space is denoted, and how special covectors such as differentials of functions are written.

Naming the Covector and the Dual Space

Letters Conventionally Reserved for Covectors

Covectors are typically denoted by lower-case Greek letters, most commonly ω, η, α, β, or θ, reserving Latin letters such as v, w, and u for elements of the original vector space V. This letter convention, while not universal, reduces ambiguity in mixed expressions involving both vectors and covectors and is especially common in differential geometry, where ω often denotes a differential one-form, itself a smoothly varying assignment of covectors.

The Symbol for the Dual Space

The dual space of V is denoted V*, with the asterisk marking it as the space of linear functionals on V. This notation extends naturally: the dual of the dual, (V*)*, is denoted V**, and for finite-dimensional V there is a canonical isomorphism V ≅ V** given by v ↦ (ω ↦ ω(v)), a fact whose symbolic expression, evv: V → V**, is itself a standard piece of covector-related notation.

Symbols for the Dual Basis

The Superscript Basis Symbol

Given a basis {e₁, ..., eₙ} of V, the dual basis is denoted {e¹, ..., eⁿ}, using the same letter e but with the index raised to a superscript rather than lowered to a subscript. This shared-letter, opposite-position convention visually ties each dual basis covector eⁱ to its corresponding basis vector eᵢ while still marking the change in variance type through index height alone.

Alternative Dual Basis Symbols

In some texts, particularly those emphasizing differential forms, the dual basis associated with coordinate functions xⁱ on a manifold is denoted dxⁱ rather than eⁱ, reflecting that these basis covectors arise as differentials of the coordinate functions themselves. The symbol dxⁱ simultaneously names the covector and signals its origin as the derivative of a specific scalar function, a dual role not carried by the more abstract eⁱ notation.

Symbolic Notation for Pairing and Evaluation

Function Application Symbol

The most direct symbol for evaluating a covector on a vector is ordinary function application, ω(v), treating ω explicitly as a linear functional V → F. This notation emphasizes the covector's role as a map rather than as a paired partner to v.

Angle Bracket Pairing Symbol

An alternative and widely used symbol is the angle bracket pairing, ⟨ω, v⟩ or sometimes ⟨ω, v⟩_V to indicate the space over which the pairing occurs, treating V* and V symmetrically as dually paired spaces rather than privileging one as a space of functions on the other. This symbol is especially common in functional analysis and in contexts emphasizing the bilinear form

as a structural feature of the duality between V* and V rather than a one-sided evaluation.

Symbolic Notation for Pullback

The Asterisk as Pullback Operator

The pullback of a covector under a linear map T: V → W is symbolized Tω, with the asterisk superscript on T itself denoting the induced map T: W* → V* on dual spaces, distinct from the asterisk used to denote a dual space in general. Context distinguishes the two uses: V* denotes a space, while T* denotes a map, though both employ the same symbol to signal the same underlying contravariant, direction-reversing character of duality.

Symbolic Consistency Across Composition

The pullback symbol composes contravariantly, meaning (T∘S)* = S∘T, and this identity is itself often taken as a defining structural property that any correct choice of pullback symbol notation must make visually evident: the order of composition on the right-hand side is reversed relative to the left-hand side, mirroring the general behavior of contravariant functors in category theory.

Symbolic Notation for Differentials and Gradients

The Differential Symbol df

For a smooth scalar function f on a manifold, the differential df is a covector, specifically an element of the cotangent space, and its symbol directly reflects its construction as an infinitesimal change of f. The coordinate expression

uses the same d symbol both as a general differential operator producing df and as the label dxⁱ for the coordinate dual basis, unifying the symbolic notation for covectors arising from calculus with the symbolic notation for the dual basis itself.

Distinguishing the Gradient Symbol

In settings equipped with an inner product, the gradient ∇f is a vector, obtained from the covector df by raising its index using the metric, and the distinct symbols df and ∇f mark this conceptual difference precisely: df is basis-independent and requires no metric, while ∇f depends on the chosen inner product, and conflating the two symbols is a common but avoidable source of confusion between covariant and contravariant objects.