2.18 Tensor Complex Vector Space Context

Tensor Complex Vector Space Context is the foundational setting in which tensor algebra is developed over the field of complex numbers, fixing the vector space V to be a finite-dimensional complex vector space rather than a real one. This choice of ground field introduces algebraic structure with no counterpart in the real setting — a distinguished field automorphism given by complex conjugation, algebraic closure guaranteeing that every polynomial equation has a root within the field, and the possibility of sesquilinear rather than purely bilinear pairings — all of which reshape how scalars, coordinates, and multilinear operations behave once tensors are built on top of V.

Defining Features of the Complex Context

The Ground Field is C

Here the scalars multiplying vectors, covectors, and tensors are drawn from the field of complex numbers C. Unlike R, C is algebraically closed: every nonconstant polynomial with complex coefficients has a root in C, which guarantees, for instance, that every linear operator on a finite-dimensional complex vector space has at least one eigenvalue. C is not an ordered field, so there is no intrinsic notion of one complex number being "greater than" another, and positivity must instead be expressed through the modulus |z| or through real quantities derived from C, such as z ̄ z.

The Conjugation Automorphism

C carries a canonical nontrivial field automorphism, complex conjugation z ↦ z ̄, satisfying:

This automorphism has no analogue over R, where the identity is the only field automorphism, and it is the source of every additional structural distinction between the real and complex tensor contexts, including sesquilinear scalar compatibility and conjugate-linear coordinate behavior.

Finite Dimensionality Over C

V is assumed finite-dimensional over C, dim_C(V) = n, so V is isomorphic to C^n. As in the real case, this guarantees a finite-dimensional dual space, a natural isomorphism V ≅ V**, and finite-dimensional tensor spaces T^p_q(V) of complex dimension n^{p+q}.

Structural Consequences

Complex Bilinearity of the Tensor Product

The ordinary tensor product V ⊗_C W of two complex vector spaces is characterized, exactly as in the real case, by a universal property with respect to complex bilinear maps — maps linear (not conjugate-linear) in each argument over C. This "unadorned" tensor product treats C as an ordinary field and does not by itself invoke conjugation.

for complex scalars a, b.

The Conjugate Vector Space and Sesquilinear Forms

Because C admits conjugation, it is meaningful to form the conjugate vector space V ̄, identical to V as a set and under addition but with scalar multiplication twisted by conjugation, λ ⋅_{̄V} v = ̄λ v. Pairings built from one copy of V* and one copy of the dual of V ̄ give rise to sesquilinear (conjugate-linear in one slot, linear in the other) forms, the algebraic basis for Hermitian inner products, which have no direct counterpart in the real context.

Loss of a Canonical Order and Positivity

Since C is unordered, quadratic-form-style classification of type (0, 2) complex-bilinear tensors as positive or negative definite is not directly meaningful; positivity statements over C are instead phrased for Hermitian sesquilinear forms, where h(v, v) is guaranteed to be real for every v, and it is this real number that can be compared to zero.

Relation to Sibling Contexts

Position in the Taxonomy

Tensor Complex Vector Space Context parallels Tensor Real Vector Space Context as the second of two foundational ground-field settings within Vector Spaces for Tensor Algebra. It serves as the parent for complex-specific refinements, including complex scalar compatibility and complex coordinate systems, mirroring the structure already established on the real side while introducing the additional algebraic machinery that conjugation demands.

Contrast With the Real Context

Where the real context treats R as self-conjugate and dispenses with any distinction between linear and conjugate-linear behavior, the complex context must track this distinction throughout: every multilinear operation, coordinate transformation, and component symmetry statement built over C needs to specify whether conjugation is or is not involved, a bookkeeping burden that simply does not arise when the ground field is R.

Diagrammatic Summary

The complex vector space V feeds both an ordinary complex-bilinear tensor algebra and, through the conjugation automorphism, a parallel conjugate structure underlying Hermitian and sesquilinear pairings not present in the real context.