If A*A is a compact operator, is A compact?

In summary, the compactness principle states that if A*A is compact, then A is compact. A compact operator is a linear operator on a Banach space that maps bounded sets to relatively compact sets. If A*A is compact, it implies that A is a Hilbert-Schmidt operator and allows for the use of the spectral theorem. It is possible for a non-compact operator to have a compact square. Other conditions for A to be compact include being a bounded operator, having a precompact image of the unit ball, and having finite rank.
  • #1
elina
1
0
Hi, if I know that A is continuous and linear and A*A is compact, where A* is the adjungate, how will I show that A has to be compact?
 
Physics news on Phys.org
  • #2
You could try using the http://en.wikipedia.org/wiki/Polar_decomposition" .
 
Last edited by a moderator:

FAQ: If A*A is a compact operator, is A compact?

Is it true that if A*A is compact, then A is compact?

Yes, if A*A is compact, then A is compact. This is known as the "compactness principle" and is a result of the fact that the composition of two compact operators is also compact.

What is a compact operator?

A compact operator is a type of linear operator on a Banach space (a complete normed vector space) that maps bounded sets to relatively compact sets. In other words, it maps bounded sets to sets that have compact closures.

What is the significance of A*A being compact?

If A*A is compact, it implies that A is a Hilbert-Schmidt operator, which has important properties in functional analysis. It also allows for the use of the spectral theorem, which is a powerful tool in the study of compact operators.

Can a non-compact operator have a compact square?

Yes, it is possible for a non-compact operator to have a compact square. For example, the operator A = [1, 0; 0, 0] is non-compact, but A*A = [1, 0; 0, 0] is compact.

Are there any other conditions for A to be compact besides A*A being compact?

Yes, there are other conditions for A to be compact. One such condition is that A must be a bounded operator. Another condition is that the image of the unit ball under A must be precompact, meaning its closure is compact. Additionally, A must have finite rank in order to be compact.

Similar threads

Replies
10
Views
1K
Replies
4
Views
1K
Replies
3
Views
667
Replies
5
Views
1K
Replies
8
Views
702
Replies
11
Views
799
Replies
12
Views
2K
Replies
3
Views
3K
Replies
3
Views
382
Back
Top