Ryll-Nardzewski fixed-point theorem
In functional analysis, a branch of mathematics, the Ryll-Nardzewski fixed-point theorem states that if is a normed vector space and is a nonempty convex subset of that is compact under the weak topology, then every group of affine isometries of has at least one fixed point.
This theorem was announced by Czesław Ryll-Nardzewski. Later Namioka and Asplund gave a proof based on a different approach. Ryll-Nardzewski himself gave a complete proof in the original spirit.Applications
The Ryll-Nardzewski theorem yields the existence of a Haar measure on compact groups.