1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Mutually Singular measures; Rudin's Problem

  1. Dec 9, 2008 #1
    Please help me on this:

    c.f. Rudin's Real and Complex Analysis (Third Edition 1987) Chapter 6 Q9

    Suppose that [tex]\{g_n\}_{n=1}^\infty[/tex] is a sequence of positive continuous functions on [tex]I=[0,1][/tex], [tex]\mu[/tex] is a positive Borel measure on [tex]I[/tex], [tex]m[/tex] is the standard Lebesgue measure, and

    (i) [tex]\lim_{n\rightarrow\infty} g_n =0 \qquad a.e. [m][/tex];
    (ii) [tex]\int_{I}{g_n}\;dm = 1 \qquad [/tex] for all [tex]n\in\mathbb{N}[/tex];
    (iii) [tex]\lim_{n\rightarrow\infty}\int_{I} fg_n\;dm = \int_{I} f\;d\mu \qquad[/tex] for all [tex]f \in C(I).[/tex]

    Does it follow that the measures [tex]m[/tex] and [tex]\mu[/tex] are mutually singular?

    I kind of guess that it is a no and have been trying hard to come up with a counterexample. Some of my thoughts:
    1 . If [tex]\mu[/tex] is singular relative to [tex]m[/tex], then it has to be concentrated on a set which does not contain any open interval.
    2. A typical sequence that satifies both (i) and (ii) above is the familiar "triangular sequence", i.e. the sequence of functions whose graphs are triangles with increasing heights, each having area 1. But I don't know how to deal with (iii).
    Last edited: Dec 9, 2008
  2. jcsd
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Can you help with the solution or looking for help too?

Similar Discussions: Mutually Singular measures; Rudin's Problem
  1. Rudin definition 3.16 (Replies: 0)

  2. Rudin 6.7 (Replies: 0)

  3. Product measures (Replies: 0)