Talk:Self-adjoint operator

From Wikipedia, the free encyclopedia

Mathematics Portal

This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.

Mathematics rating:

B+ Class

High Priority

Field: Analysis

Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments.
Please add to or update the comments to suggest improvements to the article.
Worth considering for GA nomination, if editors can bear to add suitable citations. Geometry guy 20:50, 31 May 2007 (UTC)

1 Proof Needed?
2 Quantum version
3 necessary?
4 geometrical interpretation
5 Alternate characterization
6 Extension of symmetric operators
7 Crazy question
8 Multiplication operators
9 Deleted graf
10 Functional calculus
11 partial isometry
12 operator integral

[edit] Proof Needed?

A symmetric operator on a hilbert space can have no eigenvalues? Isn't 0 an eigenvalue?

Not in general. If it's invertible, for instance 0 is not an eigenvalue.--CSTAR 07:54, 30 December 2006 (UTC)

More general statement: Should there be a proof policy on wikipedia math articles? Or a proof tab or something for each claim? That would be nice. Maybe people should start adding proof pages or something. Discuss or copy and paste this where it's supposed to go (I don't want to look that up right now).

To mu knowledge there isn't a proof policy. This is supposed to be an encyclopedia, not a textbook or reference.--CSTAR 07:54, 30 December 2006 (UTC)

[edit] Quantum version

The latest anonymous "edit" introduces a so-called "quantum mechanical version" of the spectral theorem, which is the same version and unnecessarilly separates out the pure point from continuous spectrum. I have no objection to a comment that the spectral theorem is formulated in Bra-ket notation in some form, but to call it a "quantum mechanical version" is misleading.--CSTAR 20:13, 10 July 2005 (UTC)

Thank you for editing my "quantum mechanical version" of the spectral theorem. You are right when you say that the title was misleading. You have replaced the term analytical function by Borel function. The problem is that I don't understand what is a Borel function. In physics text books one finds analytical function and most physicists know what it is. The physicists define $f(H)= f(0) + f'(0) H + {1 \over 2} f''(0) H^2 + ...$ using the Taylor expansion of f. Is the Borel function somewhat equivalent to this? I also in principle agree with the fact that you suppress the summation over the discrete space but I think this is not very pedagogical for the people coming from the quantum physics or quantum chemistry community. I am teaching to chemists. I know what I am speaking about. I think this is an encyclopedia and one should take care that when possible it should be readable by people who don't want to cope with the whole functional analysis but nevertheless want to understand some key concepts they are using in their own field on a daily basis. Moreover I am persuaded you are right when you say both version of the theorem are the same. But I am very sorry but I don't understand really why and how. Do you think you could make some notice explaining why both version are equivallent? Thank you very much.

As was pointed out, the power series formulation of f(H) only works in general when one has a bounded H and an analytic f. In quantum mechanics, hamiltionians are never bounded unless the state space is finite dimentional. So the two version are really NOT the same. The Borel functional calculus is honest mathematics, while the other formulation, although useful for physicists, is fundamentally incorrect. But, loosely speaking, we can see the formal resemblance between the two approaches. The projection-valued measure(PVM) in the Borel functional calculus sort of correspond to Dirac's "rank 1 projection", |x><x|. Just like we integrate against PVM's to get a self adjoint operator, Dirac's approach "integrat" the |x><x| over the "spectrum" to obtain the operator. While the convergence of integrals in PVM's can be defined in various topologies(e.g. the weak topology), it's never pointed out what's exactly meant but Dirac's "integral" over sometimes nonexistent "spectrum".

Be my guest and chuck it. A while back (a year ago?), I tried to, but kept getting reverted.--CSTAR 18:04, 29 March 2006 (UTC)

I need to clarify about the validity of the power series formula. There is actually an analytic functional calculus for unbounded operators, using an operatorial version of the Cauchy integral formula.

[edit] necessary?

As i know sigma-finiteness is not needed for a multiplication operator to be densely defined. Enlighten me or i will delete the remark.

Hmmm. I think you're right.--CSTAR 21:32, 26 February 2006 (UTC)

[edit] geometrical interpretation

The article contains a section called "geometrical interpretation". It states that

$\operatorname{G}(A^*) = (\operatorname{J}\operatorname{G}(A))^\mathrm{perp}.$

I understand this to mean the orthogonal subspace

$\operatorname{G}(A^*) = (\operatorname{J}\operatorname{G}(A))^\mathrm{perp} = (\operatorname{J}\operatorname{G}(A))^\perp$

$= \{ (x,y) \in H \oplus H : \langle x|A\xi \rangle = 0 \mbox{ and } \langle y|\xi \rangle = 0 \;\;\forall \xi \in H \}$ (Wrong!)

Is this correct? If so, then I'd like to know why J was choosen to be symplectic -- i.e. why was J set up so that $\operatorname{J}^2=-1$ ... it seems to me that the definition would have worked equally well for a map $(\xi, \eta) \mapsto (\eta, \xi)$ , right? I don't see the role played by the minus sign. I mean, that J is symplectic is very suggestive of something; I'd like to know why. linas 21:46, 18 March 2006 (UTC)

I think it does make a difference, since if (x,y) belongs to a linear space V, (x, − y) doesn't have to belong to V (consider a 45 degree line through the origin.)--CSTAR 21:55, 18 March 2006 (UTC)

Right. My definition is wildly flawed. Dohh. It should have read

$(\operatorname{J}\operatorname{G}(A))^\perp = \{ (x,y) \in H \oplus H : \langle (x,y)|(\xi,-A\xi) \rangle = 0 \;\;\forall \xi \in H \}$

Dohhh. Thanks. I'm going to copy this into the article.linas 00:06, 19 March 2006 (UTC)

[edit] Alternate characterization

The article states:

The following is an alternate characterization of symmetric operator: A densely defined operator A is symmetric iff

$A \subseteq A^*.$

What the heck does this subset notation mean?? linas 21:46, 18 March 2006 (UTC)

This is standard terminology for operators. One is an extension of the other.--CSTAR 21:47, 18 March 2006 (UTC)

Do we have an article somewhere that defines this? I'm thinking of this in terms of topology, that the one is defined in a topology that is finer than the other. But rather than guessing, I'd like to send the gentle reader to an actual definition. linas 23:09, 18 March 2006 (UTC)

It means the graph is a subset. -lethe ^{talk +} 03:29, 19 March 2006 (UTC)

So should I edit the article to say "... $G(A) \subseteq G(A^*).$ This is often written as $A \subseteq A^*$ , with the use of subset notation implicitly implying that the relation holds for the graph of the operator." I'll make this edit now; if its wrong, back it out please. linas 05:19, 19 March 2006 (UTC)

That language sounds funny to me. It's not "often written as". It's the definition of extension of operators. -lethe ^{talk +} 05:23, 19 March 2006 (UTC)

So where is this defined? Read my first post, wherein I ask: "what the heck does this mean"? We need a definition of this notation. Anyone who does not already know the answer won't be able to glean the meaning from the current wording. Note redlinks: Graph of an operator, operator extension. linas 20:48, 19 March 2006 (UTC)

In the usual set-theoretic formalization of function, a function is identical to its graph .--CSTAR 20:55, 19 March 2006 (UTC)

Argh. I'm finding this conversation very irritating. The subset notation is unknown and utterly opaque to anyone coming from an engineering or physics background. I'm not convinced its all that common in the world of math that's not dealing with operator theory. I attempted to add words to define it such that an undergrad *could* understand. Lethe promptly reverted, with no explanation other than a trite complaint about the wording. Can I fix the article, already? linas 05:01, 20 March 2006 (UTC)

It looks OK now, mathematically, although I don't particularly like the way the inline tex looks, aesthetically.--CSTAR 05:14, 20 March 2006 (UTC)

I use a font size about the same size as the image fonts, and also enable MathML in my WP preferences. I have hopes for BlahTeX. linas 15:11, 20 March 2006 (UTC)

BTW further down, I had used \mathrm{perp} instead of \perp (maybe when I added that \perp wasn't working.) --CSTAR 05:16, 20 March 2006 (UTC)

Will fix shortly. linas 15:11, 20 March 2006 (UTC)

[edit] Extension of symmetric operators

I don't think this article is the right place to define an extension of an operator. It should go in unbounded operator. -lethe ^{talk +} 08:51, 20 March 2006 (UTC)

I'd suggest its own unique article, e.g. extension of symmetric operators. That section and everything beyond it certainly does take the discussion of operators to a whole new niveau. linas 15:38, 20 March 2006 (UTC)

Well, I might agree with you on that. I think there might be enough to say about extensions to symmetric operators to merit its own article, but I'm not sure. In any event, the definition of the closabillity of operators, and also of extension of operators, makes sense for general unbounded operators, not just symmetric operators, therefore that definition should go there. Then we don't have to clutter this article with definitions. As for your complaint that it's too "operator theoretic", well, the distinction between self-adjointness and symmetry of operators is itself a bit operator theoretic. Anyone who wants to read this article will have to get at least a little of the terminology of unbounded operators. I'm going to take a look at that article now. -lethe ^{talk +} 15:52, 20 March 2006 (UTC)

I'm looking at closed operator now, and I don't really like it. It's not really set-up to talk about general unbounded or non-everywhere-defined operators, which makes it difficult to have the definitions there that I want. I don't think I have the energy to do a rewrite at the moment. I'm starting to think that I'd like to see an article about linear operators on general TVSes. It could talk about the different kinds of boundedness, and when boundedness implies continuity, and operators not everywhere-defined, graphs, extensions, and closures. All of these make sense in general TVSes. What do you think? This might be nice because like eg Oleg doesn't like to have stuff about spaces that are not normable in a lot of places, but those spaces still need to have a home. -lethe ^{talk +} 16:08, 20 March 2006 (UTC)

No reason not to. They occur in nature.--CSTAR 20:47, 20 March 2006 (UTC)

PS. I don't like the idea of breaking up the article. I rather like the idea of having a lot of stuff on s.a. operators in one place.--CSTAR 20:50, 20 March 2006 (UTC)

I'm afraid I can't add anything. My understanding of these topics is incomplete and spotty; I don't have the vision to suggest an overall structure. I know little/nothing about operator extensions beyond what this article says, and a breif skim of some papers on rigged hilbert space and related topics. On the other hand, I do have a tried-n-true method of writing: write a few paragraphs, put them where they seem to fit best at this point in time. Write a few more. After a while, one realizes that the first few paragraphs would be better if moved somewhere else .. or expanded or deleted ... rinse, and repeat. As Charles Matthews put it, the result is "organic". linas 20:25, 20 March 2006 (UTC)

[edit] Crazy question

These days, whenever I see the words "Cayley transform" I think "Riemann surface/Fuchsian group/j-function/etc.". Can anything interesting be said along these lines? Or is this a crazy non-question? linas 15:38, 20 March 2006 (UTC)

Not much more than is already on the page to which it is linked (somewhere in the article). The Cayley transform is a fractional linear transformation; the namw used for operators is mostly used by analogy, although $H \oplus H$ does have a symplectic structure, but not too much should be made of this fact, at least not in this article.--CSTAR 20:45, 20 March 2006 (UTC)

OK thanks then. I've come up with a remarkable little problem, then; I dare say no more. I haven't had this much fun playing at solving things in quite a while. linas 00:11, 21 March 2006 (UTC)

[edit] Multiplication operators

This article states, in the section on the spectral theorem, that

Theorem. Any multiplication operator is a (densely defined) self-adjoint operator. Any self-adjoint operator is unitarily equivalent to a multiplication operator.

By contrast, the article spectral theorem qualifies this further, stating that any bounded self-adjoint operator is unitarily equivalent to a multiplication operator. So, does an operator need to be bounded for this theorem to hold, or not? linas 23:05, 18 March 2006 (UTC)

No. It's true for arbitrary self-adjoint operators.--CSTAR 23:41, 18 March 2006 (UTC)

Can I get you to review the article on spectral theorem, and remove the "bounded" qualifier from it? linas 00:05, 19 March 2006 (UTC)

There is already a short section on the unbounded case. Isn't that good enough? --CSTAR 00:49, 19 March 2006 (UTC)

OK, right. I guess I skipped reading the last paragraph, which circles right back to this article. I've been feeling confused today. linas 05:07, 19 March 2006 (UTC)

[edit] Deleted graf

I deleted a paragraph which I believe used "support" incorrectly. The support of a measure, including a projection-valued measure, is the smallest closed set outside of which the measure vanishes. What the contributor meant, I am sure, was not support, but rather allude to the fact that a measure has a canonical decomposition into sum of atomic and continuous parts which are disjoint (a la Hahn decomposition), but that should be made clearer, and not use the word "support" which has a very precise meaning in analysis.--CSTAR 17:41, 2 April 2006 (UTC)

CSTAR Thanks. I got lazy and didn't wanna elaborate. —This unsigned comment was added by 24.155.72.152 (talk • contribs) .

[edit] Functional calculus

A recent anonymous edit added the sentences:

For the bounded case, an alternative way of obtaining the Borel functional calculus is the following: First pass from polynomial to continuous functional calculus using the Stone-Weierstrass theorem. The use the Riesz-Markov theorem to pass from integration on continuous functions to spectral measures.

This is very misleading. To extend the polynomial functional calculus to the continuous functional calculus requires showing continuity of the mapping

$p \mapsto p(T)$

from polynomials to operators, as a function of the polynomial p in the supremum topology. This is not entirely trivial, and in fact is one stumbling block in the proof of the spectral theorem by elementary means. The proof hinges on the following fact: If T is a bounded self-adjoint operator with spectrum in the closed interval [a,b] and p is a polynomial which is non-negative on [a, b], then p(T) is a non-negative operator.

See for example S. Lang's treatment of the spectral theorem. I'm not sure of the historical facts here, but this may have been the way the spectral theorem for non-compact operators was first shown, before the Gelfand theory of commutative C*-algebras. --CSTAR 19:43, 2 April 2006 (UTC)

CSTAR the statement I made was correct. From the polynomial fucntional calculus one can be extended to an isometric continuous functional calculus by Stone-Weierstrass rather easily. The isometric property even holds for the Borel case, provided one is careful. See, say, Reed and Simon. This is perhaps a less deep approach than using Banach algebras, and stuff like Stone-Cech and Wiener's result are not corollaries. Also, it was sloppy of me to have said what I said about discrete spectral measures. Thanks for pointing it out. Perhaps someone can elaborate in an article about decompositon into spectral subspaces. —This unsigned comment was added by 24.155.72.152 (talk • contribs) .

I didn't say the polynomial functional calculus couldn't be extended in this way. What I said was that this extension is not entirely trivial, because you need to establish first that the mapping is continuous (or equivalently that it is positive). Your edit omits a reference to this fact, which is why I said it was misleading (notice that I didn't say it was wrong).--CSTAR 21:17, 2 April 2006 (UTC)

Also could you please sign your posts on talk pages? Thanks.--CSTAR 21:19, 2 April 2006 (UTC)

Do so by appending ~~~~ to your comments, for your information. -lethe ^{talk +} 21:36, 2 April 2006 (UTC)

Previous two comments modified for additional clarity. --CSTAR 21:35, 2 April 2006 (UTC)

Ok, sorry about not signing posts. So I am 24.155.72.152 on a few of the math pages Mct mht 22:35, 2 April 2006 (UTC)

CSTAR, i still don't quite get what's nontrivial about it. the fact you cite as essential:

If T is a bounded self-adjoint operator with spectrum in the closed interval [a,b] and p is a polynomial which is non-negative on [a, b], then p(T) is a non-negative operator.

is actually not needed to show the functional calculus is an isometry. when you say Lang's treatment do you mean his "real and functional analysis"? will look it up when i can. Mct mht 23:11, 23 April 2006 (UTC)

If you assume the continuous functional calculus, then of course it's trivial. Otherwise, you need to show that any non-negative polynomial on an interval [a,b] is a sum of polynomials which when applied to T is obviously non-negative. --CSTAR 23:14, 23 April 2006 (UTC)

Hm, if you're saying your "you need to show..." is required to show the existence of an isometric functional calculus (which is what i thought you meant in the initial comment), i think it can be bypassed in that proof. rather it follows as a consequence. Mct mht 23:23, 23 April 2006 (UTC)

Hmm. I don't believe it.--CSTAR 00:10, 24 April 2006 (UTC)

CSTAR, ok, from what i can see, our disagreement is the following: let $A \rightarrow P(A)$ be the usual polynomial functional calculus, you're saying the spectral mapping theoremi.e. $\sigma (\;P(A)) = P(\sigma(A))$ is a major stumbling block en route to continuous func cal. i am saying it's rather straightforward. The following argument is from Reed and Simon:

Say $\lambda \in \sigma(A)$ . Given P, we factor

P (x) - P (λ) = (x - λ) Q (x)

. So

P (A) - P (λ) = (A - λ) Q (A)

. If

A - λ

has no bounded inverse, neither does

P (A) - P (λ)

. This shows $P(\sigma(A)) \subset \sigma(P(A))$ .

For the other inclusion, let $\mu \in \sigma(P(A))$ . Again, we factor $P(x) - \mu = a (x - \lambda_1) \cdots (x - \lambda_n)$ . Now $P(A) \; - \mu$ has no bounded inverse, that means

A - λ i

has no bounded inverse for some i. So we have $P(\lambda _i) \;= \mu$ with $\lambda_i \in \sigma(A)$ . This proves the claim.

from the above follows the isometric property. it is perhaps good to compare with Lang's treatment you mentioned. i will look it up or perhaps you will tell me. Mct mht 02:58, 24 April 2006 (UTC)

OK, then how do you prove that IF A is a non-negative operator such that P(σ(A)) is contained in the interval [0,1] THEN P(A) has norm at most 1? At some point you are going to have to address the issue of the relation between spectral radius and norm. You haven't yet, by your argument. The crux of the standard Gelfand theorem as found in most books on C*-algebras is basically dealing with that technical point. You can avoid the Gelfand theorem by using the polynomial argument I mentioned. I believe that constituted von Neumann's proof of the spectral theorem for bounded self-adjoint operators.--CSTAR 03:10, 24 April 2006 (UTC)

Heh, ok, interesting. the isometry is shown as follows, for self adjoint A we have that its operator norm and spectral radius coincide. Also, $\| T \|^2 = \| T^* T\|$ in general, so

$\| P(A) \| ^2 = \| (P(A))^* P(A) \| = \| ({\bar P} P)(A) \| = \sup_{ \mu \in \sigma(({\bar P} P)(A)) } |\mu| = \sup _{\lambda \in \sigma(A)} | {\bar P}P (\lambda) | = ( \sup _{\lambda \in \sigma(A)} |P (\lambda) | )^2$

Mct mht 03:28, 24 April 2006 (UTC)

Nope. If you look carefully, you are using the spectral radius formula to equate norm with sup of the spectral values. That is true for C*-algebras, but is equivalent to the Gelfand isomorphism theorem.--CSTAR 03:33, 24 April 2006 (UTC)

ok, i said that before laying out the argument, that for self adjoint operators, spectral radius is operator norm. and the spectral radius formula can be proven by invoking the Laurent series for resolvents, without using the C* algebra formulation. Mct mht 03:44, 24 April 2006 (UTC)

Fine but that's the crux of the standard C*-theoretic proof of the Gelfand isomorphism!--CSTAR 03:46, 24 April 2006 (UTC)

it's very informative discussion. thanks. Mct mht 03:53, 24 April 2006 (UTC)

[edit] partial isometry

"partially defined isometry" is perculiar terminology. is it used at all in literature? as pointed out later in the same paragraph (extension of symmetric operators), one customarily extend by continuity and then by zero to get something defined everywhere. "unique partially defined linear operator", also rather uncommon language, should be taken to mean the continuous extension is unique anyhow. i didn't change it since i didn't see anything incorrect, just somewhat unusual and perhaps unnecessary. Mct mht

Why is this a problem? Partially defined function is a perfectly good concept and standard terminology.--CSTAR 23:00, 23 April 2006 (UTC)

If L[y] and G[y] are both self-adjoint operators having the same spectrum my question is are they related by a linear transform?.--85.85.100.144 15:11, 12 January 2007 (UTC)

Do you mean if they are unitarily equivalent or if not at least similar? The answer is no to both questions, because spectrum (or more strongly spectral measure) does not deal with spectral multiplicity.--CSTAR 16:24, 12 January 2007 (UTC)

[edit] operator integral

CSTAR actually, you can. it's not trivial but it's been done. i just thought it should be mentioned Mct mht 23:26, 23 April 2006 (UTC)

above comment is re possibility of convergence of operator integral in strong operator topology. Mct mht 23:28, 23 April 2006 (UTC)

OK I believe you, but it's news to me.--CSTAR 23:30, 23 April 2006 (UTC)

Could you provide a reference for how this is done? I'm still pretty skeptical.--CSTAR 13:17, 24 April 2006 (UTC)

CSTAR, ok, it is rather obscure. i haven't found an explicit reference to a paper. it's done using vector valued measures, according to Reed and Simon. convergence in the weak operator topology looks to be the most convenient and common approach taken. since all the well-known texts seem to take that approach, i am going to remove the SOT note. Mct mht 01:19, 27 April 2006 (UTC)