Manuscript En02-A@1 · En02-A-v1.tex · section · bb1319d5
Conditional compactness without an LP claim
Conditional compactness without an LP claim · lines 1811–1816
Continuity of outcome laws alone does not compactify unknown update maps. A correct compactness statement must control selective outputs.
Nearby in this section
- definition: Definition: Selective pure outputs
- assumption: Assumption: Additional selective-output regularity
- section: Conditional compactness without an LP claim
- lemma: Lemma: Compactness of the selective-output family
- lemma: Lemma: Closed finite-experiment constraints
- theorem: Theorem: J: compact constraint exhaustion
- remark: Remark: Exactly what J does not establish