- Research
- Open Access

# An elementary operator and generalized Weyl’s theorem

- Fugen Gao
^{1}Email author and - Xiaochun Li
^{1}

**2012**:243

https://doi.org/10.1186/1029-242X-2012-243

© Gao and Li; licensee Springer 2012

**Received:**10 April 2012**Accepted:**9 October 2012**Published:**24 October 2012

## Abstract

A Hilbert space operator *T* belongs to class A if $|{T}^{2}|-{|T|}^{2}\ge 0$. Let ${d}_{AB}$ denote either ${\delta}_{AB}$ or ${\mathrm{\u25b3}}_{AB}$, where ${\delta}_{AB}$ and ${\mathrm{\u25b3}}_{AB}$ denote the generalized derivation and the elementary operator on a Banach space $B(\mathcal{H})$ defined by ${\delta}_{AB}X=AX-XB$ and ${\mathrm{\u25b3}}_{AB}X=AXB-X$ respectively. If *A* and ${B}^{\ast}$ are class A operators, we show that ${d}_{AB}$ is polaroid and generalized Weyl’s theorem holds for $f({d}_{AB})$, generalized *a*-Weyl’s theorem holds for $f({({d}_{AB})}^{\ast})$ for every $f\in H(\sigma ({d}_{AB}))$ and *f* is not constant on each connected component of the open set *U* containing $\sigma ({d}_{AB})$, where $H(\sigma ({d}_{AB}))$ denotes the set of all analytic functions in a neighborhood of $\sigma ({d}_{AB})$.

**MSC:**47B20, 47A63.

## Keywords

- class A operators
- generalized derivation
- elementary operator
- generalized Weyl’s theorem
- generalized
*a*-Weyl’s theorem

## 1 Introduction

Let ℋ be a complex Hilbert space and ℂ be the set of complex numbers. Let $B(\mathcal{H})$ and $K(\mathcal{H})$ denote the ${C}^{\ast}$-algebra of all bounded linear operators and the ideal of compact operators acting on ℋ respectively. For operators $A,B\in B(\mathcal{H})$, let ${\delta}_{AB}\in B(B(\mathcal{H}))$ denote the generalized derivation on a Banach space $B(\mathcal{H})$ defined by ${\delta}_{AB}X=AX-XB$; let ${\mathrm{\u25b3}}_{AB}\in B(B(\mathcal{H}))$ denote the elementary operator on a Banach space $B(\mathcal{H})$ defined by ${\mathrm{\u25b3}}_{AB}=AXB-X$. Let ${d}_{AB}$ denote either ${\delta}_{AB}$ or ${\mathrm{\u25b3}}_{AB}$. ${d}_{AB}$ has been studied by a number of authors [1–4]. Also let $\alpha (T)=dimkerT$, $\beta (T)=dimker{T}^{\ast}$, and let $\sigma (T)$, ${\sigma}_{a}(T)$ denote the spectrum and approximate point spectrum of *T*. An operator $T\in B(\mathcal{H})$ is called upper (resp. lower) semi-Fredholm if ran*T* is closed and $\alpha (T)<\mathrm{\infty}$ (resp. $\beta (T)<\mathrm{\infty}$). In the sequel, let $S{F}_{+}(\mathcal{H})$ denote the set of all upper semi-Fredholm operators. If both $\alpha (T)$ and $\beta (T)$ are finite, then *T* is called a Fredholm operator. An operator $T\in B(\mathcal{H})$ is called Weyl if it is Fredholm of index zero and Browder if it is Fredholm of finite ascent and descent. Let ${\sigma}_{e}(T)$, ${\sigma}_{w}(T)$ and ${\sigma}_{b}(T)$ denote the essential spectrum, the Weyl spectrum and the Browder spectrum of $T\in B(\mathcal{H})$. Let $iso\mathcal{K}$ denote the isolated points of $\mathcal{K}\subseteq \mathbb{C}$. We write ${\pi}_{00}(T)=\{\lambda \in iso\sigma (T):0<\alpha (T-\lambda )<\mathrm{\infty}\}$, ${\pi}_{00}^{a}(T)=\{\lambda \in iso{\sigma}_{a}(T):0<\alpha (T-\lambda )<\mathrm{\infty}\}$, and ${p}_{00}(T)=\sigma (T)\setminus {\sigma}_{b}(T)$. It is evident that ${\sigma}_{e}(T)\subseteq {\sigma}_{w}(T)\subseteq {\sigma}_{b}(T)={\sigma}_{e}(T)\bigcup acc\sigma (T)$ and ${p}_{00}(T)\subseteq {\pi}_{00}(T)\subseteq {\pi}_{00}^{a}(T)$, where $acc\sigma (T)=\sigma (T)\setminus iso\sigma (T)$.

By definition, ${\sigma}_{ea}(T)=\bigcap \{{\sigma}_{a}(T+K):K\in K(\mathcal{H})\}$ is the essential approximate point spectrum of *T*, and ${\sigma}_{ab}(T)=\bigcap \{{\sigma}_{a}(T+K):K\in K(\mathcal{H})\text{and}KT=TK\}$ is the Browder approximate point spectrum of *T*.

*a*-Weyl’s theorem holds for $T\in B(\mathcal{H})$ if

*a*-Browder’s theorem holds for $T\in B(\mathcal{H})$ if

*T*and a nonnegative integer

*n*, define ${T}_{n}$ to be the restriction of

*T*to $ran{T}^{n}$ viewed as a map from $ran{T}^{n}$ into $ran{T}^{n}$ (in particular ${T}_{0}=T$). If for some integer

*n*, the range space $ran{T}^{n}$ is closed and ${T}_{n}$ is a Fredholm operator, then

*T*is called a B-Fredholm operator. If

*T*is a B-Fredholm operator of index zero, then

*T*is called a B-Weyl operator. The B-Fredholm spectrum ${\sigma}_{\mathrm{BF}}(T)$ and B-Weyl spectrum ${\sigma}_{\mathrm{BW}}(T)$ of

*T*are defined by ${\sigma}_{\mathrm{BF}}(T)=\{\lambda \in \mathbb{C}:T-\lambda \text{is not a B-Fredholm operator}\}$ and ${\sigma}_{\mathrm{BW}}(T)=\{\lambda \in \mathbb{C}:T-\lambda \text{is not a B-Weyl operator}\}$. An operator $T\in B(\mathcal{H})$ satisfies generalized Weyl’s theorem [[5], Definition 2.13] if

*T*, and $T\in B(\mathcal{H})$ satisfies generalized Browder’s theorem [[5], Definition 2.13] if

where ${p}_{0}(T)$ is the set of all poles of the resolvent of *T*.

*T*. We say that $T\in B(\mathcal{H})$ satisfies generalized

*a*-Weyl’s theorem [[5], Definition 2.13] if

where ${\pi}_{0}^{a}(T)$ is the set of all eigenvalues of *T* which are isolated points of ${\sigma}_{a}(T)$.

In this paper, we shall study the generalized Weyl’s theorem for the elementary operator and the generalized derivation with class A operators as entries. Recall that $T\in B(\mathcal{H})$ is called *p*-hyponormal for $p>0$ if ${({T}^{\ast}T)}^{p}-{(T{T}^{\ast})}^{p}\ge 0$ [6]; when $p=1$, *T* is called hyponormal. And *T* is called paranormal if ${\parallel Tx\parallel}^{2}\le \parallel {T}^{2}x\parallel \parallel x\parallel $ for all $x\in \mathcal{H}$ [7, 8]. In order to discuss the relations between paranormal and *p*-hyponormal and log-hyponormal operators (*T* is invertible and $log{T}^{\ast}T\ge logT{T}^{\ast}$), Furuta, Ito and Yamazaki [9] introduced a very interesting class of operators: class A defined by $|{T}^{2}|-{|T|}^{2}\ge 0$, where $|T|={({T}^{\ast}T)}^{\frac{1}{2}}$ which is called the absolute value of *T*, and they showed that class A is a subclass of paranormals and contains *p*-hyponormal and log-hyponormal operators.

**Definition 1.1** An operator $T\in B(\mathcal{H})$ is said to have the single valued extension property (SVEP) at $\lambda \in \mathbb{C}$ if for every open neighborhood $\mathcal{G}$ of *λ*, the only function $f\in H(\mathcal{G})$ such that $(T-\mu )f(\mu )=0$ on *G* is $0\in H(\mathcal{G})$, where $H(\mathcal{G})$ means the space of all analytic functions on *G*. When *T* has SVEP at each $\lambda \in \mathbb{C}$, say that *T* has SVEP.

The single valued extension property dates back to the early days of local spectral theory; see the recent monograph of Laursen and Neumann [10] or Aiena [11]. In addition to the definition of SVEP, there are notions of property (*β*), property (*δ*) and condition (*C*). The interested reader is referred to [10] for more details.

## 2 The main results

For $T\in B(\mathcal{H})$, let ${L}_{T}$ and ${R}_{T}$ denote the operators of left and right multiplication by *T* respectively.

Chō and Yamazaki proved that class A operators have property *β* in [12] Theorem 3.1; unfortunately, there are some mistakes in the proof of this theorem; see details in [13]. So, Theorem 3.1 in [12] is still an open problem.

**Lemma 2.1** *Let* *A* *and* ${B}^{\ast}$ *be class A operators satisfying property* (*β*), *then* ${d}_{AB}$ *has SVEP*.

*Proof* By assumption and [10] Theorem 2.5.5, *A* satisfies property (*β*) and *B* satisfies property (*δ*). Hence, both ${L}_{A}$ and ${R}_{B}$ satisfy condition (*C*) by [10] Corollary 3.6.11. Clearly, ${L}_{A}$ and ${R}_{B}$ commute. By Theorem 3.6.3 and Note 3.6.19 on p.283 of [10], ${L}_{A}-{R}_{B}$ and ${L}_{A}{R}_{B}$ have SVEP, which implies that ${d}_{AB}$ has SVEP. □

It is well known that the isolated points of the spectrum of a class A (indeed, paranormal) operator *T* are poles of the resolvent of the operator (hence, eigenvalues of the operator), the restriction of *T* to an invariant subspace is again of class A (resp., paranormal), and that if *T* has countable spectrum then *T* is normal. (We shall use this information freely in the following without any further reference.)

- (1)
$\lambda \ne -1$ if ${d}_{AB}={\mathrm{\u25b3}}_{AB}$. Then there exist finite sequences ${\{{\alpha}_{i}\}}_{i=1}^{m}$ and ${\{{\beta}_{i}\}}_{i=1}^{m}$, where ${\alpha}_{i}\in iso\sigma (A)$ and ${\beta}_{i}\in iso\sigma (B)$ respectively, such that $\lambda ={\alpha}_{i}-{\beta}_{i}$ if $\lambda \in iso\sigma ({\delta}_{AB})$ and $\lambda ={\alpha}_{i}{\beta}_{i}-1$ if $\lambda \in iso\sigma ({\mathrm{\u25b3}}_{AB})$, for all $1\le i\le m$.

- (2)
$\lambda =-1$ and ${d}_{AB}={\mathrm{\u25b3}}_{AB}$. Then either $0\in iso\sigma (A)$ and $0\in iso\sigma (B)$ or $0\in iso\sigma (A)$ and $0\notin \sigma (B)$ or $0\in iso\sigma (B)$ and $0\notin \sigma (A)$.

**Theorem 2.2** *Let* *A* *and* ${B}^{\ast}$ *be class A operators*, *then* ${H}_{0}({d}_{AB}-\lambda )=ker({d}_{AB}-\lambda )$ *for all* $\lambda \in iso\sigma ({d}_{AB})$.

*Proof*We consider the case ${d}_{AB}={\delta}_{AB}$ and ${d}_{AB}={\mathrm{\u25b3}}_{AB}$ respectively.

- (1)We consider the case ${d}_{AB}={\delta}_{AB}$. The idea comes from [1]. If $\lambda \in iso\sigma ({\delta}_{AB})$, then there exist finite sets $\{{\alpha}_{1},{\alpha}_{2},\dots ,{\alpha}_{m}\}$ and $\{{\beta}_{1},{\beta}_{2},\dots ,{\beta}_{m}\}$, where ${\alpha}_{i}\in iso\sigma (A)$ and ${\beta}_{i}\in iso\sigma (B)$ such that $\lambda ={\alpha}_{i}-{\beta}_{i}$ for all $1\le i\le m$. Let${M}_{1}=\underset{i=1}{\overset{m}{\bigvee}}ker(A-{\alpha}_{i}),\phantom{\rule{2em}{0ex}}{M}_{2}=\mathcal{H}\ominus {M}_{1}$

*A*and

*B*have representations $A=\left(\begin{array}{cc}{A}_{11}& {A}_{12}\\ 0& {A}_{22}\end{array}\right)$ on ${M}_{1}\oplus {M}_{2}$ and $B=\left(\begin{array}{cc}{B}_{11}& 0\\ {B}_{21}& {B}_{22}\end{array}\right)$ on ${N}_{1}\oplus {N}_{2}$ respectively, where ${A}_{11}$ and ${B}_{11}$ are normal, $\sigma (A)=\sigma ({A}_{11})\cup \sigma ({A}_{22})$, $\sigma (B)=\sigma ({B}_{11})\cup \sigma ({B}_{22})$ and $\lambda \notin \sigma ({\delta}_{{A}_{ii}{B}_{jj}})$ for all $1\le i$, $j\le 2$ other than $i=j=1$. Consider an $X\in {H}_{0}({\delta}_{AB}-\lambda )$. Letting $X:{N}_{1}\oplus {N}_{2}\u27f6{M}_{1}\oplus {M}_{2}$ have the matrix representation $X={[{X}_{ij}]}_{i,j=1}^{2}$, we have

for some yet to be determined entries ∗.

- (2)
We consider the case ${d}_{AB}={\mathrm{\u25b3}}_{AB}$. When $\lambda \ne -1$, the proof is similar to the proof of the first part. We omit the proof. When $\lambda =-1$, then either $0\in iso\sigma (A)$ and $0\in iso\sigma (B)$ or $0\in iso\sigma (A)$ and $0\notin \sigma (B)$ or $0\in iso\sigma (B)$ and $0\notin \sigma (A)$. If 0 is both in $iso\sigma (A)$ and $iso\sigma (B)$, then let ${M}_{1}=ker(A)$, ${M}_{2}=\mathcal{H}\ominus {M}_{1}$ and ${N}_{1}=ker({B}^{\ast})$, ${N}_{2}=\mathcal{H}\ominus {N}_{1}$.

*X*have the following matrix representation: $X={[{X}_{ij}]}_{i,j=1}^{2}$ on $\mathcal{H}={M}_{1}\oplus {M}_{2}$. If $X\in {H}_{0}({L}_{A})$, as in the proof above, we have that ${X}_{21}={X}_{22}=0$. So, we have that ${L}_{A}X=0$. Hence, ${H}_{0}({L}_{A})\subseteq ker({L}_{A})$. Since $ker({L}_{A})\subseteq {H}_{0}({L}_{A})$ is always true, we have that ${H}_{0}({L}_{A})=ker({L}_{A})$. Since

*B*is invertible, we have $ker({L}_{A}{R}_{B})=ker({L}_{A})$. Therefore, we have that

This completes the proof. □

An operator $T\in B(\mathcal{H})$ is said to be isoloid if every isolated point of $\sigma (T)$ is an eigenvalue of *T* and polaroid if every isolated point of $\sigma (T)$ is a pole of the resolvent of *T*. In general, if *T* is polaroid then it is isoloid.

**Lemma 2.3** *Let* *A* *and* ${B}^{\ast}$ *be class A operators*, *then* ${d}_{AB}$ *and* ${d}_{AB}^{\ast}$ *are polaroid*. *In particular*, ${d}_{AB}$ *and* ${d}_{AB}^{\ast}$ *are isoloid*.

*Proof*We only need to prove that ${d}_{AB}$ is polaroid. Let $\mathcal{X}=B(\mathcal{H})$ and $\lambda \in iso\sigma ({d}_{AB})$. Then we have that ${H}_{0}({d}_{AB}-\lambda )=ker({d}_{AB}-\lambda )$ by Theorem 2.2. Hence,

Thus, isolated points of $\sigma ({d}_{AB})$ are simple poles of the resolvent of ${d}_{AB}$. Hence, ${d}_{AB}$ is polaroid. So, we have that ${d}_{AB}$ and ${d}_{AB}^{\ast}$ are polaroid. Since polaroid operators are always isoloid, we have that ${d}_{AB}$ and ${d}_{AB}^{\ast}$ are isoloid. □

**Theorem 2.4** *Let* *A* *and* ${B}^{\ast}$ *be class A operators satisfying property* (*β*). *Then generalized Weyl’s theorem holds for* $f({d}_{AB})$ *for every* $f\in H(\sigma ({d}_{AB}))$ *and* *f* *is not constant on each connected component of the open set* *U* *containing* $\sigma ({d}_{AB})$.

*Proof* Suppose that *A* and ${B}^{\ast}$ are class A operators. By Lemma 2.1 and Lemma 2.3, we have that ${d}_{AB}$ has SVEP and ${d}_{AB}$ is polaroid. So, we have that generalized Weyl’s theorem holds for ${d}_{AB}$ by [[16], Theorem 3.10(ii)]. Since ${d}_{AB}$ has SVEP and ${d}_{AB}$ is isoloid, we have that generalized Weyl’s theorem holds for $f({d}_{AB})$ for every $f\in H(\sigma ({d}_{AB}))$ by [[17], Theorem 2.2]. □

**Corollary 2.5** *Let* *A* *and* ${B}^{\ast}$ *be class A operators satisfying property* (*β*). *Then Weyl’s theorem holds for* $f({d}_{AB})$ *for every* $f\in H(\sigma ({d}_{AB}))$ *and* *f* *is not constant on each connected component of the open set* *U* *containing* $\sigma ({d}_{AB})$.

A bounded linear operator $T\in B(\mathcal{H})$ is called *a*-isoloid if every isolated point of ${\sigma}_{a}(T)$ is an eigenvalue of *T*. Note that every *a*-isoloid operator is isoloid and the converse is not true in general.

**Lemma 2.6** *Let* *A* *and* ${B}^{\ast}$ *be class A operators satisfying property* (*β*), *then* ${d}_{AB}^{\ast}$ *is* *a*-*isoloid*.

*Proof* Let *λ* be an isolated point of ${\sigma}_{a}({d}_{AB}^{\ast})$. Suppose that *A* and ${B}^{\ast}$ are class A operators satisfying property (*β*). By Lemma 2.1 and Lemma 2.3, we have that ${d}_{AB}$ has SVEP and ${d}_{AB}^{\ast}$ is isoloid. Hence, ${\sigma}_{a}({d}_{AB}^{\ast})=\sigma ({d}_{AB}^{\ast})$ by [[18], Corollary 7]. We have that *λ* is an isolated point of $\sigma ({d}_{AB}^{\ast})$. Since ${d}_{AB}^{\ast}$ is isoloid, we have that *λ* is an eigenvalue of ${d}_{AB}^{\ast}$. Hence, ${d}_{AB}^{\ast}$ is *a*-isoloid. □

**Theorem 2.7** *Let* *A* *and* ${B}^{\ast}$ *be class A operators satisfying property* (*β*). *Then generalized* *a*-*Weyl’s theorem holds for* $f({d}_{AB}^{\ast})$ *for every* $f\in H(\sigma ({d}_{AB}))$, *and* *f* *is not constant on each connected component of the open set* *U* *containing* $\sigma ({d}_{AB})$.

*Proof* Suppose that *A* and ${B}^{\ast}$ are class A operators satisfying property (*β*). By Lemma 2.1 and Lemma 2.3, we have that ${d}_{AB}$ has SVEP and ${d}_{AB}^{\ast}$ is polaroid. By Corollary 2.5, Weyl’s theorem holds for ${d}_{AB}$. Hence, ${d}_{AB}^{\ast}$ satisfies Weyl’s theorem by [[19], Proposition 2.1]. Since ${d}_{AB}$ has SVEP and ${d}_{AB}^{\ast}$ is polaroid, generalized *a*-Weyl’s theorem holds for ${d}_{AB}^{\ast}$ by [[16], Theorem 3.10]. *T* is *a*-isoloid by Lemma 2.6, hence generalized *a*-Weyl’s theorem holds for $f(T)$ for every $f\in H(\sigma (T))$ by [[17], Theorem 2.4]. □

**Corollary 2.8** *Let* *A* *and* ${B}^{\ast}$ *be class A operators satisfying property* (*β*). *Then* *a*-*Weyl’s theorem holds for* $f({d}_{AB}^{\ast})$ *for every* $f\in H(\sigma ({d}_{AB}))$, *and* *f* *is not constant on each connected component of the open set* *U* *containing* $\sigma ({d}_{AB})$.

## Declarations

### Acknowledgements

The authors wish to express their indebtedness to the referee, for his suggestions have improved the final version of the present work. This work was supported by the National Natural Science Foundation of China (11071188), (11271112); the Natural Science Foundation of the Department of Education, Henan Province (2011A110009) and the Project of Science and Technology Department of Henan Province (122300410375), (112300410323).

## Authors’ Affiliations

## References

- Chō M, Djordjević SV, Duggal BP: Bishop’s property (
*β*) and an elementary operator.*Hokkaido Math. J.*2011, 40(3):337–356.MathSciNetView ArticleMATHGoogle Scholar - Chō M, Djordjević SV, Duggal BP, Yamazaki T: On an elementary operator with
*w*-hyponormal operator entries.*Linear Algebra Appl.*2010, 433: 2070–2079. 10.1016/j.laa.2010.07.010MathSciNetView ArticleMATHGoogle Scholar - Duggal BP: An elementary operator with log-hyponormal,
*p*-hyponormal entries.*Linear Algebra Appl.*2008, 428: 1109–1116. 10.1016/j.laa.2007.09.007MathSciNetView ArticleMATHGoogle Scholar - Lombarkia F: Generalized Weyl’s theorem for an elementary operators.
*Bull. Math. Anal. Appl.*2011, 3: 123–131.MathSciNetMATHGoogle Scholar - Berkani M, Koliha JJ: Weyl type theorems for bounded linear operators.
*Acta Sci. Math. (Szeged)*2003, 69: 359–376.MathSciNetMATHGoogle Scholar - Aluthge A: On
*p*-hyponormal operators for $0<p<1$ .*Integral Equ. Oper. Theory*1990, 13: 307–315. 10.1007/BF01199886MathSciNetView ArticleMATHGoogle Scholar - Furuta T: On the class of paranormal operators.
*Proc. Jpn. Acad.*1967, 43: 594–598. 10.3792/pja/1195521514MathSciNetView ArticleMATHGoogle Scholar - Furuta T:
*Invitation to Linear Operators*. Taylor & Francis, London; 2001.View ArticleMATHGoogle Scholar - Furuta T, Ito M, Yamazaki T: A subclass of paranormal operators including class of log-hyponormal and several classes.
*Sci. Math.*1998, 1(3):389–403.MathSciNetMATHGoogle Scholar - Laursen KB, Neumann MM:
*Introduction to Local Spectral Theory*. Clarendon Press, Oxford; 2000.MATHGoogle Scholar - Aiena P:
*Fredholm and Local Spectral Theory with Applications to Multipliers*. Kluwer Academic, Dorchecht; 2004.MATHGoogle Scholar - Chō M, Yamazaki T: An operator transform from class A to the class of hyponormal operators and its application.
*Integral Equ. Oper. Theory*2005, 53: 497–508. 10.1007/s00020-004-1332-6View ArticleMathSciNetMATHGoogle Scholar - Chō, M, Yamazaki, T: Erratum to ‘An operator transform from class A to the class of hyponormal operators and its application’ [Integral Equations and Operator Theory, 53 497–508 (2005)] (to appear)Google Scholar
- Embry MR, Rosenblum M: Spectra, tensor products, and linear operator equations.
*Pac. J. Math.*1974, 53: 95–107. 10.2140/pjm.1974.53.95MathSciNetView ArticleMATHGoogle Scholar - Radjabalipour M: An extension of Putnam-Fuglede theorem for hyponormal operators.
*Math. Z.*1987, 194: 117–120. 10.1007/BF01168010MathSciNetView ArticleMATHGoogle Scholar - Aiena P, Aponte E, Balzan E: Weyl type theorems for left and right polaroid operators.
*Integral Equ. Oper. Theory*2010, 66: 1–20. 10.1007/s00020-009-1738-2MathSciNetView ArticleMATHGoogle Scholar - Zguitti H: A note on generalized Weyl’s theorem.
*J. Math. Anal. Appl.*2006, 316: 373–381. 10.1016/j.jmaa.2005.04.057MathSciNetView ArticleMATHGoogle Scholar - Finch JK: The single valued extension property on a Banach space.
*Pac. J. Math.*1975, 58: 61–69. 10.2140/pjm.1975.58.61MathSciNetView ArticleMATHGoogle Scholar - Duggal BP: Polaroid operators satisfying Weyl’s theorem.
*Linear Algebra Appl.*2006, 414: 271–277. 10.1016/j.laa.2005.10.002MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.