Manuscript En03-A@1 · En03-A.tex · corollary · 5398614e

Corollary: Marginalization

Scale, records, and residual instruments › Effect pullback · lines 2349–2357 · proof included or linked

En03-A@1#cor:marginalization

For $T = Tr_{r}$ on $H_{c} \otimes H_{r}$ , and $Π_{w} = E_{w} \otimes I_{r}$ , compatibility is exact.

Proof. The adjoint of partial trace is $E \mapsto E \otimes I_{r}$ .

Nearby in this section