Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: It is proved that any countable index, universally measurable subgroup of a Polish group is open. By consequence, any universally measurable homomorphism from a Polish group into the infinite symmetric group S1 is continuous. It is also shown that a universally measure homomorphism from a Polish group into a second countable, locally compact group is necessarily continuous. The present work is motivated by an old problem of J.P.R. Christensen, which asks whether any universally measurable homomorphism beten Polish groups is continuous. To fix the terminology, let us recall that a Polish space is a separable topological space whose topology can be induced by a complete metric. Also, a topological group is Polish in case its topology is Polish. A subset A of a Polish space X is said to be Borel if it belongs to the �-algebra generated by the open sets and A is universally measurable if it is measurable with respect to any Borel probability (or eq uivalently, �-finite) measure on X, i.e., if for any Borel probability measure µ on X, A differs from a Borel set by a set of µ-measure 0. The class of universally measurable sets clearly forms a �-algebra, but contrary to the class of Borel sets, there is no "algebrai c" procedure for generating the universally measurable sets from the open sets. Thus, the extent of this class is somewhat elusive and largely depends on additional set theoretical a xioms. A function f : X → Y beten Polish spaces X and Y is said to be Borel measurable, resp. universally measurable, if f −1 (U) is Borel, resp. universally measurable, in X for all open U ⊆ Y. A classical result due to H. Steinhaus and A. il states that if G is a second countable, locally compact group (and hence Polish) and H is a Polish group, then any universally measurable homomorphism �: G → H is continuous. Actually, for this it suffices thatis measurable with respect to left or right Haar measure on G. Hover, this result relies heavily on the translation inva riance of Haar measure, and, as any Polish group with a non-zero, quasi-invariant, �-finite Borel measure is necessarily locally compact, the proof gives no indication whether the result should hold for general Polish G. Nevertheless, in the late 1960's, J.P.R. Christensen (1) ( see also (2)) introduced a notion of Haar null sets in more general Polish groups and was able to use this to prove an analogue of the Steinhaus-il result for Abelian Polish groupsG. In fact, a consequence of Christensen's proof is that any universally measurable h omomorphism from a Polish groupG into a Polish groupH, whereH admits a compatible two-sided invariant metric, is continuous. In particular, this applies to the case when H is Abelian, compact or countable discrete. It immediately follows from this that if G is Polish and N 6 G is a countable index, universally measurable, normal subgroup, then N is open in G. To see this, one just considers the quotient mapping �: G → G/N , where G/N is taken discrete. Recently,
['Christian Rosendal']
I am writing a research paper on a idea Universally measurable subgroups of countable index
[{"from": "human", "value": "I am writing a research paper on a idea Universally measurable subgroups of countable index"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: It is proved that any countable index, universally measurable subgroup of a Polish group is open. By consequence, any universally measurable homomorphism from a Polish group into the infinite symmetric group S1 is continuous. It is also shown that a universally measure homomorphism from a Polish group into a second countable, locally compact group is necessarily continuous. The present work is motivated by an old problem of J.P.R. Christensen, which asks whether any universally measurable homomorphism beten Polish groups is continuous. To fix the terminology, let us recall that a Polish space is a separable topological space whose topology can be induced by a complete metric. Also, a topological group is Polish in case its topology is Polish. A subset A of a Polish space X is said to be Borel if it belongs to the \ufffd-algebra generated by the open sets and A is universally measurable if it is measurable with respect to any Borel probability (or eq uivalently, \ufffd-finite) measure on X, i.e., if for any Borel probability measure \u00b5 on X, A differs from a Borel set by a set of \u00b5-measure 0. The class of universally measurable sets clearly forms a \ufffd-algebra, but contrary to the class of Borel sets, there is no \"algebrai c\" procedure for generating the universally measurable sets from the open sets. Thus, the extent of this class is somewhat elusive and largely depends on additional set theoretical a xioms. A function f : X \u2192 Y beten Polish spaces X and Y is said to be Borel measurable, resp. universally measurable, if f \u22121 (U) is Borel, resp. universally measurable, in X for all open U \u2286 Y. A classical result due to H. Steinhaus and A. il states that if G is a second countable, locally compact group (and hence Polish) and H is a Polish group, then any universally measurable homomorphism \ufffd: G \u2192 H is continuous. Actually, for this it suffices thatis measurable with respect to left or right Haar measure on G. Hover, this result relies heavily on the translation inva riance of Haar measure, and, as any Polish group with a non-zero, quasi-invariant, \ufffd-finite Borel measure is necessarily locally compact, the proof gives no indication whether the result should hold for general Polish G. Nevertheless, in the late 1960's, J.P.R. Christensen (1) ( see also (2)) introduced a notion of Haar null sets in more general Polish groups and was able to use this to prove an analogue of the Steinhaus-il result for Abelian Polish groupsG. In fact, a consequence of Christensen's proof is that any universally measurable h omomorphism from a Polish groupG into a Polish groupH, whereH admits a compatible two-sided invariant metric, is continuous. In particular, this applies to the case when H is Abelian, compact or countable discrete. It immediately follows from this that if G is Polish and N 6 G is a countable index, universally measurable, normal subgroup, then N is open in G. To see this, one just considers the quotient mapping \ufffd: G \u2192 G/N , where G/N is taken discrete. Recently,"}]