Quantcast

Got Homework?

Connect with other students for help. It's a free community.

  • across
    MIT Grad Student
    Online now
  • laura*
    Helped 1,000 students
    Online now
  • Hero
    College Math Guru
    Online now

Here's the question you clicked on:

55 members online
  • 0 replying
  • 0 viewing

cinar Group Title

I need some help.. A and B are two subsets of the metric space M. Prove following. cl=closure of the set a) cl(cl(A))=cl(A) b) cl(A union B)=cl(A) union cl(B)

  • one year ago
  • one year ago

  • This Question is Closed
  1. helder_edwin Group Title
    Best Response
    You've already chosen the best response.
    Medals 2

    Let \((M,d)\) be a metric space and \(B(x_0,\varepsilon)=\{x\in M:d(x_0,x)<\varepsilon\}\). u r familiar with all this. right?

    • one year ago
  2. helder_edwin Group Title
    Best Response
    You've already chosen the best response.
    Medals 2

    Let \(A\subseteq M\). We call \(y_0\in M\) a "limit point" of \(A\) if \[ \large (\forall\varepsilon>0)[B(y_0,\varepsilon)\cap A\neq\emptyset] \] The "closure" of \(A\) is the set \(cl(A)\) of all the limit points of \(A\). again. u r familiar with this. right?

    • one year ago
  3. cinar Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    yes

    • one year ago
  4. cinar Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    sorry I was working on it, didn't see your comment..

    • one year ago
  5. cinar Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    we know A is closed because of definition, right..

    • one year ago
  6. helder_edwin Group Title
    Best Response
    You've already chosen the best response.
    Medals 2

    A is closed when A=cl(A).

    • one year ago
  7. helder_edwin Group Title
    Best Response
    You've already chosen the best response.
    Medals 2

    in (a) u r supposed to prove that cl(A) is closed.

    • one year ago
  8. cinar Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    I meant cl(A) is closed, sory

    • one year ago
  9. helder_edwin Group Title
    Best Response
    You've already chosen the best response.
    Medals 2

    that is what u r supposed to prove.

    • one year ago
  10. helder_edwin Group Title
    Best Response
    You've already chosen the best response.
    Medals 2

    listen. i have to go. i'll try to log-in later. good luck with this.

    • one year ago
  11. cinar Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    thanks, but due is tomorrow, hurry up (:

    • one year ago
  12. cinar Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    quick question

    • one year ago
  13. cinar Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    I know how to prove in R, is it the same in M

    • one year ago
  14. cinar Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    or if the theorem valid for R, can we use for M ( metric space)

    • one year ago
  15. cinar Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    @TuringTest any idea?

    • one year ago
  16. TuringTest Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    all new to me, sorry sounds cool though!

    • one year ago
  17. cinar Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    it is (:

    • one year ago
  18. helder_edwin Group Title
    Best Response
    You've already chosen the best response.
    Medals 2

    (a) we have to prove \(cl(cl(A))=cl(A)\). let \(x_0\in cl(cl(A))\), this means that for every \(\varepsilon>0\) \[ \large B(x_0,\varepsilon)\cap cl(A)\neq\emptyset. \] Question: \(B(x_0,\varepsilon)\cap A\neq\emptyset\) ? Let \(x_1\in B(x_0,\varepsilon)\cap cl(A)\) and \(x_1\neq x_0\). Let \(\delta<d(x_0,x_1)/2\), then \[ \large B(x_1,\delta)\subset B(x_0,\varepsilon)\hspace{2.5in} (1) \] but since \(x_1\in cl(A)\) then \(B(x_1,\delta)\cap A\neq\emptyset\), and this and (1) imply that \[ \large B(x_0,\varepsilon)\cap A\neq\emptyset \] that is \(x_0\in cl(A)\).

    • one year ago
  19. helder_edwin Group Title
    Best Response
    You've already chosen the best response.
    Medals 2

    Conversely, let \(y_0\in cl(A)\) and \(\varepsilon>0\), then \(B(y_0,\varepsilon)\cap A\neq\emptyset\). Question: \(B(y_0,\varepsilon)\cap cl(A)\neq\emptyset\) ? Let \(y_1\in cl(A)\) with \(y_1\neq y_0\) and let \(\gamma>d(y_0,y_1)\) then \[ \large B(y_0,\gamma)\cap cl(A)\neq\emptyset \] because at least \(y_1\in B(y_0,\gamma)\cap cl(A)\). Hence \(y_0\in cl(cl(A))\). Therefore \(cl(cl(A))=cl(A)\).

    • one year ago
  20. helder_edwin Group Title
    Best Response
    You've already chosen the best response.
    Medals 2

    (b) we have to prove \(cl(A\cup B)=cl(A)\cup cl(B)\). Let \(x_0\in cl(A\cup B)\) and \(\varepsilon>0\) then \[ \large \emptyset\neq B(x_0,\varepsilon)\cap(A\cup B)= [B(x_0,\varepsilon)\cap A]\cup[B(x_0,\varepsilon)\cap B] \] this means that either \(B(x_0,\varepsilon)\cap A\) or \(B(x_0,\varepsilon)\cap B\) is non-empty. That is \(x_0\in cl(A)\) or \(x_0\in cl(B)\), hence \(x_0\in cl(A)\cup cl(B)\). Conversely, if \(\varepsilon>0\) and \(x_0\in cl(A)\cup cl(B)\) then \[ \large x_0\in cl(A)\vee x_0\in cl(B) \] then \[ \large B(x_0,\varepsilon)\cap A\neq\emptyset\qquad\text{or}\qquad B(x_0,\varepsilon)\cap B\neq\emptyset \] from this it follows that \[ \large \emptyset\neq[B(x_0,\varepsilon)\cap A]\cup [B(x_0,\varepsilon)\cap B]=B(x_0,\varepsilon)\cap(A\cup B) \] that is \(x_0\in cl(A\cup B)\). Therefore \(cl(A\cup B)=cl(A)\cup cl(B)\).

    • one year ago
  21. cinar Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    wow man nice job, thanks a lot..

    • one year ago
  22. helder_edwin Group Title
    Best Response
    You've already chosen the best response.
    Medals 2

    u r welcome. it was fun remembering all this.

    • one year ago
  23. TuringTest Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    What math is this please?

    • one year ago
  24. cinar Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    It is mixed of topology and real analysis, in particularly, closed set, neighborhood

    • one year ago
  25. cinar Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    @helder_edwin I forgot part c) cl(A intersection B) C cl(A) intersection cl(B) and find an example to show that equality need not to hold.. C= subset can you also take a look this one.. thanks in advance..

    • one year ago
  26. cinar Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    \[\large Let x0∈cl(A∩B) and\, ε>0\, then \\ \large∅≠B(x0,ε)∩(A∩B)=[B(x0,ε)∩A]∩B=[B(x0,ε)∩B]∩A\\ \large \text{this means that either} \,B(x0,ε)∩A \,and\, B(x0,ε)∩B \, is\, non-empty\\ \large That\, is\, x0∈cl(A)\, and\, x0∈cl(B), hence\, x0∈cl(A)∩cl(B)\\ \large Therefore\, cl(A∩B)⊂cl(A)∩cl(B)\]

    • one year ago
  27. cinar Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Letx0∈cl(A∩B)andε>0then∅≠B(x0,ε)∩(A∩B)=[B(x0,ε)∩A]∩B=[B(x0,ε)∩B]∩Athis means that eitherB(x0,ε)∩AandB(x0,ε)∩Bisnon−emptyThatisx0∈cl(A)andx0∈cl(B),hencex0∈cl(A)∩cl(B)Thereforecl(A∩B)⊂cl(A)∩cl(B)

    • one year ago
  28. cinar Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Letx0∈cl(A∩B)andε>0then∅≠B(x0,ε)∩(A∩B)=[B(x0,ε)∩A]∩B=[B(x0,ε)∩B]∩Athis means that both B(x0,ε)∩AandB(x0,ε)∩Bisnon−emptyThatisx0∈cl(A)andx0∈cl(B), hencex0∈cl(A)∩cl(B)Thereforecl(A∩B)⊂cl(A)∩cl(B)

    • one year ago
  29. helder_edwin Group Title
    Best Response
    You've already chosen the best response.
    Medals 2

    (c) we have to prove that \(cl(A\cap B)\subseteq cl(A)\cap cl(B)\). Let \(\varepsilon>0\) and \(x_0\in cl(A\cap B)\) then \[ \large \emptyset\neq B(x_0,\varepsilon)\cap(A\cap B)= [B(x_0,\varepsilon)\cap A]\cap[B(x_0,\varepsilon)\cap B] \] this means that both \(B(x_0,\varepsilon)\cap A\) and \(B(x_0,\varepsilon)\cap B\) are not empty. That is, \(x_0\in cl(A)\) and \(x_0\in cl(B)\). Therefore, \(cl(A\cap B)\subseteq cl(A)\cap cl(B)\).

    • one year ago
    • Attachments:

See more questions >>>

Your question is ready. Sign up for free to start getting answers.

spraguer (Moderator)
5 → View Detailed Profile

is replying to Can someone tell me what button the professor is hitting...

23

  • Teamwork 19 Teammate
  • Problem Solving 19 Hero
  • You have blocked this person.
  • ✔ You're a fan Checking fan status...

Thanks for being so helpful in mathematics. If you are getting quality help, make sure you spread the word about OpenStudy.

This is the testimonial you wrote.
You haven't written a testimonial for Owlfred.