|
In mathematics, an AW *-algebra is an algebraic generalization of a W *-algebra. They were introduced by Irving Kaplansky in 1951. As operator algebras, von Neumann algebras, among all C *-algebras, are typically handled using one of two means: they are the dual space of some Banach space, and they are determined to a large extent by their projections. The idea behind AW *-algebras is to forgo the former, topological, condition, and use only the latter, algebraic, condition. == Definition == Recall that a projection of a C *-algebra is an element satisfying . A C *-algebra is an AW *-algebra when for every subset , the right annihilator : is generated as a left ideal by some projection of , and similarly the left annihilator is generated as a right ideal by some projection : :. Hence an AW *-algebra is a C *-algebras that is at the same time a Baer *-ring. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「AW*-algebra」の詳細全文を読む スポンサード リンク
|