Results 1 to 9 of 9

Math Help - A is a subset of a topological space X

  1. #1
    MHF Contributor
    Joined
    Mar 2010
    From
    Florida
    Posts
    3,093
    Thanks
    5

    A is a subset of a topological space X

    I am having trouble understanding topology. I have read the sections 3 times and hasn't helped.

    Could someone explain this question, the methodology to answering it, and how it is done?

    Let X be a topological space; let A be a subset of X. Suppose that for each x\in A there is an open set U containing x such that U\subset A. Show A is open in X.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Feb 2008
    Posts
    410

    Re: A is a subset of a topological space X

    For ease of notation, since each U depends on a corresponding x, let's say that U=U_x. In other words, for each x\in A there is an open set U_x\subset A such that x\in U_x.

    With this notation in mind, what you want to do is show that A=\bigcup\{U_x:x\in A\}. Or you can even just state it, since it's straightforward to see.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Joined
    Mar 2010
    From
    Florida
    Posts
    3,093
    Thanks
    5

    Re: A is a subset of a topological space X

    Quote Originally Posted by hatsoff View Post
    For ease of notation, since each U depends on a corresponding x, let's say that U=U_x. In other words, for each x\in A there is an open set U_x\subset A such that x\in U_x.

    With this notation in mind, what you want to do is show that A=\bigcup\{U_x:x\in A\}. Or you can even just state it, since it's straightforward to see.
    To show A=\bigcup\{U_x:x\in A\}, do we just say there exists a r > 0 s.t. there is a ball of radius r centered at x and A is the union of all the balls?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member
    Joined
    Feb 2008
    Posts
    410

    Re: A is a subset of a topological space X

    No. Remember, not every topological space is a metric space. And if the space is not metric, then it won't have any balls.

    Think about the construction of \bigcup\{U_x:x\in A\}. We want to show that \bigcup\{U_x:x\in A\}\subseteq A .... AND that A\subseteq \bigcup\{U_x:x\in A\}. Then we will have proved that the two are equal.

    How do we show that \bigcup\{U_x:x\in A\} is a subset of A? Well, remember that each U_x is a subset of A. So the union of all U_x must also be a subset of A.

    Now show that A is a subset of \bigcup\{U_x:x\in A\}, and you'll be done.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor
    Joined
    Mar 2010
    From
    Florida
    Posts
    3,093
    Thanks
    5

    Re: A is a subset of a topological space X

    Quote Originally Posted by hatsoff View Post
    No. Remember, not every topological space is a metric space. And if the space is not metric, then it won't have any balls.

    Think about the construction of \bigcup\{U_x:x\in A\}. We want to show that \bigcup\{U_x:x\in A\}\subseteq A .... AND that A\subseteq \bigcup\{U_x:x\in A\}. Then we will have proved that the two are equal.

    How do we show that \bigcup\{U_x:x\in A\} is a subset of A? Well, remember that each U_x is a subset of A. So the union of all U_x must also be a subset of A.

    Now show that A is a subset of \bigcup\{U_x:x\in A\}, and you'll be done.
    Each x\in A\subset U_x. So A is a subset of the big union?
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Senior Member
    Joined
    Feb 2008
    Posts
    410

    Re: A is a subset of a topological space X

    Where did you get the idea that A\subset U_x for each x\in A ?
    Follow Math Help Forum on Facebook and Google+

  7. #7
    MHF Contributor
    Joined
    Mar 2010
    From
    Florida
    Posts
    3,093
    Thanks
    5

    Re: A is a subset of a topological space X

    Quote Originally Posted by hatsoff View Post
    Where did you get the idea that A\subset U_x for each x\in A ?
    Topology seems to be a struggle for me. That was what I thought. I don't know. I have read the book chapters, I go to class, but I just don't get it.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,649
    Thanks
    1597
    Awards
    1

    Re: A is a subset of a topological space X

    Quote Originally Posted by dwsmith View Post
    Topology seems to be a struggle for me. That was what I thought. I don't know. I have read the book chapters, I go to class, but I just don't get it.
    Topology more than any other undergraduate mathematics is all about definitions. The key then is understanding the ideas behind the definitions.

    All this proof is saying is that an open set is the union of other open sets.
    Follow Math Help Forum on Facebook and Google+

  9. #9
    MHF Contributor

    Joined
    Apr 2005
    Posts
    15,693
    Thanks
    1466

    Re: A is a subset of a topological space X

    You were told that "for every x in A there exist an open set, U_x, such that U_x\subset A. You cannot conclude from that " A\subset U"!

    What you can conclude is that, for each x in A, x is in U_x and so in the union of all such U sets.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. What is the definition of a convex subset of a topological space
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: May 18th 2011, 04:51 AM
  2. normal topological space
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: May 5th 2010, 07:07 PM
  3. Topological space
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: May 2nd 2010, 08:23 PM
  4. retract in a topological space
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: March 23rd 2009, 10:51 PM
  5. a topological space
    Posted in the Differential Geometry Forum
    Replies: 8
    Last Post: March 8th 2009, 03:39 AM

Search Tags


/mathhelpforum @mathhelpforum