HOME

TheInfoList



OR:

In
functional analysis Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (for example, Inner product space#Definition, inner product, Norm (mathematics ...
, a branch of mathematics, nest algebras are a class of
operator algebra In functional analysis, a branch of mathematics, an operator algebra is an algebra of continuous linear operators on a topological vector space, with the multiplication given by the composition of mappings. The results obtained in the study o ...
s that generalise the upper-triangular matrix algebras to a
Hilbert space In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
context. They were introduced by and have many interesting properties. They are non- selfadjoint algebras, are closed in the
weak operator topology In functional analysis, the weak operator topology, often abbreviated WOT,Ilijas Farah, Combinatorial Set Theory of C*-algebras' (2019), p. 80. is the weakest topology on the set of bounded operators on a Hilbert space H, such that the functional ...
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 operator In functional analysis and operator theory, a bounded linear operator is a linear transformation L : X \to Y between topological vector spaces (TVSs) X and Y that maps bounded subsets of X to bounded subsets of Y. If X and Y are normed vector ...
s leaving invariant each subspace contained in a subspace nest, that is, a set of subspaces which is
totally ordered In mathematics, a total order or linear order is a partial order in which any two elements are comparable. That is, a total order is a binary relation \leq on some set X, which satisfies the following for all a, b and c in X: # a \leq a ( r ...
by
inclusion Inclusion or Include may refer to: Sociology * Social inclusion, action taken to support people of different backgrounds sharing life together. ** Inclusion (disability rights), promotion of people with disabilities sharing various aspects of lif ...
and is also a
complete lattice In mathematics, a complete lattice is a partially ordered set in which all subsets have both a supremum ( join) and an infimum ( meet). A conditionally complete lattice satisfies at least one of these properties for bounded subsets. For compariso ...
. Since the
orthogonal projection In linear algebra and functional analysis, a projection is a linear transformation P from a vector space to itself (an endomorphism) such that P\circ P=P. That is, whenever P is applied twice to any vector, it gives the same result as if it we ...
s 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 n-
dimension In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coo ...
al
complex Complex commonly refers to: * Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe ** Complex system, a system composed of many components which may interact with each ...
vector space In mathematics and physics, a vector space (also called a linear space) is a set (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called sc ...
\mathbb^n, and let e_1,e_2,\dots,e_n be the
standard basis In mathematics, the standard basis (also called natural basis or canonical basis) of a coordinate vector space (such as \mathbb^n or \mathbb^n) is the set of vectors, each of whose components are all zero, except one that equals 1. For exampl ...
. For j=0,1,2,\dots,n, let S_j be the j-dimensional subspace of \mathbb^n spanned by the first j basis vectors e_1,\dots,e_j. Let :N=\; then ''N'' is a subspace nest, and the corresponding nest algebra of ''n'' × ''n'' complex matrices ''M'' leaving each subspace in ''N'' invariant   that is, satisfying MS\subseteq S for each ''S'' in ''N'' – 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

*
flag manifold In mathematics, a generalized flag variety (or simply flag variety) is a homogeneous space whose points are flags in a finite-dimensional vector space ''V'' over a field F. When F is the real or complex numbers, a generalized flag variety is a sm ...


References

* {{DEFAULTSORT:Nest Algebra Operator theory Operator algebras