Manuscript XV-F-patch@1 · XV-F-patch.tex · definition · 6d6ef16d

Definition: Test meeting the characteristic locus

Patch J: the target, blocks, stress, and map clauses › What it means for a test to meet N · lines 1783–1796

XV-F-patch@1#def:meeting, XV-F-patch@1#eq:meeting

For scalar tests, set

D_{N} (W) = {φ \in C_{c}^{\infty} (W) : supp φ \cap N \neq = \emptyset} .

For a specified value bundle, use compact dual test sections and the same support condition. This is the meaning of “meeting $N$ ” in clause (iv) of Definition def:mapclass.

Displayed formulas in this passage

XV-F-patch@1#eq:meeting · line 1786
$D_{N} (W) = {φ \in C_{c}^{\infty} (W) : supp φ \cap N \neq = \emptyset} .$

Nearby in this section

section: What it means for a test to meet N