Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Motivations for the C*-algebra of observables?

  1. Mar 11, 2015 #1
    As far as I understand, the Hilbert space formalism can be derived using functional analysis and representation theory (not familiar with those) from the requirement that observables (their mathematical models) form a C*-algebra and the possible states of a system map the members of the algebra to the actual measurement results (that would be R). This needs clarification. Hence, questions:

    1) At some point the result of a measurement must be translated (from a state of a probe) into a symbol that we can write down on paper - a number perhaps. Real numbers seem to be intuitively optimal: they have ordering, some familiar metric can be used, and they can also describe diagonals and circumferences. In pairs, they can even describe complex numbers. Very convenient. An ordered set which is a metric space allows some predictive power for models built (getting results that could not be ordered at all would be...restrictive). In reality, we always get a result in Q, right? This is not familiar ground at all. Am I missing something here?

    2) For each observable (the set of possible numerical(?) results above) a mathematical model/entity is needed (e.g. a matrix). What experimental results or intuitive motivations do we have that require the mathematical objects modeling observables to form a C*-algebra? (=Abelian additive group, a ring with multiplication, the required existence of an adjoint element A* (and A*A - does this relate to positivity?), and so on)

    Any pointers to the right direction appreciated.
     
    Last edited: Mar 11, 2015
  2. jcsd
  3. Mar 11, 2015 #2

    dextercioby

    User Avatar
    Science Advisor
    Homework Helper

  4. Mar 11, 2015 #3

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Last edited by a moderator: May 7, 2017
  5. Mar 12, 2015 #4
    These answers were very helpfull. Thank you.

    Are there some hidden weaknesses in the axioms of the C*-algebra formulation that have made it unpopular, or is it still considered scientifically as valid as the other formulations?
     
    Last edited: Mar 12, 2015
  6. Mar 12, 2015 #5

    bhobba

    User Avatar
    Science Advisor
    Gold Member

    No.

    Its just what mathematicians call non-trivial - meaning its hard. Other approaches are (on the surface anyway - dig deeper and issues arise) less mathematically demanding.

    If that type of approach interests you I recommend:
    https://www.amazon.com/Geometry-Quantum-Veeravalli-Seshadri-Varadarajan/dp/0387493859

    Thanks
    Bill
     
    Last edited by a moderator: May 7, 2017
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Motivations for the C*-algebra of observables?
Loading...