Manuscript Em02-A@6 · Em02-A-v6.tex · proposition · cb2f0a9a
Proposition: Continuous reconstruction descent
Authorization, descent, and separate microlocal interfaces · lines 2305–2313 · proof included or linked
A continuous linear factors uniquely through a continuous map on if and only if .
Proof. Define the descended map by . Null annihilation makes it well defined; the quotient topology gives continuity.
Nearby in this section
- proposition: Proposition: Specified correction-family obstruction
- section: Authorization, descent, and separate microlocal interfaces
- section: Authorization, descent, and separate microlocal interfaces
- proposition: Proposition: Operator Dini interface
- section: Authorization, descent, and separate microlocal interfaces