.
Mautner's lemma
V. de Paiva. "A dialectica-like model of linear logic". In Proc. Conf. on Category Theory and Computer Science, Springer-Verlag Lecture Notes in Computer Science 389, pp. 341–356, Manchester, September 1989.
In mathematics, Mautner's lemma in representation theory states that if G is a topological group and π a unitary representation of G on a Hilbert space H, then for any x in G, which has conjugates
yxy−1
converging to the identity element e, for a net of elements y, then any vector v of H invariant under all the π(y) is also invariant under π(x).
References
F. Mautner, Geodesic flows on symmetric Riemannian spaces (1957), Ann. Math. 65, 416-430
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
