systemsci.org/wp-content/uploads/.../1400733095-_.pdf轉為繁體網頁
量子力学是描写微观物质的一个物理学分支,与相对论一起被认为是现代物. 理学的两大基本 ... 一个物理系统于时间点的状态可以由希尔伯特空间中的一个归 · 一化矢量. 来定义。这里的希尔伯特空间指的是定义了内积的平方. 可积的线性矢量 ... 值得注意的是,不像经典系统那样,这样的量子态中,并非所有可测量的特. 性均被确定。量子力學基礎 - 第 32 頁 - Google 圖書結果
https://books.google.com.hk/books?isbn=9571133566 - 轉為繁體網頁
洪·关 - 2004 - Quantum theory
態空間,只要滿足平方可積條件,在數學上都屬於希爾伯特空間。至於在量子力學裡遇到的那些非平方可積的態函數,只需要把希爾伯特空間的數學定義稍加修改擴充, ...
一个物理系统于时间点的状态可以由希尔伯特空间中的一个归
Hilbert space vs. Projective Hilbert space
Hilbert space and rays:
In a very general sense, we say that quantum states of a quantum mechanical system correspond to rays in the Hilbert space
Furthermore, through a process of projectivization of the Hilbert space
| |||
Why are states rays?(Answer to OP's 1. and 2.)One of the fundamental tenets of quantum mechanics is that states of a physical system correspond (not necessarily uniquely - this is what projective spaces in QM are all about!) to vectors in a Hilbert space (Note that the habit of talking about normalised state vectors is because then the denominator of the Born rule is simply unity, and the formula is simpler to evaluate. This is all there is to normalisation.) Now, for any A ray is now the set of all vectors describing the same state by this logic - it is just the one-dimensional subspace spanned by any of them: For Any member of this set will yield the same results when we use it in the Born rule, hence they are physically indistiguishable. Why are phases still relevant?(Answer to OP's 3.)For a single state, a phase Obviously, this means energy eigenstates don't change, which is why they are called stationary states. The picture changes when we have sums of such states, though: The projective space is the space of rays(Answer to OP's 4. and 5. as well as some further remarks)After noting, again and again, that the physically relevant entities are the rays, and not the vectors themselves, one is naturally led to the idea of considering the space of rays. Fortunately, it is easy to construct: "Belonging to a ray" is an equivalence relation on the Hilbert space, and hence can be divided out in the sense that we simply say two vectors are the same object in the space of rays if they lie in the same ray - the rays are the equivalence classes. Formally, we set up the relation and define the space of rays or projective Hilbert space to be This has nothing to do with the Gram-Schmidt way of finding a new basis for a vector space! This isn't even a vector space anymore! (Note that, in particular, it has no zero) The nice thing is, though, that we can now be sure that every element of this space represents a distinct state, since every element is actually a different ray.1 (Side note (see also orbifold's answer): A direct, and important, consequence is that we need to revisit our notion of what kinds of representations we seek for symmetry groups - initially, on the Hilbert space, we would have sought unitary representations, since we want to preserve the vector structure of the space as well as the inner product structure (since the Born rule relies on it). Now, we know it is enough to seek projective representations, which are, for many Lie groups, in bijection to the linear representations of their universal cover, which is how, quantumly, OP's fifth question When one limits the Hilbert space to that of a certain observable of the system at hand, e.g. momentum or spin space (in order to measure the momentum and spin of a system respectively), does that mean we're talking about projective spaces already? (e.g. is the spin space spanned by up |↑⟩ and down |↓⟩ spins states of a system referred to as projective spin Hilbert space?)is not very well posed, but strikes at the heart of what the projectivization does for us: When we talk of "momentum space" For motivations why this is a sensible notion of product to consider, see some other questions/answers (e.g. this answer of mine or this question and its answers). Let us stress again that the projective space is not a vector space, and hence not "spanned" by anything, as the fifth question seems to think. |