2 fixed typo

There are analogues of certain basic notions in algebraic topology in the theory of Banach spaces. For example, the Banach Brouwer fixed point theorem generalizes to the Schauder fixed point theorem, and the idea of the degree of a map generalizes to the Leray-Schauder degree. In both cases, you must restrict yourself to considering (nonlinear) compact operators: operators that take bounded sets to relatively compact sets.

How far can this analogy be extended? How much of algebraic topology can be made to work in this setting? Suppose we consider arbitrary bounded subsets (not necessarily convex) of a Banach space as our class of spaces, and then compact operators between those. (If that's the wrong choice, feel free to correct it.) Can you define some sort of infinite-dimensional homology group so that the degree is an element of it? is there an analogue of the Lefschetz fixed point theorem? Or does the analogy break down if you try to go beyond defining a degree?

1

Algebraic topology for nonlinear compact operators

There are analogues of certain basic notions in algebraic topology in the theory of Banach spaces. For example, the Banach fixed point theorem generalizes to the Schauder fixed point theorem, and the idea of the degree of a map generalizes to the Leray-Schauder degree. In both cases, you must restrict yourself to considering (nonlinear) compact operators: operators that take bounded sets to relatively compact sets.

How far can this analogy be extended? How much of algebraic topology can be made to work in this setting? Suppose we consider arbitrary bounded subsets (not necessarily convex) of a Banach space as our class of spaces, and then compact operators between those. (If that's the wrong choice, feel free to correct it.) Can you define some sort of infinite-dimensional homology group so that the degree is an element of it? is there an analogue of the Lefschetz fixed point theorem? Or does the analogy break down if you try to go beyond defining a degree?