Manuscript IX-C-ST@1 · IX-C-ST.tex · proposition · 892f50c4
Proposition: The retained continuity obstruction
Wordwise coherence, reversal, and continuity · lines 2468–2496 · proof included or linked
IX-C-ST@1#prop:obstruction
The construction does not remove the VII-C incompatibility under its original simultaneous requirements: unchanged old-product agreement, sharp admission with specified normal admission continuity, bounded-set hypocontinuous quantum multiplication, and continuous scalar extraction.
In particular, it does not imply in .
Proof. The unchanged regular triangle has a positive logarithmic coefficient on a separated detecting test by the inherited VII-C record VIIC. Under those simultaneous normal-continuity requirements, the converging regular input kernels and hypocontinuous multiplication would force convergence of that extracted scalar sequence, contradicting its logarithm.
The present product asserts no such continuity. Its old coefficients are unchanged, while its sharp scalar assignment is . The carrier separator already excludes the asserted unchanged convergence in . No proof above alters either fact.
Nearby in this section
- theorem: Theorem: Both selected associations
- section: Wordwise coherence, reversal, and continuity
- theorem: Theorem: Partial-product reversal
- proposition: Proposition: Actual-functional presentation independence
- theorem: Theorem: F9a on the complete declared new sector
- section: Wordwise coherence, reversal, and continuity