Dual System¶
Pair two vector spaces by a nondegenerate bilinear form so each separates points of the other and determines weak, polar, and compatible locally convex structures.
Core Idea¶
A dual system or dual pair is a triple \((X,Y,\langle\cdot,\cdot\rangle)\) consisting of vector spaces over the same scalar field and a bilinear pairing that separates points on both sides: every nonzero \(x\in X\) is detected by some \(y\in Y\), and every nonzero \(y\in Y\) is detected by some \(x\in X\). Thus (Y) embeds into the algebraic dual of (X), and (X) embeds into the algebraic dual of (Y), without requiring either to be the other's entire algebraic dual.
Scope of Application¶
Dual systems organize locally convex spaces, weak and weak-star convergence, convex polarity, distribution-test-function pairings, and optimization duality. Trèves uses paired spaces to control weak topologies and compatible dual structures in distribution theory. Narici and Beckenstein develop polar topologies and the Mackey–Arens theorem from the same pairing data.
Clarity¶
State the scalar field, whether the pairing is bilinear or sesquilinear, which argument is linear, and whether both separation conditions hold. Distinguish the algebraic dual, continuous dual under a stated topology, and the designated partner (Y). Name the topology when using boundedness, continuity, closure, or compactness.
Manages Complexity¶
The abstraction lets one choose exactly the observables needed to distinguish states. Rather than commit immediately to a norm or maximal dual, it starts with evaluation data and derives the weakest topology making those observations continuous. Stronger compatible topologies can then be compared without changing the continuous dual.
Abstract Reasoning¶
- Select spaces (X) and (Y) and define their pairing.
- Verify that each side separates the other.
- Embed each space in the opposite algebraic dual.
- Form annihilators or absolute polars of relevant subsets.
- Generate the weak topology from point evaluations by the partner space.
- Determine equicontinuous, bounded, and weakly compact sets.
- Compare compatible locally convex topologies between the weak and Mackey bounds.
- Use bipolar and separation results only under their stated convexity and topology conditions.
Knowledge Transfer¶
The portable pattern is choose a family of reciprocal probes that separates points, then let those probes determine admissible topology and closure. It transfers to state-observable pairings. The proposed immediate parent is Duality.
Relationships to Other Abstractions¶
Current abstraction Dual System Domain-specific
Parents (1) — more general patterns this builds on
-
Dual System is a kind of Duality Prime
Duality is the proposed immediate parent.
Hierarchy path (1) — routes to 1 parentless root
- Dual System → Duality
Neighborhood in Abstraction Space¶
Dual System sits in a sparse region of the domain-specific corpus (84th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (1565 abstractions)
Nearest neighbors
- Ultraweak Topology — 0.83
- Countably quasi-barrelled space — 0.82
- Bundle metric — 0.80
- DF-space — 0.80
- Alexander Duality — 0.80
Computed from structural-signature embeddings · 2026-09-08