Results 1 to 9 of 9

Math Help - a topological space

  1. #1
    Senior Member
    Joined
    Nov 2008
    From
    Paris
    Posts
    354

    a topological space

    Hi

    Do you know an exemple of connected space but path connected in no open subset (except perhaps the whole space) ?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2008
    From
    Paris
    Posts
    354
    Could anyone tell me if that's a wrong exemple (but I think it works): in \mathbb{R}^2,

    (\mathbb{Q}\times\mathbb{R}\cup\mathbb{R}\times\{0  \})-\mathbb{Q}\times\{0\}
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    7
    Quote Originally Posted by clic-clac View Post
    Could anyone tell me if that's a wrong exemple (but I think it works): in \mathbb{R}^2,

    (\mathbb{Q}\times\mathbb{R}\cup\mathbb{R}\times\{0  \})-\mathbb{Q}\times\{0\}
    That example looks correct to me (but proving it could be quite messyI'm glad I don't have to do that).

    (Also, a few extra parentheses would make it easier to read: (\mathbb{Q}\times\mathbb{R}) \cup(\mathbb{R}\times\{0\})-(\mathbb{Q}\times\{0\}).)
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member bkarpuz's Avatar
    Joined
    Sep 2008
    From
    R
    Posts
    481
    Thanks
    2
    (\mathbb{Q}\times\mathbb{R}) \cup(\mathbb{R}\times\{0\})-(\mathbb{Q}\times\{0\})=\mathbb{Q}^{c}\times(\math  bb{R}\backslash\{0\})?<br />
    By the way, can you please give the definitions that you use?
    connected and path connected?
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Senior Member bkarpuz's Avatar
    Joined
    Sep 2008
    From
    R
    Posts
    481
    Thanks
    2
    Quote Originally Posted by bkarpuz View Post
    (\mathbb{Q}\times\mathbb{R}) \cup(\mathbb{R}\times\{0\})-(\mathbb{Q}\times\{0\})=\mathbb{Q}^{c}\times(\math  bb{R}\backslash\{0\})?<br />
    By the way, can you please give the definitions that you use?
    connected and path connected?
    Okay I was wrong!
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Senior Member
    Joined
    Nov 2008
    From
    Paris
    Posts
    354
    Definitions I use is:
    X connected iff for all U,V disjoint open subsets in X,\ X=U\cup V\Rightarrow (U=\emptyset,\ V=X) or (U=X,\ V=\emptyset)

    X is path connected iff between any two points x,y in X there is always a path. (a continuous map \sigma from [0,1] to X such that \sigma(0)=x and \sigma(1)=y)
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Senior Member bkarpuz's Avatar
    Joined
    Sep 2008
    From
    R
    Posts
    481
    Thanks
    2

    Exclamation

    Why not only considering
    <br />
\mathbb{Q}\times\mathbb{R},<br />
    which has the same nature with the first quadrant of
    <br />
(\mathbb{Q}\times\mathbb{R}) \cup(\mathbb{R}\times\{0\})-(\mathbb{Q}\times\{0\}).<br />

    It is clear that this set is not path connected.
    Because the mapping \sigma:[0,1]\to\mathbb{Q}\times\mathbb{R} will have discontinuity while matching \sigma(0)=(q_{0},r_{0}) and \sigma(1)=(q_{1},r_{1}) for some P_{0}=(q_{0},r_{0}) and P_{1}=(q_{1},r_{1}), for instance when q_{0}\neq q_{1}, and in any open subset you may find such points (may be sketching a graphic would help for this).
    In this case, you will always have \sigma(t)\in\mathbb{Q}^{c}\times\mathbb{R} for some t\in[0,1].
    About the connectivity, I am not sure for this set.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Senior Member
    Joined
    Nov 2008
    From
    Paris
    Posts
    354
    You're right it's not path-connected, but unfortunately it's not connected: you can write this space as a disjoint union of non trivial open sets, for instance:

    \mathbb{Q}\times\mathbb{R}= ((\mathbb{Q}\cap ]-\infty ,\pi [)\times\mathbb{R}) \cup ((\mathbb{Q}\cap]\pi ,+\infty [)\times\mathbb{R})

    (this sets are open because they are intersections with open subsets in \mathbb{R}^2, and we're working with subspace topology)

    But the space I was looking for may be more complicated: it has to be connected, but, instead of not path connected, not path-connected in any open subset (i.e. if you want never locally path-connected), and I'm not sure that ( X not path-connected) \Rightarrow( X not path-connected in any open subset)...
    Follow Math Help Forum on Facebook and Google+

  9. #9
    Senior Member bkarpuz's Avatar
    Joined
    Sep 2008
    From
    R
    Posts
    481
    Thanks
    2

    Exclamation

    Okay, please see here Connected and Path Connected
    I guess this will help you much, and indicates that your assertion is true.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. normal topological space
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: May 5th 2010, 08:07 PM
  2. Topological space
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: May 2nd 2010, 09:23 PM
  3. discrete topological space
    Posted in the Differential Geometry Forum
    Replies: 4
    Last Post: October 6th 2009, 03:17 AM
  4. retract in a topological space
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: March 23rd 2009, 11:51 PM
  5. Proof in a topological space
    Posted in the Advanced Math Topics Forum
    Replies: 22
    Last Post: January 24th 2006, 08:50 AM

Search Tags


/mathhelpforum @mathhelpforum