MEDICIONES IDEALES EN LA MECNICA CUNTICA SERGIO MARTNEZ Instituto de Investigaciones Filosficas UNAM -when you ana/yse ths /anguage that the phy- scsts have fal/en nto that physcs s about the resu/ts of observatons- you fnd that on ana/yss t evaporates and nothng very c/ear s beng sad. JOHN BELL 1. Introduccin Los esfuerzos por encontrar una interpretacin satisfac- toria de la mecnica cuntica han -tenido y seguirn te- niendo importantes implicaciones a todo lo largo y ancho de la filosofa de la ciencia. En este trabajo examinamos un aspecto importante de este problema: el problema de caracterizar los sistemas (propiedades o procesos fsicos) a los que la mecnica cuntica se refiere. Qu tipo de cambio en propiedades de sistemas individuales genera la estructura estadstica (ampliamente corroborada ex- perimentalmente) de la teora cuntica? Una forma de abordar este problema es a travs de un anlisis de la frmula que supuestamente describe la transformacin de estado fsico que tiene lugar en una medicin. Esta frmula la denotaremos aqu con VNL. VNL fue introdu- cida por Von Neumann en 1932 y modificada por Lders en 1951. Sobre la base de una distincin entre dos tipos 13 de estados cunticos, y de resultados obtenidos previa- mente, formularemos una interpretacin de la frmula VNL que, en contraposicin a las interpretaciones usua- les, deja ver claramente su contenido fsico as como su estructura matemtica. En este trabajo entendemos por "medicin" un pro- ceso fsico que lleva a la determinacin (total o parcial) del estado de un sistema. En la fsica estadstica clsica una medicin ideal puede caracterizarse como un proceso de observacin seguido de uno de clasificacin (Furry (1965)). En general, dada cierta magnitud fsica, la fsica clsica presupone que tal sistema, en un tiempo dado, tiene un valor preciso y determinado de esta magnitud y que la medicin consiste nicamente en descubrir, con mayor o menor exactitud, cul es ese valor. Sin embargo, en la mecnica cuntica parece que no es posible inter- pretar ni siquiera las mediciones ms idealizadas como procesos de observacin y clasificacin. Por ejemplo, si medimos sz, la componente z de la magnitud fsica spin de una colectividad (ensemble) de partculas (que pueden tomar los valores + y -), y for- mamos una colectividad con las partculas de valor +, la probabilidad de obtener una partcula con valor + para el spin es 1. Si en esta colectividad medimos Sx, spin en direccin x, encontramos que la probabilidad de que la medicin resulte en uno de los dos valores posibles + y - es !. Si ahora volvemos a medir Sz en la colectividad ini- cial (reuniendo las dos colectividades obtenidas despus de medir sx), o si medimos Sz en una de las subcolec- tividades generadas por la medicin de Sx, encontramos que la medicin no da como resultado + con certidum- bre (probabilidad 1). La medicin de sx ha perturbado la colectividad de tal forma que los sistemas individuales no tienen ya un valor definido para Sz. Esta perturbacin puede interpretarse de diferentes 14 formas, pero es claro que experimentos como el anterior- mente mencionado involucran perturbacin, por lo me- nos en el sentido siguiente: Los experimentos requieren el uso de un nuevo operador estadstico para describir el estado de la colectividad (ensemble) al final de la me- dicin. Este operador nos lo proporciona el algoritmo fundamental de la mecnica cuntica. Pero cmo pode- mos interpretar este estado de cosas en trminos de los sistemas individuales que componen la colectividad? En la mecnica estadstica clsica las probabilidades obteni- das pueden interpretarse como frecuencias relativas (de valores de magnitudes). Sin embargo, esto no parece ser posible en el caso de las probabilidades generadas por la mecnica cuntica.' La pregunta es, entonces, de qu son estadsticas las estadsticas cunticas? Una forma de enfocar este problema es a travs de una discusin del llamado postulado de la proyeccin. Esto requiere la in- troduccin preliminar de una distincin importante. 2. Dos conceptos de estado fsico La discusin presente se basa en la distincin entre dos conceptos de estado fsico necesarios para la interpre- tacin de la mecnica cuntica. Quiero distinguir entre el concepto de estado estadstico y el concepto de estado individual de un sistema.? 1 Interpretaciones estadsticas o mnimas de la mecnica cuntica tra- tan de explicar la estadstica por medio de un anlisis semiclsico en el que las partculas tienen siempre trayectorias definidas. Einstein es famoso por sugerir una interpretacin de este tipo. (Ver Schilpp (1949), Ballantine (1972).) Una propuesta reciente para reconstruir la idea de Einstein se encuentra en Fine (1986). Una interpretacin estadstica o mnima tiene que confrontar una serie de resultados (basados en los teoremas de Kochen y Specker y de Bell en particular) que parecen ex- cluir las versiones fsicamente aceptables de una interpretacin mnima. Asumimos aqu que stas, y otras razones, justifican la bsqueda de una interpretacin realista no mnima del postulado de la proyeccin. 2 Usualmente estos dos conceptos de estado se confunden. Esta con- 15 La idea detrs de esta distincin no es nueva. Puede decirse que es tan antigua como la mecnica cuntica, aunque la preponderancia de tendencias positivistas ha hecho que se pierda el rastro de tal idea en las formula- ciones y discusiones actuales. Estados individuales describen el estado actual del sis- tema, esto es, el conjunto de las propiedades fsicas que el sistema "tiene" con respecto a una teora, en este caso la teora cuntica. Estados estadsticos (puros) son medidas de probabilidad generadas por el algoritmo fundamental de la mecnica cuntica, interpretadas como asignacio- nes de la probabilidad de que las propiedades se preser- ven a travs de estados individuales que representan el cambio de estado inherente a una medicin. El hecho de que estados individuales estn relacionados no por una ley determinista (causal), sino nicamente por medio de probabilidades, expresa el origen del carcter indetermi- nista de la mecnica cuntica. Estados estadsticos son los estados a los que las leyes dinmicas se aplican (deter- minsticamente). Generalmente se asume que los estados estadsticos se corresponden uno a uno con los. estados individuales de un sistema dado. Esquemticamente, la idea usual es que el estado individual generado por un vector-estado a consiste en todos los valores propios de subespacios (correspondientes a propiedades del sistema) que incluyen a. En el lenguaje de la lgica (semntica) algebraica, el estado individual generado por a es el ul- trafiltro generado por a. 3 fusin parece tener su origen (por lo menos parcialmente) en el anlisis del proceso de la medicin a travs del famoso "colapso del paquete de ondas" . De acuerdo con esta idea, las probabilidades de transicin entre estados cunticos son probabilidades de transicin de superposiciones a vectores-estado. Esto oscurece la diferencia que segn nosotros debe mantenerse entre vectores-estado y estados individuales. 3 Kochen (1979) distingue entre estados individuales y estados esta- dsticos. La distincin que introduzco en este trabajo es similar aunque 16 En 1987 introdujimos la idea de un estado individual relativo a magnitudes. Un estado relativo a magnitudes es un conjunto de propiedades que corresponden a valores propios de sub espacios del espacio total que, a su vez, son subespacios del subespacio asociado con una magnitud mxima (con respecto a la cual el estado se relativiza). En este marco semntico las probabilidades de transicin postuladas describen transiciones entre estados indivi- duales directamente y no a travs de estados estadsticos. Esto restringe el conjunto de propiedades que un sistema "tiene" a aquellas propiedades correspondientes a valores de magnitudes que son compatibles con la magnitud en cuestin." hay diferencias importantes que no vienen al caso. Una distincin pa- recida puede vislumbrarse en la interpretacin modal de Van Fraassen (981). En otro trabajo (en preparacin) muestro cmo estas ideas pue- den implementarse y clarificarse en el marco semntico reticular que he presentado en (1987). 4 Acontinuacin resumimos el argumento relevante en Martnez (1987). Identificamos una magnitud fsica con un retculo booleano atmico completo generado por un conjunto de eventos posibles y mutuamente excluyentes. Definimos "contexto de medicin" por un par (a, M), donde a es un tomo y M una magnitud mxima. El ultrafiltro booleano en M, que denotamos por [a)M representa el estado individual (que lla- mamos estado de tipo B) generado por el contexto (a, M). Finalmente postulamos que los estados individuales (de tipo B) estn relacionados por una funcin de probabilidad de transiciones. n estado individual es accesible a partir de otro si la probabilidad de transicin es diferente de cero. Dado un sistema en estado inicial [a)M, hay en general varios esta- dos que son accesibles en una magnitud N. Cada uno de estos estados (tomos) generan transformaciones que llamamos consonantes con la medicin de N. En caso de existir un solo tomo b en N, que es accesible a partir de a, esto es, el caso en que existe una nica transformacin de estado T(a, b) que puede representar la medicin de N, decimos que T(a, b) es una transformacin pura. Puede mostrarse que las transfor- maciones puras generan una relacin (simtrica) 1 entre magnitudes. Si dos magnitudes estn relacionadas por 1 decimos que las magnitudes son relativamente ideales. El teorema central en (1987) establece que si dos magnitudes M y N son relativamente ideales, entonces la nica transformacin consonante con una medicin de una submagnitud de N, con el sistema inicialmente en el contexto (a, M), es una transformacin pura dada por la frmula VNL. 17 Sobre la base de la suposicin de que estados indi- viduales son relativos a magnitudes (como se precisa en 1987) mostramos que la frmula de VNL puede derivarse, en un marco lgico-cuntico, de principios fsicos simples. La frmula VNL describe la nica transformacin que sa- tisface la propiedad de que el estado final sea "accesible" con certidumbre (probabilidad 1) a partir del estado ini- cial en una magnitud que puede mostrarse, existe y es nica. Un estado individual a es accesible a partir de otro estado individual b si la probabilidad de transicin entre los dos estados es diferente de cero. 3. El postulado de la proyeccin Una medicin genera una transformacin de estado es- tadstico. Esta transformacin puede ser afectada por las caractersticas particulares de un aparato de medicin, adems de representar el producto de la perturbacin inherente a la medicin. Nos interesa el problema de ca- racterizar las transformaciones de estado que son pro- ducto de la perturbacin inherente a la medicin. En ge- neral, transformaciones de estado pueden representarse por funciones de dos variables, T(o:, r), donde el primer argumento es un vector en el espacio de Hilbert del sis- tema que representa el estado inicial del sistema, y el segundo argumento es el valor (propio) de una magnitud que representa el resultado de la medicin. T(o:, r)tH es el vector representante del estado final de acuerdo con la transformacin T. Una medicin puede ser mxima o no mxima. Una medicin es mxima si medimos una magnitud mxima. Esto es, si los valores posibles de la medicin se corres- ponden uno a uno con "rayos" (sub espacios cerrados de dimensin 1) del espacio de Hilbert. Una medicin es no mxima si la medicin concluye con un valor que co- 18 rresponde a un subespacio de dimensin mayor o igual a dos. En el caso de una medicin mxima, la transfor- macin de estado que expresa la perturbacin (mnima) generada por la medicin no es ambigua. Esto se sigue del postulado fundamental que identifica las magnitudes fsicas de un sistema con los subespacios (cerrados) del espacio de Hilbert que representa el sistema. El sistema, inicialmente en estado a (digamos) concluye la medicin en el estado correspondiente al valor medido. Este es el estado final T(a, r). Ahora podemos formular el prin- cipio de Von Neumann de la siguiente manera. A la transformacin a -+ T( a, r) entre estados estadsticos corresponde una transformacin de estados individuales que representa una medicin mnimamente perturbada.t A continuacin ilustramos el uso del principio en la in- terpretacin del proceso de medicin. Sea S un sistema que puede representarse por un vec- tor-estado en un espacio H 3 , esto es, un espacio de Hil- bert de tres dimensiones (isomrfico a un espacio eucli- diano de tres dimensiones) y sean M y N dos magnitu- des definidas as: M = {al,a2,a3}, N = {,8l,,82,,83}. Supongamos que el sistema est. en estado inicial al y que medimos la magnitud N con resultado bl (el valor correspondiente al vector ,81). En condiciones ideales, esto es, cuando dejamos de lado toda perturbacin a ex- cepcin de la perturbacin inherente a la medicin, si el resultado de la medicin es bl , entonces el estado final del sistema es ,81. El significado de estas "condiciones ideales" es claro en trminos de la estructura estadstica ~ Von Neumann consideraba este principio "indispensable para la es-- tructura conceptual de la mecnica cuntica", y l le da buen uso en la tarea de interpretar el formalismo matemtico en trminos fsicos. Sin embargo, la nica evidencia que Von Neumann presenta a favor de su principio se basa en su interpretacin del experimento de Compton- Simons. Sneed (1966) ha mostrado que tal argumento afronta dificulta- des serias. 19 de la teora. Condiciones ideales se obtienen cuando el estado ha sido preparado con anterioridad a la medicin en estado al y la lectura del estado final se hace inme- diatamente despus de la medicin (de tal forma que po- demos ignorar la evolucin dinmica del estado despus de la medicin). Esta operacionalizacin de la nocin de condiciones ideales da como resultado la clase de trans- formaciones de estado llamadas "de primer orden"." En el caso de mediciones no mximas no existe un nico vector que corresponda al valor medido. El" pro- blema surge de justificar tericamente una de las posi- bles transformaciones de estado como la descripcin de la transformacin T(a, r) que describe la perturbacin inherente a la medicin (tanto a nivel estadstico como a nivel de estados de sistemas individuales). Suponga- mos, en nuestro ejemplo anterior, que el resultado de la medicin es el valor d que corresponde al subespacio S generado por los vectores (32 y (33. Cul sera el estado final de acuerdo con la frmula de Von Neumann? Exis- ten infinitos vectores en el subespacio S y cada uno de ellos es un candidato para la descripcin del estado final de acuerdo con el principio de Von Neumann. Von Neumann sugiri (1932) que mediciones no mxi- mas deberan interpretarse como mediciones de magni- tudes mximas con informacin incompleta acerca de la naturaleza de la medicin. Una medicin no mxima para 6 Dejamos de lado un problema serio. Supongamos que el postulado de Von Neumann define una clase de procesos fsicos. Existe la posibilidad de que tales procesos sean muy raros o incluso inexistentes, en cuyo caso la frmula de Von Neumann, y por consiguiente la frmula VNL, descri- bira una clase vaca (o casi vaca) de transformaciones fsicas. ste es un problema serio para la interpretacin usual de la frmula VNL, ya que existen importantes restricciones al tipo de transformaciones fsicas que la frmula de Lders describira en la interpretacin usual, que son con- secuencia de las leyes dinmicas de la mecnica cuntica. Por ejemplo, restricciones generadas por los teoremas de Wigner y Araki y Yanase. Para un examen de estos teoremas y algunas de sus consecuencias, ver Stein y Shimony (1971). 20 Von Neumann era una medicin mxima disfrazada con las imperfecciones inherentes a los instrumentos usados en la medicin. La frmula de Von Neumann entonces, as entendida, hara la seleccin del estado final dependiente de la magnitud mxima implcitamente medida. Lders (1951) parece haber sido el primero en suge- rir que la descripcin de Von Neumann de mediciones no mximas no es correcta. Segn Lders existen mediciones no mximas genuinas, esto es, mediciones que correspon- den a procesos fsicos que no presuponen una medicin mxima. Bub (1979) llama a estas mediciones "medicio- nes no mximas autnomas". Mediciones no mximas genuinas (de primer orden) forman, supuestamente, una clase natural de transformaciones fsicas caracterizadas en trminos de un criterio de perturbacin mnima. Las transformaciones asociadas con estas mediciones se des- criben por medio de la frmula de Lders que dice que el estado final de un sistema inicialmente en estado a y resultado de medicin r est dado por la proyeccin del (vector) estado inicial en el subespacio correspondiente al valor medido r. Supongamos que, en nuestro ejemplo anterior, el valor b2 corresponde al sub espacio (plano) generado por (32 y (33. La frmula de Lders nos dice que el estado final est dado por la proyeccin ortogonal del vector a en el subespacio asociado con el valor b2. La frmula VNL es una de tantas posibles transfor- maciones de estado que podran describir una medicin no mxima de primer orden, pero es la nica que per- mite la explicacin fsica de importantes aspectos de la estructura matemtica de la estadstica; por ejemplo, la relacin entre la conmutatividad de operadores y la propiedad fsica de compatibilidad de magnitudes. El problema surge entonces de justificar tericamente la frmula. Aunque importante, este problema se pasa casi siempre por alto en discusiones de los fundamentos de 21 samos en transformaciones de estados estadsticos. La motivacin de Jauch, sin embargo, no es aplicable al pro- blema de justificar la frmula VNL como una descripcin de estados individuales. Adems, segn Jauch, una medicin no mxima "lea- ves us with a certain freedom of choice. .. which cannot be removed without a detailed knowledge of the actual mea- suring equipment" (Jauch, 1968, I1.3). De ser as, medi- ciones no mximas (ideales) no se regiran por la frmula VNL, sino que dependeran de la magnitud mxima que nos proporcionara un conocimiento detallado del pro- ceso de medicin. Esto es, parece ser que la idea de J auch nos llevara a interpretar mediciones mximas de acuerdo con el principio de Von Neumann, en desacuerdo con la frmula VNL. En 1987 hemos mostrado que la frmula VNL recibe una interpretacin clara y precisa como una descripcin de mediciones puras (ver nota 4). Ahora queremos mos- trar que la interpretacin del contenido fsico de la fr- mula VNL, como una descripcin de mediciones puras, captura la intuicin inicial de Von Neumann sin caer en la reificacin injustificada de una clase de transformaciones fsicas tal y como la interpretacin usual de la frmula VNL sugiere. Empecemos por discutir las razones que llevaron a los fsicos a rechazar la idea de Von Neumann y aceptar las razones dadas por Lders y otros en favor de la frmula VNL. Primero hacemos notar que Von Neumann estaba proponiendo dos cosas diferentes. Por un lado, propona una frmula para la descripcin del cambio de estado estadstico en el proceso de la medicin. Por el otro, pro- pona una interpretacin de mediciones como transfor- maciones de estados individuales, de acuerdo con lo cual una medicin no mxima es en realidad una medicin mxima con prdida de informacin. La primera pro- 23 puesta se refiere a la adecuacin emprica de la frmula; la segunda se refiere al problema de la interpretacin semntica de la teora y de mediciones no mximas en particular. Esto ltimo es lo que nos interesa aqu. 4. Las objeciones a la frmula de Von Neumann Las siguientes objeciones se hallan inicialmente en Lders (1951) pero estn desarrolladas en Bub (1979). i) La medicin de una magnitud altamente degenerada (highly degenerate) permite nicamente aserciones relati- vamente dbiles acerca de la colectividad en cuestin. El cambio de estado correspondiente debera ser pequeo, mientras que, precisamente en este caso, la frmula pro- puesta por Von Neumann genera una colectividad muy complicada. ii) Uno esperara que tal y como sucede con estados estadsticos (como consecuencia de la estructura lineal de los espacios de Hilbert), el cambio de estado debera depender slo de Z y rk (donde rk es un valor propio de R). En particular, deberamos esperar que, cuando el estado inicial es puro, el estado final ser tambin puro. Para ver la importancia de la primera objecin consi- deremos el caso extremo de una medicin del operador de identidad (unidad). En este caso todos los vectores son vectores propios del valor propio 1. La propuesta de Von Neumann nos llevara a asignar como estado final una mezcla en que todos los vectores seran igualmente probables." Sin embargo, en este caso parece obvio que 7 Aqu se aprecia mejor el carcter de la primera interpretacin de la propuesta de Von Neumann. La idea de fondo es que es al nivel de obser- vaciones donde las probabilidades pueden y deben interpretarse objeti- vamente (como frecuencias relativas de resultados de medicin). Otras probabilidades simplemente se ignoran. Atisbamos otra vez la relacin ntima que existe entre los problemas en la interpretacin de la mecnica cuntica y los problemas en la interpretacin de probabilidades. 24 no deberamos esperar ningn cambio en el-estado inicial del sistema. La segunda objecin es sumamente relevante para nuestra discusin presente. El estado estadstico final despus de la medicin de una magnitud no mxima, est dado por la proyeccin del estado inicial en el su- bespacio correspondiente al valor medido. La medicin no depende de una magnitud mxima y, adems, es tal que si el estado inicial es puro, el estado final tambin lo es. Esta propiedad de las transformaciones de estados estadsticos est ntimamente relacionada con el hecho de que la frmula VNL es la frmula de probabilidad condicional en estructuras no booleanas de propiedades (o eventos). Si nos restringimos a explicar la mera adecuacin em- prica de la teora a resultados observacionales, interpre- tando vectores-estado como asignaciones de grados sub- jetivos de creencia, las razones que pueden darse para justificar el uso de la frmula clsica de probabilidad con- dicional en una estructura booleana de propiedades, nos llevan a seleccionar la frmula VNL en el caso de estruc- turas estadsticas cunticas (ver Teller (1976) y (1983)). Como ya hemos mencionado antes, esto no es suficiente para entender el cambio de estado fsico inherente a la medicin, si es que ocurre alguno. Para entender la segunda dificultad con la propuesta de Von Neumann para transformaciones individuales de estado recurramos al siguiente ejemplo (Bub (1979)): su- pongamos que el sistema SI +S2 se representa por el es- pacio de Hilbert H 1 x H 2 , donde H 1 representa SI y H 2 representa S2. Sea A una magnitud mxima en SI y su- pongamos que medimos la magnitud no mxima A x h en H 1 x H 2 . De acuerdo con la propuesta de Von Neu- mann el estado resultante de esta medicin depende de la magnitud mxima que el proceso de la medicin se- 25 lecciona. La medicin de A x h es, sin embargo, desde una perspectiva natural y convincente, independiente de la seleccin de una magnitud mxima. Despus de todo, A x 1 2 es, desde un punto de vista fsico, equivalente a la medicin de A en SI. Antes de entrar a evaluar estas objeciones debemos distinguir dos maneras de interpretar la idea de medicin mxima a la Von Neumann. En la que llamar interpre- tacin estricta el aparato que ejecuta la medicin est realmente midiendo una magnitud mxima aunque no podamos determinar la situacin fsica con la suficiente precisin como para saber cul es esa magnitud mxima. En la interpretacin que aqu se propone la medicin en cuestin es slo "equivalente", en un sentido que se precisa abajo, a una medicin mxima (privilegiada). En nuestra ilustracin de la segunda objecin se asu- me que una medicin de uno de los subsistemas del sis- tema compuesto SI +S2 se hace con un aparato que eje- cuta efectivamente una medicin mxima en el sistema compuesto. Esto se considera inaceptable ya que pare- cera implicar que nuestro aparato de medicin puede leer nuestra mente y/o adivinar cul es el sistema total del que SI es un subsistema. Pero esta no es la nica forma posible de interpretar la propuesta de Von Neumann. Hacemos notar que la aplicacin de la frmula VNL involucra estipulaciones en el proceso de la medicin. Es claro que muchos experimentos que un fsico llamara una medicin no obedecen la frmula de Lders, ni siquiera aproximadamente. La idea comn es que estas estipula- ciones pueden entenderse como condiciones que permiten aislar la medicin de toda perturbacin con la excepcin de la perturbacin mnima inherente a la medicin. Pero no parece haber ningn criterio fsicamente satisfacto- rio que nos permita formular esta idea claramente (ver Martnez (1988) y otras referencias mencionadas all). 26 5. Una interpretacin alternativa de la propuesta de Von Neumann Nuestra distincin entre estados individuales yestadsti- cos, as como la derivacin de la frmula VNL en el marco semntico de estados individuales relativos a magnitu- des, sugiere la siguiente interpretacin. Una medicin no mxima ideal es "equivalente" a una medicin mxima nica en el sentido siguiente: la medicin termina con el mismo resultado y con la misma transformacin de estado generada por una medicin de la magnitud mxi- ma privilegiada (es decir, la nica magnitud que genera una transformacin pura). En la interpretacin estricta el aparato determina la magnitud porque, en realidad, est midiendo la magnitud. En la segunda interpretacin la determinacin es de naturaleza diferente. El aparato interacta con el sistema que est siendo medido de tal forma que cambia el sistema en cierto modo. Este es el tipo de cambio que hace de la medicin una medicin ideal; el tipo de perturbacin que corresponde al cambio de estado individual generado por una medicin de la magnitud mxima privilegiada. De esta forma el cambio de estado fsico inherente a la medicin se caracteriza por lo que sucede al estado individual ('1] un proceso de medicin ideal. En nuestra interpretacin el anlisis de la segunda difi- cultad con la propuesta de Von Neumann es simple. Una medicin de uno de los miembros del sistema compuesto se hace con un aparato que no ejecuta una medicin mxima en el sistema compuesto como un todo (como la primera interpretacin requerira). Con esta interpre- tacin en mente, la propuesta de Von Neumann se torna problemtica. Ms bien, de acuerdo con la interpretacin de la idea de Von Neumann que proponemos aqu, la me- dicin de uno de los subsistemas resulta en un cambio en el estado individual del sistema compuesto que, en con- 27 diciones ideales, es el mismo cambio que experimentara si fuera medido con un aparato diferente, que midiera la magnitud mxima nicamente asociada con la frmula VNL (ver nota 4). Una medicin en un subsistema del sistema compuesto no tiene que construirse como una medicin en el sistema compuesto, sino ser slo "equivalente" a una medicin que no depende de la medicin de una magnitud mxima arbitraria. La nica dificultad potencial en esta interpre- tacin resulta de que, en general, el estado individual del sistema compuesto cambia con la medicin de uno de los subsistemas. Pero esto no es problema si estamos dispuestos a tomar seriamente lo que muchos creen que es la leccin de los teoremas de Bell (ver, por ejemplo, Shi- mony (1979)) -que los miembros del sistema compuesto no deben verse como sistemas separados. Los detalles de tal interpretacin requieren por supuesto un estudio ms detallado de la relacin entre estados individuales y esta- dos estadsticos, y cmo estos estados se relacionan con las leyes de evolucin dinmica de la teora. Dejaremos este tema para un estudio posterior. REFERENCIAS BIBLIOG RFTCAS Ballantine, L. (1972): "Einstein's Interpretation of Quanturn Me- chanics", American Jourtial 01 Physics, 40: 1763-71. Bub, J. (1979): "The Measurernent Problern in Quanturn Mecha- nics", en Prob/ems in the Foundations 01 Physics, T. Di Francia (ed.), Nueva York. Fine, A. (1986): The Shaky Game, Einstein Rea/ism and the Quantum Theory, Chicago, Univ. of Chicago Press. Furry, W. (1965): "Sorne Aspects of the Quanturn Theory of Measurernent", Lectures in Theoretica/ Physics, VIllA, Boulder, Colorado. Herbut, F. (1969): "Derivation of the Change of State in Measu- rernent frorn the Concept of Minirnal Measurernent", Anna/s 01 Physics, 55: 271-300. 28 Jauch, J. M. (1968): Foundations o/ Quantum Mechanics, Addi- son-Wesley. Kochen, S. (1979): ''The Interpretation of Quantum Mechanics", Dept. de Matemticas, Princeton Univ., manuscrito. Lders, G. (1951): "ber die Zustandsanderung durch den MeB- prozess", Annalen der Physik, 8: 322-328. Martnez, S. (1987): "Lders' Rule as a Description of Individual State Transformations", por publicarse prximamente en Philo- sophy o/ Science. -- (1988): "Minimal Disturbance in Quantum Logic", Proce- edings o/ the 1988 Philosophy o/ Science Association Meetings, vol. 1, East Lansing, Philosophy of Science Assoc. Schilpp, P. (ed.) (1949): Albert Einstein: Philosopher Scientist, La Salle, m., Open Court. Shimony, A. (1979): "Metaphysical Problems in the Foundations of Quantum Mechanics", International Philosopliicol Quarterly, 18: 3-17. Sneed, J. (1966): "Von Neumann's Argument for the Projection Postulate", Philosophy o/ Science, 33: 22-39. Stein, H. y A. Shimony (1971): "Limitations on Measurement", en B. d'Espagnat (ed.), Foundations o/ Quantum Mechanics, 55-76, Nueva York, Academic Press. Teller, P. (1976): "Conditionalization, Observation and Change of Preference", en W. Harper y e Hooker (eds.), Foundations o/ Probability Theory, Statistical Iuference, and Statistical Theo- ries o/ Science, Dordrecht, D. Reidel. -- (1983): "The Projection Postulate as a Fortuitous Approxi- mation", Philosophy o/ Science, 50: 413-431. Van Fraassen, B. (1981): "A Modal Interpretation ofQuantum Me- chanics", en Current Issues in Quantum Logic, E. Beltrametti y B. Van Fraassen (eds.), Nueva York, Plenum Press. Von Neumann, J. (1932): Mathematische Grundlagen der Quan- tenmechanik, Berln, Springer Verlag. Recibido: 16 ago5to 1988. 29 SUMMARY As a series of investigations have shown, the interpretation of the change upon measurement in quantum mechanics described by the "projeetion postulate", as a purely statistical formula, is clear. This formula, here denoted by VNL, is a version of the conditional expeetation in Hilbert spaces, and this mathematical result can be given a solid physical interpretation in terms of quantum statistics. The problem of interpretation arises when the formula comes in for interpretation, as a description of what happens to (states of) individual systems in measurement. Usual interpretations see the formula VNL as a description of a class of measurement transformations which are "minimally disturbing" o However, a series of arguments show that such an interpretation is seriously flawed. (See Teller (1983), Martnez (1988) and references therein.) . In Martnez (1987) I have derived the formula VNL from sim- ple physical assumptions in a lattice theoretical framework. The formula so derived describes individual state transformations of a certain type. The states involved are states that describe the pro- perties a system has relative to magnitudes (measuring situations). In this paper I propose that the change of state on measurement described by the formula VNL, as derived in (1987), can be un- derstood as a change on individual states along the lines of Von Neumann's initial proposal for interpreting non-maximal measure- ments, I discuss the objections raised by Lders and others to Von Neumann's idea and show that they do not apply to the interpreta- tion proposed here. This proposal has the advantage, among others, that it does not need to reify a controversial class of "minimally disturbing measurement transformations" o 30