3
$\begingroup$

Let $f:\mathbb{R}\to \mathbb{C}$ be a Lebesgue measurable function. For each $z\in \mathbb{C}$ let $Arg (z)$ be the principal argument of $z$ (define it to be $0$ if $z=0$). Define $g(x)= \sqrt{|f(x)|}exp(\frac{1}{2} i Arg (f(x))$. Then $g(x)$ is measurable and $(g(x))^2=f(x)$.

I am sure the above statement is correct, but just wanted to confirm with you all. The only part of concern is, of course, whether the function $exp(\frac{1}{2} i Arg (f(x))$ is measurable.

1 Answers 1

2

Rewriting my answer to improve clarity:

$\exp({1 \over 2}i(Arg(f(x)))$ can be written as $h(g(f(x)))$, where $h(z) = e^{{1 \over 2} iz}$ and $g(z) = Arg(z)$. By Rudin thm 1.12d) for example, a measurable function followed by a Borel measurable function is measurable. So it suffices to show $g$ and $h$ are Borel measurable. For $h(z)$ this follows from the fact that $h$ is continuous. For $g(z)$, regardless of how you define $Arg(z)$, the set $ \{z: a < Arg(z) < b\}$ is the union of at most two wedges which are Borel sets. So $\{z: g(z) \in (a,b) \}$ is a Borel set. This means $g(z)$ is Borel measurable as well.

  • 0
    @Zaricuse. But don't we have to worry about composition with exp also, since composition of measurable functions need not be measurable.2010-11-20
  • 0
    exp is continuous, so we're ok. Continuous composed with measurable is measurable. (just edited my answer to mention this).2010-11-20
  • 0
    @Zaricause. A Lebesgue measurable function $f$ followed by a Borel measurable function $Arg$ need not measurable, I think. So $Arg(F(x)$ being measurable is in question.2010-11-20
  • 0
    I showed $Arg f(x)$ is measurable by showing the inverse image of an open interval is measurable... this is the definition of measurable. To see that Lebesgue measurable followed by Borel measurable actually is measurable, I refer you to Rudin Thm 1.12d).2010-11-20
  • 0
    You are right about your proof that Argf(x) being measurable. Since inverse image of Lebesgue measurable set under a continuous function need not Lebesgue measurable, how do we explain exp(...) being measurable? BTW, Rudin Thm 1.12d is about Borel measurable followed by Lebesgue measurable; not the other way round.2010-11-20
  • 0
    I rewrote my answer.. this is as clear as I'm able to get. I swear what I am saying is true.2010-11-20
  • 0
    Actually your original proof about Argf(x) seems to be correct. But as I said above Rudin Thm 1.12d is...., not the other way round. So the only trouble is to prove exp(..) being measurable.2010-11-20
  • 0
    Please ignore all my comments above. They are stupid.2010-11-20
  • 0
    They are stupid b/c I got the order of composition mixed up.2010-11-20
  • 0
    it's no big deal, everyone makes little mistakes like that2010-11-20