Definition:Finite Rank Operator

It has been suggested that this page or section be merged into Definition:Degenerate Linear Transformation. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Mergeto}} from the code.

Definition

Let $H, K$ be Hilbert spaces.

Let $T: H \to K$ be a linear transformation.

Then $T$ is said to be a finite rank operator, or of finite rank, if and only if its range, $\Rng T$, is finite dimensional.

This page or section has statements made on it that ought to be extracted and proved in a Theorem page. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by creating any appropriate Theorem pages that may be needed. To discuss this page in more detail, feel free to use the talk page.

Note that a finite rank operator is not necessarily bounded.

Also known as

This page has been identified as a candidate for refactoring of basic complexity. Until this has been finished, please leave {{Refactor}} in the code. New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Refactor}} from the code.

As linear operator usually has a more specified meaning, the name finite rank operator is a case of pars pro toto.

This might be due to finite rank linear transformation, which is formally more correct, being awkward in pronunciation.

Also see

• Space of Continuous Finite Rank Operators
• Finite Rank Operator is Compact

Sources

• 1990: John B. Conway: A Course in Functional Analysis (2nd ed.) ... (previous) ... (next) $II.4.3$