Quadratic Space¶
A vector space equipped with a quadratic form, carrying isotropy, radical, orthogonality, and equivalence structure that depends essentially on the base field.
Core Idea¶
A quadratic space is a pair \((V,Q)\) consisting of a vector space \(V\) over a field \(F\) and a quadratic form \(Q:V\to F\). The form satisfies \(Q(av)=a^2Q(v)\), while its polarization \(B_Q(u,v)=Q(u+v)-Q(u)-Q(v)\) is bilinear. Voight uses precisely this definition and calls \((V,Q)\) a quadratic space. The pair—not the form alone and not the vector space alone—is the abstraction.
Once \(Q\) is installed, vectors acquire form-relative predicates and relations: isotropic vectors satisfy \(Q(v)=0\); orthogonality is read from \(B_Q\); the radical records vectors bilinearly orthogonal to all of \(V\); and isometries preserve \(Q\).
Scope of Application¶
Quadratic spaces organize classical quadratic-form theory, orthogonal geometry, arithmetic of forms, and algebraic groups. Over \(\mathbb R\), signature classifies nondegenerate forms up to real linear change of coordinates. Over finite fields and number fields, isotropy, discriminants, local invariants, and Witt decomposition take the leading roles; Lam provides the specialist field-based treatment behind this scope. Projectivizing \(Q(v)=0\) yields a quadric whose points encode isotropic lines. Orthogonal groups consist of linear automorphisms preserving the form.
Clarity¶
Naming the quadratic space prevents three substitutions. First, it keeps the carrier and form paired, so a change of basis does not create a new object. Second, it separates bilinear orthogonality from quadratic value, especially in characteristic two. Third, it forces a declared equivalence relation before “same form” is asserted.
Manages Complexity¶
The pair \((V,Q)\) compresses a coordinate polynomial plus its transformation law into a basis-independent object. A matrix represents the polar form after choosing a basis, but the space makes clear which matrix changes preserve identity. Orthogonal decomposition reduces a complicated formed space into manageable summands. Witt decomposition separates hyperbolic planes from an anisotropic remainder, exposing the part that cannot be canceled by isotropic pairs.
Abstract Reasoning¶
If \(W\subseteq V\), one can restrict \(Q\) to \(W\), form its orthogonal complement, and test whether direct orthogonal decomposition is available. An isometry carries isotropic vectors to isotropic vectors and preserves any invariant correctly defined for the setting. If \(Q(v)\ne0\) and characteristic is not two, reflection formulas generate familiar orthogonal transformations.
Knowledge Transfer¶
Transfer inside the domain is exact: the same carrier–form–polarization roles recur in real, finite-field, and arithmetic cases. Techniques such as restriction, orthogonal complement, and isotropy testing travel, while the final classification invariants change with \(F\). A geometric or physical problem instantiates the abstraction only when its local or global vector carrier genuinely bears a quadratic form.
Relationships to Other Abstractions¶
Current abstraction Quadratic Space Domain-specific
Parents (1) — more general patterns this builds on
-
Quadratic Space presupposes Vector Space Prime
Quadratic Space strictly composes Vector Space: every instance has a vector carrier, while most vector spaces do not come with a selected quadratic form.
Hierarchy path (1) — routes to 1 parentless root
- Quadratic Space → Vector Space → Set and Membership
Neighborhood in Abstraction Space¶
Quadratic Space sits in a sparse region of the domain-specific corpus (64th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Applied Linear & Special Functions (18 abstractions)
Nearest neighbors
- Pseudo-Euclidean Space — 0.88
- Quadratic Field — 0.87
- Quadratic Equation — 0.87
- Carlyle Circle — 0.86
- Matrix Similarity — 0.86
Computed from structural-signature embeddings · 2026-09-08