How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Finite-dimensional vector spaces are rigid
Statement
For any field , every finite-dimensional -vector space is rigid in the monoidal category .
Facts & Assumptions
Given: A finite-dimensional -vector space .
The category is monoidal under (Modules over a commutative ring form a monoidal category).
If is a basis of , then the dual family is a basis of and satisfies (The dual family of a finite basis is a basis of the dual space, with the same dimension).
Finite-dimensional means that has such a finite basis (Finite-dimensional vector space, and its dimension ; infinite-dimensional means having no finite basis).
Proof
By [L3], choose a basis of . Let be the dual basis from [L2], and define
For each basis vector , the first zig-zag sends to By linearity it is the identity on .
For each dual basis vector , the second zig-zag sends to By linearity it is the identity on .
Thus is a left dual of . The same formulas, read in the mirrored order, make a right dual of as well, so is rigid. Since was arbitrary and [L1] supplies the monoidal structure, every finite-dimensional object of is rigid.
Depends on
- Rigid object and rigid monoidal category
- Modules over a commutative ring form a monoidal category
- Linear functionals and the algebraic dual $V^*=\mathcal L(V,F)$
- The dual family of a finite basis is a basis of the dual space, with the same dimension
- Finite-dimensional vector space, and its dimension $\dim_F V$; infinite-dimensional means having no finite basis
Used by
- A symmetric monoidal category in which every object is self-dual Example
- The categorical dimension of a vector space is the scalar image of its linear dimension Example
- The dual of a finite-dimensional vector space as a categorical dual Example
- The zig-zag identities in finite-dimensional vector spaces Example
Dependency tree · two levels
29 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik, Tensor Categories, Example 2.10.12 (standard reference, not scraped)
- Michael Muger, Tensor Categories: A Selective Guided Tour, Section 1.5 (standard reference, not scraped)