Kakutani's fixed point theorem is a result in functional analysis which establishes the existence of a common fixed point among a collection of maps defined on certain "well-behaved" subsets of locally convex topological vector spaces. The theorem is relevant both because of its independent theoretical significance and because of other results which stem as corollaries therefrom.
One common form of Kakutani's fixed point theorem states that, given a locally convex topological vector space 
,
any equicontinuous group 
of affine maps 
mapping a (nonempty)
compact, convex subset 
into itself necessarily has a common fixed point in
,
i.e., that under the above conditions, there exists a point 
satisfying 
for all 
. In addition, Markov and Kakutani established a
fixed point theorem for commuting continuous affine
maps (Kakutani 1938). The result remains true for arbitrary Hausdorff topological vector spaces 
(which may or may not be locally
convex) provided that 
is a commuting collection
(not necessarily a group, and not necessarily equicontinuous)
of continuous affine
maps from 
into 
(Dunford and Schwartz 1958, p. 456).
Kakutani's fixed point theorem is an important ingredient in a number of other results, notable among which is the proof that, on every compact topological group 
, there exists a translation-invariant Haar
measure.
