Timeline for The identity element of a compact group is a limit point of any "polynomial sequence"
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 24, 2012 at 9:47 | comment | added | GH from MO | @km: Thank you. In the noncommutative case it is not so clear how to make this approach work as one has higher dimensional representations in the spectrum. | |
| Oct 24, 2012 at 6:43 | vote | accept | user25235 | ||
| Oct 24, 2012 at 6:43 | vote | accept | user25235 | ||
| Oct 24, 2012 at 6:43 | |||||
| Oct 24, 2012 at 6:41 | comment | added | user25235 | I accept this answer since this is close to what I was looking for. It seems reasonable to expect that your proof extends to the general case (without applying the reduction given by Terence Tao) : given a neighbourhood $U$ of the identity, all what we need is a function $f$ with real, nonnegative fourier transform, with nonzero mean, and which vanishes outside $U$. I don't know if this is always possible. | |
| Oct 23, 2012 at 19:45 | history | answered | GH from MO | CC BY-SA 3.0 |