Abstract. Let A and B be operators acting on infinite-dimensional spaces. In this paper we prove that if A and B are isoloid, satisfy Weyl's theorem, and the Weyl spectrum identity holds, then A ⊗ B satisfies Weyl's theorem.1991 Mathematics Subject Classification. Primary 47A80; Secondary 47A53.
Notation and terminology.By an operator we mean a bounded linear transformation of a Hilbert space into itself. We work in a Hilbert space setting, although the results in this paper hold in a Banach space setting with essentially the same proofs. Let T be an operator, and let N (T) and R(T) denote kernel and range of T, respectively. Consider the classical partition {σ P (T), σ R (T), σ C (T)} of the spectrum σ (T), where σ P (T) = {λ ∈ :ރ N (λI − T) = {0}} is the point spectrum (i.e. the set of all eigenvalues of T), σ R (T) = σ P (T * ) * \σ P (T) is the residual spectrum (where T * denotes the adjoint of T and * = {λ ∈ :ރ λ ∈ } denotes the set of all complex conjugates from a subset of ,)ރ and σ C (T) = σ (T)\(σ P (T) ∪ σ R (T)) is the continuous spectrum. Let σ w (T) = {λ ∈ :ރ λI − T is not a Fredholm operator of index zero} be the Weyl spectrum of T, which is a subset of the whole spectrum σ (T); that is, σ w (T) = {λ ∈ σ (T): λI − T is not a Fredholm operator of index zero}.The set σ 0 (T) = {λ ∈ σ P (T): R(λI − T) is closed and dim N (λI − T) = dim N (λI − T * ) <