Multilinear form¶

A scalar-valued map of several vector arguments that is linear separately in each argument.

Version: v2 · 2026-09-06 · History
Domain-specific #: 2327
Origin domain: mathematics
Subdomain: multilinear algebra
Aliases: Multilinear functional

Core Idea¶

Multilinear form is a scalar-valued map of several vector arguments that is linear separately in each argument. ^[1]

An n-linear form accepts n vectors, possibly from different vector spaces or modules, and returns a scalar while satisfying additivity and scalar homogeneity in each argument with all other arguments fixed. Bilinear forms, quadratic-form polarizations, alternating volume forms, and covariant tensors are important specializations.

Its operative boundary is not supplied by the name alone. Preserve this identity: A scalar-valued map of several vector arguments that is linear separately in each argument. Validity boundary: Holding all but one argument fixed must yield a linear map in the remaining argument for every position. The entry therefore captures a reusable specialist role structure rather than a topic label, a single historical instance, or a loose analogy.

Structural Signature¶

Sig role-phrases:

the scalar ring or field — the codomain and source of scalar multiplication
the argument spaces — the vector spaces or modules supplying each input slot
the ordered slots — positions whose permutation may or may not change the value
the separate linearity laws — additivity and homogeneity checked one argument at a time
the scalar output — the value produced after all slots are filled
the symmetry type — symmetric, alternating, skew, or unrestricted behavior under permutations
the tensor correspondence — the equivalent linear functional on a tensor product under standard hypotheses

Recognition test. A case qualifies only when the analyst can map the declared the scalar ring or field, the argument spaces, the ordered slots, the separate linearity laws, the scalar output and preserve the specialist validity conditions. Shared vocabulary, a similar output, or a generic instance of one parent relation is insufficient.

What It Is Not¶

Not a general multivariable function. Separate linearity in every slot is required.
Not a linear map on a Cartesian product. Joint vector-space linearity on the product is a different and usually stronger-shaped condition.
Not necessarily symmetric. Symmetry is an additional property.
Not a vector-valued tensor map. A form has scalar codomain, though it corresponds to a covariant tensor.
Not a polynomial merely because it has several variables. Coordinate polynomials represent the form only when each variable block appears linearly.

Scope of Application¶

The abstraction recurs literally within vector spaces and modules where scalar-valued interactions among several arguments satisfy separate linearity. The following habitats preserve the same recognition machinery; they are not invitations to extend the name metaphorically.

Bilinear geometry. inner products, symplectic forms, and pairings use two slots.
Determinants and volume. alternating top-degree forms encode oriented volume.
Tensor analysis. covariant tensors evaluate tuples of vectors.
Differential forms. alternating multilinear forms vary over manifold points.
Representation theory. symmetry types organize tensor-power components.
Algebra. multilinear identities expose polynomial structures by polarization.

Clarity¶

Separate linearity means that one slot is varied while all others remain fixed. It does not mean the function is linear on the direct product with its ordinary componentwise addition. Slot order, base field, and any symmetry condition must be stated.

A practical identification audit begins with the typed roles rather than the title: establish the scalar ring or field, verify the argument spaces, then test the remaining conditions and exclusions. If the case retains only the portable skeleton described below, it should be named through a parent abstraction rather than as Multilinear form.

Manages Complexity¶

Multilinear forms reduce higher-order interaction to repeated linear reasoning. Tensor products turn the many-slot universal property into one linear map, while symmetry conditions compress redundant coordinate components.

The compression remains accountable because each simplification has a named failure condition. Disagreement can be localized to a missing role, an invalid assumption, an ambiguous measurement, or a neighboring abstraction instead of being hidden inside an unanalyzed label.

Abstract Reasoning¶

R1. Specify every argument space and the scalar codomain. R2. Verify additivity and homogeneity independently in each slot. R3. Track slot order before imposing any symmetry quotient. R4. Use the tensor-product universal property to linearize the form. R5. Separate nondegeneracy, symmetry, and alternation from multilinearity itself.

These moves separate definition, derivation, measurement, and interpretation. A formal consequence does not by itself prove that an observed case instantiates the abstraction, while an observed resemblance does not relax the formal or institutional recognition conditions.

Knowledge Transfer¶

The definition transfers literally across linear algebra, modules, geometry, and tensor analysis wherever scalar-valued separate linearity is present. Linearity is the broader parent; calling a general multi-factor score a multilinear form without slotwise laws is an analogy.

The transfer boundary is explicit: DOMAIN-SPECIFIC PASS / PRIME FAIL: Multilinear forms recur across vector spaces, modules, argument counts, tensor products, and symmetric or alternating specializations. Literal recognition retains the specialist vocabulary and validity conditions of multilinear algebra; outside that setting only broader parent operations transfer. The safe move beyond the home habitat is to carry the applicable parent relation and leave the specialist name behind unless every defining role remains literal.

Examples¶

Canonical: the determinant¶

For n column vectors in an n-dimensional vector space, the determinant is linear in each column when the others are fixed and changes sign when two columns are exchanged. It is therefore an alternating n-linear form; repeated columns force zero, and choosing a basis fixes its normalization. ^[1]

Mapped back: the scalar ring or field; the argument spaces; the ordered slots; the separate linearity laws; the scalar output; the symmetry type.

Applied / In Practice: a bilinear pairing as a tensor functional¶

A bilinear form B on V and W determines a unique linear functional on V tensor W by sending a pure tensor v tensor w to B(v,w). Conversely, a linear functional on the tensor product recovers the bilinear form. The correspondence preserves the two-slot structure without confusing the Cartesian product with a tensor product. ^[2]

Mapped back: the argument spaces; the separate linearity laws; the scalar output; the tensor correspondence.

Structural Tensions¶

T1: Coordinate formula vs invariant object. Arrays make computation easy but change with basis. Diagnostic: Which transformation law preserves the form?

T2: Separate linearity vs joint linearity. The two notions are easily conflated on product spaces. Diagnostic: Was one slot or the entire tuple varied?

T3: General form vs symmetry type. Symmetry simplifies structure while excluding legitimate multilinear forms. Diagnostic: Is symmetry assumed, derived, or absent?

T4: Tensor representation vs evaluation map. A covariant tensor and its multilinear evaluation are equivalent views, not identical notations. Diagnostic: Which universal property is being used?

T5: Field intuition vs module subtleties. Dual and tensor correspondences can behave differently over general rings. Diagnostic: Are finite projectivity or freeness hypotheses needed?

T6: Domain autonomy vs prime reduction. Linearity omits ordered multiple slots, scalar codomain, and permutation behavior. Diagnostic: Would an ordinary linear map retain the same higher-order interaction?

Structural–Framed Character¶

The five-criterion aggregate is 0.15 (structural). The judgment is criterion-specific:

Vocabulary travels — low (0.25). The complete vocabulary remains tied to the typed roles in the Structural Signature.
Evaluative weight — low (0.00). Application carries the stated degree of normative or interpretive judgment beyond structural recognition.
Institutional origin — low (0.25). The abstraction depends to this degree on a scholarly, technical, legal, or social convention.
Human-practice bound — low (0.00). Recognition depends to this degree on organized practice, language, measurement, or institutional action.
Import versus recognize — low (0.25). Beyond its home habitat, use of the full name increasingly becomes analogy rather than literal recognition.

The portable skeleton is a higher-order interaction remains linear when each typed input position is varied separately. The named abstraction remains structural because that skeleton alone does not supply its specialist objects, constraints, or tests.

Structural Core vs. Domain Accent¶

Structural core: A higher-order interaction remains linear when each typed input position is varied separately.

Domain accent: Vector spaces, modules, scalar fields, ordered slots, tensor products, symmetric and alternating powers, determinants, and differential forms.

Why it does not clear the prime bar: Linearity is prime-level; multilinear form is the scalar-valued many-slot construction of multilinear algebra. Generalization therefore routes through parent abstractions; preserving the specialist name requires the full accent.

Linearity (prime:linearity). Each argument slot obeys the additive and homogeneous linear laws.
Representation (prime:representation). Coordinate arrays or covariant tensors represent the same form relative to chosen bases.

These are prose placement proposals only. They create no dag_edges; endpoint, redundancy, and cycle checks are recorded separately in the bundle's placement memo.

Relationships to Other Abstractions¶

Current abstraction Multilinear form Domain-specific

Parents (1) — more general patterns this builds on

Multilinear form is a kind of Linearity Prime

Linearity (prime:linearity).

Hierarchy path (1) — routes to 1 parentless root

Multilinear form → Linearity

Neighborhood in Abstraction Space¶

Multilinear form sits in a sparse region of the domain-specific corpus (71^st percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

Multilinear map. a separately linear map with an arbitrary vector-space codomain. Tell: Is the output specifically scalar?
Polynomial form. a homogeneous polynomial, often obtained by diagonal evaluation. Tell: Are several independent slots retained?
Tensor. the coordinate-free object corresponding to multilinear maps under duality. Tell: Is the discussion the tensor element or its evaluation as a form?
Sesquilinear form. a pairing conjugate-linear in one slot. Tell: Does every slot use ordinary linear homogeneity?
Quadratic form. a degree-two scalar function on one vector. Tell: Is the associated bilinear form or diagonal polynomial the primary object?

References¶

[1] Werner H. Greub, Multilinear Algebra, Springer, 1978. registry ↩a ↩b

[2] Nicolas Bourbaki, Algebra I: Chapters 1–3, Springer, 1998. registry ↩