defn filtration of vec sp JKZPURLS

defn filtration of vec sp

---

Definition 2.5. A family of filtrations E is the data of a finite dimensional vector space E and for each facet F of P , an increasing filtration (EF (i))i∈Z of E such that EF (i) = {0} for i 0 and EF (i) = E for some i. We will denote by iF the smallest i ∈ Z such that EF (i) = 0. (pdf) (Clarke 和 Tipler, 2023, p. 392)