Proyecto Fin de Mster en Investigacin Matemtica, Facultad de Ciencias Matemticas, Universidad Complutense de Madrid ************************

PRODUCTOS TENSORIALES, ESPACIOS DE OPERADORES Y JUEGOS CUNTICOS ENTRELAZADOS

Escrito por David Gonzlez Gonzlez, bajo la supervisin del Prof. David Prez Garca, en el curso acadmico 2010-1011

Resumen en castellano
Los juegos cl asicos 2P1R (del ingl es, 2-prover-1-round) yacen en la esencia misma de la teor a de complejidad. Han sido utilizados, por ejemplo, para mostrar ciertos resultados de no aproximabilidad. Son adem as un marco natural para estudiar la complejidad en la comunicaci on. En f sica, en referencia a las desigualdades de Bell, han sido utilizadas durante m as de medio siglo para entender y vericar la mec anica cu antica. Recientemente, se han convertido adem as en el lenguaje para producir los primeros protocolos de criptograf a cu antica incondicionalmente seguros, tales como la distribuci on en clave cu antica y la generaci on de n umeros aleatorios. La versi on cu antica de los juegos 2P1R fue introducida por primera vez en 2003. Formalmente, un arbitro R (del ingl es, Referee ) construye un estado cu antico tripartito |i ABC HA HB HC y env a el sistema A a Alicia y el sistema B a Benito. Se asume adem as que Alicia y Benito comparten un estado cu antico arbitrario a su voluntad, | HA HB . Se les permite efectuar operaciones cu anticas arbitrarias TAA y TBB en sus sistemas respectivos HA HA y HB HB , sin poder comunicarse entre ambos. Una vez realizadas, devuelven los estados de sus sistemas A, B al arbitro, que implementa otra medida {P0 , P1 = Id P0 } en el sistema com un A, B, C . Si el resultado de la medida es 1, Alicia y Benito ganan el juego cu antico. Si el resultado es 0, pierden. El juego G = G(|i , P1 ) est a totalmente determinado por el estado inicial y la medida nal del arbitro. El valor del juego, (G), se dene como la m axima probabilidad de la victoria. El supremo de dicha probabilidad sobre todos los estados | y todas las operaciones cu anticas TAA , TBB . Nos restringiremos al caso en el cual la medida P1 es de hecho una proyecci on de rango 1, P1 = | | . Esto modeliza muchos procesos cu anticos interesantes, tales como el intercambio coherente de estados, o la criptograf a cu antica basada en la posici on. El objetivo de este trabajo es mostrar c omo se pueden utilizar las t ecnicas propias de la teor a de espacios de operadores para analizar esta clase de juegos. Tenemos a nuestra disposici on gran cantidad de herramientas matem aticas nuevas que probablemente nos permitan avanzar a un m as all a. Adem as, para introducir convenientemente el escenario de trabajo, se presentan los 4 postulados de la mec anica cu antica en los que se basa la teor a de la informaci on y computaci on cu anticas, la operaci on del producto tensorial algebraico en general, y las normas tensoriales sobre productos tensoriales de espacios de Banach. Todo esto se sigue de una presentaci on de los resultados y descripciones fundamentales de la teor a de espacios de operadores, as como de sus productos tensoriales. Palabras clave, en ingl es: tensor products, operator spaces and quantum entangled games. anticos En castellano: productos tensoriales, espacios de operadores y juegos cu entrelazados. C odigos MSC: 47L25, 81P45

El abajo rmante, matriculado en el M aster en Investigaci on Matem atica de la Facultad de Ciencias Matem aticas, autoriza a la Universidad Complutense de Madrid (UCM) a difundir y utilizar con nes acad emicos, no comerciales y mencionando expresamente a su autor el presente Trabajo Fin de M aster: Productos tensoriales, espacios de operadores y juegos cu anticos entrelazados., realizado durante el curso acad emico 2010-2011 bajo la direcci on de David P erez Garc a en el Departamento de An alisis Matem atico, y a la Biblioteca de la UCM a depositarlo en el Archivo Institucional E-Prints Complutense con el objeto de incrementar la difusi on, uso e impacto del trabajo en Internet y garantizar su preservaci on y acceso a largo plazo. David Gonz alez Gonz alez, 2 de octubre de 2010

Abstract
Classical 2-prover-1-round (2P1R) games lie at the heart of complexity theory. They were rst consider in [1]. They have been used, for instance, to show tight innaproximability results [5]. They are also the natural setting to study in communication complexity [2]. In physics, called there Bell inequalities [9], they have been used for more than half a century to understand and verify quantum mechanics. Recently [4, 8], they have become also the language to produce the rst unconditionally secure quantum cryptographic protocols, such as quantum key distribution and random number generation. The quantum version of 2P1R games was introduced in [6]. Formally, a referee R constructs a tripartite quantum state | RAB and sends system A to Alice and system B to Bob. Alice and Bob are then assumed to share an arbitrary (at their will) quantum state. They can do then arbitrary quantum operations in their systems without communication to each other. Then they send back systems A,B to the referee, who implement a measurement P0 , P1 = 1 P0 on the joint system ABC . If the output of the measurement is 0, Alice and Bob win the game, and if it is 1 they loose it. The value of the game (G) is dened as the maximum winning probability. We will restrict ourselves to the case in which P0 is a rank-one orthogonal projector. This models many interesting quantum procedures, such as coherent state exchange [7] or position based quantum cryptography [3]. The aim of this work is to show that one can use operator space techniques to analyze this type of games. In this way we have at our disposal many new mathematical tools that will probably allow us to go far beyond the current state of the art.

References
[1] M. Ben-Or, S. Goldwasser, J. Kilian, and A. Wigderson. Multi-prover interactive proofs: how to remove intractability assumptions. In Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, pages 113131, 1988. [2] Harry Buhrman, Richard Cleve, Serge Massar, and Ronald de Wolf, Nonlocality and communication complexity, Rev. Mod. Phys. 82, 665 (2010).

[3] Harry Buhrman, Nishanth Chandran, Serge Fehr, Ran Gelles, Vipul Goyal, Rafail Ostrovsky, Christian Schaner, Position-Based Quantum Cryptography: Impossibility and Constructions, arXiv:1009.2490 [4] Esther Hnggi, Renato Renner, Stefan Wolf, Quantum Cryptography Based Solely on Bells Theorem, EUROCRYPT 2010, pp. 216-234, 2010 [5] J. Hastad. Some optimal inapproximability results. J. ACM, 48(4):798859, 2001. [6] Hirotada Kobayashi, Keiji Matsumoto, Tomoyuki Yamakami, Quantum Merlin-Arthur Proof Systems: Are Multiple Merlins More Helpful to Arthur?. Algorithms and Computation, 14th International Symposium, ISAAC 2003, volume 2906 of Lecture Notes in Computer Science, pages 189198, 2003 [7] Debbie Leung, Ben Toner, John Watrous, Coherent state exchange in multi-prover quantum interactive proof systems, arXiv:0804.4118. [8] S. Pironio, A. Acin, S. Massar, A. Boyer de la Giroday, D. N. Matsukevich, P. Maunz, S. Olmschenk, D. Hayes, L. Luo, T. A. Manning, C. Monroe, Random Numbers Certied by Bells Theorem, Nature 464, 1021 (2010) [9] R.F. Werner, M.M. Wolf, Bell inequalities and Entanglement, Quant. Inf. Comp., 1 no. 3, 1-25 (2001).

 Indice
Postulados de la mec anica cu antica. Ejemplos. Necesidad del producto tensorial. P ag. 2 El producto tensorial algebraico. Deniciones b asicas. Propiedades. Linearizaci on. Propiedad universal. Productos tensoriales de operadores lineales. Ejemplos. P ag. 5 Normas tensoriales. Norma proyectiva. Norma inyectiva. Representaciones. Dualidad. Ejemplos. P ag. 9 Espacios de operadores. Generalidades. Operadores completamente acotados. Teorema de representaci on de Ruan. Construcciones b asicas. Ejemplos: espacios de operadores de Hilbert la y columna. P ag. 17 Productos tensoriales de espacios de operadores. Producto tensorial proyectivo. Producto tensorial inyectivo. Propiedades b asicas. Producto tensorial de Haagerup. Ejemplos: productos de espacios de operadores de Hilbert la y columna. P ag. 32 Una aplicaci on interesante: el juego cu antico entrelazado. Escenario. Valor del juego. Matrices asociadas al juego. P ag. 45 Referencias bibliogr acas. P ag. 48

Postulados de la mec anica cu antica

Es necesario modelizar matem aticamente el marco de trabajo en el que se desarrolla la teor a que va a ser tratada. Esto se consigue con los cuatro postulados de la mec anica cu antica. El consenso cient co actual establece: Postulado 1: Todo estado de un sistema f sico aislado se describe mediante un vector unitario en un espacio de Hilbert (complejo), llamado espacio de estados. Este espacio puede ser nito o innito-dimensional. Es preciso hacer notar que este postulado no informa por s mismo del espacio concreto a utilizar en cada problema. De ahora en adelante, como suele ser usual en la teor a de informaci on cu antica, el tratamiento ser a restringido al caso de dimensi on nita. Por ejemplo, el sistema cu antico m as simple, el qubit, se describe mediante un espacio bidimensional. En f sica cu antica, trat andose de espacios de Hilbert, se utiliza siempre la llamada notaci on de Dirac: |x H (ketpara un vector del espacio H ), de modo que una base para el espacio de estados del qubit se puede escribir {|0 , |1 }. As , un estado f sico cualquiera es a |0 + b |1 , con a, b C, |a|2 + |b|2 = 1. Dos paradigmas son el sistema formado por un electr on at omico, jado un orbital (a saber, sus n umeros cu anticos de energ a, momento angular y componente z del momento angular) y con libertad para el valor de su esp n, o bien un atomo de plata en el importante experimento de SternGerlach (prueba experimental en f sica cu antica de la existencia del esp n y su cuantizaci on); y el de un fot on en un experimento de ltros polarizadores de luz. Postulado 2: Un sistema cu antico cerrado evoluciona mediante una transformaci on (operador) unitaria U de modo que si en un instante de tiempo t = t1 tiene estado |x , su estado dado t = t2 es |x = U |x . En realidad, todos los sistemas de la naturaleza son no cerrados. Ocurre, como en cualquier teor a f sica, y como necesidad para el tratamiento matem atico formal, que la aproximaci on con la que se describen muchos sistemas es muy buena utilizando este abordaje. Una versi on de este postulado que la incluye como caso particular es la descripci on de la evoluci on en tiempo continuo mediante la ecuaci on de Schr odinger: i d |x = H |x dt

donde tiene unidades de acci on (constante de Planck, de valor aproximado = 6 1034 J s), y el operador H, llamado hamiltoniano, que devuelve un valor asociado a la energ a del sistema, es herm tico. De la misma manera que sucede en el postulado 1, esta versi on abstracta no ofrece una descripci on precisa del hamiltoniano en cada caso. Algo id entico sucede con el operador unitario U de la versi on discreta. Este postulado ata ne a la din amica, de la misma forma 2

en que lo hace la segunda ley de Newton en mec anica cl asica, sin informar por s misma de la fuerza concreta que sobre un sistema act ua en cada situaci on. Resolviendo la ecuaci on, mediante teor a espectral b asica y teniendo en cuenta la hermiticidad (y consiguiente diagonalizabilidad) de H se obtiene un estado |x(t = t2 ) = exp(i 1 (t2 t1 ) H) |x(t = t1 .Tambi en, se prueba que la funci on H exp(iH) es una biyecci on entre el conjunto de operadores herm ticos y el conjunto de operadores unitarios en un espacio de Hilbert, lo que establece una equivalencia entre ambas formulaciones del postulado. Postulado 3: Una medida sobre un sistema cu antico se describe mediante un conjunto de operadores {Pm }mM de medidasobre el espacio de estados. El valor que tiene una medida yace en el conjunto M (que se supone nito) y tiene naturaleza probabil stica (indeterminaci on inherente al mundo cu antico, por contraposici on al cl asico), la probabilidad de obtener un resultado m es, + para un sistema cu antico en estado |x , el valor p(m) = x|Pm Pm |x , escrito nuevamente en notaci on de Dirac, donde x|y denota el producto escalar de los ket |x e |y , equivalente a la actuaci on de la forma lineal o bra x| del espacio dual -del espacio de estados, que es de Hilbert- sobre el ket |y . La medida modica el estado del sistema, que tras una medida de resultado m modica su
+ Pm |x , es decir, la normalizaci on del ket Pm |x . estado al nuevo Pm |x / x|Pm + Los operadores deben satisfacer la relaci on de completitud Pm = I , con Pm mM

lo cual p es de hecho una probabilidad sobre el conjunto M , siempre y cuando se le dote de una estructura de - algebra apropiada. Para conjuntos nitos, claro est a, las partes de M . Por ejemplo, para un qubit, la medida en la base computacional.est a dada por {P0 = |0 0| , P1 = |1 1|} , donde en notaci on de Dirac, |x y | o producto exterior de los kets |x e |y , es el operador denido en el espacio de estados dado por (|x y |) |z = y |z |x . Dado |x = a |0 +b |1 , se obtiene 0 con probabilidad 2 2 x|P0 |x = 0|aa|0 = |a| y 1 con probabilidad |b| , y siendo, respectivamente, |0 y |1 el estado del sistema tras la medida, en caso de que se acepte que dos estados en un sistema son equivalentes si dieren en un factor de m odulo unidad. Esto sucede en mec anica cu antica, pues de alg un modo los estados de un sistema cu antico forman parte de una especie de mundo ocultodel que solo se pueden extraer algunas propiedades indirectamente y al precio de modicar el estado del sistema, no pudi endose diferenciar dos estados relacionados de tal forma mediante ning un medio. Es frecuente, como en este caso, la notaci on |m para un estado cu antico o vector en el espacio de estados que est a asociado a medidas que producen como resultado el valor num erico m. Tambi en, en multitud de ocasiones, los operadores {Pm }mM que participan en el proceso de medida son proyectores ortogonales sobre el espacio de estados (de hecho, en muchos textos, es esta versi on restringida la que se designa como postulado 3). Se puede demostrar que este caso particular del postulado 3 se 3

hace equivalente al anterior si se permite que los proyectores sean combinados con transformaciones unitarias. En esta situaci on, se dene el observable M asociado a la medida como el operador herm tico con descomposici on espectral M= mPm . As pues, una medida devuelve un autovalor de un observable,
mM

con una probabilidad dada por el m odulo cuadrado de la proyecci on del estado cu antico del sistema en el subespacio asociado al autovalor m, p(m) = x|Pm |x , coherente con el formalismo general si Pm es proyector; y modica el estado del sistema, que pasa a ser Pm |x / x|Pm |x tras la misma. Ejemplos concretos de esto pueden corresponder a atomos de plata que en un experimento de SternGerlach muestran su esp n en una orientaci on determinada a lo largo de un eje jo, de manera tal que sucesivas medidas del esp n en el mismo eje producen siempre el mismo resultado. Se dene el valor medio de la medida (con un estado jo) como la esperanza matem atica E (M ) = mp(m) = x|M |x , cuya consideraci on es muy
mM

natural dada la naturaleza estad stica de las medidas en mec anica cu antica. De forma an aloga se denen otros momentos, y la desviaci on t pica [(M )] = E (M E (M ))2 = E (M 2 ) E (M )2 . Se pueden entender estos conceptos, en esencia, como los correspondientes al comportamiento estad stico de un sistema cu antico preparado repetidas veces en una misma condici on inicial y sujeto a la medida asociada al observable M en cada una de ellas. En particular, son susceptibles de aplicarse las leyes de los grandes n umeros para predecir propiedades de las medidas, como sucede en un experimento de Stern-Gerlach con un haz compuesto por un n umero gigantesco de atomos, el cual siempre se desdobla en dos haces correspondientes a cada uno de los dos resultados posibles del esp n (de probabilidad 0,5) que tienen la misma intensidad -como muestra del n umero medio de atomos-. De estas deniciones tal como est an planteadas se puede deducir una versi on bastante general del paradigm atico principio de indeterminaci on de Heisenberg para dos observables A y B sobre un sistema cu antico en estado |x : (A) (B ) = 1 x| [A, B ] |x 2

si bien es posible presentar una versi on alternativa tratando los momentos estad sticos como operadores. En el caso conocido en f sica de H = L2 (R), operador posici on X dado por la multiplicaci on por la variable independiente x d y operador momento P dado por el operador diferencial i dx toma la forma X P 2 . Postulado 4: Un sistema cu antico compuesto, esto es, formado por n sisn temas f sicos diferentes {Ai }i=1 se describe mediante un espacio de estados que corresponde al producto tensorial HA1 HAn de los espacios de estados de cada uno de los sistemas. Adem as, si el sistema Ai se encuentra en el estado |xi , el sistema global se encuentra en el estado |x1 |xn . 4

Es necesario introducir el producto tensorial hilbertiano como herramienta can onica para la descripci on de un sistema compuesto, que se convierte de este modo en un concepto clave de la matem atica utilizada en informaci on cu antica. Para este caso sencillo, basta entenderlo como un nuevo espacio n de Hilbert formado por todas las combinaciones lineales i=1 |xi |yi , con |xi HA , |yi HB , tal que si HA y HB tienen bases ortonormales {|ei }iI y {|fj }j J , HA HB tiene base ortonormal {|ei |bj }(i,j )I J , el s mbolo |x |y denota el estado |x para el sistema A e |y para el sistema B , siendo la coordenada asociada a |ei |bj el valor ai bj si ai es la asociada a |ei para |x y bj a |fj para |y . El producto escalar est a dado por ei fj |ei fj = ii jj Parece natural contemplar todos los estados combinaci on |x |y . El principio de superposici on en mec anica cu antica, como posibilidad de suma de estados, justica la posibilidad de combinaciones lineales: ai bj |ei |bj para un estado. Una situaci on novedosa respecto al mundo cl asico, y con grandes consecuencias, es la existencia de los llamados estados entrelazados (quantum entanglement ): existen estados de HA HB que no pueden escribirse como un producto tensorial elemental|x |y para ningunos |x HA , |y HB , sino que requieren combinaciones lineales de m as elementos, seg un las cuales no es posible asociar un estado concreto para cada sitema particular. Sus grandes implicaciones en estas teor as motivan un estudio profundo del producto tensorial.

El producto tensorial algebraico

Esta herramienta es, en un principio, propia del algebra lineal, y por tanto denida u nicamente como una operaci on sobre la categor a de los espacios vectoriales. Se trabajar a con escalares k = R o k = C. Las ideas expuestas previamente dejan patente la idea del producto tensorial de dos espacios vectoriales E, F de dimensiones nitas respectivas m y n como un nuevo espacio E F m n de dimensi on mn tal que tomando bases {ei }i=1 para E y {fj }j =1 para F , se genera E F mediante los s mbolos (vectores de este nuevo espacio vectorial) m n m,n {ei fj }i=1,j =1 . As , dado x = i ei E , y = j fj F , se
i=1 j =1

puede identicar x y = (1 , . . . , m ) (1 , . . . , m ) 1 1 1 n . . .. . (1 1 , 1 y2 , . . . , m n ) . . . . m 1 m n (como espacios vectoriales), de modo que E F consiste en todas las combinan ciones posibles i=1 xi yi con xi E , yi F, i = 1, . . . , n (cuidado con la notaci on vectores vs. escalares), isomorfo a su vez al espacio kmn , as como a 5

los espacios L (km , kn ) B (km kn ) Mm,n de aplicaciones lineales, formas bilineales o matrices respectivamente. La operaci on satisface las propiedades b asicas: i) (x1 + x2 ) y1 = x1 y1 + x2 y1 ii) x1 (y1 + y2 ) = x1 y1 + x1 y2 x1 , x2 E, y1 , y2 F, k iii) (x1 y1 ) = (x1 ) y1 = x1 (y1 ) La versi on nito-dimensional del producto tensorial no es complicada, pero s es restringida. La p erdida de la noci on de base algebraica (por lo menos constructiva) a la hora de trabajar con espacios innito-dimensionales hace necesario contemplar el concepto desde una perspectiva diferente, y son varias las deniciones que se pueden establecer del producto tensorial algebraico de dos espacios vectoriales generales, todas equivalentes por mor de una caracterizaci on algebraica de tipo u niversal.a la que convergen, y que est a estrechamente relacionada con el isomorsmo anterior: L (km , kn ) B (km kn ) Mm,n kmn . Denici on 1.1: dados E, F espacios vectoriales sobre k, Se dene el producto tensorial E F como el subespacio de B (E F ) (dual algebraico) generado linealmente por todos los elementos {x y : x E, y F }, llamados tensores elementales, donde x y (A) = A (x, y ) es su actuaci on sobre los elementos A B (E F ). De modo que
n

EF =
i=1

i (xi yi ) : n N, i k, xi E, yi F i = 1, . . . , n

son todos sus miembros, los tensores. La aplicaci on EF (x, y )

EF xy

es pues bilineal, es decir, se satisfacen las propiedades anteriores. Proposici on 1.2: si {ei : i I } y {fj : j J } son bases algebraicas de E y F respectivamente, entonces {ei fj : i I, j J } es base algebraica de E F . Demostraci on: por denici on, basta probar que {ei fj : i I, j J } es un m n sistema libre. Si i=1 j =1 ij ei fj = 0, dados x E , y F , la aplicaci on A:EF (x, y ) es una forma bilineal, luego
m n

k x (x)y (y )

ij x (ei )y (fj ) = 0 = x

ij ei y (fj ) .

i=1 j =1

i=1 j =1

Si esto se cumple para cualquier x E se concluye que i=1 j =1 ij ei y (fj ) = n 0,y dado que {ei : i I } es base, j =1 ij y (fj ) = 0 para cualquier i. An alogan mente j =1 ij fj = 0 para cualquier i, y dado que {fj : j J } es base, deben ser todos los ij = 0. Como se puede comprobar de manera sencilla en el caso nito-dimensional, n m dos representaciones diferentes i=1 i x1i y1j y j =1 j x2j y2j en E F pueden corresponder, en realidad, a un mismo tensor. La cuesti on de discernir cu ando dos de tales representaciones corresponden a un mismo tensor es equivalente por linealidad a la de identicar cu ales corresponden al tensor nulo. Proposici on 1.3: dados E, F espacios vectoriales z = i=1 xi yi E F , y X E , Y F subconjuntos que separan puntos de los respectivos duales, son equivalentes: n i) z = 0 en E F , esto es, i=1 A (xi , yi ) = 0 A B (E F ) n ii) i=1 x (xi )y (yi ) = 0, x X, y Y n iii) i=1 y (yi )xi = 0, y Y iv) i=1 x (xi )yi = 0, x X Demostraci on: i)ii)iii)iv) son todas obvias. Si iv) es cierto y A B (E F ) es arbitraria, la restricci on de A a los subespacios nito-dimensionales E1 = span {x1 , . . . , xn } , F1 = span {y1 , . . . , yn } adm mite una representaci on A|E1 F1 (x, y ) = j =1 xj (x)yj (y ) con xj E1 , yj F1 j = 1, . . . , m. Si se consideran extensiones de cada xj en E e yj en F , es z ( A) =
m j =1 n i=1 n n

xi (xj )yi (yj ) =

n i=1

yi

m j =1

xi (xj )yj = 0.

Corolario 1.4: si E, F son dos espacios vectoriales y E1 E, F1 F son dos subespacios vectoriales respectivos cualesquiera, entonces E1 F1 es un subespacio vectorial de E F incluy endose en el de manera can onica. n Demostraci on: si i=1 xi yi E1 F1 es nulo en E F consider andose xi E, yi F i = 1, . . . , n , debe ser nulo en E1 F1 por lo anterior. Tal como se hab a comentado anteriormente, existe un isomorsmo B (E F ) (E F ) . A un m as es cierto, se puede sustituir k como rango por cualquier otro espacio vectorial. Teorema 1.5: Dados E, F, G espacios vectoriales, la aplicaci on lineal T : B (E F, G) A L(E F, G) T (A) (x y ) := A(x y ) = A(x, y )

es un isomorsmo de espacios vectoriales, donde la denici on de A sobre todo E F se debe entender como la u nica extensi on lineal dada su actuaci on sobre tensores elementales. La denici on de producto tensorial garantiza que est a bien denida. 7

Demostraci on: si A = 0, entonces A(x, y ) = A(x y ) = 0, luego T es inyectiva. Adem as, si f L(E F, G), se puede denir A B (E F, G) dada por A(x, y ) = f (x y ), que es bilineal por las propiedades del producto tensorial, de modo que adem as A = f. Si se escribe : E F E F para la aplicaci on bilineal dada por (x, y ) = x y , toda forma bilineal en E F factoriza a trav es del producto tensorial E F , pues por lo anterior, A = A . Adem as, A est a un vocamente determinada, pues su valor sobre tensores elementales est a dado por A. Es una propiedad algebraica muy importante: Teorema 1.6 (propiedad universal del producto tensorial): sean E, F, X espacios vectoriales y B B (E F, X ) con la propiedad de que para cualquier espacio vectorial G y cualquier A B (E F, G), existe una u nica aplicaci on lineal A : X G tal que A = A B. Entonces, existe un isomorsmo I : E F X tal que I (x y ) = B (x, y ) x E, y F . Demostraci on: obs ervese que la unicidad de A implica que {B (x, y ) : x E, y F } genera X , de lo contrario, si x / span {B (x, y ) : x E, y F } , A podr a tomar cualquier valor en x. El isomorsmo se obtiene tomando G = E F ya construido L(X, E F ) y la aplicaci on B (E F, E F ) anterior, para obtener tal que = B con (x, y ) = x y = B (x, y ) x E, y F ; y a su vez utilizar el teorema 1.5 para deducir la existencia de B L(E F, X ) tal que B = B , con B (x, y ) = B (x, y ) = B B (x, y ), como tambi en es son cada B (x, y ) seg un el paso previo, y as B y cierto (x, y ) = una inversa de la otra. T omese I = B. Corolario 1.7: si E, F son dos espacios vectoriales, entonces E F F E . Demostraci on: basta comprobar, de manera sencilla que x y y x es un isomorsmo, o aplicar el teorema 1.6. Ejemplos: tal como se estableci o anteriormente, existe un isomorsmo kn n,m k Mm,n donde {ei fj }i=1,j =1 se corresponde con la base can onica del espacio de matrices j) 0 0 . . Ei,j = . . 1 . .
m i)

siendo {ei } y {fj } sus bases respectivas. Este espacio a su vez es isomorfo a knm como espacio vectorial (no entran en juego productos). La misma t ecnica se puede utilizar para probar Mm,n Mp,q Mmp,nq . Una manera elegante de establecer un isomorsmo la proporciona el producto de Kronecker, dadas 8

p,q A = [Aij ]m,n i,j =1 y B = [Bkl ]k=1,l=1 se dene como la matriz (denotada tal como el producto tensorial)

A B = [A B(i,k)(j,l) := Aij Bkl ](i,j )=(1,1),(k,l)=(1,1) Mmp,nq . An alogamente, se pueden denir espacios de funciones (y matrices) con valores (entradas) vectoriales a partir de productos tensoriales. Si S es un conjunto arbitrario, F (S, k) denota el conjunto de funciones en S con valores en k y E es un espacio vectorial, la aplicaci on lineal F (S, k) E n i=1 fi xi F (S, E ) n i=1 fi xi

(m,n),(p,q )

es inyectiva. En funci on de tensores elementales, la imagen de f x toma el valor f (s)x E en s S . Su inyectividad es consecuencia inmediata de la proposici on 1.2 y del hecho de que las evaluaciones forman un subconjunto de F (S, k) que separa puntos. Se comprueba f acilmente que la aplicaci on anterior es de hecho isomorfa (sobreyectiva) si, y s olo si, S es un conjunto nito o E es nitodimensional. El espacio de las matrices Mn es isomorfo a F {1, ..., n} , k , luego Mn (V ) Mn V .
2

Por otro lado, la herramienta fundamental -junto con los propios espacios normados- de los operadores lineales en an alisis, sugiere una nueva denici on de producto tensorial aplicado exclusivamente a ellos. Si se considera Mm,n como el conjunto de operadores L(km , kn ), cuidando la notaci on indicial del producto de Kronecker se comprueba que dadas A Mm , B Mn , A B Mmn , x km , y kn , x y kmn , componente a componente es: A B (x y ) = (Ax) (By ). Esto motiva la: Denici on 1.8: dados E, F, G, H espacios vectoriales, S L(E, G), T L(F, H ), se dene el producto tensorial de los operadores S y T como el u nico operador lineal S T L(E F, G H ) que satisface (S T ) (x y ) = (Sx) (T y ) . La extensi on por linealidad lo hace u nico, y se comprueba que est a bien denido, pues B (T , S ) es bilineal en E F para cualquier B bilineal en F H.

Normas tensoriales
Han de introducirse normas en el producto tensorial de espacios vectoriales para la aplicaci on de t ecnicas que son propias del an alisis matem atico. La clase de normas que resultan apropiadas en el espacio producto tensorial deben satisfacer ciertas propiedades que restringen su conjunto. En este contexto, se suele trabajar siempre con espacios de Banach, pues si algebraicamente es trivial E k E , el isomorsmo anterior s olo podr a ser isom etrico si E fuera completo, 9

teniendo en cuenta que para permitir el manejo de series de tensores (propio del an alisis), se deben considerar compleciones de espacios producto tensorial (como E k) con una determinada norma. El producto tensorial consistir a entonces en otra operaci on interna denida sobre la categor a de espacios de Banach. Las propiedades razonables (como se suelen denominar en la literatura t ecnica) de una norma tensorial son dos, a saber: Denici on 2.1: dados E, F espacios de Banach, una norma tensorial || || en E F es aquella norma que satisface: i) ||x y || ||x||E ||y ||F x E, y F, siendo x y E F ii) si x E , y F , el funcional x y denido sobre E F est a acotado y ||x y || ||x ||E ||y ||F A veces es deseable una propiedad extra relativa al producto tensorial de dos operadores, a n adanse dos nuevos espacios de Banach G, H : iii) si S : E G, T : F H son dos operadores acotados, entonces S T : E F G H es acotado con ||S T || ||S ||||T || las normas tensoriales que satisfacen esta propiedad adem as de las dos anteriores se llaman normas tensoriales uniformes. Proposici on 2.2 (propiedades b asicas de las normas tensoriales): dados E, F espacios de Banach, z E F, || || norma tensorial en E F , se tiene: a) La norma de z est a controlada por sup {|x y (z )| : x BE , y BF } ||z ||
n n

nf
i=1

||xi ||E ||yi ||F : z =

i=1

xi yi

b) de hecho ||xy || = ||x||E ||y ||F x E, y F , y ||x y || = ||x ||E ||y ||F x E , y F Demostraci on: a) la desigualdad derecha es evidente por i) y la izquierda por ii). b) si x BE y BF satisfacen |x (x) | = ||x||E y |y (y )| = ||y ||F , entonces, por ii), tambi en es cierto x y B(E F ) y ||x||E ||y ||F = |x y (x y )| ||x y ||. Por otro lado, si x E , y F son arbitrarios, ||x y || = sup {|x y (z )| : z BE F } sup {|x y (x y )| : x BE , y BF } = sup{|x (x)| : x BE } sup{|y (y )| : y BF } ||x ||E ||y ||F . De hecho, se comprueba que los miembros derecho e izquierdo en a) son dos normas tensoriales, y muy importantes, la mayor y la menor de todas las posibles, respectivamente. 10

Denici on 2.3: dados E, F espacios de Banach, se denomina norma tensorial proyectiva en E F a la funci on positiva
n n

(z ) = nf
i=1

||xi ||E ||yi ||F : z =

i=1

xi yi E F

y norma tensorial inyectiva a (z ) = sup {|x y (z )| : x BE , y BF } . En la literatura aparecen denotadas de muchas maneras distintas, (z ) = ||z || = ||z || = ||z || para la proyectiva, (z ) = ||z || = ||z || = ||z || para la inyectiva. Aunque en ocasiones se escribir an simplemente || ||, y tal como se har a con las normas de E y F , siempre y cuando no haya riesgo de confusi on. Se escribe (E F, ) = E F = E F = E F y (E F, ) = E F = E F = E F para los espacios E F con dichas normas. Teorema 2.4: y son normas tensoriales uniformes en E F para cualquier par de espacios de Banach E y F . Demostraci on: es muy f acil comprobar que es una norma y que es hon m mog enea. Si > 0, es arbitrario, z1 = i=1 x1i y1i , z2 = j =1 x2j y2j E F n m con i=1 ||x1i ||||y1i || < ||z1 || + , j =1 ||x2j ||||y2j || < ||z2 || + , entonces z1 + n m n m z2 = i=1 x1i y1i + j =1 x2j y2j con i=1 ||x1i ||||y1i || + j =1 ||x2j ||||y2j || < ||z1 || + ||z2 || + 2 . Si por otro lado ||z || = 0, x E , > 0, entonces n n z = i=1 xi yi para alguna representaci on con i=1 ||xi ||||yi || < ||z || + , luego n n pues, i=1 x (xi )yi ||x ||, y en denitiva i=1 x (xi )yi = 0 en F . As z = 0 por la proposici on 1.3, pues el dual topol ogico de un espacio de Banach es un subconjunto del dual algebraico que separa puntos. Tambi en, su condici on de normas tensoriales uniformes se sigue inmediatamente de su denici on, si acaso notando para el caso de la norma inyectiva, que dados x BG y BH , se tiene S x E , T y F , con ||S x || ||S ||||x || ||S ||, ||T y || ||T ||||y || ||T ||. Generalmente, los productos tensoriales de espacios de Banach as formados no son ellos mismos completos. Denici on 2.5: dados E, F espacios de Banach, se denomina producto tensorial proyectivo de E y F a la compleci on del espacio normado E F, que se escribe E F = E F. An alogamente, se denomina producto tensorial inyectivo de E y F a la compleci on del espacio normado E F, y se escribe E F = E F. Los dos teoremas siguientes muestran el origen de sus nombres. Teorema 2.6: dados E, F, G, H espacios de Banach, y S : E G, T : F H operadores cociente, entonces S T : E F G H es tambi en cociente. 11

Demostraci on: recu erdes el concepto de operador cociente: T : E F es cociente si, y solo si, T es sobreyectivo y ||y || = nf {||x|| : T x = y } y Y , equivalentemente, T (BE ) = BF , o E/ ker T G. En este caso, el operador S T puede y debe entenderse como la u nica extensi on posible de S T a los respectivos espacios completados, dentro de los cuales cada producto tensorial algebraico es denso. Si se prueba que S T : E F G H es cociente, la t ecnica usual aplicada en el teorema de la aplicaci on abierta completa el resultado. Es inmediato que S T es sobreyectivo. n n F jese > 0, w = i=1 ui vi G H con i=1 ||ui ||||vi || < ||w|| + . Dado n que S y T son cociente, se puede escoger z = i=1 xi yi E F tal que ||xi || ||ui ||(1 + ), ||yi || ||vi ||(1 + ), i = 1, . . . , n, y siendo por tanto S T (z ) = w, con ||z || (1 + )2n (||w|| + ) exp(2n )(||w|| + ). Esto expresa, en denitiva, el hecho de que si G es cociente de E y H es cociente de F , entonces G H es cociente de E F . Este buen comportamiento con respecto a cocientes no sucede de la misma manera con subespacios, en otras palabras, si E es un subespacio normado de G y F lo es de H , E F no es un subespacio -en general- de G H. Esto u ltimo es cierto empero en la construcci on del producto tensorial inyectivo. Teorema 2.7: dados E, F, G, H espacios de Banach, i : E G, j : F H inyecciones isom etricas, tambi en i j : E F G H es una inyecci on isom etrica. Demostraci on: este resultado es mucho m as sencillo que el anterior y se puede establecer como mera consecuencia del teorema de Hahn-Banach. El hecho de que en estos casos E F no es necesariamente un subespacio de G H se sostiene dada la denici on de norma proyectiva como nmo sobre un n conjunto de n umeros que parten de representaciones de z = i=1 xi yi E F en G H, que puede ser superior en n umero al de aquellas representaciones posibles en E F . De la misma manera, el producto tensorial inyectivo no tiene por qu e respetar cocientes en general. El hecho de considerar compleciones de productos tensoriales algebraicos produce descripciones elegantes desde el punto de vista del an alisis matem atico, como ocurre en el caso del producto tensorial proyectivo. Proposici on 2.8: dados E, F espacios de Banach, z E F , > 0 arbi trario, existen sucesiones (xn )n c0 (E ), (yn )n c0 (F ) tales que n=1 xn yn converge a z en E F y
n=1

||xn ||||yn || < ||z || +

Demostraci on: E F es denso en E F , luego (zn )n E F con i in zn z , siendo ||zn z || < 2n+1 , y z1 = i1 =1 xi yi con i=1 ||xi ||||yi || < ||z1 || + /4 < ||z || + /2.

12

Para cada n 1, ||zn+1 zn || ||zn+1 z || + ||z zn || < 2n1 . Esto conlleva que la serie z1 + n=1 (zn+1 zn ) converge absolutamente a z , siendo zn+1 zn = in+1 in+1 on, y j =in +1 xj yj con j =in +1 ||xj ||||yj || < 2n1 para alguna representaci s olo resta comprobar que de hecho (xn )n c0 (E ), (yn )n c0 (F ). De no ser el caso, como dichas sucesiones deben estar acotadas en la norma del supremo por yi i ermino, y construir una serie nueva , se puede tomar n2 x n n para cada t con m as t erminos. Corolario 2.9: z E F, se tiene

||z || = nf
n=1

||xn ||||yn || :
n=1

||xn ||||yn || < , z =

n=1

xn yn

No es posible una representaci on tan elegante en el caso del producto tensorial inyectivo. No obstante, est a claro por denici on que dados dos espan cios de Banach E y F , la norma tensorial inyectiva de z = i=1 xi yi es aquella que corresponde a la forma bilineal asociada sobre E F dada por n z (x , y ) = i=1 x (xi )y (yi ) , o de forma equivalente, como operador acotado en B(E , F ) o en B(F , E ). La compleci on E F es as un subespacio cerrado de B(E , F ) llamado de operadores aproximables, subespacio del espacio de operadores compactos K(E , F ), y que en casos familiares de espacios E coincide con este espacio (E debe tener la llamada propiedad de aproximaci on, pero eso es otra historia). Por ejemplo, el lector familiarizado con bases de Schauder reconocer a esta propiedad para los espacios que poseen tales bases. Se hab a establecido una propiedad universal del producto tensorial algebraico en cuanto a la factorizaci on de formas bilineales. El producto tensorial proyectivo satisface una propiedad an aloga respecto a las formas bilineales que son acotadas. Teorema 2.10: dados E, F, G espacios de Banach, existe un isomorsmo isom etrico B(E F, G) B(E F, G). Demostraci on: la componente algebraica propia de la isometr a se ha establecido previamente en el teorema 1.5. Si B B(E F, G) es acotada y z = n n n i=1 xi yi E F , entonces ||B (z )|| = i=1 B (xi , yi ) ||B || i=1 ||xi ||||yi ||, luego ||B || ||B ||.Adem as, ||B (x, y )|| = ||B (xy )|| ||B ||||xy || = ||B ||||x||||y || luego ||B || ||B ||. B se extiende un vocamente al completado E F , por ser E F subconjunto denso, y con la misma norma. Adem as, cualquier T B(E F, G) tiene preimagen, basta denir B (x, y ) = T (x y ) y es B = T .

Corolario 2.11 (dual del producto tensorial proyectivo): dados E, F espacios de Banach, E F

B(E F ) 13

B(E, F )

B(F, E ).

Demostraci on: es lo anterior con G = k. La dualidad ormula i=1 xi yi , B = i=1 B (xi , yi ) establece una nueva f para calcular la norma proyectiva, consecuencia del teorema de Hahn-Banach: n n || i=1 xi yi || = sup{| i=1 B (xi , yi )| : B B(E F ), ||B || 1} = n n sup{| i=1 T xi (yi )| : T B(E, F ), ||T || 1} = sup{| i=1 Syi (xi )| : S B(F, E ), ||S || 1} Esto permite demostrar un resultado positivo para subespacios. Corolario 2.12: dados E, F, G espacios de Banach, siendo E subespacio de F, E G es un subespacio de F G si, y solo si, todo elemento de B(E G) B(E, G ) extiende a un elemento de B(F G) B(F, G ) con la misma norma (es lo que se conoce con la denici on de espacio de Banach inyectivo para G ). Demostraci on: es consecuencia inmediata de la dualidad anterior y el teorema de Hahn-Banach. Un resultado a un m as profundo de A. Grothendieck (que fue de hecho el pionero de la teor a de normas tensoriales en conjunto) prueba que, de hecho, debe reemplazarse la condici on G inyectivopor G L1 () para alguna medida . Otro resultado debido a el, no tan complicado, pero que nuevamente est a fuera del objetivo de estas notas describe el dual del espacio E F : Teorema 2.13 (dual del producto tensorial inyectivo): dados E, F espacios de Banach, una forma bilineal B en E F dene un elemento del dual E F
n n

si, y s olo si, existe medida regular de Borel sobre el conjunto

BE BF con B (x, y ) = BE BF x (x)y (y )d(x , y ) x E, y F. Demostraci on: es una aplicaci on del teorema de representaci on de Riesz para C (K ), cons ultese, por ejemplo, [Ry] o [Di-Uh]. Ejemplos: si E es un espacio de Banach, entonces 1 E = 1 (E ) En efecto, el tensor elemental (xn )n x 1 E se puede identicar can onicamente con I ((xn )n x) = (xn x)n 1 (E ) y de este modo extender m I a la totalidad de 1 E . Si z = i=1 (xin )n yi 1 E , entonces:
m m

||Iz || =
n=1 m

||
i=1

xin yi ||
n=1 i=1 m

||xin yi || =

=
i=1 n=1

|xin | ||yi || =
i=1

||(xin )n ||1 ||yi ||,

luego ||I (z )|| ||z ||

14

Adem as, n=1 en ( i=1 xin yi ) converge uniformemente a z , siendo en = (0, ..., 0, 1n) , 0, ...) la base de Schauder can onica de 1 , pues
k m m k m

||z
n=1

en
i=1

xin yi
m

|| = ||
i=1

(xin )n yi
n=1 n k

en
i=1

xin yi

|| =

= ||
i=1 m k

(xin )n yi
i=1 n=1 m

xin en yi || =
k

= ||
i=1

((xin )n
n=1 k n=1

xin en ) yi ||
i=1

||(xin )n
n=1

xin en ||1 ||yi || 0

(pues xin en son las proyecciones de (xn )n , y por tanto, ||z || = || n=1 en m m ( i=1 xin yi ) || n=1 i=1 xin yi = ||Iz || por el corolario 2.9. La inyecci on can onica I anterior es isom etrica. Adem as, es sobreyectiva, pues (xn )n 1 (E ) tiene preimagen n=1 en xn en 1 E . M as en general, se puede aplicar este razonamiento para probar 1 (S ) E = 1 (S, E ) si S es un conjunto arbitrario, donde 1 (S, E ) es el conjunto de familias sumables indexadas por S . Si E es subespacio de F , es claro que
1 (S, E )

lo es de 1 (S ) F =

1 (S )

E =

1 (S, F ),

como ilustra el corolario 2.12.

Tambi en, si E es un espacio de Banach, entonces c0 E c0 (E ) mediante m una inyecci on I can onica como la anterior. Si z = i=1 (xin )n yi c0 m m E , ||Iz || = sup{|| i=1 xin yn || : n N} = sup{| i=1 xin x (yn )| : n N, m x E } = sup{| n=1 i=1 n xin x (yn )| : n N, x E , (n ) 1 } = m sup{| i=1 ((xin )n )x (yi )| : x E , (n ) 1 = c , I es una 0 } = ||z ||. As inyecci on isom etrica, y es claro que la imagen de c0 E es densa en c0 (E ). Sea K un espacio topol ogico compacto y Hausdor. Otro ejemplo importante de descripci on mediante el producto tensorial lo constituye C (K ) E = C (K, E ) n para cualquier espacio de Banach E , y tambi en can onicamente. Si z = i=1 xi n yi C (K ) E, entonces Iz (t) = i=1 xi (t)yi , y
n n

||Iz (t)|| = sup{

i=1

xi (t)yi : t K } = sup{
i=1 n

t (xi )yi : t K } =

= sup{
i=1

x (xi )yi : x C (K ) } = ||z ||.

No est a tan claro que esta isometr a sea sobreyectiva. Sucede que I (C (K ) E ) es denso en C (K, E ). Dado x C (K, E ), > 0, sean {x(ti )}n i=1 recubrimiento de x(K ) y {Vi }n recubrimiento de K, siendo V = { t K : ||x(t) x(ti )|| < }. i i=1 Como K es paracompacto (cons ultese [Wi]), se puede tomar {yi }n on i=1 partici 15

de la unidad subordinada a {Vi }n i=1 , esto es, yi (K Vi ) = {0}, yi (K ) = [0, 1], n n y ( K ) = { 1 } . Tomando z = i=1 i i=1 yi x(ti ) C (K ) E, es claro que ||Iz x|| < . An alogamente, si K1 , K2 son compactos Hausdor, entonces C (K1 )C (K2 ) C (K1 , C (K2 )) C (K1 K2 ). N otese que todos estos isomorsmos isom etricos han sido posibles gracias a la utilizaci on de compleciones de productos tensoriales algebraicos. Se pueden a nadir m as ejemplos, un poco m as complicados de establecer: 1 E es el espacio de sucesiones incondicionalmente sumables en E, que contiene a 1 (E ), esto es, aquellas sucesiones cuya serie asociada converge para cualquier permutaci on de sus t erminos. L1 E es el espacio L1 (E ) de funciones integrables Bochne r, aquellas funciones medibles para las cuales ||f ||d < , L1 E es un espacio que contiene al anterior (el completado del espacio de funciones llamadas integrables Pettis ). Si H1 y H2 son dos espacios de Hilbert, se puede denir adem as un producto escalar de forma que H1 H2 sea un nuevo espacio de Hilbert. Denici on 2.14: dados H1 , H2 espacios de Hilbert, se denomina producto tensorial hilbertiano H1 2 H2 al completado del espacio H1 H2 dotado del producto escalar (en notaci on de Dirac) ( x1 | y1 | , |x2 |y2 ) := x1 y1 |x2 y2 = x1 |x2 y1 |y2 . Muchas veces se omite el sub ndice 2 de 2 , dado que se sobreentiende que se trabaja u nicamente con espacios de Hilbert, como sucede en f sica cu antica.
(notac.)

Tomando el modelo previo de las matrices, se compureba, por ejemplo, 2 2 (N) HS( 2 (N)), donde HS(H ) = H 2 H denota 2 (N N) el espacio de los operadores Hilbert-Schmidt en H . Adem as, dado que en un espacio de Hilbert se comprueba que todos los operadores compactos son l mite de operadores de rango nito (son un caso particular de espacios con la men2 (N)

cionada propiedad de aproximaci on), H H = K(H ). Por otro lado, escribiendo |T | =

n=1

n |en en | H H para un operador de clase traza en una base

de autovalores, se comprueba ||T || = tr(|T |), es decir, H H es el conjunto de operadores de clase traza (puede parecer sorprendente que 2 (N) 2 (N) posea un subespacio isomorfo a 1 . El lector que no est e sucientemente familiarizado con los operadores de clase traza y Hilbert-Schmidt puede encontrar una buena referencia de este tema, de frecuente aparici on en la matem atica de la computaci on cu antica y la teor a de productos tensoriales y espacios de operadores, en [Pe]). En este caso, se comprueba f acil y elegantemente que H H y H H son duales, el primero del segundo, pero no al rev es. Y lo son uno del otro si 16

se asume dimensi on nita. Sucede tambi en en general con espacios de Banach E F : tomando E F y E F con las normas proyectiva en uno e inyectiva en otro (normas duales ). La teor a de normas duales tambi en est a fuera de los objetivos de estas notas. Un u ltimo resultado para espacios de Banach rearma la visi on de la estructura del producto tensorial que muestran los productos de espacios de Hilbert. Debe recordarse que {en } n=1 es base de Schauder de un espacio de Banach E si todo x E admite un desarrollo en serie u nico x e . El criterio m a s utilizado para detectar bases de Schauder sobre n n n=1 aquellas sucesiones que generan linealmente un subespacio denso en E es la condici on necesaria y suciente de la existencia de una constante C > 0 con m n on (xn )n k y m < n, || i=1 xi ei || C || i=1 xi ei || para cualquier sucesi lo cual es a su vez equivalente a la acotaci on uniforme de las proyecciones m m n{m,n} {Pn ( i=1 xi ei ) = i=1 xi ei : n N}.
Proposici on 2.15: dadas {en } n=1 , {fn }n=1 bases de Schauder respectivas de dos espacios de Banach E y F , si se dene el orden del cuadrado en el , conjunto {ei fj } i=1,j =1 dado por

e1 e1 e 2 f1

e 1 f2 e2 f2

.. .

que se puede visualizar gr acamente tomando los lados de los sucesivos cuadrados inscritos en la matriz innita en el orden dado; se obtiene una base de Schauder tanto de E F como de E F . , Demostraci on: es sencillo comprobar que {ei fj }i =1,j =1 genera un subespacio denso. La elecci on del orden permite escribir f acilmente la proyecci on Pn F E en E y F : y Pn asociada a esta sucesi on a partir de aquellas Pn PiE PiF si n = i2 F F E F E si i2 < n i2 + i + 1 P P + P Pn = i i ni2 Pi+1 Pi E F E E F Pi+1 Pi+1 Pi+1 Pi P(i+1)2 n si i2 + i + 1 < n (i + 1)2 E F En cualquiera de los tres casos, es ||Pn || 3 sup{||Pn || : n N} sup{||Pn || : n N}.

Espacios de operadores
La teor a de espacios de operadores es relativamente nueva (sistem aticamente desarrollada a partir de la tesis doctoral de Z.J. Ruan (1988) y su teorema de representaci on), si bien sus conceptos fundamentales ya se hab an utilizado impl citamente a nos atr as. Su estudio se hace necesario desde el mismo momento en que se acepta la visi on matricialde la mec anica de W. Heisenberg, pionero de la f sica cu antica y cuyas teor as motivan una serie de construcciones matem aticas donde se reemplazan las cl asicas funciones asociadas a las medidas 17

de magnitudes que var an con el tiempo por operadores en espacios de Hilbert, cuyos valores (como sustituto de funciones) yacen en sus espectros (que contienen, entre otros n umeros, sus autovalores) tal como reza el postulado 3, que reeja esta idea en su u ltima esencia (el desarrollo preciso de la mec anica cu antica desde las primeras obesrvaciones que contradijeron la f sica cl asica, tanto en su formulaci on f sica como matem atica, ha sido un camino muy largo y abrupto, y sujeto a m ultiples variaciones y debate entre los m as grandes representantes de la comunidad cient ca, y para el cual se podr an dedicar en exclusiva libros enteros que motivasen el marco de trabajo utilizado aqu , aparentemente muy articial). Se puede describir como una teor a no conmutativa de espacios de Banach(los operadores no conmutan), en cuanto los espacios normados respectivamente de Banach est an en biyecci on con los subespacios respectivamente cerrados de la C algebra conmutativa C (K ), con K espacio topol ogico compacto y Hausdor; agrupados por isomorsmo. Basta tomar para un espacio normado E el conjunto K = BE con la topolog a d ebil y considerar una inyecci on can onica E C (BE ) dada por x x(x ) = x (x) para x E, x BE . Y tambi en, en cuanto por otro lado, se dene: Denici on 3.1: un espacio de operadores (concreto) es cualquier subespacio lineal de la C algebra no conmutativa B(H ), el conjunto de los operadores acotados de un espacio de Hilbert H en s mismo. El teorema de representaci on de Ruan caracteriza estos espacios de la misma forma en que los conocidos axiomas de norma caracterizan los espacios normados concretos, todos aquellos subespacios de C (K ), construyendo de este modo la noci on de espacio de operadores en general (abstracto) equivalente al anterior, y reejando el hecho de que esta nueva categor a es la versi on general no conmutativa (tambi en llamada cuantizaci on matem atica ) del espacio normado. Antes de presentar esta teor a desde sus propios inicios, es necesario tener en cuenta una serie de hechos. Dados H1 , ..., Hn espacios de Hilbert, los
n

operadores T en B(
i=1 n,n

Hi ) est an en biyecci on con las matrices de operadores

n

(Tij )i,j =1 donde Tij B(Hj , Hi ) B(

n j =1 n j =1

Hi ), donde T = (Tij )(x1 , ..., xn ) =

i=1

( T1j xj , ..., Tnj xj ). Esta actuaci on can onica que generaliza la noci on de matriz escalar dene espacios de matrices Mn (B(H )) con H Hilbert, tomando en este caso Hi = H , que adem as de poseer estructuras de espacio vectorial, son susceptibles de denir operaciones binarias externas dadas por productos de matrices escalares a un lado y a otro de la forma can onica: n AT B = ( j,k=1 Aij Tjk Bkl )i,j Mm (B(H )), si A Mm,n , T Mn (B(H )), B Mn,m , as como de admitir normas dadas por su condici on de operadores acotados en un determinado espacio de Hilbert. No es dif cil ver, en este caso, que se satisfacen las propiedades: 18

i) ||S T || = m ax{||S ||, ||T ||}, si S Mn (B(H )), T Mm (B(H )), siendo ST = Sij 0 0 Tkl Mm+n (B(H ))

ii) ||AT B || ||A||||T ||||B || si A Mm,n , T Mn (B(H )), B Mn,m . Las normas de las matrices son aquellas que surgen de considerarlas operadores en Cn . Los espacios Mn (B(H )) tambi en disfrutan de estructura de orden y de C algebra, lo que motiva el estudio de los llamados sistemas de operadores, pero eso es otra cuesti on. El teorema de Ruan mostrar a c omo son estas dos propiedades aquellas que caracterizan los espacios de operadores. Por el momento, se comete un peque no abuso de lenguaje dada la siguiente: Denici on 3.2: un espacio de operadores (abstracto) es un espacio vectorial E dotado de una norma matricial || ||, esto es, una norma || ||n sobre cada uno de los espacios Mn (E ), con n N, en los que se denen estructuras de espacio vectorial y operaciones producto por matrices escalares a ambos lados, y que satisface: i) ||x y ||m+n = m ax{||x||m , ||y ||n } x Mm (E ), y Mn (E ) ii) ||AxB ||n ||A||||x||m ||B || x Mm (E ), A Mn,m , B Mm,n Generalmente, se estudiar an espacios complejos, como suele suceder con espacios de Hilbert, y m as a un tratando la f sica cu antica; y completos, como en el caso de los espacios normados. Recordando el v nculo existente con ellos, debe tenerse en cuenta que la norma || ||1 asociada al espacio normado baseno determina en absoluto las || ||n en estas versiones no conmutativas, lo que s sucede en los espacios normados F C (K ) cuando se consideran vectores en F n C (K, Cn ), pues ||(f1 , ..., fn )|| = m ax{||fi || }n i=1 . Existen de hecho muchos espacios de operadores diferentes con el mismo espacio normado E asociado, tanto como conjunto como con su norma || ||1 . Los espacios de operadores que se construyen a partir de un mismo espacio normado se llaman cuantizaciones del espacio normado, en concordancia con el paso de la f sica cl asica a la cu antica. Se pueden notar empero algunas acotaciones y propiedades u tiles para las normas matriciales: sustituyendo A por U U 1 con U unitaria y B = I en ii), se observa que una transformaci on unitaria no cambia la norma: ||x||n = ||U U 1 x||n ||U 1 x||n ||x||n . En particular, la norma no se modica permutando las y columnas. Tampoco la cambia el hecho de aumentar de tama no la matriz a nadiendo ceros en virtud de i). Esto adem as permite considerar espacios Mm,n (E ) asociados con m = n, si se consideran como subespacios de Mm as, dada x = (xij )n ax{m,n} (E ). Adem i,j =1 Mn (E ), las importantes acotaciones siguientes, son inmediatas aplicando ii), si se toma la base can onica

19

{Eij }m,n i,j =1 de Mm,n , multiplicando a la izquierda por Eij y aplicando la desigualdad triangular a la derecha:
m n

m ax{||xij || : i = 1, ..., m; j = 1, ..., n} ||x||

i=1 j =1

||xij ||

donde se han suprimido adem as los sub ndices asociados a cada dimensi on en la norma matricial, lo cual se har a de ahora en adelante siempre y cuando no haya riesgo de confusi on. As , dada || ||1 , todas las normas || ||n posibles son equivalentes, y la topolog a n ormica asociada se puede denir coordenada a coordenada. Otra propiedad interesante ata ne a los productos tensoriales con matrices escalares: las normas de esta clase son razonables en este sentido. Proposici on 3.3: si E es un espacio de operadores, x Mn (E ), y A Mm , entonces ||A x|| = ||A||||x||. Demostraci on: A x se puede escribir utilizando el producto de Kronecker. Si A = U |A| es la descomposici on polar de A y 1 0 | A| = V 0 . . . 0 V 0 n con V unitaria, {i }n i=1 = sp(|A|) [0, ), entonces 1 0 1 x . . . 0 x|| = 0 ||A x|| = || 0 0 n

0 .. . 0

0 n x x . =

= m ax{||i x|| : i = 1, ..., n} = |A| x = A

En el segundo paso se han deshechado factores unitarios del tipo U In en base a las observaciones anteriores. A partir de la versi on abstracta de esta nueva categor a matem atica, parece natural aceptar como morsmos entre espacios de operadores E, F aquellos que lo sean entre los respectivos espacios normados Mn (E ), Mn (F ). Denici on 3.4: dados E, F espacios de operadores, un operador lineal T : E F es completamente acotado si cada Tn : Mn (E ) Mn (F ) denido con n ordenada a coordenada, esto es, Tn (xij )n i,j =1 = (T xij )i,j =1 (xij )i,j =1 Mn (E ), es acotado, y todos ellos lo est an uniformemente. Se dene su norma completamente acotada, (completely bounded =c.b. en ingl es) por ||T ||cb = sup{||Tn || : n N} = l m{||Tn || : n N} pues {||Tn ||}n es creciente por la propiedad i) de los espacios de operadores. Asimismo, T es completamente contractivo si 20

||T ||cb 1, es completamente isom etrico si todos los Tn son isometr as y/o es un cociente completo si cada Tn es un operador cociente. En notaci on tensorial y en concordancia con la descripci on del producto tensorial algebraico, se puede considerar Mn (E ) Mn E algebraicamente, de manera que cada Tn = In T . El espacio vectorial de operadores completamente acotados entre E y F , escrito CB(E, F ) es el conjunto de morsmos propios de esta categor a, y son a ella lo que los operadores acotados son a los espacios normados. La siguiente propiedad de los operadores c.b. con valores en el espacio de matrices escalares es muy u til. Lema 3.5: si m, n N, m n, x Cm Cn , existe una isometr a T : Cn n n C y un x C C tal que T In (x) = x. n onica de Cn Demostraci on: si x = i=1 xi ei donde {ei }n i=1 es la base can m n m y xi C , se puede construir una isometr a T : C C cuyo rango alcanza cada uno de los {xi }n , de modo que T ( xi ) = xi para algunos xi Cn . El i=1 n vector x = i=1 xi ei satisface lo requerido.
m

Proposici on 3.6: si E es un espacio de operadores y T : E Mn es lineal, entonces T es completamente acotada si, y solo si, T es acotada, en cuyo caso ||T ||cb = ||Tn ||. Demostraci on: basta ver que para m n, ||Tm || ||Tn ||. Sean > 0 y x Mm (E ) tales que ||x|| 1, ||Tm x|| + ||Tm ||. Como Tm x Mmn , existen v, w Cnm = Cn Cm tales que | (Tm x) v |w | + > ||Tm || y por el lema anterior, V, W : Cn Cm isometr as, v, w Cn Cm con v = V In (v ), w = W In (w), luego ||Tm || < | (Tm (x)(V In ) (v ))|W In (w) | + = | W Tm (x)V (v )|w | + = | Tm (W xU )(v )|w | + ||Tn || + , con arbitrario. En particular: Corolario 3.7: si E es un espacio de operadores y x : E C es acotado, entonces ||x ||cb = ||x ||E . Demostraci on: es lo anterior con n = 1. Corolario 3.8: dados E, F espacios de operadores, si E o F es un espacio nito dimensional y T : E F es acotado, entonces T CB(E, F ) y ||T ||cb n||T ||. Demostraci on: si dim(F ) = n, basta tomar una base de Auerbach para F y descomponer T : E F como suma de operadores elementales, para aplicar lo anterior. T engase en cuenta que w para w vector unitario jo es completamente isom etrico por la proposici on 3.3, seg un la cual ||A w|| = ||A||||w|| = ||A||. En el caso de que sea dim(E ) = n, basta sustituir F por T (E ) y considerar lo anterior. 21

Se puede probar (G. Pisier) acerca de un an alogo de la distancia de BanachMazur para espacios de operadores, que si E y F son ndimensionales ambos, existe un isomorsmo ||T ||cb ||T 1 ||cb n. El m aximo n de la distancia se alcanza, por ejemplo, en espacios como las matrices , esto la y columna de Mn x x x 0 1 n 1 . . . . . . . : n N , en : n N , F = es, E = . . . . . 0 0 xn 0 violento contraste de lo que sucede en sus estructuras de espacios normados, que son completamente id enticas. Por otro lado, si bien es claro que Mn (E ) es el dual del espacio normado n Mn (E ), la dualidad (x ij )(xij ) = i,j =1 xij (xij ) no dene una estructura de espacio de operadores en Mn (E ) en general. Sin ir m as lejos, si E = k, entonces || ||n deber a ser la norma de la traza en Mn (E ), que no satisface la propiedad i). La construcci on del espacio de operadores dual de otro dado es mucho m as f acil de abordar mediante la descripci on abstracta del espacio de operadores, que como en el caso de los espacios normados, ofrece mayor exibilidad a la hora de mostrar que determinadas operaciones son internas.en su categor a (dual, paso al cociente, producto, espacios vectoriales de operadores acotados, espacios de interpolaci on..., que son tambi en espacios normados). Se puede se nalar, por el momento, una conexi on entre los duales de los espacios normados Mn (E ), con E espacio de operadores, y las contracciones completas mediante el siguiente lema. Lema 3.9: si E es un espacio de operadores, X [Mn (E )] (dual del espacio normado) con ||X || = 1, existe x : E Mn completamente contractiva n y v, w (Cn ) tales que X (x) = x n (x)v |w . Este lema es la base para probar el citado teorema de Ruan sobre la equivalencia entre las dos deniciones de espacio de operadores mencionadas, de la misma manera en que el teorema de Hahn-Banach prueba inmediatamente que todo espacio normado denido por sus axiomas de norma es subespacio de C (K ), con K espacio topol ogico compacto y Hausdor. Su demostraci on no a nade una gran profundidad en el estudio de esta materia y es tediosa (cons ultese [Ef-Ru]), si bien ha causado una considerable simplicaci on del camino original seguido por el propio Ruan para probar su teorema. En particular, muestra inmediatamente: Lema 3.10: si E es un espacio de operadores y x Mn (E ), x : E Mn completamente contractiva tal que ||x n (x)|| = ||x||. Demostraci on: sea x Mn (E ) y X [Mn (E )] con ||X || = 1 y |X (x)| = ||x||. Por lo anterior, x : E Mn completamente contractivo con ||x n (x)|| | x ( x ) v | w | = | X ( x ) | = || x || y adem a s || x ( x ) || || x || || x || = || x || . cb n n n Y a partir de aqu :

22

Teorema 3.11 (de representaci on de Ruan): si E es un espacio de operadores, existe otro espacio de operadores F B(H ) con H Hilbert y T : E F completamente isom etrico y sobreyectivo. Demostraci on: para n N, sea I = CB(E, Mn )||||cb 1 y sea H el espan N

cio de Hilbert suma directa H =

Deniendo T : E B(H ) dado por x (x (x))x I se puede identicar Tn : Mn (E ) B(H n ) con x (x n (x))x I , con lo cual, es claro que T es completamente contractivo, y adem as isom etrico por el lema anterior. Esto construye una biyecci on entre los espacios de operadores c oncretos, seg un la denici on 3.1 y los espacios de operadores .abstractosseg un la 3.2, lo cual permite que de ahora en adelante se utilice el concepto que m as convenga en cada caso. Otra versi on de representaci onmuy u til en las aplicaciones suele ser la siguiente. Proposici on 3.12: dado E espacio vectorial, si || ||n : Mn (E ) [0, ) son funciones (no se exige en principio que sean normas ni seminormas) que satisfacen: i) ||x y ||m+n m ax {||x||m , ||y ||n } ii) ||Axy ||n ||A||||x||m ||B || si x Mm (E ), y Mn (E ), A Mn,m , B Mm,n Entonces, las || ||n son de hecho seminormas que adem as cumplen: i) ||x y ||m+n = m ax {||x||m , ||y ||n } si x Mm (E ), y Mn (E ) Adem as, si || ||1 es una norma (en particular, no degenerada), tambi en lo son cada una de las dem as || ||n , y con lo cual se tiene denida una estructura de espacio de operadores. Demostraci on: sean x, y Mn (E ) y > 0, y por otro lado r = ||x||n + , s = ||y ||n + . Se tiene que x = rx, y = sy con ||x||n , ||y ||n < 1 por ii) y adem as rI x 0 n rIn sIn x+y = siendo sIn 0 y rIn sIn rIn sIn rIn sIn = rIn sIn rIn sIn

x I

Cn(x

donde x CB(E, Mn(x ) )||||cb 1

rIn sIn

= (r + s)In = r + s

y, por i) y ii): ||x + y ||n < (r + s) 1 = ||x||n + ||y ||n + 2 , luego las || ||n son subaditivas, y tambi en homog eneas pues x = (In )x si C, x Mn (E ), luego ||x||n ||||x||n = ||||1 x||n ||x||n Si x Mm (E ), y Mn (E ), entonces ||x||m Im 0 x 0 0 y Im 0
m

x 0

0 y

m+n

y tambi en ||y ||n ||x y ||m+n . 23

Por u ltimo, si ||x||n = 0, entonces ||xij ||1 ||x||n = 0 por ii) para cada i, j = 1, ..., n. A partir del teorema de representaci on de Ruan se abordan las construcciones b asicas con espacios de operadores. Por ejemplo, subespacios y espacios de matrices sobre espacios de operadores. Si E es un espacio de operadores y F E es un subespacio para el cual se toman las normas inducidas en cada Mn (F ), es inmediato que F es un espacio de operadores. Tambi en lo es cada Mn (E ), identicando Mp (Mn (E )) Mpn (E ), teniendo en cuenta la denici on de espacio de operadores en abstracto. Se puede ver adem as tomando la denici on en su versi on concreta, si E B(H ) de forma completamente isom etrica, F tambi en est a incluido en B(H ); es F E B(H ), luego es un espacio de operadores. Adem as, Mn (E ) B(H n ), luego Mn (E ) es un espacio de operadores. La versi on concreta no funciona bien con cocientes. Empero, si F E es subespacio cerrado, sabemos que Mn (F ) es cerrado en Mn (E ) por la esencia componente a componente de la topolog a n ormica, y se puede identicar Mn (E/F ) con Mn (E )/Mn (F ) para denir una norma en cada Mn (E/F ) por paso al cociente. Proposici on 3.13: si E es un espacio de operadores y F E es un subespacio cerrado, entonces E/F tiene estructura de espacio de operadores seg un la identicaci on Mn (E/F ) Mn (E )/Mn (F ) Demostraci on: sean A Mn,m , B Mm,n , x Mm (E/F ) y > 0. Existe x Mm (E ) tal que x = x + Mm (F ) y ||x|| < ||x|| + . Tambi en, AxB + Mn (F ) = AxB . As , ||AxB || ||AxB || ||A||||x||||B || < ||A||||B ||(||x|| + ). Tambi en, si y Mn (E/F ) e y Mn (E ) con y = y + Mn (F ), ||y || < ||y || + . Entonces, ||(x y )|| = ||(x y )|| < m ax{||x||, ||y ||} + . El resto se sigue de la proposici on 3.12. Denici on 3.14. En este caso, E/F se llama espacio de operadores cociente. Si : E E/F denota el cociente asociado, entonces n : Mn (E ) Mn (E/F ) lo es por denici on para estos espacios, luego es un cociente completo en terminolog a de la denici on 3.4. Si {Ei }iI es una familia de espacios de operadores, se puede considerar una norma tensorial del supremo en cada Mn iI Ei si se identica con M ( E ) , alternativamente escrito como E on con n i iI i si no hay confusi i I espacios de Hilbert. La versi on concreta de espacios de operadores prueba inmediatamente que esto dene una estructura de espacio de operadores, pues si Ei B(Hi ) completamente, entonces iI Ei B (iI Ei ) completamente. Denici on 3.15: En este caso, ducto.
i I

Ei se llama espacio de operadores pro-

24

Estos cuatro ejemplos ilustran parte de las aplicaciones del teorema de Ruan. Prosiguiendo con la generalizaci on de construcciones propias de la teor a de espacios de Banach a la teor a no conmutativa, ser a deseable dotar cada uno de los espacios CB(E, F ) de estructura de espacio de operadores. En particular, el espacio dual E = B(E, C) CB(E, C). Para ello es preciso construir normas en cada uno de los Mn (E ). Se ha visto que no se puede tomar Mn (E ) = Mn (E ) para denir una estructura de espacio de operadores, de hecho, no es lo natural, en cuanto que en la situaci on an aloga de espacios de Banach, n n n n ( E ) no es el dual de ( E ), sino que ( E ) = B(E, n ) 1 (E ) . De la misma manera, se puede identicar Mn (E ) = CB(E, Mn ) para denir la norma matricial: si f1 f21 .. f = f Mn ( E ) , .
12

fnn entonces ||f || = sup{||fn (x)|| : x Mn (E ), ||x|| 1} = sup{||fij (xkl )|| : x Mn (E ), ||x|| 1} por el lema 3.10. As , aun siendo Mn (E ) = Mn (E ) , las normas en Mn (E ) determinan completamente las de Mn (E ). Proposici on 3.16: dado E espacio de operadores, el espacio dual as denido, Mn (E ) CB(E, Mn ) es un espacio de operadores, que es siempre completo. Demostraci on: sean x Mm (E ), A Mn,m , B Mm,n . Se tiene ||(Ax B )r || = ||(AIr )x r (B Ir )|| ||AIr ||||xr ||||B Ir || ||A||||x ||cb ||B ||, luego ||AxB ||cb ||A||||x||cb ||B || por otro lado, si x Mm (E ), y Mn (F ), x Mr (E ), ||x|| 1, entonces
||(x y )r (x)|| = ||(x r (x) yr (x))|| = = m ax{||x ax{||x ||cb , ||y ||cb }, r (x)||, ||yr (x)||} m

luego ||(x y )||cb m ax{||x ||cb , ||y ||cb } Adem as E es completo, luego lo son todos los Mn (E ). El siguiente teorema es u til para denir topolog as d ebiles . Teorema 3.17 (Blecher, Paulsen, Eros, Ruan): si E es un espacio de operadores, la inclusi on : E E es completamente isom etrica. Demostraci on: si x Mn (E ), x Mn (E ), entonces es n (x)(x ) = (x ij (xkl ))(i,k),(j,l)=(1,1) , luego: ||n (x)||cb = sup{||n (x)n (x ) : x CB (E, Mn ), ||x ||cb 1} = sup{||x (x)|| : x CB(E, Mn ), ||x ||cb 1} = ||x|| (lema 3.10). 25
(n,n)

Los duales funcionan correctamente con operadores adjuntos. Proposici on 3.18: dados E, F espacios de operadores, T : E F comple tamente acotado, entonces ||Tn || = ||Tn || n N, y ||T ||cb = ||T ||cb . Demostraci on: si x Mn (E ), y Mn (F ), entonces
Tn y (x) = ( xij , (Tn y )kl )(i,k),(j,l) = ( xij , T ykl )(i,k),(j,l) = = ( T xij , ykl )(i,k),(j,l) = (Tn x)ij , ykl

(i,k),(j,l)

= y (Tn x )

con lo cual,
||Tn || = sup{||Tn y || : y Mn (F ), ||y ||cb 1} = sup{||Tn y (x)|| : y Mn (F ), x Mn (E ), ||x||, ||y ||cb 1}

= sup{||y (Tn (x))|| : y Mn (F ), x Mn (E ), ||x||, ||y ||cb 1} = ||Tn || y el hecho de que ||T ||cb = ||T ||cb es una consecuencia inmediata de esto.
n Denici on 3.19: una red (x ) = (xij )i,j =1, Mn (E ) = CB(E, Mn ) converge a x en la topolog a d ebil si para cualquier x Mm (E ), x (x) converge a x (x) en Mmn . Es el caso si, y solo si, converge por componentes, por ser sumas nitas. As , al contrario de lo que sucede con la norma de matrices en Mn (E ), la topolog a d ebil en E como espacio de Banach dual determina la de cada Mn (E ). Tamn bi en, x = (x a d ebil si, y ij )i,j =1 : E Mn es continuo en la topolog solo si, cada xij lo es, luego x = n (x) para alg un x Mn (E ), es decir: w w CB (E , Mn ) = n (Mn (E )), donde CB denota los operadores completamente acotados que son continuos en la topolog a d ebil .

Si se sustituye el rango C por otro espacio de operadores F , CB (E, F ) tambi en es un espacio de operadores identicando Mn (CB(E, F )) CB(E, Mn (F )). La demostraci on de que CB(E, F ) es un espacio de operadores con tales normas es an aloga a la del caso del dual, pero es m as f acil utilizar una versi on concreta: si para cada n N, x Mn (E ) con ||x|| 1, se toma Fx = F, se puede denir CB(E, F ) T
nN xMn (E )||||1

Mn (Fx ) (Tn (x))

que es claramente una inyecci on completamente isom etrica. Adem as, como en el caso de espacios de Banach: Teorema 3.20: dados E, F espacios de operadores, si F es completo, entonces CB(E, F ) es completo. 26

Demostraci on: es an aloga a la del caso de espacios normados, notando u nicamente un peque no conjunto de cuestiones extra. Una sucesi on {Tn }nN de Cauchy en || ||cb lo es en B(E, F ), con lo cual, se puede encontrar el u nico l mite T candidato como corresponde a aquel que en cada x E devuelve el valor l mite en F, que para un x E jo, existe por ser F completo. Probar que n Tn T en la norma c.b. utiliza la condici on de Cauchy hipot etica de || ||cb .

Tambi en es posible considerar B(E, F ) como espacio de operadores si F es un espacio de operadores, aunque E u nicamente posea estructura de espacio normado, mediante la identicaci on Mn (B(E, F )) = B(E, Mn (F )). Lo prueba la inyecci on completamente isom etrica B(E, F ) T
x BE

Fx T ( x)

si Fx = F x E . Y adem as, los B(H, K ) para H, K espacios de Hilbert tienen estructura de espacio de operadores mediante la identicaci on Mn (B(H, K )) = B(H n , K n ). Es interesante contemplar ejemplos de espacios de operadores no triviales que resultan de cuantizar un mismo espacio de Banach de base. Dos de ellos se forman a partir de normas matriciales denidas para espacios que son de Hilbert: son los llamados espacios de operadores de Hilbert la y columna. Denici on 3.21: dado H espacio de Hilbert, se dene el espacio de operadores de Hilbert columna Hc como la cuantizaci on de H dada por la isometr a columna que est a dada por C:H x B (C, H ) = C (x)() = x

considerada como isometr a completa. Se recogen sus propiedades en la siguiente proposici on. Proposici on 3.22: dado H espacio de Hilbert, def nase su estructura Hc . Se tiene: a) La isometr a Mm,n (Hc ) B(Cn , H m ) es tambi en completa si ambos m conjuntos se consideran espacios de operadores. En particular, Mm,1 (Hc ) = Hc . b) si x Mm,n (Hc ), entonces
m n 1/2

||x||c =
k=1

xki |xkj
i,j =1

27

c) si Ap Mn ,y ep H son ortonormales p = 1, ..., m, entonces A1 m . || Ap ep || = . .

p=1

Am

Demostraci on: a) si dicha isometr a es T : Mm,n (Hc ) B(Cn , H m ) para m, n arbitrarios, ambos son espacios de operadores y el siguiente diagrama conmuta: Mp (Mm,n (Hc )) Tp Mp (B (Cn , H m )) Mpm,pn (Hc ) T B (Cpn , H pm ) B ( C, H m ) =

por tanto Tp es isom etrica. Adem as, Mm,1 (Hc ) Mm,1 (B (C, H )) m Hc b) el operador adjunto de cada C (y ) est a dado por C (y ) : H z C z |y

pues si C, = C (y ) (z ), entonces = | = |C (y ) (z ) = y |z = z |y Por tanto, si x = (xij )m,n i=1,j =1 Mm,n (Hc ), entonces
m n

||x||c = ||Cm,n (x) Cm,n (x)||

1 /2

= ||
k=1

C (xki ) C (xkj )
i,j =1 n

||1/2 =

= ||
k=1

xki |xkj
i,j =1

||1/2

c) si Ap Mn ,y ep H son ortonormales p = 1, ..., m, se tiene

m m n (p) Aij ep p=1 m m n (p) (p) Akj ep |Aki eq p=1 q =1 k=1 m n m i,j =1 i,j =1 n

||
p=1

Ap ep || = ||

|| =

= ||

|| = A1 . = . . . Am

= ||

(Akj Aki )||1/2 = ||

p=1 k=1 p=1

1/2 A p Ap ||

Seg un esto, las matrices sobre espacios de Hilbert columna constituyen espacios de operadores, como de hecho ya se sabe, que adem as son los B(Cn , H m ). 28

Se pueden calcular normas de matrices en el espacio de operadores de Hilbert columna precisamente tomando la matriz que en la posici on (i, j ) multiplica la columna i por la columna j escalarmente. Adem as, para combinaciones lineales nitas en cada componente, se puede extraer la matriz escalar correspondiente a cada vector ortonormal del conjunto nito y situarlas todas en columna. Son propiedades que ilustran su nomenclatura. Algo an alogo sucede con el siguiente espacio de operadores. Denici on 3.23: dado H espacio de Hilbert, y su dual, el conjugado H = H , se dene el espacio de operadores de Hilbert la Hr (del ingl es row) como la cuantizaci on de H dada por la isometr a la que est a dada por R:H x B (H, C) = R(x)(y ) = x|y

considerada como isometr a completa. Tambi en: Proposici on 3.24: dado H espacio de Hilbert, def nase su estructura Hr . Se tiene: a) La isometr a Mm,n (Hr ) B(H n , Cm ) es tambi en completa si ambos n conjuntos se consideran espacios de operadores. En particular, M1,n (Hr ) = Hr . m n 1/2 b) si x Mm,n (Hr ), entonces ||x||r = || ( k=1 xik |xjk )i,j =1 || m c) si Ap Mn ,y ep H son ortonormales p = 1, ..., m, entonces || p=1 Ap A1 Am ep || = Demostraci on: es an aloga a la de la proposici on 3.22. N otese que en este caso R(x) : C H pues R(x) ()|y = R(x)y = x|y = x|y = x|y , x y as ||x||r = ||Rm,n (x)Rm,n (x) ||1/2 . Por ejemplo, si e1 , ...en H son vectores ortonormales, entonces e1 en
(b) c

= ||In ||1/2 = 1

respecto a la norma en el espacio de operadores de Hilbert columna, y e1 en

(b) r n

= ||
i=1

1||1/2 =

respecto a la norma en el espacio la. Esto ilustra la diferencia entre ambas cuantizaciones. Una de las ventajas de considerar diferentes cuantizaciones consiste en conservar los conjuntos de operadores acotados denidos sobre los espacios de Banach base cuando se consideran operadores completamente acotados. En particular: 29

Teorema 3.25: dados H, K espacios de Hilbert, existe una isometr a completa B(H, K ) CB(Hc , Kc ) n n Demostraci on: sea T = (Tij )n i,j =1 Mn (B(H, K )) = B(H , K ) y sea T su imagen can onica correspondiente en Mn (CB(Hc , Kc )) = CB(Hc , Mn (Kc )). Debe comprobarse ||T || = ||T ||cb . l Por un lado, si x Mp (Hc ), se tiene x = k=1 Ak ek para algunos m Ak Mp , y ek H que son ortonormales. Sea H0 = span{ek }l k=1 , y sea {fh }h=1 n una base ortonormal del espacio K0 = i,j =1 Tij (H0 ). Denamos Tij (h, k ) por m Tij (ek ) = h=1 Tij (h, k )fh , y sea T0 (h, k ) = (Tij (h, k ))n i,j =1 Mn , con lo cual m,l n T0 = (T0 (h, k )i,j =1 )h,k=1 Mnm,nl satisface ||T0 || ||T ||, debido a que se trata n n de la matriz de la restricci on de T a una aplicaci on de H0 en K0 . As , Tp = I T : Mp Hc Mp Mn Kc satisface
l

Tp (x) =
k=1 l

Ak T (ek )
n

=
k=1 l

Ak
i,j =1 n

Eij Tij (ek )

m

=
k=1 i,j =1 l m

Ak Eij
h=1 n

Tij (h, k )fh

=
k=1 h=1 l m

Ak
i,j =1

Tij (h, k )Eij fh

=
k=1 h=1

Ak T0 (h, k ) fh

luego ||Tp (x)||Mpn (Hc ) =

l k=1

l k=1

Ak T0 (1, k ) . . . Ak T0 (m, k )

Ip T0 (1, 1) . . = .

A1 In Ip T0 (1, l) . . .. . . . . . Ip T0 (m, 1) Ip T0 (m, l) Al I n A1 I n . . ||Ip T0 || . Al In ||Ip ||||x||Mp (Hc )

que implica el hecho de que ||T ||cb ||T ||. 30

Por otro lado, si x H n y {ek }l k=1 es en este caso una base ortonormal del l n l n espacio span{xj }j =1 , entonces xj = k=1 jk ek con j =1 k=1 |jk |2 = ||x||2 . Adem as, K n Mn,1 (Kc ), luego
n l n

Tx = (
j =1

Tij xj )n i=1 = (
k=1 j =1

Tij (ek )jk )n i=1 =

Mn,nl

= Tij e1

11 . . . Tij el jk . . . nl M e1 el

= T1,p

e1

el

(jk )n,l j,k=1

nl,1

As , ||T x|| ||T ||cb ||T ||cb .

||x|| = ||T ||cb ||x||, y por tanto ||T ||

Proposici on 3.26: si H es un espacio de Hilbert, entonces Hr y Hc no son duales de s mismos. Lo son uno de otro. Demostraci on: si se cuantiza H mediante la estructura Hc , su dual es, por el teorema 3.25, (Hc ) = CB(Hc , C) = B(H, C) = (H )r = (H )r Adem as, ((H )r ) = (Hc ) = Hc = (H )c , o (Hr ) (H )c . Proposici on 3.27: dados H, K espacios de Hilbert, existe una isometr a completa B(K , H ) CB(Hr , Kr ) Demostraci on: por lo anterior, CB(Hr , Kr ) CB((Kr ) , (Hr ) )

CB((K )c , (H )c )

B(K , H )

utilizando operadores adjuntos en la primera isometr a. N otese que se han utilizado los duales H de los espacios de Hilbert involucrados para la mejor ilustraci on de los resultados. Se puede denir R(x) B(H, C) en 3.23 como R(x)(y ) = y |x con id enticos resultados cuidando la notaci on para con la isometr a can onica : H H . Existe una estructura de espacio de operadores de Hilbert, que de hecho es u nica, desarrollada por G. Pisier, que convierte (o : H H en otras palabras) en una isometr a completa, de modo que H es dual de s mismo. Existen asimismo cuantizaciones muy importantes para espacios de Banach (m nima y m axima) donde las normas matriciales conservan las aplicaciones can onicas siguientes como isometr as: CB(E, m n F ) B(E, F ), y CB(m ax F, E ) = B(F, E ) si E es un espacio de operadores y F es un espacio de Banach. Ilustran muy bien la variedad de situaciones producidas al generalizar los espacios de Banach hacia la matem atica no conmutativa mediante la consideraci on de diversas normas matriciales. Puede consultarse en [Ef-Ru].

31

Productos tensoriales de espacios de operadores

La operaci on del producto tensorial es un paradigma que alcanza su m axima presencia en el marco de los espacios de operadores. A diferencia del caso de los espacios normados, son raros los art culos en la materia de espacios de operadores donde no se utilizan. Se sostiene dada la esencia misma de estructura de espacio de operadores como conjuntos de matrices de operadores. Para denir una estructura de espacio de operadores en un espacio de operadores producto tensorial E F es preciso considerar normas en cada uno de los Mn (E F ), donde E F es el producto tensorial algebraico. En este caso, se requieren unas propiedades razonables an alogas al caso Banach: las normas matriciales || || en E F satisfar an ||x y || ||x||||y || si x Mp (E ), y Mq (F ). Adem as, contracciones completas x : E Mp , y : F Mq determinar an contracciones completas x y : E F Mpq . y en el caso general con cualquier espacio de operadores como rango. Esto permitir a denir los productos tensoriales proyectivo e inyectivo de espacios de operadores cumpliendo que, en el caso de S : E G y T : F H como antes, S T ser a un cociente completo si S y T lo fueren, en el caso proyectivo; y S T ser a una isometr a completa si S y T lo fueren, en el caso inyectivo. Un nuevo producto tensorial, exclusivo de espacios de operadores y muy importante, ser a el producto tensorial de Haagerup, que satisfar a las dos condiciones, adem as de otras propiedades interesantes. Denici on 4.1: dados E, F espacios de operadores, se dene su producto tensorial proyectivo de espacios de operadores E F como la compleci on de E F , que es su producto tensorial algebraico dotado de la norma matricial || || , donde ||z || = nf {||A||||x||||y ||||B || : z = A(x y )B } z Mn (E F ), A M n,pq , x Mp (E ), y Mq (F ), B Mpq,n es la norma tensorial proyectiva de espacios de operadores. Esto dene, en efecto, una estructura de espacio de operadores, como prueba la siguiente proposici on, que adem as da cuenta de las m ultiples representaciones de z que se permiten para el c alculo de ||z || , sin necesidad de considerar sumas. Proposici on 4.2: dados E, F espacios de operadores, || || es la mayor norma matricial posible de todas aquellas denidas en el producto tensorial algebraico de espacios de operadores (restringiendo nuevamente el conjunto de normas a aquellas razonables). Demostraci on: teniendo en cuenta la proposici on 3.12, sean z1 Mm (E F ), z2 Mn (E F ), > 0. Existen por denici on A1 , A2 escalares y x1 , x2 sobre E , y1 , y2 sobre F tales que zi = Ai (xi yi )Bi , i = 1, 2, con ||xi || = ||yi || = 1, as, se puede identicar ||Ai || = ||Bi || ||zi || + . Adem

32

x1 0 luego

0 x2

y1 0

0 y2

x1 y1 0 = 0 0

0 x1 y2 0 0

0 0 x2 y1 0

0 0 , 0 x2 y2

=A

z1 z2 =

A1 0

0 0 0 0

0 A2

B1 0 ((x1 x2 ) (y1 y2 )) 0 0 ||AA || ||BB || =

0 0 0 B2 =B

y ||z1 z2 || ||A||||B || =
= ||A1 A 1 A2 A2 || ||B1 B1 B2 B2 || ax{||Ai ||2 } m ax{||B ||2 } m ax{||zi ||} + m

y as se obtiene i). Si C Mp,m , D Mm,p , entonces Cz1 D = CA1 (x1 y1 )B1 D. Por tanto, ||Cz1 D|| = ||CA1 ||||B1 D|| ||C ||||D||(||z1 || + ), que n es ii). Adem as, si 0 = z = i=1 xi yi E F, con xi , yi = 0 y se toman n {fi }i=1 en BF con fi (yj ) = ||yi || ij , x BE con x (x1 ) = 0, y = f1 , entonces x y (z ) = 0. Y tambi en, si z = A(x y )B matricialmente, es decir, x Mm (E ), y Mn (F ), A M1,m , B Mn,1 , entonces ||x m || = ||x || 1, ||ym || = ||y || 1, y |(x y )(z )| = |A(xm (x) ym (y )B | ||A||||x||||y ||||B ||, luego 0 = |(x y )(z )| ||z || . Es inmediato que || || satisface las dos propiedades razonables b asicas y es la mayor de todas las posibles. Denici on 4.3: dados E, F espacios de operadores, se dene su producto tensorial inyectivo de espacios de operadores E F como la compleci on de E F , que es su producto tensorial algebraico dotado de la norma matricial || || , donde ||z ||m n = ||z || = sup{||(x y )n (z )|| : x Mp (E ), y Mq (F ), ||x ||, ||y || 1} z Mn (E F ), (n otese que (x y )n (z ) Mnpq ) es la norma tensorial inyectiva de espacios de operadores. Este producto tensorial tambi en dene una estructura de espacio de operadores, que como en el caso de espacios de Banach, se determina mediante la inclusi on can onica dada por: Proposici on 4.4: dados E, F espacios de operadores, la norma tensorial inyectiva est a determinada por la inyecci on can onica i : E F CB(E , F ) Demostraci on: naturalmente, i(x y )(x ) = x (x)y, x E, y F, x E . Se trata de probar que i es una isometr a completa, en cuyo caso, adem as, se

33

probar a indirectamente que || || determinar a una estructura de espacio de operadores. Si z Mn (E F ), in (z ) Mn (CB(E , F )) = CB(E , Mn (F )) de forma que n,p su acci on sobre x Mp (E ) es in (z )p (x ) = i(zij )(x kl )i,j =1,k,l=1 Mnp (F ) y as , si y Mq (F ),
n,p ynp (in (z )p (x )) = ynp (i(zij )(x kl )i,j =1,k,l=1 ) = = (y (i(zij )(x kl )))i,j =1,k,l=1 = (yrs (i(zij )(xkl )))i,j =1,k,l=1,r,s=1 = n,p,q = (x kl yrs (zij ))i,j =1,k,l=1,r,s=1 = (x y )(z ) n,p n,p,q

Por tanto,
||in (z )p (x )|| = sup{||ynp (in (z )p (x ))|| : y Mq (F ), ||y || 1, q N}

y con lo cual ||in (z )p ||CB(E,Mn (F )) = sup{||ynp (in (z )(x ))|| : x Mp (E ), y Mq (F ), ||x ||, ||y || 1, p, q N} = sup{||(x y )(z )|| : x Mp (E ), y Mq (F ), ||x ||, ||y || 1, p, q N} = ||z || . El producto tensorial proyectivo entre espacios de operadores verica una propiedad an aloga a la del caso de espacios de Banach respecto a la linearizaci on de aplicaciones bilineales acotadas. El concepto de aplicaciones bilineales acotadas ya no es empero propio de la teor a de espacios de operadores, donde se deben reemplazar por otro tipo de aplicaciones bilineales que sean acotadas actuando sobre cada espacio de matrices: Denici on 4.5: dados E, F, G espacios de operadores, una aplicaci on bilineal B : E F G es completamente acotada si cada una de las Bn;n es acotada y todas lo est an uniformemente, donde Bn;n : Mn (E ) Mn (F ) Mn2 ,n2 (G) n n est a dada por Bn;n ((xij )n on de i,j =1 , (ykl )k,l=1 ) = (B (xij , ykl ))i,j,k.l=1 , o en funci tensores elementales, Bn;n (A1 x, A2 y ) = A1 A2 B (x, y ). En este caso se dene su norma completamente acotada por ||B ||cb = sup{||Bn;n || : n N} = l m{||Bn;n || : n N}. B es completamente contractiva si ||B ||cb 1. El espacio de aplicaciones bilineales completamente acotadas se escribe CB(E F, G). Tambi en, en este caso, es claro que cada una de las Bm,n;p,q est a acotada, donde Bm,n p,q : Mm,n (E ) Mp,q (F ) Mmp,nq (G). Es inmediato que || ||cb es una norma en CB(E F, G). Adem as, se puede dotar este espacio de estructura de espacio de operadores mediante la identicaci on Mn (CB(E F, G)) CB(E F, Mn (G)). Teorema 4.6: dados E, F, G espacios de operadores, existen isometr as completas CB(E F, G)

CB(E F, G) 34

CB(E, CB (F, G))

Demostraci on: utilizando la misma notaci on de los teoremas 1.5 y 2.10, sea B CB(E F, G). Dado z = A1 (x y )A2 Mn (E F ), con x Mp (E ), y Mq (F ), se tiene que Bn (z ) = A1 (Bp;q (x, y ))A2 , luego ||Bn (z )|| ||B ||cb ||A1 ||||x||||y ||||A2 || y as ||B ||cb ||B ||cb . Por otro lado dado > 0, existen x Mp (E ), y Mq (F ), ||x||, ||y || 1, y ||B ||cb ||Bp;q (x, y )|| + . Como ||x y || 1, se sigue que ||B ||cb ||Bpq (x y )|| + ||B ||cb + . Adem as, si B CB(E F, G), se puede armar que B CB(E, CB (F, G)) dada por B (x)(y ) = B (x, y ), x E, y F, pues si en su lugar x Mp (E ), y Mq (F ), es ||Bp (x)q (y )|| = ||Bp,q (x, y )||, de lo que se deduce inmediatamente ||B ||cb = ||B ||cb , y que B B es isometr a CB(E F, G) CB(E, CB (F, G)). Adem as, es sobreyectiva, pues dado T CB(E, CB(F, G)), se puede tomar B : E F G con B (x, y ) = (T x)(y ), con lo cual B es completamente acotada, B = T y ||B ||cb = ||T ||cb por el c alculo anterior. El hecho de que B B es una isometr a completa se sigue del diagrama conmutativo: Mn (CB(E F, G)) CB(E F, Mn (G)) Mn (CB(E, CB(F, G)) , CB(E, CB(F, Mn (G)) donde las columnas y la la inferior son isom etricas. Esto tambi en muestra indirectamente que el conjunto de aplicaciones bilineales completamente acotadas tiene estructura de espacio de operadores con la citada identicaci on. Las siguientes propiedades tambi en son ciertas en la categor a de espacios normados, lo que no es sorprendente, pues no dejan de ser un caso particular de espacios de operadores (una suerte de subcategor a conmutativa, como se ha tratado de describir): Proposici on 4.7: los productos tensoriales proyectivo e inyectivo de espacios de operadores son conmutativos y asociativos, esto quiere decir que dados E, F, G espacios de operadores, existen isometr as completas E F F E, y (E F ) G E (F G) tomando en cada caso bien la norma tensorial proyectiva o bien la norma tensorial inyectiva de espacios de operadores. Demostraci on: si x E, y F, z G, apl quese en el primer caso x y y x, y en el segundo (x y ) z x (y z ). La cualidad de isometr as completas es una simple consecuencia de las deniciones de ambas normas. En particular: Corolario 4.8: dados E, F espacios de operadores, existen isomorsmos completamente isom etricos EF

CB(E, F )

CB(F, E )

Demostraci on: es consecuencia de las dos anteriores, con G = C. El siguiente teorema muestra que estas normas son u niformes.en el mismo sentido que sus hom ologas de espacios normados. 35

Teorema 4.9: dados E, F, G, H espacios de operadores, si S : E G, T : F H son contracciones completas, entonces S T : E F G H y S T : E F G H tambi en lo son. Demostraci on: S y T determinan S T : E F G H dada por (x, y ) Sx T y que es una contracci on completa, pues si x Mn (E ), y Mm (F ), se cumple ||(S T )n,m (x, y )|| ||Sn x||||Tm y || ||x||||y ||, luego S T = S T , en notaci on de 4.6, es una contracci on completa. Si x Mp (G ), y Mq (H ) son contracciones completas, tambi en lo son x S Mp (E ) y y T Mq (F ). Luego, si z Mn (E F ), es ||(S T )n (z )|| = sup{(x y ) (S T )n (z ) : x Mp (G ), y Mq (H ), ||x ||, ||y || 1} = sup{(x S ) (y T )(z ) : x Mp (G ), y Mq (H ), ||x ||, ||y || 1} ||z || . Tambi en, como en el caso de espacios normados, los or genes de sus nombres concuerdan con sus buenos comportamientos con cocientes/subespacios. Proposici on 4.10: si E, F, G, H son espacios de operadores, S : E G, T : F H son cocientes completos, entonces S T : E F G H tambi en lo es. Demostraci on: cada Mn (E F ) es completo, luego como en el caso de espacios normados, basta ver que ST
n

Mn (E F )||||<1 = Mn (G H )||||<1

Si z Mn (G H ), ||z || < 1, existen A, B escalares, x Mp (G), y Mq (H ) tales que z = A(x y )B, ||A||, ||B ||, ||x||, ||y || < 1. As pues, existen x Mp (E ), y Mq (F ) con ||x|| < 1, ||y || < 1, Sp x = x, Tq y = y. Con lo cual, z = A(x y )B cumple que S T (z ) = z, ||z || < 1. La representaci on general de elementos del producto tensorial proyectivo de espacios de operadores requiere el estudio previo de matrices innitas -y sus normas-, que por el momento no es interesante. Pero se puede citar un an alogo de la proposici on 2.8: Proposici on 4.11: dados E, F espacios de operadores, z Mn (E F ), se cumple: ||z || = nf {||A||||x||||y ||||B || : z = A(x y )B }, donde x M (E ), y M (F ), A Mn, , B M,n son todas las representaciones posibles de un elemento z del producto tensorial proyectivo, ya 36

completado. Adem as, x e y se pueden tomar como l mite de matrices de rango nito. Demostraci on: es una buena motivaci on para estudiar el cap tulo 10 de la bibliograf a b asica [Ef-Ru]. Y por otro lado, ya se ha adelantado: Proposici on 4.12: dados E, F, G, H espacios de operadores, S : E G, T : F H inyecciones completamente isom etricas, entonces S T : E F G H tambi en lo es. Demostraci on: es an aloga al caso de espacios normados pero requiere la versi on no conmutativa del teorema de Hahn-Banach para espacios de operadores, a saber, el teorema de Arveson-Wittstock, que por el momento tampoco es necesario en estas notas. Se encuentra en [Ef-Ru], y es esencialmente el contenido del cap tulo 4. Es u til tambi en una variaci on de la proposici on 4.4, para representar el producto tensorial inyectivo de espacios de operadores, que estar a contenido en la pr oxima proposici on. Lema 4.13: dado E espacio de operadores, la identicaci on isomorfa Mn (E ) Mn (E )

es un homeomorsmo d ebil . n ebilmente Demostraci on: (xij, )i,j =1, Mn (E ) es una red que converge d n a (xij )i,j =1 Mn (E ) si, y solo si, cada evaluaci on (xij, (xij )) converge a n x ( x ), como se puede ver f a cilmente, pues ( x )( x ) para x = (x ij ij ij )i,j =1 n Mn (E ) , x = (xij )i,j =1 Mn (E ) es una suma nita. Esto es justo la noci on de convergencia d ebil en Mn (E ). Rev sense, si es necesario, los comentarios a la denici on 3.19. Lema 4.14: dado E espacio de operadores, si x : E M n es una con tracci on completa, existe una red (x ) = (xij, ) CBw (E , Mn )||||1 que converge a x en la topolog a d ebil . Demostraci on: es consecuencia de lo anterior y el teorema de Goldstine, teniendo en cuenta el diagrama conmutativo: Mn (E ) CB
w

Mn (E )

Mn (E ) .

(E , Mn )

CB(E , Mn )

La la superior es la inclusi on can onica de espacios de Banach, se utilizan topolog as d ebiles . N otese que x (x ) = x n (x ) para algunos x Mn (E ). Proposici on 4.15: dados E, F espacios de operadores, la inclusi on natural i : E F CB(E, F ) es completamente isom etrica. 37

Demostraci on: en este caso i(x y )(x) = x (x)y x E , x E, y F. Adem as, si y F , z E F, entonces y (i(z )(x)) = (x y )(z ). De la misma forma que en c alculo de la proposici on 4.4, se obtiene, para z Mn (E F ), x Mp (E ), y Mq (F ), que ypn (in (z )p (x)) = (x y )n (z ). Dada cualquier x Mp (E ), ||x ||cb 1, el lema anterior permite tomar una red (x ) Mp (E ) = CBw (E , Mp ) con ||x || 1 que converge d ebilmente a x . As , ||in (z )||cb = sup{||ynp (in (z )p (x))|| : ||x||, ||y || 1} = sup{||(x y )n (z )|| : ||x||, ||y || 1} = sup{|| (x y )n (z )|| : ||x ||, ||y || 1} = ||z || . Corolario 4.16: dado E espacio de operadores, n N, existe una isometr a completa Mn (E ) Mn E.

Demostraci on: seg un la proposici on 4.4, Mn E CBw (E , Mn ) Mn (E ). El u ltimo paradigma de producto tensorial de espacios de operadores requiere el uso de una nueva operaci on denida sobre matrices. Es una mezcla de producto de matrices escalares y producto tensorial. Denici on 4.17: dados E, F espacios de operadores, se dene el producto interior de matrices: : Mm,r (E ) Mr,n (F ) r,n (x, y ) = ((xij )m,r , ( y ) ) kl k,l=1 i,j =1 Mm,n (E F ) x y = ((x y )ij )m,n i,j =1 m,n r = ( k=1 xik ykj )i,j =1

Es decir, para tensores elementales x = A x0 , y = B y0 toma la forma y = (AB ) x0 y0 . En cuanto a sus propiedades b asicas:

Lema 4.18: dados E, F, G espacios de operadores, x Mp (E ), y Mq (F ), el producto de Kronecker se puede expresar en t erminos del producto interior: x y = (x Iq ) (Ip y ). Si A Mm,n , B Mn,p , x Mn,p (E ), coincide con el producto usual, esto es: A x = Ax, A B = AB. Adem as, es asociativo: si en su lugar x Mn,p (E ), y Mp,q (F ), z Mp,m (G), entonces (x y ) z = x (y z ). Por u ltimo, si x1 Mm,r (E ), x2 Mn,s (E ), y1 Mr,m (F ), y2 Ms,n (F ), entonces (x1 x2 ) (y1 y2 ) = (x1 y1 ) (x2 y2 ). Demostraci on: son consecuencias de la denici on, de comprobaci on rutinaria.

Dados E, F en este caso espacios vectoriales, una suma de n tensores elementales de E F se puede escribir como un tal producto de una la y una columna de n componentes cada una. Parece natural que cualquier matriz se puede escribir como un producto de una matriz de Mn,m (E ) y otra de Mm,n (F ) para alg un m N. As sucede: 38

Lema 4.19: dados E, F espacios vectoriales, z Mn (E F ), existen m N, n m x Mn,m (E ), y Mm,n (F ) tales que z = x y = ( k=1 xik ykj )i,j =1 . Demostraci on: dado un tensor elemental Eij x y con x E, y F, Eij de la base can onica de Mn , se puede escribir 0 . . . (n,1) (1,n) ( n) (j ) (i) Eij x y = 0 y 0 = (Ei,1 x) (E1,j y ). x . . . 0 Adem as, si z1 = x1 y1 , z2 = x2 y2 , se cumple que z1 + z2 = x1 x2 y1 . y2
(n) (n)

Dado que cualquier elemento de Mn (E F ) es suma nita de tensores elementales, y las sumas nitas tambi en se pueden escribir como un producto interior, se concluye el resultado. Denici on 4.20: dados E, F espacios de operadores, se dene su producto tensorial de Haagerup E F como la compleci on de E h F , que es su producto tensorial algebraico dotado de la norma matricial || ||h , donde ||z ||h = nf {||x||||y || : z = x y } z Mn (E F ), x Mn,m (E ), y Mm,n (F ), m, n N es la norma tensorial de Haagerup. Demostraci on: se utiliza nuevamente la vers atil proposici on 3.12. Si z1 Mm (E F ), z2 Mn (E F ) y > 0, existen x1 Mm,r (E ), y1 Mr,m (F ), x2 Mn,s (E ), y2 Ms,n (F ), tales que z1 = x1 y1 , z2 = x2 y2 y adem as ||x1 ||, ||x2 || 1, ||yi || ||zi ||h + , i = 1, 2. As , z1 z2 = (x1 y1 ) (x2 y2 ) = (x1 x2 ) (y1 y2 ), luego ||z1 z2 ||h ||x1 x2 |||||y1 y2 || m ax{||y1 ||, ||y2 ||} m ax{||z1 ||h , ||z2 ||h } + . Si z Mn (E F ), A, B Mn y > 0, existen x Mn,r (E ), y Mr,n (F ) tales que z = x y, ||x||||y || ||z ||h + , as , AzB = (Ax) (yB ), luego ||AzB ||h ||Ax||||yB || ||A||||x||||y ||||B || ||A||(||z ||h + )||B ||, luego ||AzB ||h ||A||||z ||h ||B ||. Adem as, en estas condiciones, si x Mp (E ), y Mq (F ) son contracciones completas, entonces
n h

(x y )n (z ) = (x y )n (x

y) = (
k=1

x (xik ) y (ykj ))n i,j =1 =

n,r = (x (xik ) Iq ) (Ip y (ykj ))n,r i,j =1,k=1 = (x (xik ) Iq )(Ip y (ykj ))i,j =1,k=1 y as ||(x y )(z )|| ||x n,r (x)||||yr,n (y )|| ||x||||y ||, luego ||z || ||z ||h + , y

|| ||h es no degenerada. 39

Por otro lado, si x Mm (E ), y Mn (F ), entonces x y = (x In ) (Im y ), y as ||x y ||h ||x||||y ||, con lo cual EF (x, y ) E h F xy

es completamente contractivo, lo que conlleva que I : E h F E F tambi en lo es. El producto tensorial de Haagerup tambi en lineariza una clase muy importante de aplicaciones bilineales, donde por ser || ||h || || , constituyen una clase m as restringida que aquellas que son completamente acotadas. Denici on 4.21: dados E, F, G espacios de operadores, una aplicaci on bilineal B : E F G es multiplicativamente acotada si cada una de las B(n) es acotada y todas lo est an uniformemente, donde B(n) : Mn (E ) Mn (F ) Mn (G) n est a dada por B(n) (x, y ) = ( k=1 B (xik , ykj ))n on de tensores elei,j =1 , o en funci mentales, B(n) (A1 x, A2 y ) = A1 A2 B (x, y ). En este caso se dene su norma multiplicativamente acotada por ||B ||mb = sup{||B(n) || : n N} = l m{||B(n) || : n N}. B es multiplicativamente contractiva si ||B ||mb 1. El espacio de aplicaciones bilineales multiplicativamente acotadas se escribe M B (E F, G). N otese que, dado que ||Bp;q (x, y )|| = ||Bpq (x y )|| = ||Bpq ((x Iq ) (Ip y ))|| = ||B(pq) ((x Iq ), (Ip y ))|| ||B ||mb ||x||||y ||, se cumple, en general, ||B ||cb ||B ||mb, con lo cual el conjunto de aplicaciones bilineales multiplicativamente acotadas est a contenido en el conjunto de aplicaciones bilineales completamente acotadas. Teorema 4.22: dados E, F, G espacios de operadores, existe una isometr a MB(E F, G) CB(E F, G). Si se dene una estructura de espacio de operadores en MB(E F, G) dada por la identicaci on Mn (MB(E F, G)) = MB(E F, Mn (G)), se trata de una isometr a completa. Demostraci on: se utiliza la misma notaci on que en los teoremas 1.5, 2.10 y 4.6. Si B MB(E F, G), entonces B(n) (x, y ) = Bn (x y ), x Mn (E ), y Mn (G). A partir de esto, ||B ||mb = sup{||Bn (x y )|| : x Mn (E ), y Mn (F ), ||x||, ||y || 1, n N} =
h h

= sup{||B(n) (z )|| : z Mn (E F ), ||z ||h 1, n N} = ||B ||cb . Y las isometr as Mn (MB(E F, G)) CB(E F, Mn (G)) se prueban igual, sustituyendo G por Mn (G). En particular, MB(E F, G) tiene estructura de espacio de operadores. Esto tambi en dene el dual de E F tomando G = C.
h

40

Una propiedad interesante que facilita c alculos procede del renamiento: Lema 4.23: dados E, F espacios de operadores, z E h F con ||z ||h < 1, existen y1 . x = x1 xr M1,r (E ), y = . . Mr,1 (F ), ||x||, ||y || < 1 yr
r y z = x y = j =1 xj yj , siendo {xj }r j =1 , {yj }j =1 linealmente independientes en E y en F respectivamente. Demostraci on: en general, el enunciado debe ser cierto para algunos vectores r { xj } r j =1 , {yj }j =1 , salvo por el hecho de que en un principio no tienen por r qu e ser linealmente independientes, {xj }r j =1 E0 E, {yj }j =1 F0 F, donde (E0 , F0 ) es un par de subespacios de E, F, con dim E0 = p, dim F0 = q. Adem as, se pueden tomar minimales en el conjunto de subespacios (Ei , Fi ) con este requisito de generaci on de z. Tambi en se puede suponer p q, o intercambiar los roles de E0 y F0 en la demostraci on. Sup ongase que {yi }n i=1 , n q r, es base de F0 (reordenando valores si es necesario). La matriz n B Mr,n dada por (yi )r i=1 = B (yi )i=1 debe cumplir Bij = ij si i, j n y tambi en B : Cn Cr es isom etrica, pues tiene rango m aximo. Si B = U |B | es su descomposici on polar, |B | Mn es invertible y U Mr,n es isom etrica, es decir, U U = In , se tiene que z = x U |B |(yi )n xU i=1 = M1,n (E ) n n r |B |(yi )n i=1 siendo ||xU || ||x||, || |B |(yi )i=1 || = ||U B (yi )i=1 || = ||U (yi )i=1 || Mn,1 (F ) r

||(yi )r i=1 || Como |B | es invertible, los vectores de |B |(yi )n i=1 son linealmente indepenT dientes, como tambi en lo son los vectores de xU = ((xi )r i=1 ) U, pues generan V0 por minimalidad, siendo dim E0 = p q n. Tambi en es u til: Lema 4.24: dados E, F espacios de operadores, existe una isometr a Mm,n (E Mm,1 (E ) M1,n (F ). Demostraci on: son naturales y ya est an denidas sendas isometr as: Mm,r (E ) M1,r (Mm,1 (E )), y Mr,n (E ) Mr,1 (M1,n (E )), dadas por lo siguiente: si x = r,n (xij )m,r i,j =1 Mm,r (E ), y = (yjk )j,k=1 Mr,n (F ), entonces F) y1 . ,y = . . , yr siendo cada xj , j = 1, ..., r un vector columna de componentes (xij )m i=1 y cada yj , j = 1, ..., r un vector la de componentes (yjk )n y = k=1 . Se tiene que x r r y = y, de lo que se sigue el k=1 xk yk , luego x k=1 xik ykj = x 41
h h

x = x1

xr

resultado: si z Mm,n (E F ), ||z ||

Mm,n (E F )

= nf {||x||||y || : z = x

y, x

Mm,r (E ), y Mr,n (F )} = nf {||x||||y || : z = x Mr,1 (M1,n (F ))} = ||z || . h

Mm,1 (E )M1,n (F )

y, x M1,r (Mm,1 (E )), y

El producto tensorial de Haagerup tambi en es razonable en sentido u niforme satisface propiedades an alogas a las de los productos proyectivo e inyectivo. Proposici on 4.25: dados E, F, G, H espacios de operadores, si S : E G, T : F H son contracciones completas, S T : E F G H. Si S y T son isometr as completas, S T tambi en. Si S y T son cocientes completos, S T tambi en. Demostraci on: si S y T son completamente contractivos (o completamente isom etricos, o cocientes completos), tambi en lo son cada uno de los Sm,n , Tm,n por denici on de los espacios de operadores Mm,n (E ), Mm,n (F ). Observando el diagrama: Mn (E h F ) Mn,1 (E ) h M1,n (F )
(S h T )n h h h h h

Mn (G h H ) Mn,1 (G) h M1,n (H )

Sn,1 h T1,n

se sigue que basta comprobar que S h T es contractivo (o isom etrico, o cociente, seg un sea el caso). Sea z G h H, z = x y, con x M1,r (E ), y Mr,1 (F ). Es claro que (S h T )n (z ) = S1,r (x) Tr,1 (y ), y as ||(S h T )(z )|| ||S1,r (x)||||Tr,1 (y )|| ||S ||cb ||T ||cb ||x||||y ||, luego ||S h T || ||S ||cb ||T ||cb , lo que prueba lo primero. Si S y T son completamente isom etricos, y z E h F con || (S h T ) (z )|| < r r 1, podemos suponer (S h T ) (z ) = k=1 xk yk Gh H con {xk }r k=1 , {yk }k=1 r r linealmente independientes, ||(xk )k=1 ||, ||(yk )k=1 || < 1. En estas condiciones, deben ser xk = S xk , yk = T yk para k = 1, ..., r., y algunos xk E, yk F. En r r r efecto: si G = span{xk }r k=1 , H = span{yk }k=1 , entonces {xk }k=1 e {yk }k=1 son r r bases de G , H , por tanto se pueden tomar {xk }k=1 , {yk }k=1 biortogonales, es to es, x i (xj ) = yi (yj ) = ij y extenderlas a G y H (teorema de Hahn-Banach). r Dado que z E h F, z = k=1 xk yk , se tiene que yk = (xk h IdH ) r (S h T )(z ) = (xk S ) h (Idh T )(z ) = k=1 ((xk S )(xk )) T yk , xk = r (IdG h yk ) (S h T )(z ) = (IdG S ) h (yk T )(z ) = k=1 ((yk T )(yk )) S xk , as , z = x y con ||x||, ||y || < 1, luego ||z ||h < 1, y combinado con lo anterior, permite deducir que S h T es isom etrico. Por u ltimo, si S y T son cocientes completos, y si z F h G, ||z ||h < 1, r entonces z = x y = k=1 xk yk con x M1,r (G), y Mr,1 (H ), ||x||, ||y || < 1, entonces se pueden tomar x M1,r (E ), y Mr,1 (F ) con S1,r (x ) = x, Tr,1 (y ) = y , escribiendo z = x y , se tiene que ||z ||h < 1 y (S h T )(z ) = z.

42

El nmo de la denici on del producto tensorial de Haagerup, de hecho, se alcanza. Proposici on 4.26: dados E, F espacios de operadores, n N, z Mn (E h F ), existen x Mn,r (E ), y Mr,n (F ) tales que z = x y, ||z ||h = ||x||||y ||. r Demostraci on: supongamos que z E h F, z = k=1 xk yk , E = r r span{xk }k=1 , F = span{yk }k=1 . Por la proposici on 4.25, E h F E h F es un subespacio de operadores, esto es, hereda su norma. Sea s = m n{dim E , dim F }. Para cada m N, existen, por el lema 4.23, sendos conjuntos de vectores s s m s m m {xm y m = k=1 xm en se puede k }k=1 , {yk }k=1 tales que z = x k yk , y tambi
1 suponer ||xm ||, ||y m || ||z ||h + m ml l Por compacidad local de E , F , existen {xm i }lN , {yi }lN subsucesiones s convergentes a x, y en la norma. As , z = x y = k=1 xk yk , ||z ||h = ||x||||y ||. Si z Mn (E h F ), como es el caso general, el resultado se sigue el lema 4.24.

El producto tensorial de Haagerup es asociativo. Proposici on 4.27: dados E, F, G espacios de operadores, existen isometr as completas (E F ) G E (F G). Demostraci on: en este caso, la proposici on 4.26 se muestra muy u til: si u Mn ((E h F ) h G), ||u||h = nf {||t||||z || : u = t z, t Mn,q (E h F ), z Mq,n (G), q N} = nf {||x||||y ||||z || : u = (x y ) z, x Mn,p (E ), y Mp,q (G), z Mq,n (H ), p, q N} que es la misma norma ||u||h si se considera como elemento de u Mn (E h (F h G)). El resto se sigue de pasar a completados. Sin embargo, se ver a en los pr oximos ejemplos que no es conmutativo. Se pueden aprovechar los casos particulares de ejemplos de espacios de operadores, a saber, los espacios de operadores de Hilbert la y columna, para mostrar resultados acerca de c alculos concretos con los productos tensoriales hasta ahora tratados. Proposici on 4.28: dados E espacio de operadores, H Hilbert, existen isometr as completas, y can onicas Hc E Hc E, E Hr E Hr . Demostraci on: se puede probar la primera, la segunda es an aloga, si z Mn (Hc E ), basta ver que ||z ||h ||z || . La otra desigualdad siempre es cierta. Supongamos dim H = p < , Hc Cp Mp,1 , en este caso se tiene c que Hc E
h h h h h h

Mp,1 E

Mp,1 (E ),

43

si x Mn (Hc E ) Mnp,n (E ), entonces x = Inp x = Inp x y ||x||h ||Inp ||||x|| ||x|| . Si H es innito dimensional, x Hc E, entonces de hecho x H0 E con H0 subespacio nito dimensional, H0 H, y adem as, el diagrama siguiente conmuta: (H0 )c E (H0 )c h E Hc E Hc h E donde las columnas son inyecciones completamente isom etricas, as como la primera la, que por otro lado tambi en es sobreyectiva. Proposici on 4.29: dados E espacio de operadores y H espacio de Hilbert, existen isometr as completas y can onicas E Hc E Hc , Hr E Hr E. Demostraci on: nuevamente, la segunda es an aloga a la primera, y basta probar ||z || ||z ||h si z Mn (E Hc ). Dado un tal z, s ||z ||h < 1, existe m,n y, m N, x = (xij )n,m i,j =1 Mn,m (E ), y = (ykl )k,l=1 Mm,n (Hc ), con z = x ||x||, ||y ||c < 1. Tambi en, deben existir r N, Al Mm,n , el H ortonormales, r l = 1, ..., r, y = l=1 Al el , de modo que A1 . ||y ||c = . . . Ar Sea e = e1 er M1,r (Hc ). Se tiene
m n h h

z=x
m r

y=
k=1 n

xik ykj
i,j =1 r

=
k=1 l=1

xik Al (k, j )el

i,j =1

=
l=1

(x el )Al = (x e)A.

Como es ||e||c = 1 (v eanse los comentarios a la proposici on 3.24), se concluye ||z || ||x||||e||c ||A|| < 1. Proposici on 4.30: dados E espacio de operadores, H, K espacios de Hilbert, existe una isometr a completa: ((Kc ) E Hc ) CB(E, B(H, K )). Demostraci on: seg un la proposici on 4.7, los productos tensoriales proyectivo e inyectivo de espacios de operadores son conmutativos. Adem as, teniendo en cuenta la proposici on 4.29, (Kc ) E Hc
h h h h

(K )r E Hc

(K )r E Hc

E (Hc (Kc ) ). Tomando espacios duales sobre los anteriores, es ((Kc ) E Hc

h h

CB(E, (Hc (Kc ) )) 44

CB(E, CB(Hc , (Kc ) ))

CB(E, B(H, K )).

Proposici on 4.31: dados H, K espacios de Hilbert, existen isometr as completas Hc (Kc )

h h

K(K, H ), (Kc ) Hc

T(K, H ).
h

Demostraci on: por un lado, por la proposici on 4.28, se tiene Hc (Kc ) Hc (K )r Hc (K )r Hc (Kc ) , luego basta ver que Hc (Kc ) K(K, H ) es una isometr a completa. El diagrama conmutativo (Kc ) Hc K H

CB(Kc , Hc ) B(K, H )

permite identicar isom etricamente la primera columna por densidad de K H, siendo K H K(K, H ), pues las las son inyecciones isom etricas, y la segunda columna es isom etrica (teorema 3.25). La cualidad de isometr a completa se sigue de aplicar esta isometr a a los
n n Hc y Kc , pues Mn (Hc (Kc ) )

Mn,1 M1,n Hc (Kc )

Mn,1 (Hc )

M1,n ((K )r )

n (K )n Hc r

n n ) (Kc Hc

K(K n , H n )

Mn (K(K, H )), la

cual, con tensores elementales, est a dada por Tn si T : Hc (Kc ) K(K, H ) es la isometr a can onica. La otra isometr a completa es an aloga. Quiz a sea conveniente mostrar su cualidad de isometr a. Si S es la contracci on can onica, S : T(K, H ) = K H a can onica (Kc ) Hc , su adjunto S : CB(Hc , Kc ) B(H, K ) es la isometr dada por el teorema 3.25.
n n Mm,n Cm Corolario 4.32: Cm c (Cc ) c (Cc ) m Demostraci on: es lo anterior con H = C , K = Cn . h

Adem as, se desprende de la proposici on 4.31 que el producto tensorial de Haagerup es no conmutativo.

Una aplicaci on interesante: el juego cu antico entrelazado

Los juegos cl asicos 2P1R (del ingl es, 2-prover-1-round) yacen en la esencia misma de la teor a de complejidad. Han sido utilizados, por ejemplo, para mostrar ciertos resultados de no aproximabilidad. Son adem as un marco natural para estudiar la complejidad en la comunicaci on. En f sica, en referencia a las desigualdades de Bell, han sido utilizadas durante m as de medio siglo para entender y vericar la mec anica cu antica. Recientemente, se han convertido adem as 45

en el lenguaje para producir los primeros protocolos de criptograf a cu antica incondicionalmente seguros, tales como la distribuci on en clave cu antica y la generaci on de n umeros aleatorios. La versi on cu antica de los juegos 2P1R fue introducida por primera vez en 2003. Formalmente, un arbitro R (del ingl es, Referee ) construye un estado cu antico tripartito | i ABC HA HB HC y env a el sistema A a Alicia y el sistema B a Benito. Se asume adem as que Alicia y Benito comparten un estado cu antico arbitrario a su voluntad, | HA HB . Se les permite efectuar operaciones cu anticas arbitrarias TAA y TBB en sus sistemas respectivos HA HA y HB HB , sin poder comunicarse entre ambos. Una vez realizadas, devuelven los estados de sus sistemas A, B al arbitro, que implementa otra medida {P0 , P1 = Id P0 } en el sistema com un A, B, C . Si el resultado de la medida es 1, Alicia y Benito ganan el juego cu antico. Si el resultado es 0, pierden. El juego G = G(| i , P1 ) est a totalmente determinado por el estado inicial y la medida nal del arbitro. El valor del juego, (G), se dene como la m axima probabilidad de la victoria. El supremo de dicha probabilidad sobre todos los estados | y todas las operaciones cu anticas TAA , TBB . Nos restringiremos al caso en el cual la medida P1 es de hecho una proyecci on de rango 1, P1 = | | . Esto modeliza muchos procesos cu anticos interesantes, tales como el intercambio coherente de estados, o criptograf a cu antica basada en la posici on. El objetivo de este trabajo es mostrar c omo se pueden utilizar las t ecnicas propias de la teor a de espacios de operadores para analizar esta clase de juegos. Tenemos a nuestra disposici on gran cantidad de herramientas matem aticas nuevas que probablemente nos permitan avanzar a un m as all a. Se regresa a la notaci on de Dirac. Los productos tensoriales hilbertianos omiten generalmente el sub ndice 2, dado que es la estructura can onica de espacio de Hilbert. En este apartado se utiliza el lenguaje m as renado de los operadores densidad, cuya descripci on precisa se puede encontrar en [Ni-Ch] o [Ba]. Lema 5.1: el valor general de un tal juego cu antico est a dado por sup{|tr( |UAA VBB | MAB )|} donde MAB = trC (| i |), UAA , VBB recorren todos los operadores unitarios en HA HA , HB HB ,, y | , | todos los vectores unitarios de HA HB . Demostraci on: tras las medidas efectuadas por Alicia y Benito, el nuevo estado del sistema es (TAA TBB ) (| i | i | |) y la probabilidad de victoria es entonces tr((P IA B )(TAA TBB )(| i | i | |). Es necesario aplicar uno de los teoremas fundamentales de la teor a de espacios de operadores, que junto con el teorema de Arveson-Wittstock no se prueba en estas notas por falta de espacio; en este caso el teorema de Stinespring. Seg un el corolario 3.2.1 de + [Ke], se puede escribir TAA () = trK (UAA K ( |0 0|)UAA K ), para un cierto espacio de Hilbert K nito dimensional, |0 K , y un operador unitario UAA K en HA HA K , dem para TBB . De este modo, basta considerar operaciones 46 (G) =

cu anticas de la forma T x = U xU + , donde U es unitario, pues el estado compartido | es arbitrario, y este se puede sustituir por | |00 e incrementar las dimensiones de HA y HB . El valor del juego est a dado entonces por
sup
U AA ,V BB ,|

{tr ((P IA

+ + )(UAA VBB IC )| i | i | |(UAA VBB IC ))}

donde UAA y VBB son unitarios en los espacios indicados por sus sub ndices. Si se supone adem as P = | |, se puede reescribir lo anterior como sup
UAA ,VBB ,|

{||( | IA B )(UAA VBB IC ) | i | ||2 HA

H B

que es tambi en la norma cuadrado de un operador en HA HB , sup

UAA ,VBB

{||( | IA B )(UAA VBB IC )(| i IA B )||2 B(HA {||trAB ((UAA VBB )trC (| i |) IA B )||2 B (HA

H B ) } HB ) }.

sup
UAA ,VBB

La norma de un operador T en un espacio de Hilbert se puede calcular en general como supremo sobre todos los elementos unitarios | , | del valor | | T | |. As , teniendo en cuenta que trC (| i |) := MAB conmuta con trAB , lo anterior toma la forma
2

(G) =

sup
UAA ,VBB ,| ,|

{|tr( |UAA VBB | MAB )|}

Lema 5.2: en estas condiciones, adem as, se pueden sustituir todos los elementos |UAA VBB | que cuentan todos los vectores unitarios y operadores unitarios sobre espacios de Hilbert nito dimensionales por todos los elementos de {x B(HA ) B(HB ) : ||x|| 1}.
B (HA )B (HB )

Demostraci on: sean p = dim HA , q = dim HB . Se tiene que UAA Mp (B(HA )), VBB Mq (B(HB )), | M1,pq , | Mpq,1 , luego por denici on de la norma tensorial proyectiva de espacios de operadores, debe ser |UAA VBB | B(HA ) B(HB )||||1 . Cada elemento de la bola unidad de B(HA ) B(HB ) admite una representaci on de esta forma. En efecto, sea w = (x y ) con x Mp (B (HA )), y Mq (B (HB )), M1,pq , Mpq,1 , y ||||||x||||y |||| || < 1. Sean x = |x |u, y = v |y | las descomposiciones polares izquierda y derecha de x e y. Se puede escribir entonces: w = ((|x | Iq )(u v )((1p |y |) ). 47

Una caracterizaci on m as renada del valor de un juego cu antico entrelazado est a dada por la siguiente: Proposici on 5.3: dado G un juego cu antico entrelazado con estado inicial | i y medida nal | |, con | i , | HA HB HC , si se dene MAB = trC | i | , el valor del juego es (G) = ||MAB ||2 A
T1 TB 1

Demostraci on: es necesario un estudio m as profundo de la teor a de espacios de operadores para probar el teorema, en particular un tratamiento del teorema de Arveson-Wittstock. Se puede entender en esencia como una extensi on de los resultados de dualidad de las normas tensoriales proyectiva e inyectiva de
B espacios de Banach a la teor a de espacios de operadores, donde TA 1 T2 es en

este caso el espacio de operadores dual de B(HA ) B(HB ). Por lo dem as, se trata u nicamente de reescribir el lema 5.2 tomando MAB como elemento de este espacio dual de B(HA ) B(HB ), donde la dualidad se dene, como en el caso de operadores en espacios de Hilbert, por medio de la traza de la composici on.

Tambi en, se puede caracterizar el conjunto de matrices que aparecen en juegos cu anticos de esta forma, permaneciendo restringidos al caso de P como proyector de rango 1. Proposici on 5.4: dado x T(HA HB ), ||x|| 1 si, y solo si, existe un espacio de Hilbert nito dimensional HC y | , | (HA HB HC )||||1 tales que x = trC | | . Demostraci on: sea H = HA HB . De la misma forma que en el corolario 4.32, la proposici on 4.31 prueba Hr h HC T(H ). Seg un la proposici on 4.26, x T(H )||||1 si, y solo si, existe una descomposici on x = y z, ||y ||||z || 1, y r M1,r (Hr ), z Mr,1 (Hc ). Pero M1,r (Hr ) Mr,1 (Hc ) etricamente. 2 H isom r As , se puede escribir HC = 2 , | = y, | = z, con lo cual x = y z = trC | | . El resultado puede probarse f acilmente por el hecho de que H H = T(H ). Lo anterior muestra c omo el nivel de matriznecesaria en la descomposici on se corresponde con la dimensi on necesaria para la implementaci on.

Referencias bibliogr acas

B asica: [Ef-Ru]: Edward G Eros, Zhong Jin Ruan: Operator Spaces. Extra: 48

[Ba]: Stephen Barnett: Quantum Information. [Di-Uh]: Joseph Diestel, Jerry Uhl: Vector Measures. [Fr]: Avner Friedman: Introduction to Modern Analysis. [Ke]: Michael Keyl: Fundamentals of Quantum Information Theory, arXiv:0202122v1 [quant-ph]. [Ni-Ch]: Michael A. Nielsen, Isaac L. Chuang: Quantum Computation and Quantum Information. [Pe]: Gert K. Pedersen: Analysis Now. [Pi]: Gilles Pisier: Introduction to Operator Space Theory. [Ry]: Raymond Ryan: Introduction to Tensor Products on Banach Spaces [Ru]: Walter Rudin: Functional Analysis. [Sa]: Jun John Sakurai: Modern Quantum Mechanics. [Wi]: Stephen Willard: General Topology.

49