Ryll-Nardzewski fixed-point theorem
Appearance
The Ryll-Nardzewski fixed point theorem states that if is a normed vector space and is nonempty convex subset of , which is closed for the weak topology, then every group of affine isometries of has a fixed point.
Applications
The Ryll-Nardzewski theorem yields the existence of a Haar measure on (locally ?) compact groups.
References
- Nicolas Bourbaki, Éléments de mathématique - Espaces vectoriels topologiques, Hermann (1964).