fixed point theorems in infinite-dimensional spaces