Sesión Álgebra, Teoría de Números y TopologíaÁlgebras de efectos vectoriales
Diego Morcelle Gullo
CMaLP, Departamento de Matemática, Facultad de Ciencias Exactas, UNLP, Argentina - Esta dirección de correo electrónico está siendo protegida contra los robots de spam. Necesita tener JavaScript habilitado para poder verlo.
Consideremos el $\mathbb{C}$-espacio vectorial de operadores acotados sobre un espacio de Hilbert, $L(\mathcal{H})$, equipado con la noción habitual de conjugación y el orden inducido por el cono de operadores semidefinidos positivos. Los elementos de $L(\mathcal{H})$ pertenecientes al intervalo $\left[0,I\right]$ se denominan efectos [1]. Denotamos a este conjunto $E(\mathcal{H})$ y definimos dos operaciones parciales, $\oplus$ y $\ast$, que coinciden con la suma y el producto por escalar de $L(\mathcal{H})$ cuando están definidas. Diremos que$X\oplus Y$ (respectivamente, $r\ast X$) está definida, si $X+Y$ $\leq$ $I$ (respectivamente, si $r\ast X$ $\leq$ $I$ y $r\in\mathbb{R}^{+}$).
Resulta natural preguntarse si es posible recuperar $L(\mathcal{H})$ a partir de $E(\mathcal{H})$. La respuesta es afirmativa: $L(\mathcal{H})$ es isomorfo a un cierto cociente del $\mathbb{C}$-espacio vectorial libre sobre $E(\mathcal{H})$.
Análogamente, podemos partir de cualquier $\mathbb{C}$-espacio vectorial ordenado $V$ con un elemento positivo $u$ y proceder de forma similar para obtener un "álgebra de efectos" $E(V)$. Esta asignación se extiende fácilmente a un funtor $E$ desde la categoría de $\star$-espacios vectoriales ordenados con unidad [2] hacia una categoría de álgebras parciales adecuadamente definidas. Más concretamente, un álgebra de efectos vectorial (VEA) es, a grandes rasgos, un álgebra de efectos dotada de un producto por escalar parcial, el cual satisface axiomas similares al de un espacio vectorial. Veremos que, emulando la construcción del caso particular de operadores, podemos asociar a toda VEA un $\mathbb{C}$-espacio vectorial ordenado con unidad, y que esta construcción define un adjunto a izquierda del funtor $E$. La restricción de $E$ a una subcategoría apropiada resulta en una equivalencia.
Trabajo en conjunto con: José Luis Castiglioni (CMaLP, Departamento de Matemática, Facultad de Ciencias Exactas, UNLP, Argentina).
Referencias
[1] Foulis, D. J., & Bennett, M. K. (1994). Effect algebras and unsharp quantum logics. Foundations of physics, 24(10), 1331-1352.
[2] Paulsen, V. I., & Tomforde, M. (2009). Vector spaces with an order unit. Indiana University Mathematics Journal, 1319-1359.