4
$\begingroup$

Let $\mathcal{H}$ be a separable Hilbert space and let $TC( \mathcal{H})$, $HS(\mathcal{H})$ be the space of trace-class operators and Hilbert-Schmidt operators on $\mathcal{H}$. Recall that these space are Banach spaces and that $HS(\mathcal{H})$ is a even a Hilbert space. For a Banach space $X$ let $B(X)$ be the space of bounded operators on $X$.

For $a \in B(TC( \mathcal{H}))$ since $TC( \mathcal{H})$ is dense in $HS(\mathcal{H})$ there is at most bounded linear extension, but it may not be bounded. For example one may consider $a(x) = Tr(x)y $ where $y \neq 0$ is a trace-class operator.

Now, consider the set

\begin{align*} \mathcal{A} = \left \{ a \in B(TC( \mathcal{H})) \mid \bar a \in B(HS(\mathcal{H})) \right \}  \end{align*}

what can I say about this space?

It is a vector space and by the example it is not all of $ B(TC( \mathcal{H}))$.

Can I for example define an involution by taking $\tilde a = \bar a^*\mid_{TC}$?

$\endgroup$
3
  • 3
    $\begingroup$ This space is all of $B(HS({\mathcal H}))$. $\endgroup$
    – user130903
    Commented Jun 28, 2021 at 7:55
  • 4
    $\begingroup$ @Zero: I don't see why this is. Could you explain more? $\endgroup$ Commented Jun 28, 2021 at 8:26
  • 4
    $\begingroup$ @Zero The analogous claim for \ell_1 inside \ell_2 is false. That is: one can have a Banach space V, and a dense subspace E in V which is itself a Banach space under a stronger norm, such that the set of all bounded operators on V which map E to itself is not dense in B(V). $\endgroup$
    – Yemon Choi
    Commented Jun 28, 2021 at 19:05

1 Answer 1

6
$\begingroup$

No, this space is not closed under involution. Choose $A \in TC$ and $B \in HS\setminus TC$ and consider the rank one operator $T \mapsto \langle T, B\rangle A$ on $HS$. This restricts to a bounded operator on $TC$ but its adjoint doesn't.

$\endgroup$

You must log in to answer this question.

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