Manuscript XV-F@3 · XV-F-v3.tex · definition · d4e74afa

Definition: Three disjoint kinds of null relation

The reconstruction-fixed ambiguity in the punctured normal-jet module › Disjoint classification and the exact role of jet-detection · lines 1943–1950

XV-F@3#def:kinds

Back to manuscript

Let $a \in H$ . Call $a$ universal if $β_{γ} (a) = 0$ for all $∣ γ ∣ \leq r$ ; a flat-annihilator relation if $a$ is not universal and every $β_{γ} (a)$ is flat on $Z$ ; jet-detected if some $β_{γ} (a)$ is not flat at some point of $Z$ . The three classes are disjoint and exhaust $H$ .

Nearby in this section

lemma: Lemma: Multiplying a delta derivative by a function
theorem: Theorem: Jet-detection is exactly ``some extension carries a defect''