Timeline for Probability of commutation in a compact group
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 13, 2018 at 4:41 | comment | added | Nate Eldredge | @SeanEberhard: Very nice, thanks. I'm upvoting your answer. I guess that all I have is a hammer, as they say... | |
| Oct 13, 2018 at 0:54 | comment | added | Sean Eberhard | Probably I should have just commented on your answer, rather than edit my own. You don't need Steinhaus here, because $\mu(C_x)>0$ implies that $C_x$ has finite index, so $C_x^c$ is a finite union of cosets of $C_x$, hence closed, so $C_x$ is open. Baire category ditto I think. | |
| Oct 13, 2018 at 0:20 | history | edited | Nate Eldredge | CC BY-SA 4.0 |
improve category analogue
|
| Oct 13, 2018 at 0:10 | comment | added | Nate Eldredge | @AndreasBlass: That's the one, thanks. I had Lusin-Novikov stuck in my head. I'll update my answer. | |
| Oct 13, 2018 at 0:02 | comment | added | Andreas Blass | As far as I know, the analog of Fubini for Baire category is called the Kuratowski-Ulam theorem (and there's a good chance it's due to Kuratowski and Ulam). If it's not in Kechris's book,the next place I'd look for it is Oxtoby's book "Measure and Category". | |
| Oct 12, 2018 at 22:30 | history | edited | Nate Eldredge | CC BY-SA 4.0 |
Add some details
|
| Oct 12, 2018 at 21:44 | history | edited | Nate Eldredge | CC BY-SA 4.0 |
added 3 characters in body
|
| Oct 12, 2018 at 21:20 | comment | added | Mateusz Wasilewski | I think that the lemma (at least the version for the real line) is due to Steinhaus: wikipedia page. | |
| Oct 12, 2018 at 19:43 | history | answered | Nate Eldredge | CC BY-SA 4.0 |