Tengo dificultades para entender la notación bra-ket utilizada en la mecánica cuántica. Por ejemplo, tome la notación utilizada en la pregunta ¿ Existe una relación entre la teoría cuántica y el análisis de Fourier?
Dejar ser un operador en una función (onda), ser funciones (de onda), y ser una variable ficticia (que representa una base para , Supongo).
Si estoy entendiendo la notación correctamente, entonces
¿Esto se ve bien? Además, ¿cómo funciona la versión de tres argumentos? ¿trabajar? Misma pregunta para la versión de sujetador. - si el sostén es la base, entonces ¿qué significa tomar una base sin función?
Permítanme trabajar en la notación matemática por un rato y luego volver a la notación de Dirac.
Suponga que comienza con un espacio de Hilbert , que puedes entender como un espacio de funciones de algún espacio de coordenadas en , es decir, si entonces , y que tienes alguna noción adecuada de producto interno , como por ejemplo una integral sobre . (Tenga en cuenta que aquí debe ser lineal en el segundo argumento.)
Dada esta estructura, para todo vector se puede definir un funcional lineal , es decir, una función que toma elementos y les asigna números complejos , cuya acción está dada específicamente por . Como tal, vive en , el doble de , que es el conjunto de todos los funcionales lineales (acotados y/o continuos) de a .
Hay muchas otras funciones interesantes alrededor. Por ejemplo, si es un espacio de funciones , entonces otro funcional de este tipo es una evaluación en un punto dado : es decir, el mapa dada por
Por lo tanto, tiene este espacio grande y espacioso de funcionales , y tienes esta incrustación de en dada por . En general, sin embargo, puede o no cubrir la totalidad de .
La correspondencia de esto en la notación de Dirac es la siguiente:
se denota y se llama ket.
se denota y se llama sostén.
se denota , y también se llama sostén.
Al juntarlos, comienzas a obtener algunas de las cosas que querías:
2.
es
, es decir, sólo la función de onda.
6.
es
, es decir, el producto interno de
y
en
, como debería ser.
Tenga en cuenta, en particular, que estos solo se derivan de la yuxtaposición de las interpretaciones correspondientes de los sujetadores y kets relevantes.
7.
Algo sorprendente,
en realidad está definido, solo se evalúa como
. Esto se debe esencialmente a que, en el cerebro de los físicos,
9.
está realmente definido. Normalmente se entiende como "una función que está infinitamente localizada en
", que por supuesto requiere un físico para darle sentido (o más exactamente, para descartar el hecho de que no tiene sentido). Esto se relaciona con
8.'
, el freno entre diferentes posiciones
, que evalúa a
. Por supuesto, esto significa que
8.
, con ambas posiciones iguales, en realidad no está definido.
Si esto parece que a los físicos no les importa el rigor de ninguna manera, es porque en su mayoría lo es. Sin embargo, debo enfatizar que es posible dar una base rigurosa a estos estados, a través de un formalismo conocido como espacios amañados de Hilbert , donde esencialmente se divide y en diferentes "capas". Sin embargo, en general, esto requiere un análisis más funcional del que la mayoría de los físicos realmente aprenden, y no es necesario para operar con éxito en estos objetos.
Habiendo hecho eso, ahora llegamos a algunos de los lugares donde has ido por caminos muy extraños:
3.
no significa nada. Tampoco "operador en un valor propio de
que produce la función propia correspondiente bajo una base de posición".
4.
no es una cosa Nunca pones a los operadores dentro de un ket (y ciertamente no solos).
Los operadores siempre actúan en el exterior del ket. Entonces, digamos que tienes un operador , que en notación matemática tomaría un vector y darte otro . En la notación de Dirac tiendes a ponerte un sombrero , y usas significar .
En particular, esto se usa para la notación más fundamental:
Esto incluye como caso especial
5.
. Esto a veces se abrevia como
, pero esa es una buena receta para la confusión. En este caso,
es generalmente una función, pero
es un objeto completamente diferente: es un operador, por ejemplo
vive en
, y su acción es tal que este vector tiene función de onda
Finalmente, esto nos lleva a sus dos últimas preguntas:
10.
La afirmación de que "la parte del sostén del sujetador siempre es una variable ficticia" es falsa. Como has visto,
está perfectamente bien definido. (También,
y
tampoco son variables "ficticias", nuevamente como ha visto anteriormente).
11.
De manera similar, la afirmación de que "la porción ket siempre es una función/operador" también es falsa. Nunca pones operadores dentro de un ket (los pones a la izquierda), y generalmente está bien poner
's allí (aunque, de nuevo, esto requiere más trabajo para arreglar las cosas, o la voluntad de descartar los problemas).
Espero que esto sea suficiente para solucionar los problemas en su comprensión y hacer que use la notación de Dirac correctamente. Toma un tiempo entenderlo, pero una vez que lo haces, es muy útil. Del mismo modo, hay muchos problemas en términos de cómo formalizamos cosas como posicionar kets como , pero todos son superables y, lo que es más importante, tienen mucho más sentido una vez que haya estado usando la notación de Dirac correcta y cómodamente durante un tiempo.
Una breve mirada a la mecánica cuántica a través de la notación Bra-ket de Dirac [*]
1- En mecánica cuántica un estado físico se representa mediante un vector de estado en un espacio vectorial complejo . La dimensión del espacio vectorial está especificada por la naturaleza del sistema físico bajo consideración.
2- Un vector de estado se denota por un ket , , que contiene información completa sobre el estado físico.
3- Se pueden sumar dos ket para producir un nuevo ket y se puede multiplicar un ket por un número complejo.
4- Un observable se denota por un operador , .
5- Un operador actúa sobre un ket desde el lado izquierdo, .
6- En general, no es un tiempo constante pero hay kets particulares, eigenkets de , decir , , que tienen la propiedad
7- Un estado físico correspondiente a un eigenket se llama eigenstate .
8- Digamos que estamos interesados en un espacio vectorial N-dimensional generado por N elementos propios de un observable , entonces cualquier Se puede escribir como
9- Existe un espacio dual de espacio ket, que se llama espacio sujetador , y para todo ket existe un sostén, denotado por . El espacio del sujetador está atravesado por eigenbras que corresponden a los autos .
10- Existe una correspondencia biunívoca (correspondencia dual, DC) entre un espacio ket y un espacio bra y, en términos generales, el espacio bra puede considerarse como una especie de imagen especular del espacio ket.
11- El producto interior de un sujetador y un ket es en general un número complejo y se escribe como .
12- Dos propiedades fundamentales del producto interior son
13- Dos botes y se dice que son ortogonales si
14- Un bote (al no ser un ket nulo) se puede normalizar
15- Consideremos tres operadores , y (no necesariamente representando observables). se dice que es el operador nulo si
16- Se pueden sumar operadores, y la suma es conmutativa y asociativa
17- Los operadores son lineales
18- Un operador actúa sobre un sostén desde el lado derecho, .
19- Existe la doble correspondencia
20- Los operadores se pueden multiplicar y la multiplicación no es conmutativa sino asociativa.
21- Un bote y un sostén puede formar un operador a través de un producto externo .
22- Los siguientes son productos ilegales , , , , (asumiendo que y están en el mismo espacio).
23- La expresión puede interpretarse de dos maneras diferentes: primero, el operador actuando en ket ; segundo, el número multiplicando el ket . Según la primera interpretación, el operador gira el ket en la dirección de .
24- Tres igualdades importantes a tener en cuenta son:
25- En mecánica cuántica operadores hermitianos ( ) muy a menudo resultan ser operadores que representan algunos observables físicos. Se puede demostrar que un operador hermitiano, , tiene valores propios reales y mercados propios ortogonales (o convencionalmente ortonormales). eso es para
26- Hemos demostrado que (ver 8) un ket arbitrario , en el espacio ocupado por los autos de , se puede expandir como
27- En mecánica cuántica una medida siempre hace que el sistema salte a uno de los estados propios del observable físico que se está midiendo.
Digamos que el sistema está en un estado antes de la medición y queremos medir el observable . Después de la medición, el sistema se lanza a uno de los , decir , eso es,
28- No sabemos de antemano en cuál de los el sistema será arrojado como resultado de la medición, pero se postula que la probabilidad de saltar a algún estado propio particular es dado por .
29- El valor esperado de un observable por un estado Se define como
30- Como se mencionó antes (ver 8) la notación presentada hasta ahora era para espacios vectoriales con dimensiones discretas (contables). En el caso de espacios vectoriales con dimensión continua (incontable), la notación cambia ligeramente.
Dejar representar un observable con autos continuos , entonces las definiciones anteriores cambian a
31- La posición, como observable, es un buen ejemplo de un espacio vectorial con dimensión continua. Dejar ser el operador de posición en una dimensión entonces
32- El término es la función de onda en el espacio de posiciones y se representa como
[*] Adoptado del libro Modern Quantum Mechanics (Revised Edition) de JJ Sakurai, p 10-60.
usuario108787
sn
usuario108787
marzo
knzhou