By introducing an inner product on the linear space of real valued functions on a finite partial order, broad generalizations of Sperner's lemma are obtained. In the special case of a power set, the subspace spanned by the maximal chains is characterized. Finally, applications of the general theorem to the theory of numbers and to the theory of probability are given without proof.