Discussion
Clearly, definition (4) implies definition (3). Let us show the converse, assuming local compactness. So let G be a locally compact group satisfying (3). By Theorem 1.3.1 of Bekka et al., G is compactly generated. Therefore, Remark 1.1.2(v) of Bekka et al. tells us the following. If we take K to be a compact generating set of G, and let ε be any positive real number, then a unitary representation of G having an (ε, K)-invariant unit vector has (ε', K ')-invariant unit vectors for every ε' > 0 and K ' compact. Therefore, by (3), such a representation of G will have a nonzero invariant vector, establishing (4).
The equivalence of (4) and (5) (Property (FH)) is the Delorme-Guichardet Theorem. The fact that (5) implies (4) requires us to assume that G is σ-compact (and locally compact) (Bekka et al., Theorem 2.12.4).
Read more about this topic: Kazhdan's Property (T)
Famous quotes containing the word discussion:
“There exist few things more tedious than a discussion of general ideas inflicted by author or reader upon a work of fiction.”
—Vladimir Nabokov (1899–1977)
“The whole land seems aroused to discussion on the province of woman, and I am glad of it. We are willing to bear the brunt of the storm, if we can only be the means of making a break in that wall of public opinion which lies right in the way of woman’s rights, true dignity, honor and usefulness.”
—Angelina Grimké (1805–1879)
“We cannot set aside an hour for discussion with our children and hope that it will be a time of deep encounter. The special moments of intimacy are more likely to happen while baking a cake together, or playing hide and seek, or just sitting in the waiting room of the orthodontist.”
—Neil Kurshan (20th century)