1
$\begingroup$

Good evening!

Let $ \mathbb{T}:=\{ z \in \mathbb{C} ; \vert z \vert =1 \} $ be the unit circle in the complex plane. We denote the trace Borel-$\sigma$-algebra on $\mathbb{T}$ by $\mathcal{B}(\mathbb{T})$.

Here is my question: Does anyone know an elegant method to construct the Haar-measure (in this case the one-dimensional Lebesgue-measure) on $\mathcal{B}(\mathbb{T})$ ?

  • 4
    It seems to me that almost any construction of Lebesgue measure on $\mathbb{R}$ or $[0,1]$ would work on the circle with trivial modifications. Is there something special you're looking for?2012-03-09
  • 0
    Hi Nate! First I used this construction: First I defined $ f: [0,1) \to \mathbb{T}~ ; ~ t \mapsto \exp(2\pi i t)$. The Haar measure is now given by: $\mu = \lambda \circ f^{-1}$. With this construction it is not so nice to show that $\mu$ is invariant under the group operation... thats why i was looking for a better construction. with best regards, Oscar2012-03-09
  • 0
    One more comment: the problem was that i did not know how to handle "sets modulo [0,1)"2012-03-09
  • 2
    The construction you gave there is the usual one. What is the trouble with sets modulo [0,1)? By the monotone class theorem (or Pi-Lambda) it suffices to consider the image of intervals (or balls in the subspace topology on the torus) where showing invariance is not too hard.2012-03-09
  • 1
    If you have a Borel set on the unit circle, you simply "cut" the circle and measure the Borel set in reals...2012-03-09
  • 0
    Hello again! Thank you all for the advice! This is now my solution: **(1)** I showed that $I:=\{ M \in \mathcal{B}(\mathbb{T}) ; \mu(aM) = \mu(M) \forall a \in \mathbb{T}\}$ is a Dynkin-System. **(2)** I showed (as Chris proposed) that the open balls from the subspace topology on $\mathbb{T}$ are elements of $I$. Moreover they are a generator of $ \mathcal{B}(\mathbb{T}) $ which is $\cap$-stable. **(3)** Thus we have $I = \mathcal{B}(\mathbb{T}) $. I hope this is right now. Thanks for your help!2012-03-09
  • 1
    To elaborate on N.S.'s comment, your $\mu = \lambda \circ f^{-1}$ construction would work if you could show that Lebesgue measure $\lambda$ on $[0,1)$ is invariant under translation mod 1. But this is easy if you just note that $A + t \bmod 1 = ((A \cap [0,1-t)) + t) \cup ((A \cap [1-t,1)) - (1-t))$ where the union is disjoint.2012-03-09

0 Answers 0