Content deleted Content added
m rm line breaks |
m missed that |
||
Line 40:
can be found when <math> G </math> is the torus <math> \mathbb T:= \mathbb R/\mathbb Z </math> and <math> A </math> and <math> B </math> are intervals. Satz 2 of Kneser's 1956 article<ref name=Kneser56/> says that all examples of sets satisfying equation ({{EquationNote|1}}) with non-null summands are obvious modifications of these. To be precise: if <math> G </math> is a connected compact abelian group with Haar measure <math> m, </math> <math> A </math> and <math> B </math> are <math> m </math>-measurable subsets of <math> G </math> satisfying <math> m(A)>0, m(B)>0 </math>, and equation ({{EquationNote|1}}), then there is a continuous surjective homomorphism <math> \phi: G \to \mathbb T </math> and there are closed intervals <math> I </math>, <math> J </math> in <math> \mathbb T </math> such that <math>A \subseteq \phi^{-1}(I)</math>, <math>B \subseteq \phi^{-1}(J)</math>, <math>m(A) = m (\phi^{-1}(I))</math>, and <math> m(B) = m(\phi^{-1}(J))</math>.
==Notes==
| |||