A Finite Sum of Vectors with Vanishing Tail
lemmaAlgebraLinear Algebralem:finite-sum-vanishing-tail-2026aLet be a field, let be a vector space over with zero vector , let be a natural number, let be the initial segment it determines, and let be the strict order on .
Let be an -tuple in and let be such that for every with . Then, with finite sums in ,
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.