Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
New entry affiliated operator of a $C^\ast$-algebra aka affiliated element. This is important for the circle of entries on algebraic QFT, as the operator algebras are formed by bounded operators, while we typically need unbounded operators like derivative operator to do quantum mechanics.
I sent a version of that entry but the $n$Lab stuck in the middle of the operation so I am not sure if I succeeded. So here is the copy:
Most of the applications of operator algebras stuck in the problem that (hermitean or not) unbounded operators do not form an algebra under composition (or under Jordan multiplication); while the algebras of bounded operators are insufficient as most of applications involve also unbounded operators like the partial derivative operator on $L^2(\mathbb{R}^n)$ which is proportional to the momentum operator in quantum mechanics.
The motivational problem is typically resolved by considering an operator algebra which contains operators which properly approximate the unbounded operators as close as one wishes, and formalize this by defining the larger class of “approximable” operators by means of operator algebra itself. One way to do this is to define the affiliated elements of $C^\ast$-algebra, or the operators affiliated with the $C^\ast$-algebra. The idea is that if there is an unbounded self-adjoint operator then we can consider its spectral projections; they are bounded and if we include them into the algebra, the convergence of the spectral decomposition will supply the approximation.
1 to 1 of 1