Resumen

La ocurrencia ideal de un evento (proyector) conduce al conocido cambio de un estado (operador de densidad) en (el estado de Lüders). Se muestra que dos eventos y dan el mismo estado de Lüders si y solo si la relación de equivalencia es válida. Esta relación determina las clases de equivalencia. El conjunto de ellas y cada clase se estudian en detalle. Se demuestra que el proyector de rango del estado de Lüders puede evaluarse como , donde denota el límite inferior más grande, y es el proyector nulo de . La implicación dependiente del estado extiende la implicación absoluta (que, a su vez, determina toda la estructura de la lógica cuántica). y se investigan de manera estrechamente relacionada para beneficio mutuo. Inherente en el preorden está la equivalencia dependiente del estado, que define clases de equivalencia en una subálgebra booleana dada. El conjunto cociente, en el que las clases son los elementos, tiene en sí una estructura parcialmente ordenada, al igual que cada clase. En una subálgebra booleana

• Materias:Simulación numérica Sistemas cuánticos Técnicas analíticas Curvatura seccional Colapso gravitacional
• Subjects:Numerical simulation Quantum systems Analytical techniques Sectional curvature Gravitational collapse
• Palabras claves:Evento; Proyector; Estado; Estado de Lders; Relación de equivalencia; Lógica cuántica
• Keywords:Event; Projector; State; Lders state; Equivalence relation; Quantum logic