Riesz projector
Builds on Spectrum of an operatorResolventProjectionCauchy's integral formula
Definition
Let be a complex Banach space with identity map , and let be a bounded operator with spectrum and resolvent . Assume that , where and are disjoint closed sets. Let be a finite union of positively oriented closed rectifiable curves in . Assume that has winding number around each point of and around each point of . The Riesz projector of for is the operator
Remarks
The integral does not depend on the choice of , by the Cauchy theorem for analytic operator-valued functions. The operator is a projection, , and it commutes with . So with both summands closed and invariant under , and the restrictions of have spectra and .
Example: let on and , with the circle . Then , and Cauchy's integral formula gives .
Non-example: for the right shift on , the spectrum is the closed unit disc, which is connected. A subset such as the closed disc of radius is not separated from the rest of the spectrum, so it has no Riesz projector. Only and are allowed, giving and .
Reading path
To understand this page from the ground up, read these 19 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Complex numbers object
- Projection concept
- Real numbers object
- Resolvent concept
- Set bounded above definition
- Spectrum of an operator concept
- Complex exponential definition
- Contour integral definition
- Real and imaginary parts definition
- Supremum definition
- Circle integral definition
- Completeness axiom statement
- Existence of square roots of nonnegative reals statement
- Square root definition
- Modulus of a complex number definition
- Complex differentiability definition
- Holomorphic function definition
- Cauchy's integral formula statement
- Riesz projector definition
Further reading
About this page
| Tag | 1AR19ZQQM2 |
|---|---|
| URI | m2://1AR19ZQQM2 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 47A10, 47A60 |
| Defines | Riesz projector |
| Uses | Spectrum of an operator, Resolvent, Projection, Cauchy's integral formula |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.