3
$\begingroup$

Let $\mathcal{H}$ be an infinite dimensional separable (complex) Hilbert space. What is a natural space which parameterizes the choices of orthonormal bases for $\mathcal{H}$?

It seems like one option, in analogy to the finite-dimensional Stiefel manifold (something I know nothing about beyond what I just glanced at on the wikipedia page), would be to consider the set of all unitary operators from $\ell^2(\mathbb{N})\to\mathcal{H}$, with some topology. What kind of topology would one consider? Ideally, I'd like it to be Polish.

Improve this question
$\endgroup$
4
  • 1
    $\begingroup$ Since you're looking for a basis for the full space, you're actually looking at the unitary group, not the Stiefel manifold. For topological considerations, look for example at Kuiper's theorem: en.wikipedia.org/wiki/Kuiper's_theorem $\endgroup$
    – Yoav Kallus
    Commented May 14, 2013 at 1:36
  • $\begingroup$ @Yoav For some reason, I was trying to avoid identifying my space with $\ell^2$ (i.e., fixing a basis to begin with), but if I do so, then you're right, then unitary group does the job, and is Polish in the strong operator topology. $\endgroup$
    – Iian Smythe
    Commented May 14, 2013 at 1:47
  • $\begingroup$ That said, I'm open to other parameterizing spaces. $\endgroup$
    – Iian Smythe
    Commented May 14, 2013 at 1:49
  • 1
    $\begingroup$ If one wants to use the unitary group of $\ell^2$ for this, then one would have to quotient out by the permutation operators. $\:$ Otherwise, one could take the topology generated by the sets of bases that intersect an open subset of $\mathcal{H}$. $\;\;$ $\endgroup$
    – user5810
    Commented May 14, 2013 at 2:03

1 Answer 1

Reset to default
3
$\begingroup$

You could look at the set of operators in $B(H)$ which are diagonalized by a given basis. For each choice of orthonormal basis, this gives you an atomic maximal abelian von Neumann algebra (atomic masa). Now there is a natural topology on the space of all von Neumann algebras sitting inside $B(H)$ called the Effros-Maréchal topology, so you could just restrict this topology to the set of atomic masas.

Here is a link that may be helpful.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .