Manuscript VII-H@1 · VII-H.tex · definition · d20d2a9f

Definition: Invariant tests and observable closure

Physical matching and complete response ambiguity · lines 299–313

VII-H@1#eq:annihilator

Set

A_{N}^{⊥} = {F \in E : ⟨ a, F ⟩ = 0 for every a \in A_{N}} .

The closure used for continuous observations is

A_{N}^{σ (E^{'}, E)},

where $σ (E^{'}, E)$ is the weak topology generated by the actual admitted test pairings.

Displayed formulas in this passage

VII-H@1#eq:annihilator · line 301
$A_{N}^{⊥} = {F \in E : ⟨ a, F ⟩ = 0 for every a \in A_{N}} .$
unlabeled · line 308
$A_{N}^{σ (E^{'}, E)},$