Ryll-Nardzewski fixed-point theorem
Appearance
In functional analysis, 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 at least one 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).