nLab Atkinson's theorem

Preliminaries

Definition

A continuous linear operator $F \colon B_1\to B_2$ between Banach spaces is Fredholm if it has finite dimensional kernel and finite dimensional cokernel.

Definition

A parametrix of a bounded linear operator $F \colon \mathcal{H}_1 \to \mathcal{H}_2$ is a reverse operator $P \colon \mathcal{H}_2 \to \mathcal{H}_1$ which is an “inverse up to compact operators”, i.e. such that $F \circ P - id_{\mathcal{H}_2}$ and $P \circ F - id_{\mathcal{H}_1}$ are both compact operators.

Statement

Theorem

(Atkinson 1951)
A bounded linear operator $F \colon B_1\to B_2$ between Banach spaces is Fredholm, def. precisely it is has a parametrix, def. .

References

The original article:

• F. V. Atkinson: The normal solubility of linear equations in normed spaces, Sb. Math. 70 (1951) [mathnet:sm5589]

Review:

• Wikipedia: Atkinson’s theorem

• Martin Schechter: Basic theory of Fredholm operators, Annali della Scuola Normale Superiore di Pisa - Scienze Fisiche e Matematiche, Serie 3, 21 2 (1967) 261-280 [numdam:ASNSP_1967_3_21_2_261_0]

• Ethan Y. Jaffe: Atkinson’s Theorem [pdf]