Equation 12 · Part 3 · The Entry a Relabeling Cannot Write

Symbol H_c

\Lambda^\dagger: \mathcal B(\mathcal H_c) \to \mathcal B(\mathcal H_f)

H_c

What this part means

wrong, does not touch the total energy of any closed system, and does not by itself explain where a nonzero reading comes from.

Its job in the formula

$H_c$ is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Full expressionSymbol H_cArticle meaning

Where the article explains it

It does not propose that $H_f$ or $H_c$ is wrong, does not touch the total energy of any closed system, and does not by itself explain where a nonzero reading comes from; it only names, precisely and checkably, how large the disagreement is between two fully specified descriptions.

The passage around this formula

Every channel has a dual. Define $\Lambda^\dagger$ : $\mathcal B(\mathcal H_c)$ $\to$ $\mathcal B(\mathcal H_f)$ by the pairing that must hold for every fine state and every coarse observable $O_c$ ,

Read this part in the article →

Learn the underlying idea

A subscript is a label attached below a symbol. It often selects a time step, component, category, or member of a sequence.

Open the illustrated subscripts: which member of a family? guide →

See this notation across published equations →

Sources cited in the article section

[9] Positive Functions on C*-Algebras ↗

These citations provide research context; check each source for the exact claim it supports.