量子逻辑系统与张量积空间
Quantenlogische Systeme und Tensorproduktraeume
AI总结：
本文通过公理化方法展示量子力学中组合物理系统必须用张量积空间描述。
摘要：
本文介绍了George Mackey提供的量子逻辑公理系统的直观构造。本文的目标是详细讨论Diederik Aerts和Ingrid Daubechies发表的论文《用张量积描述两个量子系统作为联合系统》[1]中的结果。这意味着我们想展示如何用逻辑方法描述经典力学和量子力学中的某些组合物理系统。为达到这一目标，我们将像在[1]中一样，讨论一个特殊类别的公理定义的组合物理系统。借助某些关于格和c-形态论（见[2]和[23]）的结果，我们将详细证明一个陈述：在量子力学情况下，组合物理系统必须通过张量积空间来描述。
英文摘要：
In this work we present an intuitive construction of the quantum logical axiomatic system provided by George Mackey. The goal of this work is a detailed discussion of the results from the paper 'Physical justification for using the tensor product to describe two quantum systems as one joint system' [1] published by Diederik Aerts and Ingrid Daubechies. This means that we want to show how certain composed physical systems from classical and quantum mechanics should be described logically. To reach this goal, we will, like in [1], discuss a special class of axiomatically defined composed physical systems. With the help of certain results from lattice and c-morphism theory (see [2] and [23]), we will present a detailed proof of the statement, that in the quantum mechanical case, a composed physical system must be described via a tensor product space.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
