¿Cuál es el significado del teorema de Piron?

Hay varias formas de responder a su pregunta, según lo que esté buscando.

En general, las celosías están equipadas con diferentes herramientas (pedidos). Son equivalentes a algunas estructuras algebraicas, pero las órdenes facilitan las cosas. El teorema de Piron proporciona dicho puente bajo supuestos (muy fuertes) para ver cómo tal estructura se acerca a la idea de las proyecciones (mecánica cuántica). Si desea leer cómo los supuestos del teorema de Piron son físicamente relevantes, sugiero el capítulo de D. Aerts “Axiomática cuántica” en el Manual de lógica cuántica y estructuras cuánticas . Dicho esto, el teorema de Piron nos dice que tal red siempre podrá darle un espacio subyacente donde puede realizar su Mecánica Cuántica, sin apretar.

También hay corolarios interesantes. El dúo japonés, Amemiya y Araki, demostró que dicha red es necesariamente y suficientemente ortomodular si el espacio subyacente es un espacio de Hilbert. El teorema de Soler lleva esto adelante y restringe los campos subyacentes a los reales, complejos y cuaterniones, siempre que tengamos dimensiones infinitas. Los espacios dimensionales finitos son necesariamente completos y, por lo tanto, la red de sus subespacios es siempre ortomodular.