
#1
Jan1710, 03:05 PM

P: 56

In general, if S is a connected set, can I conclude that S must be path connected?
Definition 1: S is connected if it is not disconnected. A set S is disconnected if it can be written as the union of two mutually separated sets, where mutually separated sets are two nonempty sets that do not contain any of each others boundary points. Definition 2: S is path (or polygon) connected if any two points in S can be joined by a chain of line segments contain in S which abut (joined end to end), starting from one point and ending at the other. 



#2
Jan1710, 04:27 PM

P: 418

Those definitions seem somewhat nonstandard (especially 2). What is a line segment? If it has the elementary meaning consider the unitcircle [itex]\{(x,y)  x^2+y^2 =1\}[/itex] which doesn't seem to be path connected according to your definition 2 (but is path connected according to the standard definition of path connectedness which says that points can be joined by a continuous function [itex][0,1]\to S[/itex]).
A standard example for the normal definitions is the topologist's sine curve. 



#3
Jan1810, 07:24 AM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 38,896

Here's a cute problem connected with the "topologist's sine curve" that rasmhop refers to:
Find two set, P and Q satisfying: 1) Both P and Q are contained in the closed square in R^{2} with vertices (1, 1), (1, 1), (1, 1), and (1, 1). 2) P contains the diagonally opposite points (1, 1) and (1, 1) and Q contains the diagonally opposite points (1, 1) and (1, 1). 3) P and Q are disjoint. 4) P and Q are both connected sets. The solution involves using the "topologist's sine function" to construct two connected but NOT path connected sets that satisfy these conditions. By the way, if a set is path connected, then it is connected. If a set is either open or closed and connected, then it is path connected. But there exist sets, neither open nor closed, that are connected but not path connected so "path connected" is a stronger condition than just "connected". 



#4
Jan1810, 02:13 PM

P: 56

Connected vs. Path Connected Sets
I was trying to understand the topologists sine curve and see how this forms a connected set, but I am having a difficult time.
First the function sin(1/x) has an essential singularity at x=0, thus it cannot be extended to a continuous function in a neighborhood of the origin. How can I convince myself that the topologists sine curve forms a connected set? Intuitively this set looks disjoint in a neighborhood of the origin. 



#5
Jan1810, 02:25 PM

P: 418

[tex]a_n = (1/(n\pi),\sin(n\pi)) = (1/(n\pi),0)[/tex] This sequence is in B, but converges to (0,0) so (0,0) can't be in A (since A is open and disjoint from B). 



#6
Jan1810, 04:31 PM

P: 56

Ok, I think I'm getting somewhere. I followed your argument and define A as you stated. From B we can see that the origin is a boundary point of B contained in A. From the definition then A and B are not mutually separated. What confuses me is that A and B are disjoint, hence giving me an intuitive idea that A and B must be mutually separated; in other words, if two sets are disjoint they are not necessarily mutually separated.
Also, I do not agree with A being open. It looks like a half open interval; it is closed at the origin. 



#7
Jan1810, 06:02 PM

P: 418

Also yes mutually separated and disjoint are different. Consider for instance (infty,0], (0,infty) which are two disjoint subsets of the real line, but they are not mutually separated since 0 is in the first interval and a boundary point of the second. 


Register to reply 
Related Discussions  
Locally path connected implies path connected  Calculus & Beyond Homework  1  
An open connected set is path(polygon) connected  Calculus  1  
Connected sets  Calculus  3  
Path connected and connected.  Differential Geometry  10  
(connected and locally pathconnected) ==> (pathconnected)  Calculus & Beyond Homework  1 