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!

HELP: Measure theory

  1. Oct 10, 2006 #1
    If E is a non empty set and[tex] (B_n)_{n \geq 1}[/tex] are elements in the set [tex]2^E[/tex].

    I then need help showing the following:

    [tex]lim_n\, sup\, B_n\, =\, lim_n\, inf\, B_n\, =\, \bigcup_{n\, =\, 1} ^{\infty}\, B_n[/tex]

    if and only if [tex]B_n\, \subseteq\, B_{n+1}[/tex], for all [tex] n\, \geq\, 1[/tex],

    Also I need to show

    [tex]lim_n\, sup\, B_n\, =\, lim_n\, inf\, B_n\, =\, \bigcap_{n=1} ^{\infty} B_n[/tex]

    if and only if [tex]B_n\, \supseteq\, B_{n+1}[/tex], for all [tex]n\, \geq\, 1[/tex]

    I know that for every sequence [tex](a_n)_{n\, \geq\, 1}[/tex] of elements in the set [tex]- \infty\ \union\ \mathbb{R}\ \union\ \infty[/tex].

    [tex]lim_n\, sup\, a_n\, =\, inf(M_n|\, n\, \geq\, 1)[/tex], where [tex]M_n\, :=\, sup(a_k|\, k\, \geq\, n},\, n\, \geq\, 1[/tex].

    [tex]lim_n\, inf\, a_n\, =\, inf(m_n|\, n\, \geq\, 1)[/tex], where [tex]m_n\, :=\, sup(a_k|\, k\, \geq\, n},\, n\, \geq\, 1[/tex].

    But could somebody please give me a hint or an idear on how to use this fact to show the original task???

    Sincerely Fred
     
    Last edited: Oct 10, 2006
  2. jcsd
  3. Oct 10, 2006 #2

    AKG

    User Avatar
    Science Advisor
    Homework Helper

    This has nothing to do with measure theory, it's a purely set theoretic question. Start by writing down the definitions of lim sup and lim inf. And why am I seeing so many people write "idears" lately? The word is "idea".
     
  4. Oct 10, 2006 #3

    StatusX

    User Avatar
    Homework Helper

    The limsup and liminf are defined whenever there is a partial order on a set. For real numbers, this is the normal "less than or equal to" order. For sets is its the "is a subset of" order. The sup of a collection of sets is defined just like it is for real numbers, ie, A is the sup of {Bn} iff 1) A contains every Bn and 2) If C contains every Bn, then C contains A. Can you figure out what A is here, and also in the inf case? Then use this in the definition of limsup and liminf.
     
  5. Oct 10, 2006 #4
    Is A the sum of all intersecting partions that I mention ???

    I mean [tex]= \bigcap \bigcup _{n=1} ^{\infty} B_n[/tex]
    ??

    I have a second question?

    If E = R, where R being the set of all real numbers.

    Where [tex]B_n = [0, x_n] [/tex] [tex] n \geq 1 [/tex]

    is limited sequence of positive real numbers.

    I need to show here

    [tex] [0, lim , sup x_n [ \subseteq lim_{n} , sup B_n \subseteq [0, lim , sup x_n] [/tex]

    Any idears here ?

    Sincerely Yours
    Fred
     
    Last edited: Oct 10, 2006
  6. Oct 10, 2006 #5

    StatusX

    User Avatar
    Homework Helper

    I don't know what A is supposed to be. And show what you've tried on the second question.
     
  7. Oct 10, 2006 #6
    [tex] [0, lim \ sup x_n [ \subseteq lim_{n} sup B_n \subseteq [0, lim \ sup x_n] [/tex]

    should I treat [tex]x_{n} \subseteq B_{n}[/tex]

    and [tex]lim sup x_n = \bigcap_{j=1} \bigcup_{n=j} ^{\infty} x_n [/tex]

    if this is true then

    [tex][0, lim_{n} \ sup x_n [ \subseteq lim_{n} sup B_n \subseteq [0, lim_{n} \ sup x_n] [/tex]

    ???

    Sincerely Fred
     
    Last edited: Oct 10, 2006
  8. Oct 10, 2006 #7

    StatusX

    User Avatar
    Homework Helper

    The xn are numbers, and the Bn are sets, so you can't compare them like you're doing. Before you can do this problem, you need to have figured out what the limsup of a sequence of sets is. Have you done this?
     
  9. Oct 10, 2006 #8
    What is what I have trouble with, do I treat x_n as a scalar in relation with B_n??

    Sincerely Fred
     
  10. Oct 10, 2006 #9

    StatusX

    User Avatar
    Homework Helper

    What do scalars have to do with anything? There aren't any vector spaces here. Don't overcomplicate things. Again, what is the limsup of a sequence of sets?
     
  11. Oct 10, 2006 #10
    I recon that must be

    [tex] lim_{n \rightarrow \infty} sup x_n = lim (sup x_m), m \geq n[/tex]

    ??

    Sincerely Fred

     
  12. Oct 10, 2006 #11

    StatusX

    User Avatar
    Homework Helper

    You're not getting anywhere. Take some time and think about the problem. Post something once you've worked on it for a while.
     
  13. Oct 10, 2006 #12
    I'm sorry, but could you please give me hint here?

    /Fred


    p.s. My father has very sick these last couple of weeks (heart trouble), and I have therefore not been able to get anywhere with this problem. So therefore I know its much to ask, but if you could be a kind soul and help me answer this problem, then I will never ask for anything this big again.

     
    Last edited: Oct 10, 2006
  14. Oct 10, 2006 #13

    StatusX

    User Avatar
    Homework Helper

    So what do you want from me? All I can do is try to explain the concepts to you, and you're not taking the time to try and understand them. If you're looking for someone to do the problem for you, it's not gonna happen. Ask specific, meaningful questions and I'll try to answer them as clearly as possible. But please take a little time to ask the best questions you can.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: HELP: Measure theory
  1. Measure theory (Replies: 1)

  2. Measure theory (Replies: 2)

  3. Measure theory (Replies: 4)

Loading...