Manuscript VII-E-ST@1 · VII-E-ST.tex · section · d28d9c5d

The exact sharp-measurement criterion

Contract E: readout, records, and residuals › The exact sharp-measurement criterion · lines 495–507

Suppose now that ${E_{w}}$ is projective and that the coarse instrument is Lüders:

I_{w} (Y) = E_{w} Y E_{w} .

Define the two pinching maps

D_{Π} (X) = w \sum Π_{w} X Π_{w}, D_{P} (X) = z \sum P_{z} X P_{z} .

Displayed formulas in this passage

unlabeled · line 499
$I_{w} (Y) = E_{w} Y E_{w} .$
unlabeled · line 503
$D_{Π} (X) = w \sum Π_{w} X Π_{w}, D_{P} (X) = z \sum P_{z} X P_{z} .$