Math 2.0

Operator theory Definition

Reflexive operator algebra

Builds on Hilbert spaceAlgebra of bounded operators on a Hilbert spaceInvariant subspace

Definition

Let HH be a Hilbert space and let B(H)B(H) be the algebra of bounded operators on HH. For a set ๐’ฎโІB(H)\mathcal{S} \subseteq B(H), let Latโก๐’ฎ\operatorname{Lat} \mathcal{S} be the set of closed subspaces of HH that are invariant under every operator in ๐’ฎ\mathcal{S}. For a set โ„’\mathcal{L} of closed subspaces of HH, let Algโกโ„’={TโˆˆB(H):T(L)โІLย forย allย Lโˆˆโ„’}.\operatorname{Alg} \mathcal{L} = \set{T \in B(H) : T(L) \subseteq L \text{ for all } L \in \mathcal{L}}. A subalgebra ๐’œโІB(H)\mathcal{A} \subseteq B(H) is reflexive if ๐’œ=AlgโกLatโก๐’œ\mathcal{A} = \operatorname{Alg} \operatorname{Lat} \mathcal{A}.

Remarks

Always ๐’œโІAlgโกLatโก๐’œ\mathcal{A} \subseteq \operatorname{Alg} \operatorname{Lat} \mathcal{A}, so reflexivity is the reverse inclusion. A reflexive algebra contains the identity and is closed in the weak operator topology, because each Algโกโ„’\operatorname{Alg} \mathcal{L} has these properties. Example: ๐’œ=B(H)\mathcal{A} = B(H) is reflexive, since LatโกB(H)={{0},H}\operatorname{Lat} B(H) = \set{\set{0}, H} and Algโก{{0},H}=B(H)\operatorname{Alg} \set{\set{0}, H} = B(H). Non-example: in M2(โ„‚)M_2(\C), let ๐’œ\mathcal{A} be the matrices (ab0a)\begin{pmatrix} a & b \\ 0 & a \end{pmatrix}. Its invariant subspaces are those of (0100)\begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}, namely {0}\set{0}, โ„‚e1\C e_1 and โ„‚2\C^2, so AlgโกLatโก๐’œ\operatorname{Alg} \operatorname{Lat} \mathcal{A} is the algebra of all upper triangular matrices, which is strictly larger. Every von Neumann algebra is reflexive: its invariant subspaces are the ranges of the projections in its commutant, and the bicommutant theorem gives the equality.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Hilbert space concept
  2. Hilbert space adjoint concept
  3. Invariant subspace concept
  4. Operator norm concept
  5. Algebra of bounded operators on a Hilbert space object
  6. Reflexive operator algebra definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Reflexive_operator_algebra
About this page
TagYGR48AJMFD
URIm2://YGR48AJMFD
Kinddefinition
WritingW0 stub
MSC47L05, 47A15
DefinesReflexive operator algebra
UsesHilbert space, Algebra of bounded operators on a Hilbert space, Invariant subspace
Changed2 November 2026

Markdown ยท JSON ยท Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.