En matemáticas , un álgebra AW* es una generalización algebraica de un álgebra W* . Fueron introducidas por Irving Kaplansky en 1951. [1] Como álgebras de operadores, las álgebras de von Neumann, entre todas las álgebras C* , generalmente se manejan usando uno de dos medios: son el espacio dual de algún espacio de Banach , y están determinadas en gran medida por sus proyecciones. La idea detrás de AW*-álgebras es renunciar a la primera condición topológica y usar solo la última condición algebraica.
Recuerde que una proyección de un C*-álgebra es un elemento idempotente autoadjunto . AC*-álgebra A es un AW*-álgebra si para cada subconjunto S de A , el aniquilador izquierdo
se genera como un ideal izquierdo por alguna proyección p de A , y de manera similar, el aniquilador derecho se genera como un ideal derecho por alguna proyección q :
La definición original de Kaplansky establece que un álgebra AW* es un álgebra C* tal que (1) cualquier conjunto de proyecciones ortogonales tiene un límite superior mínimo, y (2) que cada subálgebra C* conmutativa máxima es generada por su proyecciones. La primera condición establece que las proyecciones tengan una estructura interesante, mientras que la segunda condición asegura que haya suficientes proyecciones para que sea interesante. [1] Tenga en cuenta que la segunda condición es equivalente a la condición de que cada subálgebra C* conmutativa máxima sea monótona completa.
Muchos resultados relacionados con las álgebras de von Neumann se trasladan a las álgebras AW*. Por ejemplo, las AW*-álgebras pueden clasificarse según el comportamiento de sus proyecciones y descomponerse en tipos . [2] Para otro ejemplo, las matrices normales con entradas en un álgebra AW* siempre se pueden diagonalizar. [3] Las álgebras AW* también tienen siempre descomposición polar . [4]
Sin embargo, también hay formas en las que las álgebras AW* se comportan de manera diferente a las álgebras de von Neumann. [5] Por ejemplo, las AW*-álgebras de tipo I pueden exhibir propiedades patológicas, [6] aunque Kaplansky ya demostró que tales álgebras con centro trivial son automáticamente álgebras de von Neumann.