1
$\begingroup$

Consider a separable Hilbert space $\mathcal{H}$, we can first define $T(\mathcal{H})$ the trace class of $\mathcal{H}$, then $D(\mathcal{H})$ to denote the interesection of positive operator and trace class with trace no more than 1.

For $A,B\in D(\mathcal{H})$, we say $A\leq B$ if $A-B$ is positive, or (A,B) satisfies the Lowner order.

Now suppose we have increasing sequence $$ A_0,A_1,\cdots,A_n,\cdots $$ with $(A_i,A_{i+1})$ satisfies the Lowner order, and $A_i\in D(\mathcal{H})$.

Does this sequence has least upper bound? In other words, does this class has limit?

Improve this question
$\endgroup$
4
  • $\begingroup$ You need some condition to exclude a sequence line $A_n = nA$ where $A$ is some fixed nonzero positive trace-class operator. $\endgroup$
    – Nate Eldredge
    Commented Jul 10, 2018 at 2:27
  • $\begingroup$ A_i are in trace class. $\endgroup$
    – gondolf
    Commented Jul 10, 2018 at 5:50
  • $\begingroup$ @gondolf That doesn't affect Nate's counterexample. If $A$ is a trace-class operator, so is $nA$ for any $n \in \mathbb{N}$, and its trace is $n$ times the trace of $A$. You need to put an upper bound on the sequence. $\endgroup$
    – Robert Furber
    Commented Jul 10, 2018 at 6:20
  • $\begingroup$ @gondolf: restricting to "trace no more than 1" is unnecessary. You just need boundedness in operator norm. $\endgroup$
    – Nik Weaver
    Commented Jul 10, 2018 at 22:11

1 Answer 1

Reset to default
4
$\begingroup$

This isn't research level, but if the sequence is increasing and bounded then yes, it has a least upper bound. For each $v \in H$ the sequence $\langle A_iv,v\rangle$ is bounded and increasing and therefore converges to its least upper bound in $\mathbb{R}$. By polarization it follows that for all $v,w \in H$ the sequence $\langle A_iv,w\rangle$ converges. Thus the sequence $(A_i)$ converges in the weak operator topology. (In fact, it also converges strong operator.)

(Also, it's "Loewner".)

Improve this answer
$\endgroup$
2
  • $\begingroup$ Thanks! Would you please give some references? In particular, why does it converges in the strong operator topology? $\endgroup$
    – gondolf
    Commented Jul 10, 2018 at 5:51
  • 1
    $\begingroup$ @gondolf As Nik says, this is not research level, so you can find the answer in a textbook. For example, Appendix II of Dixmier's Von Neumann Algebras. $\endgroup$
    – Robert Furber
    Commented Jul 10, 2018 at 6:23

You must log in to answer this question.

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