- #1

- 1,225

- 75

I know that operator of observable is Hermitian. Reciprocally, any Hermitian is observable? If not, showing some examples are appreciated.

Regards.

- Thread starter sweet springs
- Start date

- #1

- 1,225

- 75

I know that operator of observable is Hermitian. Reciprocally, any Hermitian is observable? If not, showing some examples are appreciated.

Regards.

- #2

- 465

- 1

- #3

SpectraCat

Science Advisor

- 1,395

- 2

The identity matrix is one example, so is any (real) constant times the identity matrix.

I know that operator of observable is Hermitian. Reciprocally, any Hermitian is observable? If not, showing some examples are appreciated.

Regards.

Another example is the so called "number operator" [tex]aa^{\dagger}[/tex], which is the product of lowering (annihilation) and raising (creation) operators. It is called the number operator because it returns the quantum number of the state it is applied to.

- #4

- 1,225

- 75

Definition of observable in Dirac II-10 is "We call a real dynamical variable whose eigensates form a complete set an observable."

Identity operator satisfy eigenvalue eauation Iψ=1ψ and these {ψ} form a complete set.

Thus identity operator is observable. Am I wrong?

Regards.

- #5

- 355

- 3

The number operator is also observable since it is H/(hw)-1/2, and that is a measurable value for the quantum harmonic oscillator.

----

I'd be hard pressed to say that every Hermitian matrix in Quantum Mechanics corresponds to something measurable... But if a hermitian matrix appears as part of the Hamiltonian, then I'd say it's something observable.

Basically, if you can build a device that depends on the value of an operator, then that operator can be said to be "observable", either directly or indirectly.

- #6

- 263

- 86

I agree with LukeD.

Also if [tex]A[/tex] and [tex]B[/tex] are hermitian, [tex]AB+BA[/tex] and [tex]i(AB-BA)[/tex] are also hermitian. If, say, [tex]A=\hat{x}[/tex] and [tex]B=\hat{p}[/tex], It'd be hard to come up with the measuring devices, let alone the meaning of the observables.

Since you read Dirac, I have to add that the postulate that, to each observable there corresponds a Hermitian operator, is motivated because of the spectral theorem that the set of all eigenvectors of a Hermitian operator forms an orthonormal basis. (I remember Dirac didn't even mention linear algebra in the book.)

Edit: What I wanted to say in the last paragraph is that, Dirac was right to say that we need a complete set of eigenstates, but he didn't have this theorem to back it up rigorously.

Also if [tex]A[/tex] and [tex]B[/tex] are hermitian, [tex]AB+BA[/tex] and [tex]i(AB-BA)[/tex] are also hermitian. If, say, [tex]A=\hat{x}[/tex] and [tex]B=\hat{p}[/tex], It'd be hard to come up with the measuring devices, let alone the meaning of the observables.

Since you read Dirac, I have to add that the postulate that, to each observable there corresponds a Hermitian operator, is motivated because of the spectral theorem that the set of all eigenvectors of a Hermitian operator forms an orthonormal basis. (I remember Dirac didn't even mention linear algebra in the book.)

Edit: What I wanted to say in the last paragraph is that, Dirac was right to say that we need a complete set of eigenstates, but he didn't have this theorem to back it up rigorously.

Last edited:

- #7

- 1,225

- 75

Hi, LukeD and Truecrimson.

Now I tend to consider any hermitian is observable.

Thank you.

Now I tend to consider any hermitian is observable.

Thank you.

- #8

f95toli

Science Advisor

Gold Member

- 3,028

- 525

The number operator is certainly an observable, there are actually quite a few ways to experimentally count the number of photons in a number state (and you don't have to do it "indirectly" by measuring the total energy of the system).Another example is the so called "number operator" [tex]aa^{\dagger}[/tex], which is the product of lowering (annihilation) and raising (creation) operators. It is called the number operator because it returns the quantum number of the state it is applied to.

- #9

SpectraCat

Science Advisor

- 1,395

- 2

Ok, I guess I see what you are saying ... if we look for a particle, and it is there, by definition we have just applied the identity operator, so it is kind of by default included in any measurement we make. Is that another way to put it?I disagree. The identity operator is 1 in the case of a particle existing and 0 in the case of it not existing. Therefore, it is an observable value. A value being observable doesn't mean that its entire distribution is observable. Only eigenvalues and average values need to be observable. In the case of the identity operator, every state has the same eigenvalue, so the operator doesn't tell you much.

Yeah, that was a mistake on my part. I was thinking in terms of building a device to measure just the quantum number, but of course if we measure the energy of an HO eigenstate, we immediately infer the quantum number.The number operator is also observable since it is H/(hw)-1/2, and that is a measurable value for the quantum harmonic oscillator.

So, I guess I don't know any examples of Hermitian operators that don't correspond to observables. I guess what Truecrimson said about being able to compose complicated Hermitian operators out of other Hermitian operators might work, but that seems like a practical approach that misses the OP's point.

- #10

- 263

- 86

Now I think I see what you mean, reminding me of what Ballentine says in his book.Ok, I guess what Truecrimson said about being able to compose complicated Hermitian operators out of other Hermitian operators might work, but that seems like a practical approach that misses the OP's point.

So yes, sweet springs' conclusion that "any hermitian is observable" is right in a mathematical sense.Dirac, to whom we are indebted for so much of the

modern formulation of quantum mechanics, unfortunately used the word

"observable" to refer indiscriminately to the physical dynamical variable

and to the corresponding mathematical operator. This has sometimes led

to confusion. There is in the literature a case of an argument about whether

or not the electromagnetic vector potential is an observable, one party

arguing the affirmative on the grounds that the operator satisfies all of the

required conditions, the other party arguing the negative on the grounds

that the vector potential cannot be measured.

- #11

- 465

- 1

Very good points - I learned something new!

- #12

Fredrik

Staff Emeritus

Science Advisor

Gold Member

- 10,851

- 412

If we define "observable" to mean "bounded self-adjoint operator", then of course every hermitian operator is an observable. We defined them to be. There is however another approach. We define our "observables" operationally, by describing the devices that are supposed to measure them. The question is then, what sort of mathematical object should we use to *represent* observables mathematically? This sort of thing is discussed in detail in books on the mathematics of QM, e.g. "An introduction to the mathematical structure of quantum mechanics", by F. Strocchi, and "Mathematical theory of quantum fields" by H. Araki.

I don't know this stuff myself, but I get that the basic idea is to start with a C*-algebra, define a "state" as a positive linear functional on the C*-algebra of observables, and then invoke the appropriate mathematical theorems to prove that abelian C*-algebras give us classical theories and non-abelian C*-algebras give us quantum theories. (The C*-algebra is then isomorphic to the algebra of bounded self-adjoint operators on a complex separable Hilbert space).

In this approach, it's*not* the case that every member of the C*-algebra corresponds to a measuring device, but I don't really have any more information on that. Perhaps someone can read those books and tell the rest of us.

I don't know this stuff myself, but I get that the basic idea is to start with a C*-algebra, define a "state" as a positive linear functional on the C*-algebra of observables, and then invoke the appropriate mathematical theorems to prove that abelian C*-algebras give us classical theories and non-abelian C*-algebras give us quantum theories. (The C*-algebra is then isomorphic to the algebra of bounded self-adjoint operators on a complex separable Hilbert space).

In this approach, it's

Last edited:

- #13

- 263

- 86

Thank you Fredrik!

- #14

- 1,225

- 75

I have a new wondering.

In 9.2 of my old textbook Mathematical Methods for Physicists, George Arfken states,

------------------------------------------------------

1. The eigenvalues of an Hermite operator are real.

2. The eigen functins of an Hermite operator are orthogonal.

3. The eigen functins of an Hermite operator form a complete set.*

* This third property is not universal. It does hold for our linear, second order differential operators in Strum-Liouville (self adjoint) form.

------------------------------------------------------

The * suggests that not all Hermitian are OBSERVABLE. Can anyone suggest me some examples?

Definition of observable in Dirac II-10 is "We call a real dynamical variable whose eigensates form a complete set an observable."

Regards.

- #15

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 19

- #16

- 1,225

- 75

Hi, Hurkyl

IΨ＝1Ψ

Any state is eigenvector of identity operator I with eigenvalue 1. I is both Hermitian and Observable.

I am interested in some examples if any, of operators that is Hermite but not observable in the sense that whose eigenvectors do not form a complete set.

Regards.

Let me confirm my understanding.

IΨ＝1Ψ

Any state is eigenvector of identity operator I with eigenvalue 1. I is both Hermitian and Observable.

I am interested in some examples if any, of operators that is Hermite but not observable in the sense that whose eigenvectors do not form a complete set.

Regards.

Last edited:

- #17

Fredrik

Staff Emeritus

Science Advisor

Gold Member

- 10,851

- 412

How do you define this? Isn't it just that the identity can be expressed as [itex]\sum_a|a\rangle\langle a|[/itex] where the sum is over the eigenvalues of some operator A and the eigenvector corresponding to the eigenvalue a is written as |a>? In that case, any projection operator for a closed proper subspace will do. (Its eigenvalues are 0 or 1, so any sum over its eigenvalues would only contain two terms). Such an operatorwhose eigenvectors do not form a complete set.

I agree with Hurkyl about the identity operator.

- #18

- 679

- 2

this is an interesting post, i'd like to keep myself updated......[

- #19

- 1,225

- 75

Let me ask you a question in order to check if I understand your point.Such an operatorishowever a mathematical representation of an operationally defined observable. (It corresponds to a device that measures A and only outputs 1 if the result is in the given range, and 0 if it's not). The simplest example is |a><a|.

{|x>} is a complete set of eigenvectors of coordinate. ∫|x><x| dx =I. Then

a) Operator say Q=∫x>0 |x><x| dx is Hermitian but not Observable, because its eigenvector set does not contain |x> x<0. Eigenstates of Q do not form a complete set.

b) Q|x> = 0|x> for x<0. The subspace composed of {|x>|x<0 } is eigensubspace of Q with eigenvalue 0. So eigenstates of Q form a complete set.

Which one (or another one?) is the right answer?

Regards.

- #20

Fredrik

Staff Emeritus

Science Advisor

Gold Member

- 10,851

- 412

Your b) is wrong, if the definition of of "complete set" is that the identity can be expressed as a sum of projection operators for 1-dimensional subspaces with exactly one term for each distinct eigenvalue.

- #21

- 1,225

- 75

Hi, Fredrik

I repeat your teachings.

An operator is OBSERVABLE whether it has degeneracy or not. For example squqre of momentum P^2 is observable while eigenspace for eigenvalue p^2 has two-fold degeneracy of |p> and |-p>.

We cannot (or must not?) find eigenspace for eiganvalue 0. [STRIKE]The idea that ALL THE NOT PROJECTED states degenerate and belong to eigenspace for eigenvalue 0 was wrong.[/STRIKE]

Thanks.

I repeat your teachings.

An operator is OBSERVABLE whether it has degeneracy or not. For example squqre of momentum P^2 is observable while eigenspace for eigenvalue p^2 has two-fold degeneracy of |p> and |-p>.

We cannot (or must not?) find eigenspace for eiganvalue 0. [STRIKE]The idea that ALL THE NOT PROJECTED states degenerate and belong to eigenspace for eigenvalue 0 was wrong.[/STRIKE]

Thanks.

Last edited:

- #22

Fredrik

Staff Emeritus

Science Advisor

Gold Member

- 10,851

- 412

I think that when this happens, there's always an observable X with non-degenerate spectrum such that all of the members in the complete set can be expressed as functions of X, e.g. [itex]A=f_A(X), B=f_B(X),\dots,Q=f_Q(X)[/itex].

Avodyne's post here explains some of the details.

- #23

- 171

- 1

You can't write that because [tex]|a\rangle\langle a |[/tex] is not defined for a degenerate spectrum. It's not just that the lhs doesn't equal the right hand side, the left hand side doesn't mean anything....Suppose that A has a degenerate spectrum. Then we can't write [itex]\sum_a|a\rangle\langle a|=I[/itex]...[/tex]

That would be a bad definition of a complete set.Fredrik said:Your b) is wrong, if the definition of of "complete set" is that the identity can be expressed as a sum of projection operators for 1-dimensional subspaces with exactly one term for each distinct eigenvalue.

A set (of vectors) is complete if it spans the vector space. The set of eigenvectors of an observable is complete, whether or not there is degeneracy.

The notion of completeness with regards a complete set of mutually commuting observables is a separate one.

- #24

- 1,225

- 75

Hi. I have further questions on eigenvalue 0.

#1

Null Operator O

OΨ＝0Ψ

Any state is eigenvector of identity operator O with eigenvalue 0. So O is Hermitian and Observable.

The both discussion seem to be similar but I feel the former right and the latter wrong. Both are wrong? Can anyone show me the right way?

#2

Measurement of some physical variable, for example coordinate X, leads value 0. X|0>=0|0>. |0> is a specific vector, δ(x). This eigenvalue equation looks like above OΨ＝0Ψ, Ψ is any vector. Don't we have to distinguish these two types of eigenvalue equations for eigenvalue 0 ?

Regards.

Here Observable means operator whose eigenstates form a complete set.IΨ＝1Ψ

Any state is eigenvector of identity operator I with eigenvalue 1. I is both Hermitian and Observable.

#1

Null Operator O

OΨ＝0Ψ

Any state is eigenvector of identity operator O with eigenvalue 0. So O is Hermitian and Observable.

The both discussion seem to be similar but I feel the former right and the latter wrong. Both are wrong? Can anyone show me the right way?

#2

Measurement of some physical variable, for example coordinate X, leads value 0. X|0>=0|0>. |0> is a specific vector, δ(x). This eigenvalue equation looks like above OΨ＝0Ψ, Ψ is any vector. Don't we have to distinguish these two types of eigenvalue equations for eigenvalue 0 ?

Regards.

Last edited:

- #25

Fredrik

Staff Emeritus

Science Advisor

Gold Member

- 10,851

- 412

Yeah, I should have written something like [itex]|a\sigma\rangle[/itex] instead of just [itex]|a\rangle[/itex], and written the sum in a different way too. I was a bit sloppy there.You can't write that because [tex]|a\rangle\langle a |[/tex] is not defined for a degenerate spectrum. It's not just that the lhs doesn't equal the right hand side, the left hand side doesn't mean anything.

I don't think I've heard anyone define a "complete set of vectors" that way. I've heard terms like "maximal orthonormal set", but not "complete set". That's why I've been asking sweet springs to clarify what he meant. Hm, I guess it would make sense to define "complete set" as one that has a maximal orthonormal set (i.e. a basis) as a subset.That would be a bad definition of a complete set.

A set (of vectors) is complete if it spans the vector space. The set of eigenvectors of an observable is complete, whether or not there is degeneracy.

The notion of completeness with regards a complete set of mutually commuting observables is a separate one.

That case doesn't need to be treated separately.I have further questions on eigenvalue 0.

And by "complete set" you mean a set that has a basis as a subset? I think it's much better to define observables operationally, and then say that they are represented mathematically by bounded self-adjoint operators. (The set of eigenvectors of a bounded self-adjoint operator is always "complete" in the sense defined above).Here Observable means operator whose eigenstates form a complete set.

Some of the symbols you're typing don't display properly for me, on either of my two computers. It's very confusing. And as I said before, the position operator isn't the greatest example, since it isn't bounded, and doesn't have eigenvectors. You have to define a "rigged Hilbert space" just to be able to define the "eigenstates" [itex]|x\rangle[/itex].#1

Null Operator O

OΨ＝0Ψ

Any state is eigenvector of identity operator O with eigenvalue 0. So O is Hermitian and Observable.

The both discussion seem to be similar but I feel the former right and the latter wrong. Both are wrong? Can anyone show me the right way?

#2

Measurement of some physical variable, for example coordinate X, leads value 0. X|0>=0|0>. |0> is a specific vector, δ(x). This eigenvalue equation looks like above OΨ＝0Ψ, Ψ is any vector. Don't we have to distinguish these two types of eigenvalue equations for eigenvalue 0 ?

Regards.

Last edited:

- Last Post

- Replies
- 33

- Views
- 1K

- Last Post

- Replies
- 17

- Views
- 10K

- Replies
- 51

- Views
- 9K

- Replies
- 26

- Views
- 5K

- Replies
- 4

- Views
- 1K

- Replies
- 38

- Views
- 4K

- Last Post

- Replies
- 14

- Views
- 1K

- Last Post

- Replies
- 3

- Views
- 508

- Last Post

- Replies
- 6

- Views
- 2K

- Replies
- 5

- Views
- 2K