Manuscript XII-A@2 · XII-A-v2.tex · section · 955d4b22
Assembled topology and quotient
Continuity at the named levels › Assembled topology and quotient · lines 1521–1545
| Claim | Status |
|---|---|
| Fixed-support kernel continuity | Proved |
| Named-stage product hypocontinuity | Proved |
| Global separate continuity | Proved by a separate linear argument |
| Hausdorff free-shell quotient | Proved by coefficient evaluations |
| Global product hypocontinuity | Not released |
| Completeness of the assembled carrier | Not released |
The remaining hypocontinuity question concerns bounded-set control in the chosen inductive limit, not the cardinality of its indexing family. A possible countable exhaustion does not itself establish that control. No identification with a differently topologized open-cone distribution space is used.