Proving Boundedness of Symmetric Operator on Hilbert Space

In summary, by using the fact that a continuous linear operator is also bounded, it can be shown that A is bounded in this case. The Hellinger-Toeplitz theorem also proves that unbounded symmetric operators cannot be defined on all Hilbert spaces.
  • #1
Pietjuh
76
0

Homework Statement


Let A be a linear operator on a Hilbert space X. Suppose that D(A) = X,
and that (Ax, y) = (x, Ay) for all x, y in H. Show that A is bounded.

The Attempt at a Solution



I've tried to prove it by using the fact that if A is continuous at
a point x implies that A is bounded.

Suppose that x_n converges to x.
|| Ax_n - Ax ||^2 = || A(x_n - x) ||^2 = ( A(x_n - x), A(x_n - x) ) =
(x_n - x, A^2 (x_n - x) ) <= ||x_n - x || || A^2(x_n - x) ||

But i don't think I can conclude from this that because ||x_n - x|| -> 0, this expression goes to zero, since || A^2(x_n - x) || may blow up.. Or doesn't it?

Please help me :)
 
Physics news on Phys.org
  • #2
D(A)=domain of A? I don't see how you can prove this. Self adjointness doesn't imply boundedness. You must be assuming A is also continuous? Then there is not much to prove. Better check the question.
 
Last edited:
  • #3
Pietjuh said:

Homework Statement


Let A be a linear operator on a Hilbert space X. Suppose that D(A) = X,
and that (Ax, y) = (x, Ay) for all x, y in H. Show that A is bounded.

In a Hilbert space bounded <=> continuous. If A is symmetric and everywhere defined, it's equal to its adjoint, hence self-adjoint hence closed. By the closed graph theorem, it is also continuous, end proof.

The theorem you needed to prove is called "The Hellinger-Toeplitz theorem" and proves that unbounded symmetric operators cannot be defined on all [itex] \mathcal{H} [/itex].
 

1. What is a symmetric operator on a Hilbert space?

A symmetric operator on a Hilbert space is a linear operator that has the property of being self-adjoint, meaning that its adjoint is equal to itself. This means that it satisfies the condition A = A*, where A* is the adjoint of A. In other words, a symmetric operator is one that is unchanged under a reflection about the origin.

2. Why is proving boundedness important for symmetric operators on Hilbert space?

Proving boundedness is important for symmetric operators on Hilbert space because it ensures that the operator is well-behaved and has a finite norm. This is necessary for many applications in mathematics and physics, as well as for the operator to be useful in solving differential equations and other problems.

3. What is the definition of boundedness for a symmetric operator on Hilbert space?

A symmetric operator A on a Hilbert space H is said to be bounded if there exists a constant C > 0 such that for all x in H, |Ax| ≤ C|x|, where |x| denotes the norm of x. In other words, the operator must map any vector in the Hilbert space to a vector with a norm that is no larger than C times the norm of the original vector.

4. How can we prove the boundedness of a symmetric operator on Hilbert space?

The most common method for proving boundedness of a symmetric operator on Hilbert space is by using the spectral theorem, which states that any self-adjoint operator on a Hilbert space can be diagonalized by an orthonormal basis of eigenvectors. Using this theorem, we can show that the operator has a finite norm and therefore is bounded.

5. Are there any alternative methods for proving boundedness of a symmetric operator on Hilbert space?

Yes, there are alternative methods for proving boundedness of a symmetric operator on Hilbert space, such as using the Cauchy-Schwarz inequality or the Riesz representation theorem. These methods may be more efficient or applicable in certain situations, but ultimately they all rely on the spectral theorem in some form.

Similar threads

Replies
1
Views
570
  • Calculus and Beyond Homework Help
Replies
15
Views
1K
  • Calculus and Beyond Homework Help
Replies
9
Views
2K
  • Calculus and Beyond Homework Help
Replies
2
Views
837
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
  • Math POTW for Graduate Students
Replies
7
Views
955
  • Calculus
Replies
13
Views
1K
  • Calculus and Beyond Homework Help
2
Replies
43
Views
3K
  • Quantum Physics
Replies
1
Views
543
Replies
11
Views
976
Back
Top