量子力学的基本概念是以可分离的形式表述的无限维希尔伯特空间$\mathcal{H}$。就希尔伯特而言$\mathcal｛H｝$的闭线性子空间的格$\mathcal｛L｝$概念状态的和可观察的可以被表述为[21]中的各种度量。这个本文的目的是证明对于这些数据结构在Weihrauch的第二类有效性（TTE）意义上[26].而不是明确显示数据的可接受表示我们所考虑的类型表明，它们确实属于该类别$\mathbf美元{质量控制委员会}_0$，它等价于的类别$\mathbf{AdmRep}$它们之间的可接受表示和连续可实现映射。对于为了达到这一目的，在出现可观察到的情况下，我们必须用估值来代替测量这使我们能够证明冯·诺依曼光谱的有效版本定理。