Manuscript IX-A@1 · IX-A.tex · section · 55aa6f6d
Continuity of coefficient extraction
Boundary and topology audit › Continuity of coefficient extraction · lines 2031–2042
In , extraction of a fixed -coefficient is a coordinate projection. Evaluation at the zero configuration then extracts its field-independent coefficient. Both maps are continuous.
This does not recreate the normal-topology contradiction: the missing hypothesis is convergence of unchanged regular approximants to the admitted sharp element, which Theorem thm:IX1 explicitly excludes.