Manuscript Em02-A@6 · Em02-A-v6.tex · proposition · cb2f0a9a
Proposition: Specified correction-family obstruction
Authorization, descent, and separate microlocal interfaces · lines 2286–2295 · proof included or linked
Let one fixed compact test have a nonconvergent raw pairing. If every correction in a specified permitted family has a convergent pairing on that test, no corrected family in that class has a weak limit.
Proof. Subtract the convergent correction pairing from a proposed corrected limit.
Nearby in this section
- section: Authorization, descent, and separate microlocal interfaces
- proposition: Proposition: Continuous reconstruction descent
- section: Authorization, descent, and separate microlocal interfaces
- proposition: Proposition: Operator Dini interface
- section: Authorization, descent, and separate microlocal interfaces