It is shown that, if G is an uncountable Polish group and A C G is a universally measurable set such that A~-1A is meager, then the set T_i(A) = {u P(G) : μ(gA) = 0 for all g E G} is co-meager. In particular, if A is analytic and not left Haar-null, then 1 E Int(A~-1AA~-1A).
展开▼
机译:结果表明,如果G是一个不可数的波兰族群,而ACG是一个可普遍测量的集合,使得A〜-1A是微不足道的,则对于以下项,集合T_i(A)= {u P(G):μ(gA)= 0所有g EG}都是共同的。特别是,如果A是解析性的,并且不留Haar-null,则1 E Int(A〜-1AA〜-1A)。
展开▼