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!

Statement in Cohen-Tanoudji I don't understand

  1. Jan 10, 2007 #1

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    He writes, talking about the ket space X of a physical system,

    In general, the dual space [itex]X^*[/itex] and the state space [itex]X[/itex] are not isomorphic, except of course, if [itex]X[/itex] is finite dimensional.

    Can someone explain why they are isom. in the event of finite dimensionality?

    For instance, say X is finite. To every |x> in X is associated the linear functional [itex]<x|[/itex] (the "inner product functional"). But also, given any (non-identity) linear operator A on X, <x|A is a new linear functionnal on X, is it not*? So that makes the cardinality of [itex]X^*[/itex] greater than the cardinality of X, so there can be no bijection between them.

    What's wrong?


    *I should say potentially new, because if A maps every |x1> towards |x2>'s such that, by miracle, <x|x1>=<x|x2>, then <x| and <x|A really are the same functional...
     
    Last edited: Jan 10, 2007
  2. jcsd
  3. Jan 11, 2007 #2

    dextercioby

    User Avatar
    Science Advisor
    Homework Helper

    I don't get it. That dual is the algebraic dual or the topological dual ? (In the case of finite dim. LTS they coincide, so it doesn't matter.)

    How can you infer that " the cardinality of X^{*} is greater than the cardinality of X" based on what you've written ?

    Daniel.
     
  4. Jan 11, 2007 #3

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Ok, my counter-exemple's not good. But my main question remains. Why are X and it's dual isomorphic in the even that X is finite dimensional?

    (The dual X^* is the set of all linear functionals on X.. I guess that's the algebraic dual?)
     
  5. Jan 11, 2007 #4

    StatusX

    User Avatar
    Homework Helper

    In a Hilbert space you can show every linear functional arises as the inner product with some element in the space. There's your bijection. Of course, having the same cardinality does not entail having the same dimension, but you can show the image of a basis in the space under this bijection is a basis in the dual space.
     
  6. Jan 12, 2007 #5

    dextercioby

    User Avatar
    Science Advisor
    Homework Helper

    For complex Hilbert spaces, X and X' ( with X' the topological dual) are isometrically complex conjugate isomorphic, by the Riesz representation theorem.

    If the Hilbert space is finite dimensional, then the topological dual and the algebraic dual coincide and the isometric complex conjugate isomorphism is obviously still valid.

    If your initial space X was not a linear topological space, but merely a finite dimensional linear space, then you'd have to go back to the linear algebra course and search for a method to prove the complex conjugate isomorphism.

    Daniel.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Statement in Cohen-Tanoudji I don't understand
Loading...