Misplaced Pages

Douglas' lemma

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

In operator theory, an area of mathematics, Douglas' lemma relates factorization, range inclusion, and majorization of Hilbert space operators. It is generally attributed to Ronald G. Douglas, although Douglas acknowledges that aspects of the result may already have been known. The statement of the result is as follows:

Theorem: If A {\displaystyle A} and B {\displaystyle B} are bounded operators on a Hilbert space H {\displaystyle H} , the following are equivalent:

  1. range A range B {\displaystyle \operatorname {range} A\subseteq \operatorname {range} B}
  2. A A λ 2 B B {\displaystyle AA^{*}\leq \lambda ^{2}BB^{*}} for some λ 0 {\displaystyle \lambda \geq 0}
  3. There exists a bounded operator C {\displaystyle C} on H {\displaystyle H} such that A = B C {\displaystyle A=BC} .

Moreover, if these equivalent conditions hold, then there is a unique operator C {\displaystyle C} such that

  • C 2 = inf { μ : A A μ B B } {\displaystyle \Vert C\Vert ^{2}=\inf\{\mu :\,AA^{*}\leq \mu BB^{*}\}}
  • ker A = ker C {\displaystyle \ker A=\ker C}
  • range C range B ¯ {\displaystyle \operatorname {range} C\subseteq {\overline {\operatorname {range} B^{*}}}} .

A generalization of Douglas' lemma for unbounded operators on a Banach space was proved by Forough (2014).

See also

References

  1. Douglas, R. G. (1966). "On Majorization, Factorization, and Range Inclusion of Operators on Hilbert Space". Proceedings of the American Mathematical Society. 17 (2): 413–415. doi:10.2307/2035178. JSTOR 2035178. MR 0203464.
  2. Forough, M. (2014). "Majorization, range inclusion, and factorization for unbounded operators on Banach spaces". Linear Algebra and Its Applications. 449: 60–67. doi:10.1016/j.laa.2014.02.033. MR 3191859.


Stub icon

This mathematical analysis–related article is a stub. You can help Misplaced Pages by expanding it.

Categories: