一个量子逻辑上的观测表示定理
Representation theorem for obsevables on a quantum logic
摘要：
我们使用Renyi方法（或贝叶斯原理）研究量子逻辑上的条件态。这种方法有助于我们定义事件的独立性，与经典概率论中的情况不同，如果事件$a$独立于事件$b$，则事件$b$可以依赖于事件$a$。我们将证明，我们可以定义一个$s$映射（量子逻辑上的同时测量函数）。可以证明，如果我们有条件状态，我们可以定义$s$ -映射，反之亦然。通过使用$s$ -映射，我们也可以在量子逻辑上引入非相容观测量的联合分布。
英文摘要：
We study a conditional state on a quantum logic using Renyi's approach (or Bayesian principle). This approach helps us to define independence of events and differently from the situation in the classical theory of probability, if an event $a$ is independent of an event $b$, then the event $b$ can be dependent on the event $a$. We will show that we can define a $s$-map (function for simultaneous measurements on a quantum logic). It can be shown that if we have the conditional state we can define the $s$-map and conversely. By using the $s$-map we can introduce joint distribution also for noncompatible observables on a quantum logic.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
