"Comparing" fixed point Theorems. In class, I saw Banach's (Picard) fixed point theorem:

Given a complete metric space and a contractive mapping, it admits a unique fixed point.

And Brouwer's:

Given a continuous function in a convex compact subset of a Banach space, it admits a fixed point.

Now I tried "comparing" these theorems to see if one is "stronger" than the other. 
For instance, contractive is Lipschitz and so it's continuous.
Or, compact implies complete.
Given that both are in a bigger group of theorems (Fixed point), does comparing them make any sense?
If so, between Brouwer's and Banach's, which one requires less contraints?
 A: Brouwer actually proved the theorem for $\mathbb{R}^n$, and for subsets that are homeomorphic to the closed unit ball $B^n$ (not necessarily convex). What you state as Brouwer's theorem is a generalisation due to Schauder.
Neither is stronger than the other: one is defined in metric terms (contractions), the other assumes just continuity. But Schauder assumes a vector space structure (or convex makes no sense). I'd say the second one is more restrictive in the space (we need a Banach space, not just a complete metric space), but says something for every compact convex subset for any continuous function. Banach gives a fixed point for the whole space and just contractive maps. Unicity of the fixed point is then a bonus again. So you could argue either way, and both have their place.
Both assume some form of completeness (metric completeness, or compactness), which is a common theme in fixed point theorems. 
But there are situations where one can be applied, and the other cannot, and vice versa. But fixed point theorems are quite useful (especially in proving all sorts of existence results), there are quite a few of them, all applicable in different settings (e.g. ordered sets, as well, e.g., or for multivalued maps (Kakutani) etc.), See Wikipedia, e.g., or Dugundji and Granas' classic book "Fixed Point Theory".  
