Nest algebra
|
|
In functional analysis, nest algebras are a class of operator algebras which generalise the upper-triangular matrix algebras to a Hilbert space context. They were introduced by John Ringrose in the mid-1960s and have many interesting properties. They are non-selfadjoint algebras, are closed in the weak operator topology and are reflexive.
Nest algebras are among the simplest examples of commutative subspace lattice algebras. Indeed, they are formally defined as the algebra of bounded operators leaving invariant each subspace contained in a subspace nest, that is, a set of subspaces which is totally ordered by inclusion. Since the orthogonal projections corresponding to the subspaces in a nest commute, nests are commutative subspace lattices.
By way of an example, let us apply this definition to recover the finite-dimensional upper-triangular matrices. Let us work in the <math>n<math>-dimensional complex vector space <math>\mathbb{C}^n<math>, and let <math>e_1,e_2,\dots,e_n<math> be the standard basis. For <math>j=0,1,2,\dots,n<math>, let <math>S_j<math> be the <math>j<math>-dimensional subspace of <math>\mathbb{C}^n<math> spanned by the first <math>j<math> basis vectors <math>e_1,\dots,e_j<math>. Let
- <math>N=\{ (0)=S_0, S_1, S_2, \dots, S_{n-1}, S_n=\mathbb{C}^n \}<math>;
then <math>N<math> is a subspace nest, and the corresponding nest algebra of <math>n\times n<math> complex matrices <math>M<math> leaving each subspace in <math>N<math> invariant -- that is, satisfying <math>MS\subseteq S<math> for each <math>S<math> in <math>N<math> -- is precisely the set of upper-triangular matrices.
If we omit one or more of the subspaces Sj from N then the corresponding nest algebra consists of block upper-triangular matrices.
Properties
- Nest algebras are hyperreflexive with distance constant 1.
See also: