Autores, Editores, Burócratas, Administradores
2246
ediciones
sin resumen de edición
donde, en la llamada notación de Dirac, los [[File:1HMQimage021.png]] son operadores ''proyectores'' sobre el subespacio [[File:1HMQimage023.png]] de dimensión uno (rectas) generado por el vector [[File:1HMQimage025.png]] (Hughes 1989, 64). El conjunto de los [[File:HMQimage027.png]] forman una base ortonormal del espacio de Hilbert (Ballentine 1990, 9: Sakurai 1994 18-19), y cada vector [[File:1HMQimage025.png]] es llamado ''autovector'' de [[File:1HMQimage00.png]]. Por otro lado, el conjunto [[File:1HMQimage028.png]] es un conjunto de números reales (parametrizados discretamente por el índice [[File:1HMQimage035.png]]) llamado ''espectro'' de [[File:1HMQimage00.png]], y cada valor [[File:1HMQimage038.png]] es llamado ''autovalor'' de [[File:1HMQimage00.png]] (Hughes 1989, 42-43; Ballentine 1990, 8; Sakurai 1994, 17-19). A veces también se menciona a los [[File:1HMQimage021.png]] como ''autoproyectores'' de [[File:1HMQimage00.png]]. Como el conjunto de los [[File:1HMQimage027.png]] son ortonormales, los autoproyectores [[File:1HMQimage047.png]] correspondientes resultan ser ortogonales: esto significa que [[File:1HMQimage049.png]], donde el símbolo [[File:1HMQimage051.png]] es igual a 1 si [[File:1HMQimage055.png]], y es 0 en caso contrario.
Haciendo uso de la expresión de [[File:1HMQimage00.png]] (1.1), es muy fácil ver que [[File:1HMQimage060.png]] (Sakurai 1994, 17). Así decimos que la magnitud [[File:HMQimage00.png]] toma valor [[File:1HMQimage038.png]] sobre el subespacio [[File:1HMQimage023.png]] generado por [[File:1HMQimage025.png]] porque al aplicar [[File:1HMQimage00.png]] sobre [[File:1HMQimage025.png]], nos devuelve simplemente el valor [[File:HMQimage0381HMQimage038.png]] multiplicado por [[File:1HMQimage025.png]]. Así, los distintos valores [[File:1HMQimage028.png]] que participan en la descomposición espectral son los posibles valores que puede tomar la magnitud [[File:1HMQimage00.png]], los cuales pueden ser corroborados en una medición de dicha magnitud (Hughes 1989, 64). Lo central aquí es que cada posible valor de [[File:1HMQimage00.png]] queda naturalmente asociado al subespacio [[File:1HMQimage023.png]] y, por lo tanto, al proyector [[File:1HMQimage021.png]] que proyecta sobre [[File:1HMQimage023.png]]. Debido a esta asociación, las propiedades que asignan un valor, o rango de valores, a la magnitud [[File:1HMQimage00.png]] pueden ser representadas por el proyector asociado a ese valor, o rango de valores. Por ejemplo, la propiedad [[File:HMQimage003.png]]"[[File:1HMQimage00.png]] con valor igual a 5” se podrá representar por el proyector [[File:1HMQimage073.png]]. En cambio, la propiedad [[File:HMQimage007.png]]"[[File:1HMQimage00.png]] con valor mayor o igual a 5 y menor o igual que 7”, se representará por el proyector [[File:1HMQimage077.png]]. Como hemos dicho, cada proyector se corresponde con un subespacio en el espacio de Hilbert, por lo que también podemos representar cada propiedad como un subespacio. Esto es de hecho lo que en general se hace en la bibliografía. Aquí, sin embargo, orientados a lo que el formalismo de historias cuánticas necesita, buscaremos tratar las propiedades principalmente en términos de proyectores.
Entre las distintas propiedades que pueden predicarse, existen dos muy particulares: la ''propiedad universal'', también llamada identidad [[File:1HMQimage079.png]], que siempre podrá asignarse al sistema; y la ''propiedad nula'', también llamada cero [[File:1HMQimage057.png]], que nunca podrá asignarse al sistema. Identificaremos la propiedad universal [[File:1HMQimage0991HMQimage079.png]] con el ''proyector identidad'' en el espacio de Hilbert del sistema, que es el operador que, aplicado a cualquier vector, lo deja idéntico. Es muy útil representar este operador por la suma de todos los posibles autoproyectores asociados a una magnitud dada, es decir [[File:1HMQimage083.png]] (Ballentine 1990, 10; Sakurai 1994, 19). Sin embargo esa representación no es única; volveremos a esta cuestión más abajo, con la importante noción de espacio muestral. Por otro lado, la propiedad nula se podrá representar por el ''proyector nulo'' del espacio de Hilbert del sistema, es decir por el [[File:1HMQimage057.png]] visto como operador, que transforma cualquier vector en el vector nulo (Hughes 1989, 15).
Dentro del espacio de Hilbert se pueden definir tres operaciones básicas entre subespacios, que dan como resultado otro subespacio: la intersección, la suma, y el complemento ortogonal de subespacios (Hughes 1989, 190-191; Vanni y Laura 2008; Vanni 2010). Con el conjunto de todos los subespacios del espacio de Hilbert y estas operaciones, queda definida una estructura de propiedades cuánticas, la cual en este caso no resulta booleana (Mittelstaedt 1978, 27; Hughes 1989, 201-206; Bub 1997, 22-30; Vanni 2010).
