1. Limited time only! Sign up for a free 30min personal 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!

Subspaces and interiors of metric spaces problem.

  1. Mar 16, 2013 #1
    1. The problem statement, all variables and given/known data
    If S is a subspace of the metric space X prove (intxA)[itex]\cap[/itex]S[itex]\subset[/itex]ints(A[itex]\cap[/itex]S) where A is an element of ΩX(Open subsets of X)

    3. The attempt at a solution
    So intxA=[itex]\bigcup[/itex]Bd(a,r) where d is the metric on X and the a's are elements of A
    and I think
    intsA=[itex]\bigcup[/itex]Bd(a,r)[itex]\cap[/itex]S

    But I'm not sure how to use this fact but it feels as though the answer comes some how from the above condition.

    Any pointers?
     
    Last edited: Mar 16, 2013
  2. jcsd
  3. Mar 16, 2013 #2

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    When you want to prove a statement of the type ##A\subset B##, the proof should usually start with a statement like "Let x be an arbitrary member of A". Then you use what you know about A to show that x is a member of B. Here you might want to use another symbol instead of x, because it looks weird to use a symbol that looks too much like X.

    Let A and S be arbitrary subsets of X. Let ##y\in \operatorname{int}_X A\cap S## be arbitrary. Now what can you tell us about y?
     
  4. Mar 17, 2013 #3
    y[itex]\in[/itex]intXA[itex]\cap[/itex]S
    y[itex]\in[/itex](intXA[itex]\cap[/itex]S)[itex]\cap[/itex]S
    It seems right that intXA[itex]\cap[/itex]S = intSA
    y[itex]\in[/itex]intSA[itex]\cap[/itex]S
    intSS=S(Since all points of S have open balls around them in S making each point interior)
    y[itex]\in[/itex]intSA[itex]\cap[/itex]intSS
    y[itex]\in[/itex]intS(A[itex]\cap[/itex]S)

    Is this the kind of thing you mean?
     
  5. Mar 17, 2013 #4

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    In this type of proof, each step is supposed to be an immediate and obvious consequence of the statement in the previous step. Each of the first few steps is often just a clarification of what the statement in the previous step means. What I had in mind for the first step is that you use the definition of ##\cap## to explain what ##y\in\operatorname{int}_X A\cap S## means. Then you use some other definition to explain what the new statement means.

    In one of the steps, you will need to think about how the subspace topology is defined.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Subspaces and interiors of metric spaces problem.
Loading...