Timeline for Haar measures in Solovay's model
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 19, 2011 at 18:22 | comment | added | François G. Dorais | I just asked this question here - mathoverflow.net/questions/70761/… | |
| Jul 17, 2011 at 21:14 | comment | added | François G. Dorais | Is there a well-known example where the extension to Borel sets is not unique? | |
| Jul 17, 2011 at 19:38 | comment | added | Gerald Edgar | Iin Solovay's model, all subsets of a Polish space are universally measurable. So you could quote Solovay for this, or you could use Solovay only for Lebesgue measure and then deduce the general case as Juris does. If your metrizable locally compact group is not separable, then for Haar measure a set is measurable if and only if its intersection with each compact set is measurable, and such a compact set is Polish. So we get the conclusion in that non-Polish case as well. | |
| Jul 17, 2011 at 18:55 | comment | added | Asaf Karagila♦ | @Gerald: Thanks, do you have any references for that? Could you somewhat elaborate on the relationship between these facts and the construction of Solovay's model if there is any (as Juris remarks below, for Polish groups it follows without the need to consider the internal works of Solovay's model, however if there is any can you please give some general picture of the relation). Thanks! | |
| Jul 17, 2011 at 18:39 | history | answered | Gerald Edgar | CC BY-SA 3.0 |