Autores, Editores, Burócratas, Administradores
2246
ediciones
Cambios
sin resumen de edición
Primero consideremos la familia de historias [[File:5HMQimage099.png]] generada por el espacio muestral que determina la descomposición de la identidad [[File:3HMQimage014.png]] en el espacio de historias de la siguiente manera:
[[File:6HMQimage002.png|center]]
donde [[File:6HMQimage004.png]], [[File:6HMQimage006.png]] y [[File:6HMQimage008.png]]. Esta descomposición implica que hemos considerado [[File:6HMQimage010.png]] o su negación al tiempo [[File:4HMQimage043.png]], [[File:6HMQimage013.png]] o su negación al tiempo [[File:4HMQimage032.png]], y finalmente [[File:6HMQimage016.png]] o su negación al tiempo [[File:5HMQimage034.png]]. Claramente tendremos un espacio muestral con historias como elementos mínimos, las cuales corresponden a cada uno de los términos que se obtienen al distribuir la factorización de la identidad [[File:3HMQimage014.png]] definida arriba. Es fácil demostrar que [[File:5HMQimage050.png]] es una familia consistente, de modo que la probabilidad dada por el peso [[File:4HMQimage015.png]] es una probabilidad bien definida. De esta manera es posible elaborar ciertos razonamientos probabilísticos con elementos de la familia [[File:5HMQimage050.png]]. Para ello, consideremos dentro de la familia [[File:5HMQimage050.png]] el elemento [[File:6HMQimage023.png]] el cual proviene de disyunciones desde los elementos mínimos [[File:6HMQimage025.png]],[[File:6HMQimage027.png]] y [[File:6HMQimage029.png]],[[File:6HMQimage031.png]]. Visto como proposición de evolución del sistema, [[File:6HMQimage033.png]] representa la asignación de la propiedad [[File:6HMQimage035.png]] en el tiempo [[File:4HMQimage032.png]], es decir, que la partícula está en la caja [[File:1HMQimage00.png]], sin importar qué suceda en los tiempos [[File:4HMQimage043.png]] y [[File:5HMQimage034.png]]. Consideremos también dentro de la misma familia [[File:5HMQimage050.png]] el elemento [[File:6HMQimage041.png]]. Como proposición de evolución, este último elemento representa la asignación de la propiedad [[File:6HMQimage043.png]] en el tiempo [[File:3HMQimage029.png]] y de la propiedad [[File:6HMQimage046.png]] en el tiempo [[File:5HMQimage034.png]], sin importar qué suceda en el tiempo intermedio [[File:4HMQimage032.png]]. Con estos elementos es fácil demostrar que
[[File:6HMQimage049.png|center]] <div align="right">(2.11)</div>
Esto significa que preparar el sistema en el estado [[File:6HMQimage051.png]] en el tiempo [[File:4HMQimage043.png]] y en el estado [[File:6HMQimage046.png]] en el tiempo [[File:5HMQimage034.png]] implica que, en el tiempo intermedio [[File:4HMQimage032.png]], la partícula debe encontrarse en el estado [[File:6HMQimage057.png]], es decir, en la caja [[File:1HMQimage00.png]] con certeza.
Por otro lado, consideremos la familia [[File:5HMQimage054.png]], generada por el espacio muestral que determina la descomposición de la identidad [[File:3HMQimage014.png]] en el espacio de historias de la siguiente manera:
[[File:6HMQimage061.png|center]]
Donde [[File:6HMQimage063.png]]. La diferencia con la familia [[File:5HMQimage099.png]] es que ahora consideramos [[File:6HMQimage066.png]] o su negación al tiempo [[File:4HMQimage032.png]] en lugar de [[File:6HMQimage035.png]]. Como en el caso anterior, es fácil demostrar que [[File:5HMQimage054.png]] también es una familia consistente. Consideremos en [[File:5HMQimage054.png]] el elemento [[File:6HMQimage041.png]] como antes, y el elemento [[File:6HMQimage070.png]] que, como proposición de evolución, corresponde a asignar la propiedad [[File:6HMQimage066.png]] en el tiempo [[File:4HMQimage032.png]], es decir que la partícula está en la caja [[File:1HMQimage096.png]], sin importar que pasa en los tiempos [[File:2HMQimage063.png]] y [[File:5HMQimage034.png]]. Se puede demostrar que