1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proving a relation is a partial order

  1. Sep 30, 2005 #1
    Im considering a complex Hilbert space. Then define a relation [itex]\preceq[/itex] on the set of all self-adjoint, bounded, linear operators (denote by A) by

    [tex]S \preceq T \, \Leftrightarrow \langle Sx\,|\,x \rangle \leq \langle Tx\,|\,x \rangle[/tex]

    for all [itex]x \in \mathcal{H}[/itex].

    Now I want to prove that [itex]\preceq[/itex] is a partial order on [itex]A[/itex], for all [itex]T \in A[/itex] such that

    [tex]-\|T\|I \leq T \leq \|T\|I[/tex].

    Now to prove that a relation is a partial order then it must satisfy three things:

    1. [tex]T \preceq T[/tex] for all [tex]T \in A[/tex]
    2. If [tex]T \preceq S[/tex] and [tex]S \preceq T[/tex], then [tex]T = S[/tex] for all [tex]S,T \in A[/tex].
    3. If [tex]T \preceq S[/tex] and [tex]S \preceq U[/tex], then [tex]T \preceq U[/tex], for all [tex]S,T,U \in A[/tex].

    This relation says that a self-adjoint, bounded, linear operator is greater than another operator of the same category if and only if the inner product of that operator with an arbitrary element in the complex Hilbert space is larger.

    So to prove 1. we have to show that [itex]T \leq T[/itex] if and only if [itex]\langle Tx\,|\,x \rangle \leq \langle Tx\,|\,x \rangle[/itex]. Well, quite obviously, [itex]\langle Tx\,|\,x \rangle = \langle Tx\,|\,x \rangle[/itex], for any choice of [itex]x\in\mathcal{H}[/itex] and for any S-A,B,L operator on complex Hilbert space. Therefore (1) is proved.

    How does this sound so far?
  2. jcsd
  3. Sep 30, 2005 #2


    User Avatar
    Science Advisor
    Homework Helper

    So far so good. Are you asked to prove two things:

    1) that [itex]\preceq[/itex] is a partial order


    2) that [itex]-\|T\|I \preceq T \preceq \|T\|I[/itex] for all T in A?
  4. Sep 30, 2005 #3
    That's right AKG, and thanks for replying. I haven't got to that second part yet.

    To prove the second axiom of partial orderedness:

    If [itex]T \preceq S[/itex] and [itex]S \preceq T[/itex] then [itex]\langle Tx\,|\,x \rangle \leq \langle Sx\,|\,x \rangle[/itex] and [itex]\langle Sx\,|\,x \rangle \leq \langle Tx\,|\,x \rangle[/itex]. Therefore since [itex]\langle \cdot\,|\,\cdot \rangle[/itex] is a number, [itex]\langle Tx\,|\,x \rangle = \langle Sx\,|\,x \rangle[/itex]

    Therfore [itex]T = S[/itex]

    And for 3

    [itex]T \preceq S \, \Rightarrow \langle Tx\,|\,x \rangle \leq \langle Sx\,|\,x \rangle[/itex] and [itex]S \preceq U \, \Rightarrow \langle Sx\,|\,x \rangle \leq \langle Ux\,|\,x \rangle[/itex].


    [tex]\langle Tx\,|\,x \rangle \leq \langle Sx\,|\,x \rangle \leq \langle Ux\,|\,x \rangle[/tex]

    And so certainly [itex]\langle Tx\,|\,x \rangle \leq \langle Ux\,|\,x \rangle[/itex] which implies [itex]T \preceq U[/itex]

    Therefore [itex](\preceq)[/itex] is a partial order on the set of self-adjoint, bounded, linear operators.

    How does this look?
    Last edited: Sep 30, 2005
  5. Oct 2, 2005 #4


    User Avatar
    Science Advisor
    Homework Helper

    Looks good. I wouldn't say, "since <.|.> is a number..." since technically it is just a complex number, and in general, <Tx|x> need not be a real number, and hence saying <Tx|x> < <Sx|x> may not make sense if <Tx|x> are complex (not purely real) numbers. There's no need to talk about what kind of number <Tx|x> is (although, is there a theorem that says it is real for self-adjoint operators?), just use the fact that < is a partial-order (in fact, a total order on the reals but meaningless in general on C) to conclude that if <Tx|x> < <Sx|x> and vice versa, that <Tx|x> = <Sx|x> and then you do as you did, concluding that T = S.
  6. Oct 2, 2005 #5
    Thanks AKG.

    But proving the final bit: that for all [itex]T[/itex] (self-adjoint, bounded, linear)...

    [tex]-\|T\|I \leq T \leq \|T\|I[/tex]

    ...where [itex]I[/itex] is the identity operator on the complex Hilbert space.

    Im not sure I understand this statement. Is it saying that [itex]T[/itex] is bounded above and below? That is, let [itex]m=-I[/itex] and [itex]M=I[/itex], then this says that [itex]T[/itex] is an isomorphism no?

    Is this a correct understanding of the last statement? I want to try to understand it before I prove it.
  7. Oct 2, 2005 #6
    Just jumping back a second...you said "may not make sense if <Tx|x> are complex (not purely real) numbers.".

    Then the statement "...since [itex]\leq[/itex] is a partial order on [itex]\mathbb{R}[/itex] (but meaningless in [itex]\mathbb{C}[/itex]) we can conclude that [itex]\langle Tx\,|\,x \rangle = \langle Sx\,|\,x \rangle[/itex]..." doesn't work because we are considering a complex Hilbert space so the inner products can be complex..wait...wait....


    I see what you mean now...aha! Self-adjoint operators only have REAL inner products! and we are considering only self-adjoint, bounded, linear operators. Yes, so [itex]\leq[/itex] is actually a partial order. Great.
  8. Oct 2, 2005 #7


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    At least for those of the form <Tx|x>. (All bets are off for <Tx|y>)
  9. Oct 2, 2005 #8
    If you don't mind, I wouldn't mind a quick explanation of this.

    I was wondering, to prove this part (the [itex]-\|T\|I \leq T \leq \|T\|I[/itex] for all S-A,B,L operators bit) will I need to use the following fact:

    If you have two normed linear spaces X and Y and you also have a surjective linear map T such that [itex]T:X\rightarrow Y[/itex]. Then T is an isomorphism if and only if there exist [itex]m,M > 0[/itex] such that

    [tex]m\|x\|_X \leq \|Tx\|_Y \leq M\|x\|_X \quad \forall \, x\in X[/tex]

    The idea of this may help me prove it. However, I want to fully understand this proposition first before I use it (thats IF it is applicable). Any comments?
  10. Oct 2, 2005 #9


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Let |y> = i |x>. Then, what is <Ix|y>?

    I think that proving -||T|| I <= T <= ||T|| I is supposed to be a rather elementary thing, involving little more than the definitions. (At least, given that <Tx|x> is real for any self-adjoint T)
  11. Oct 2, 2005 #10
    Actually, sorry Hurkyl, Im not at all familiar with bra-ket notation. :(
  12. Oct 2, 2005 #11


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member


    | > is just a decoration we like to put on a symbol to indicate that it's supposed to be a vector.

    Simlarly, we like to use < | to indicate that the thing inside is a dual vector. (a.k.a. linear functional)

    In particular, given the inner product < , >, <x| is the function that maps |y> to <x, y>. But, we like to write the inner product as < | >, so we get the pleasing notation that <x||y> = <x|y>.

    |Tx> just means T|x>. So, with a bit of effort, you should be able to work out that <Tx| just means [itex]\langle x\,|T^{*}[/itex].

    I find it helps to think of matrices -- |x> is a column vector, and <x| is merely its conjugate transpose.

    By |y> = i |x>, I just mean that the vector |y> is the scalar i times the vector |x>.
  13. Oct 2, 2005 #12


    User Avatar
    Science Advisor
    Homework Helper

    Strictly speaking, what you have doesn't make sense Oxymoron. T < ||T||I? What does it mean for one operator to be less than another? I think you mean:

    [tex]T \preceq \|T\|I[/tex]

    Well I'm not sure how you've defined [itex]\|T\|[/itex] but I think the following might work:

    [tex]T \preceq \|T\|I \Leftrightarrow \langle Tx|x\rangle \leq \|T\|\langle x|x\rangle \ \forall x \in \mathcal{H}[/tex]

    which is true by definition of [itex]\|T\|[/itex], isn't it?
  14. Oct 7, 2005 #13
    You are right AKG - the question is mistyped I think.

    I want to try to prove the given two normed vector spaces, X and Y, and a surjective linear map, T:X->Y, then

    T is an isomorphism <=> there exist m,M > 0 such that

    [tex]m\|x\| \leq \|Tx\| \leq M\|x\| \quad \forall \, x \in X[/itex]

    But all I could come up with is this:

    Suppose [itex]T[/itex] is an isomorphism. Then [itex]T[/itex] is continuous. Take [itex]\epsilon > 0[/itex] and in particular [itex]\epsilon = 1[/itex]. Then we have a [itex]\delta > 0[/itex] such that

    [tex]\|x\| \leq \delta \Rightarrow \|Tx\| \leq 1 \quad \quad \forall \, x \in X[/tex]


    [tex]\|T\left(\frac{\delta x}{\|x\|}\right)\| \leq 1 \Rightarrow \frac{\delta}{\|x\|}\|Tx\| \leq 1[/tex]

    Which implies

    [tex]\|Tx\| \leq \frac{1}{\delta}\|x\|[/tex]

    So let [itex]M = 1/\delta[/itex].

    If [itex]M[/itex] satisfies [itex]\|Tx\| \leq M\|x\|[/itex] for all [itex]x\in X[/itex], then [itex]M[/itex] is an upper bound for the set:

    [tex]\|T\| = \sup \{\|Tx\| \leq M \|x\|\,:\, \forall \, x\in X \}[/tex]

    and hence

    [tex]\|T\| \leq M[/tex]

    ...because [itex]\|T\|[/itex] is the least upper bound. Therefore [itex]\|T\|[/itex] is also a lower bound for [itex]S[/itex]. That is. for any [itex]x \neq 0[/itex], we have

    [tex]\|\frac{x}{\|x\|}\| = 1 \Rightarrow \frac{1}{\|x\|}\|Tx\| = \|T\left(\frac{x}{\|x\|}\right)\| \leq \|T\|[/tex]

    ...taking [itex]m=1[/itex], therefore

    [tex]m\|x\| \leq \|Tx\| \leq M\|x\|[/tex]

    How does this look so far??
  15. Oct 7, 2005 #14


    User Avatar
    Science Advisor
    Homework Helper

    Something is definitely wrong, where you said that you take m = 1. Let T(x) = x/2, you'll see you can't take m = 1. Here's one thing that's useful. If there is an m > 0 such that m|x| < |Tx| for all x, then the kernel of T must be 0, so T is injective. Given that it's a surjective linear map, it's an isomorphism. Conversely, assume that T is an isomorphism, hence continuous. I don't know what kind of theorems you have at your disposal and whether you can make use of notions like compactness, but if you can, consider the unit sphere in X, that is {x in X : |x| = 1} = S. The function R : X --> R defined by R(x) = |T(x)| is a composition of continuous functions, hence it's continuous and real-valued. Since S is compact, then a generalized version of the extreme value theorem tells you that R(S) achieves a maximum and minimum value. These values will naturally be positive since |.| is positive, and will be non-zero because the minimum value is non-zero, since if it were, then T(x) = 0 for some non-zero x, but T is an isomorphism, so this wouldn't be the case. Even if you can't use some of these theorems and ideas, it might be a good way to think about it.

    Look at the set S. If R were unbounded above, then it would be that as you approach some s on S, R increases. But R must take on some fixed value at s itself, so it can't increase without bound.
  16. Oct 8, 2005 #15
    Just a quick question before I go on. Have I got the [itex]\|Tx\| \leq M\|x\|[/itex] bit right?
  17. Oct 8, 2005 #16
    AKG, so you are saying that I can prove boundedness of a surjective linear operator by considering a compact unit sphere?

    So if T is my surjective linear operator and the unit sphere is compact. Then T is continuous and from the triangular inequality the norm will be continuous. That is

    T continuous <=> |T| continuous

    And therefore |Tx| is a continuous operator on the compact unit sphere. (When you say unit sphere you could mean the unit cube or pyramid, etc... depending on the norm right?).

    So what we really have is a continuous, linear operator which takes point in the unit sphere and maps them to a real number?

    If so, the image is compact - which implies the image is closed and bounded right?

    This means that T is bounded. BUT does this mean:

    [tex]\|Tx\| \leq M\|x\|[/tex]

    or could it mean

    [tex]m\|x\| \leq \|Tx\| \leq M\|x\|[/tex]

    for all x?

    Is all this reasoning correct?
  18. Oct 8, 2005 #17


    User Avatar
    Science Advisor
    Homework Helper

    No, I'm saying that you can prove the boundedness of a continuous function by considering a compact domain. In this case, the compact domain happens to be the unit sphere. Note that the function R defined by R(x) = |Tx| is not a linear operator. Use the fact that T is linear to conclude that it is continuous. Use the fact that absolute value is continuous, and that R is absolute value composed with T, to conclude R is continuous is continuous. Use the fact that S is compact to deduce R achieves its minimum and maximum values on S. Use the fact that T is injective (since it's an isomorphism) and the fact that |x| = 0 iff x = 0 to conclude that R(S) does not contain 0. Use the fact that |x| > 0 for all x to conclude that R(S) is contained in the positive reals. Let m be the minimum value of R, and M be the maximum value of R, on S.

    When I say unit sphere, I mean {x in V (or whatever your vector space is) | |x| = 1}. It doesn't matter what the norm is, I'm calling it a sphere anyways. It might end up looking like something else, so if you want, you can say that this is the sphere with respect to this norm.

    For a function to be bounded, that generally means bounded above and bounded below. However, all you need to know is that R achieves its minimum and maximum values. What you will be able to conclude is that for all x on the sphere:

    m < R(x) < M
    m|x| < |Tx| < M|w|

    Let v be any vector now. v = |v|w, for some w on the unit sphere (w is the unit vector of v, like v-hat). Given the above inequalities, you can say:

    m|w| < |Tw| < M|w|

    since w is on the unit sphere. Multiply the whole thing by |v| and you're done.

    Remember, a linear operator is a linear mapping from V to V. A linear transformation is more generally a linear mapping from V to W, vector spaces (so if in particular W = V, we call the transformation an operator). The function that sends x to |Tx| is not even linear, and certainly not an operator. Linear transformations, I believe, are always continuous, but you may want to check that. At very least, you have that T is an isomorphism, and hopefully that will be good enough to give you continuity.

    Now I don't know about T continuous <=> |T| continuous. It may be true, but only because linear functions are always continuous, absolute value is always continuous, and the composistion of continuous functions are always continuous. But you can conceivably have a discontinous function T such that |T| is continuous, e.g. T = 1 for x < 0, T = -1 otherwise.
  19. Oct 9, 2005 #18
    Ok AKG, I have to turn that into a proof.

    Firstly, it seems like you are using the extreme value theorem which says that a continuous function defined on some closed interval attains its minimum and maximum.

    I want to know how you made that connection. I mean, I was talking about surjective linear maps between normed vector spaces, and somehow you come up with a method which turns |Tx| into a composition of continuous functions (absolute value and T itself) then let R be that function.

    Also, am I correct in saying that to use this theorem we need a closed interval, and you have come up with an equivalent compact sphere, which I understand does the same thing.

    So all I am saying is, how did you know to convert this problem of using operators into functions and then use the Extreme value property. How did you do it man!?
  20. Oct 9, 2005 #19


    User Avatar
    Science Advisor
    Homework Helper

    The domain has to be compact (not just closed, and doesn't have to be an interval of any sort). Specifically, if f : X --> R is a continuous function and X is a compact space, then f achieves its minimum and maximum. To prove that our domain, S, is compact, it suffices to show that it is closed and bounded. It is bounded because we defined it to have all its elements with norm 1, and {1} is certainly a bounded set. It is closed since its complement is open. How do we know? Well, pick any element not in S, say x with norm 1 + e, where e > 0. Choose an open ball (where the "ball" may look like a cube, or diamond, etc. based on the metric) around x with radius e/2. Suppose there is some y in this ball with norm 1. Then:

    |x| = |(x-y) + y| < |x-y| + |y| < e/2 + 1 < 1 + e, contradiction.

    You can show a similar thing for e < 0. So every point not in S is contained in an open ball that doesn't intersect S, so S-complement is open, so S is closed. When our domain is a subset of R, then the compact domains are the closed and bounded subsets of the reals, which are unions of finitely many closed intervals [a,b]. But the theorem I used is the generalized extreme value theorem, which works for any compact domain.

    How did I know to do this? I'm not sure I can think of a general reason, since I would use this method only when the problem is specifically like this, i.e. to show that there is some M such that |Tx| < M|x| for all x. One reason is that on the unit sphere, |x| = 1. Since T is linear, you can know what T does to any vector v = |v|w, where w is the unit vector of v, v-hat, just by looking at Tw, and multiplying by |v|.
  21. Oct 9, 2005 #20


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    While true for spaces like C^n, that's not true in general... I don't know if it's true for Banach spaces or not.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Proving a relation is a partial order