Show that the unit sphere in $mathbb{R}^3$ is pathwise(=arcwise) connected?
up vote
1
down vote
favorite
I know this question has been already asked but no one does not address the definition of pathwise(=arcwise) connectedness as the following:
A set $C$ in metric space $(M,d)$ is pathwise(=arcwise) connected if any two points of $C$ can be joined by an arc that is entirely lies in $C$.
Formally,
$$
forall p,q in C,,, exists ,,,, phi: [a,b] rightarrow C ,,, text{s.t.} phi(a)=p, phi(b)=q
$$
where $phi$ is a continuous function.
Now to show sphere is pathwise(=arcwise) in $mathbb{R}^3$ we need such a $phi$ that maps a closed interval in $mathbb{R}$ to the sphere.
What is that function $phi$ and that interval?
This is my homework problem and what we have learned in our real analysis course is the above so the professor expects us to solve the problem from the above point of view.
Please answer in this direction.
real-analysis general-topology connectedness path-connected
add a comment |
up vote
1
down vote
favorite
I know this question has been already asked but no one does not address the definition of pathwise(=arcwise) connectedness as the following:
A set $C$ in metric space $(M,d)$ is pathwise(=arcwise) connected if any two points of $C$ can be joined by an arc that is entirely lies in $C$.
Formally,
$$
forall p,q in C,,, exists ,,,, phi: [a,b] rightarrow C ,,, text{s.t.} phi(a)=p, phi(b)=q
$$
where $phi$ is a continuous function.
Now to show sphere is pathwise(=arcwise) in $mathbb{R}^3$ we need such a $phi$ that maps a closed interval in $mathbb{R}$ to the sphere.
What is that function $phi$ and that interval?
This is my homework problem and what we have learned in our real analysis course is the above so the professor expects us to solve the problem from the above point of view.
Please answer in this direction.
real-analysis general-topology connectedness path-connected
Sphere = surface or also the interior of the ball?
– Math_QED
Nov 13 at 21:43
If it is the latter: show two easy things: (1) sphere is convex (2) convex implies path connected
– Math_QED
Nov 13 at 21:45
add a comment |
up vote
1
down vote
favorite
up vote
1
down vote
favorite
I know this question has been already asked but no one does not address the definition of pathwise(=arcwise) connectedness as the following:
A set $C$ in metric space $(M,d)$ is pathwise(=arcwise) connected if any two points of $C$ can be joined by an arc that is entirely lies in $C$.
Formally,
$$
forall p,q in C,,, exists ,,,, phi: [a,b] rightarrow C ,,, text{s.t.} phi(a)=p, phi(b)=q
$$
where $phi$ is a continuous function.
Now to show sphere is pathwise(=arcwise) in $mathbb{R}^3$ we need such a $phi$ that maps a closed interval in $mathbb{R}$ to the sphere.
What is that function $phi$ and that interval?
This is my homework problem and what we have learned in our real analysis course is the above so the professor expects us to solve the problem from the above point of view.
Please answer in this direction.
real-analysis general-topology connectedness path-connected
I know this question has been already asked but no one does not address the definition of pathwise(=arcwise) connectedness as the following:
A set $C$ in metric space $(M,d)$ is pathwise(=arcwise) connected if any two points of $C$ can be joined by an arc that is entirely lies in $C$.
Formally,
$$
forall p,q in C,,, exists ,,,, phi: [a,b] rightarrow C ,,, text{s.t.} phi(a)=p, phi(b)=q
$$
where $phi$ is a continuous function.
Now to show sphere is pathwise(=arcwise) in $mathbb{R}^3$ we need such a $phi$ that maps a closed interval in $mathbb{R}$ to the sphere.
What is that function $phi$ and that interval?
This is my homework problem and what we have learned in our real analysis course is the above so the professor expects us to solve the problem from the above point of view.
Please answer in this direction.
real-analysis general-topology connectedness path-connected
real-analysis general-topology connectedness path-connected
edited Nov 13 at 22:25
Henno Brandsma
101k344107
101k344107
asked Nov 13 at 20:19
Saeed
407110
407110
Sphere = surface or also the interior of the ball?
– Math_QED
Nov 13 at 21:43
If it is the latter: show two easy things: (1) sphere is convex (2) convex implies path connected
– Math_QED
Nov 13 at 21:45
add a comment |
Sphere = surface or also the interior of the ball?
– Math_QED
Nov 13 at 21:43
If it is the latter: show two easy things: (1) sphere is convex (2) convex implies path connected
– Math_QED
Nov 13 at 21:45
Sphere = surface or also the interior of the ball?
– Math_QED
Nov 13 at 21:43
Sphere = surface or also the interior of the ball?
– Math_QED
Nov 13 at 21:43
If it is the latter: show two easy things: (1) sphere is convex (2) convex implies path connected
– Math_QED
Nov 13 at 21:45
If it is the latter: show two easy things: (1) sphere is convex (2) convex implies path connected
– Math_QED
Nov 13 at 21:45
add a comment |
2 Answers
2
active
oldest
votes
up vote
3
down vote
So there are many ways to show that a space is path connected. Spherical coordinates may be more difficult then the approach I propose. We start with this useful fact:
Lemma. If $f:Xto Y$ is a continous function and $X$ is path connected then so is the image $f(X)$.
The proof is quite simple: you take two points $a,bin f(X)$, you connect points from their preimages and then compose that newly created path with $f$. $Box$
With that you have a new tool to show that some space $Y$ is path connected. You first show that a different space $X$ is path connected (which might be easier) and then you show that $Y$ is a continuous image of $X$. So let's have a look at a simplier space:
Fact. $mathbb{R}^nbackslash{0}$ is path connected for $n>1$.
Proof. Indeed, let $v,winmathbb{R}^n$, $v,wneq 0$. We will consider two cases:
(1) if $v, w$ are linearly independent then the path we are looking for is given by
$$varphi:[0,1]tomathbb{R}^nbackslash{0}$$
$$varphi(t)=tv+(1-t)w$$
You can easily verify that this is a well defined continous function. The assumption that $v,w$ are linearly independent obviously means that $varphi(t)neq 0$ for any $t$.
(2) for $v,w$ linearly dependent take any point $zinmathbb{R}^n$ such that $z$ does not lie on the line connecting $v, w$ (or in other words such that $v,z$ are not linearly dependent). Such point always exists when $n>1$, you gain it by taking $v=(v_1,ldots, v_n)$, now taking its first non-zero coordinate say $v_m$ and reversing its sign into $-v_m$.
In that case we can apply (1) to both $(v,z)$ and $(z,w)$ pairs in order to produce two paths. You join those two paths to complete the proof. $Box$
Fact. The $n$-dimensional sphere $mathbb{S}^n={vinmathbb{R}^n | lVert vrVert=1}$ is path connected for $n>1$.
Proof. Let
$$N:mathbb{R}^nbackslash{0}to mathbb{S}^n$$
$$N(v)=frac{v}{lVert vrVert}$$
and note that this is a surjective, continuous function. Both Lemma and previous Fact apply. $Box$
Thank you for your complete answer but I have revise the last part of the question to be clear what I expect as the answer. I am not allowed to use the fact that you have mentioned. We just have that definition of arcwise connected and have been asked to prove that. How can we do that?
– Saeed
Nov 13 at 21:26
1
@Saeed I'm not really sure what exactly you are not allowed to use? There are few details missing in my answer (like showing that each function is continuous) but both facts + lemma have a proof here.
– freakish
Nov 13 at 21:28
add a comment |
up vote
1
down vote
You can try to use stereographic projection $ sigma : Bbb{S}^2smallsetminus {*} to Bbb{R}^2$ with appropriate “north pole” each time you want to construct a path between two points $p$ and $q$ in $Bbb{S}^2$.
The key fact is that the stereographic projection is a homeomorphism, so we can pass the path in the plane to the sphere.
For any two points $p,q in Bbb{S}^2smallsetminus {*} $ you have the corresponding points $sigma(p),sigma(q)in Bbb{R}^2$. Choose a path $gamma : I to Bbb{R}^2$ joining those points, and then compose it with $sigma^{-1}$. So you have path $sigma ^{-1} circ gamma : I to Bbb{S}^2smallsetminus {*}$ joining $p$ and $q$. If you want to be strict, just composing it one more time with inclusion map $ i : Bbb{S}^2smallsetminus {*} hookrightarrow Bbb{S}^2$. Then you are done.
Alternatively (without constructing paths), note that $Bbb{S}^2$ is the image of the continous map $ pi : Bbb{R}^3 smallsetminus {0} to Bbb{R}^3$ defined by $x mapsto frac{x}{||x||}$. Since the image of any path-connected space under a continous map is path-connected, therefore $Bbb{S}^2$ is path-connected.
Could you tell me how to do stereographic projection? It is not clear to me. I have read wiki on this but does not help.
– Saeed
Nov 13 at 20:33
@Saeed You can read about it on standard topology text, such as Lee’s Topological Manifold page 56. The point is that stereographic projection is a homeomorphism so you can pass your path in $R^2$ to the sphere minus a point.
– Kelvin Lois
Nov 13 at 20:42
My problem is I am not a math student and I have taken real analysis as my graduate course and this question is a homework problem. My professor has said nothing about your answer. So there should be some solution which does not depend on stereographic projection.
– Saeed
Nov 13 at 20:55
add a comment |
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
3
down vote
So there are many ways to show that a space is path connected. Spherical coordinates may be more difficult then the approach I propose. We start with this useful fact:
Lemma. If $f:Xto Y$ is a continous function and $X$ is path connected then so is the image $f(X)$.
The proof is quite simple: you take two points $a,bin f(X)$, you connect points from their preimages and then compose that newly created path with $f$. $Box$
With that you have a new tool to show that some space $Y$ is path connected. You first show that a different space $X$ is path connected (which might be easier) and then you show that $Y$ is a continuous image of $X$. So let's have a look at a simplier space:
Fact. $mathbb{R}^nbackslash{0}$ is path connected for $n>1$.
Proof. Indeed, let $v,winmathbb{R}^n$, $v,wneq 0$. We will consider two cases:
(1) if $v, w$ are linearly independent then the path we are looking for is given by
$$varphi:[0,1]tomathbb{R}^nbackslash{0}$$
$$varphi(t)=tv+(1-t)w$$
You can easily verify that this is a well defined continous function. The assumption that $v,w$ are linearly independent obviously means that $varphi(t)neq 0$ for any $t$.
(2) for $v,w$ linearly dependent take any point $zinmathbb{R}^n$ such that $z$ does not lie on the line connecting $v, w$ (or in other words such that $v,z$ are not linearly dependent). Such point always exists when $n>1$, you gain it by taking $v=(v_1,ldots, v_n)$, now taking its first non-zero coordinate say $v_m$ and reversing its sign into $-v_m$.
In that case we can apply (1) to both $(v,z)$ and $(z,w)$ pairs in order to produce two paths. You join those two paths to complete the proof. $Box$
Fact. The $n$-dimensional sphere $mathbb{S}^n={vinmathbb{R}^n | lVert vrVert=1}$ is path connected for $n>1$.
Proof. Let
$$N:mathbb{R}^nbackslash{0}to mathbb{S}^n$$
$$N(v)=frac{v}{lVert vrVert}$$
and note that this is a surjective, continuous function. Both Lemma and previous Fact apply. $Box$
Thank you for your complete answer but I have revise the last part of the question to be clear what I expect as the answer. I am not allowed to use the fact that you have mentioned. We just have that definition of arcwise connected and have been asked to prove that. How can we do that?
– Saeed
Nov 13 at 21:26
1
@Saeed I'm not really sure what exactly you are not allowed to use? There are few details missing in my answer (like showing that each function is continuous) but both facts + lemma have a proof here.
– freakish
Nov 13 at 21:28
add a comment |
up vote
3
down vote
So there are many ways to show that a space is path connected. Spherical coordinates may be more difficult then the approach I propose. We start with this useful fact:
Lemma. If $f:Xto Y$ is a continous function and $X$ is path connected then so is the image $f(X)$.
The proof is quite simple: you take two points $a,bin f(X)$, you connect points from their preimages and then compose that newly created path with $f$. $Box$
With that you have a new tool to show that some space $Y$ is path connected. You first show that a different space $X$ is path connected (which might be easier) and then you show that $Y$ is a continuous image of $X$. So let's have a look at a simplier space:
Fact. $mathbb{R}^nbackslash{0}$ is path connected for $n>1$.
Proof. Indeed, let $v,winmathbb{R}^n$, $v,wneq 0$. We will consider two cases:
(1) if $v, w$ are linearly independent then the path we are looking for is given by
$$varphi:[0,1]tomathbb{R}^nbackslash{0}$$
$$varphi(t)=tv+(1-t)w$$
You can easily verify that this is a well defined continous function. The assumption that $v,w$ are linearly independent obviously means that $varphi(t)neq 0$ for any $t$.
(2) for $v,w$ linearly dependent take any point $zinmathbb{R}^n$ such that $z$ does not lie on the line connecting $v, w$ (or in other words such that $v,z$ are not linearly dependent). Such point always exists when $n>1$, you gain it by taking $v=(v_1,ldots, v_n)$, now taking its first non-zero coordinate say $v_m$ and reversing its sign into $-v_m$.
In that case we can apply (1) to both $(v,z)$ and $(z,w)$ pairs in order to produce two paths. You join those two paths to complete the proof. $Box$
Fact. The $n$-dimensional sphere $mathbb{S}^n={vinmathbb{R}^n | lVert vrVert=1}$ is path connected for $n>1$.
Proof. Let
$$N:mathbb{R}^nbackslash{0}to mathbb{S}^n$$
$$N(v)=frac{v}{lVert vrVert}$$
and note that this is a surjective, continuous function. Both Lemma and previous Fact apply. $Box$
Thank you for your complete answer but I have revise the last part of the question to be clear what I expect as the answer. I am not allowed to use the fact that you have mentioned. We just have that definition of arcwise connected and have been asked to prove that. How can we do that?
– Saeed
Nov 13 at 21:26
1
@Saeed I'm not really sure what exactly you are not allowed to use? There are few details missing in my answer (like showing that each function is continuous) but both facts + lemma have a proof here.
– freakish
Nov 13 at 21:28
add a comment |
up vote
3
down vote
up vote
3
down vote
So there are many ways to show that a space is path connected. Spherical coordinates may be more difficult then the approach I propose. We start with this useful fact:
Lemma. If $f:Xto Y$ is a continous function and $X$ is path connected then so is the image $f(X)$.
The proof is quite simple: you take two points $a,bin f(X)$, you connect points from their preimages and then compose that newly created path with $f$. $Box$
With that you have a new tool to show that some space $Y$ is path connected. You first show that a different space $X$ is path connected (which might be easier) and then you show that $Y$ is a continuous image of $X$. So let's have a look at a simplier space:
Fact. $mathbb{R}^nbackslash{0}$ is path connected for $n>1$.
Proof. Indeed, let $v,winmathbb{R}^n$, $v,wneq 0$. We will consider two cases:
(1) if $v, w$ are linearly independent then the path we are looking for is given by
$$varphi:[0,1]tomathbb{R}^nbackslash{0}$$
$$varphi(t)=tv+(1-t)w$$
You can easily verify that this is a well defined continous function. The assumption that $v,w$ are linearly independent obviously means that $varphi(t)neq 0$ for any $t$.
(2) for $v,w$ linearly dependent take any point $zinmathbb{R}^n$ such that $z$ does not lie on the line connecting $v, w$ (or in other words such that $v,z$ are not linearly dependent). Such point always exists when $n>1$, you gain it by taking $v=(v_1,ldots, v_n)$, now taking its first non-zero coordinate say $v_m$ and reversing its sign into $-v_m$.
In that case we can apply (1) to both $(v,z)$ and $(z,w)$ pairs in order to produce two paths. You join those two paths to complete the proof. $Box$
Fact. The $n$-dimensional sphere $mathbb{S}^n={vinmathbb{R}^n | lVert vrVert=1}$ is path connected for $n>1$.
Proof. Let
$$N:mathbb{R}^nbackslash{0}to mathbb{S}^n$$
$$N(v)=frac{v}{lVert vrVert}$$
and note that this is a surjective, continuous function. Both Lemma and previous Fact apply. $Box$
So there are many ways to show that a space is path connected. Spherical coordinates may be more difficult then the approach I propose. We start with this useful fact:
Lemma. If $f:Xto Y$ is a continous function and $X$ is path connected then so is the image $f(X)$.
The proof is quite simple: you take two points $a,bin f(X)$, you connect points from their preimages and then compose that newly created path with $f$. $Box$
With that you have a new tool to show that some space $Y$ is path connected. You first show that a different space $X$ is path connected (which might be easier) and then you show that $Y$ is a continuous image of $X$. So let's have a look at a simplier space:
Fact. $mathbb{R}^nbackslash{0}$ is path connected for $n>1$.
Proof. Indeed, let $v,winmathbb{R}^n$, $v,wneq 0$. We will consider two cases:
(1) if $v, w$ are linearly independent then the path we are looking for is given by
$$varphi:[0,1]tomathbb{R}^nbackslash{0}$$
$$varphi(t)=tv+(1-t)w$$
You can easily verify that this is a well defined continous function. The assumption that $v,w$ are linearly independent obviously means that $varphi(t)neq 0$ for any $t$.
(2) for $v,w$ linearly dependent take any point $zinmathbb{R}^n$ such that $z$ does not lie on the line connecting $v, w$ (or in other words such that $v,z$ are not linearly dependent). Such point always exists when $n>1$, you gain it by taking $v=(v_1,ldots, v_n)$, now taking its first non-zero coordinate say $v_m$ and reversing its sign into $-v_m$.
In that case we can apply (1) to both $(v,z)$ and $(z,w)$ pairs in order to produce two paths. You join those two paths to complete the proof. $Box$
Fact. The $n$-dimensional sphere $mathbb{S}^n={vinmathbb{R}^n | lVert vrVert=1}$ is path connected for $n>1$.
Proof. Let
$$N:mathbb{R}^nbackslash{0}to mathbb{S}^n$$
$$N(v)=frac{v}{lVert vrVert}$$
and note that this is a surjective, continuous function. Both Lemma and previous Fact apply. $Box$
edited Nov 13 at 21:33
answered Nov 13 at 20:56
freakish
10.3k1526
10.3k1526
Thank you for your complete answer but I have revise the last part of the question to be clear what I expect as the answer. I am not allowed to use the fact that you have mentioned. We just have that definition of arcwise connected and have been asked to prove that. How can we do that?
– Saeed
Nov 13 at 21:26
1
@Saeed I'm not really sure what exactly you are not allowed to use? There are few details missing in my answer (like showing that each function is continuous) but both facts + lemma have a proof here.
– freakish
Nov 13 at 21:28
add a comment |
Thank you for your complete answer but I have revise the last part of the question to be clear what I expect as the answer. I am not allowed to use the fact that you have mentioned. We just have that definition of arcwise connected and have been asked to prove that. How can we do that?
– Saeed
Nov 13 at 21:26
1
@Saeed I'm not really sure what exactly you are not allowed to use? There are few details missing in my answer (like showing that each function is continuous) but both facts + lemma have a proof here.
– freakish
Nov 13 at 21:28
Thank you for your complete answer but I have revise the last part of the question to be clear what I expect as the answer. I am not allowed to use the fact that you have mentioned. We just have that definition of arcwise connected and have been asked to prove that. How can we do that?
– Saeed
Nov 13 at 21:26
Thank you for your complete answer but I have revise the last part of the question to be clear what I expect as the answer. I am not allowed to use the fact that you have mentioned. We just have that definition of arcwise connected and have been asked to prove that. How can we do that?
– Saeed
Nov 13 at 21:26
1
1
@Saeed I'm not really sure what exactly you are not allowed to use? There are few details missing in my answer (like showing that each function is continuous) but both facts + lemma have a proof here.
– freakish
Nov 13 at 21:28
@Saeed I'm not really sure what exactly you are not allowed to use? There are few details missing in my answer (like showing that each function is continuous) but both facts + lemma have a proof here.
– freakish
Nov 13 at 21:28
add a comment |
up vote
1
down vote
You can try to use stereographic projection $ sigma : Bbb{S}^2smallsetminus {*} to Bbb{R}^2$ with appropriate “north pole” each time you want to construct a path between two points $p$ and $q$ in $Bbb{S}^2$.
The key fact is that the stereographic projection is a homeomorphism, so we can pass the path in the plane to the sphere.
For any two points $p,q in Bbb{S}^2smallsetminus {*} $ you have the corresponding points $sigma(p),sigma(q)in Bbb{R}^2$. Choose a path $gamma : I to Bbb{R}^2$ joining those points, and then compose it with $sigma^{-1}$. So you have path $sigma ^{-1} circ gamma : I to Bbb{S}^2smallsetminus {*}$ joining $p$ and $q$. If you want to be strict, just composing it one more time with inclusion map $ i : Bbb{S}^2smallsetminus {*} hookrightarrow Bbb{S}^2$. Then you are done.
Alternatively (without constructing paths), note that $Bbb{S}^2$ is the image of the continous map $ pi : Bbb{R}^3 smallsetminus {0} to Bbb{R}^3$ defined by $x mapsto frac{x}{||x||}$. Since the image of any path-connected space under a continous map is path-connected, therefore $Bbb{S}^2$ is path-connected.
Could you tell me how to do stereographic projection? It is not clear to me. I have read wiki on this but does not help.
– Saeed
Nov 13 at 20:33
@Saeed You can read about it on standard topology text, such as Lee’s Topological Manifold page 56. The point is that stereographic projection is a homeomorphism so you can pass your path in $R^2$ to the sphere minus a point.
– Kelvin Lois
Nov 13 at 20:42
My problem is I am not a math student and I have taken real analysis as my graduate course and this question is a homework problem. My professor has said nothing about your answer. So there should be some solution which does not depend on stereographic projection.
– Saeed
Nov 13 at 20:55
add a comment |
up vote
1
down vote
You can try to use stereographic projection $ sigma : Bbb{S}^2smallsetminus {*} to Bbb{R}^2$ with appropriate “north pole” each time you want to construct a path between two points $p$ and $q$ in $Bbb{S}^2$.
The key fact is that the stereographic projection is a homeomorphism, so we can pass the path in the plane to the sphere.
For any two points $p,q in Bbb{S}^2smallsetminus {*} $ you have the corresponding points $sigma(p),sigma(q)in Bbb{R}^2$. Choose a path $gamma : I to Bbb{R}^2$ joining those points, and then compose it with $sigma^{-1}$. So you have path $sigma ^{-1} circ gamma : I to Bbb{S}^2smallsetminus {*}$ joining $p$ and $q$. If you want to be strict, just composing it one more time with inclusion map $ i : Bbb{S}^2smallsetminus {*} hookrightarrow Bbb{S}^2$. Then you are done.
Alternatively (without constructing paths), note that $Bbb{S}^2$ is the image of the continous map $ pi : Bbb{R}^3 smallsetminus {0} to Bbb{R}^3$ defined by $x mapsto frac{x}{||x||}$. Since the image of any path-connected space under a continous map is path-connected, therefore $Bbb{S}^2$ is path-connected.
Could you tell me how to do stereographic projection? It is not clear to me. I have read wiki on this but does not help.
– Saeed
Nov 13 at 20:33
@Saeed You can read about it on standard topology text, such as Lee’s Topological Manifold page 56. The point is that stereographic projection is a homeomorphism so you can pass your path in $R^2$ to the sphere minus a point.
– Kelvin Lois
Nov 13 at 20:42
My problem is I am not a math student and I have taken real analysis as my graduate course and this question is a homework problem. My professor has said nothing about your answer. So there should be some solution which does not depend on stereographic projection.
– Saeed
Nov 13 at 20:55
add a comment |
up vote
1
down vote
up vote
1
down vote
You can try to use stereographic projection $ sigma : Bbb{S}^2smallsetminus {*} to Bbb{R}^2$ with appropriate “north pole” each time you want to construct a path between two points $p$ and $q$ in $Bbb{S}^2$.
The key fact is that the stereographic projection is a homeomorphism, so we can pass the path in the plane to the sphere.
For any two points $p,q in Bbb{S}^2smallsetminus {*} $ you have the corresponding points $sigma(p),sigma(q)in Bbb{R}^2$. Choose a path $gamma : I to Bbb{R}^2$ joining those points, and then compose it with $sigma^{-1}$. So you have path $sigma ^{-1} circ gamma : I to Bbb{S}^2smallsetminus {*}$ joining $p$ and $q$. If you want to be strict, just composing it one more time with inclusion map $ i : Bbb{S}^2smallsetminus {*} hookrightarrow Bbb{S}^2$. Then you are done.
Alternatively (without constructing paths), note that $Bbb{S}^2$ is the image of the continous map $ pi : Bbb{R}^3 smallsetminus {0} to Bbb{R}^3$ defined by $x mapsto frac{x}{||x||}$. Since the image of any path-connected space under a continous map is path-connected, therefore $Bbb{S}^2$ is path-connected.
You can try to use stereographic projection $ sigma : Bbb{S}^2smallsetminus {*} to Bbb{R}^2$ with appropriate “north pole” each time you want to construct a path between two points $p$ and $q$ in $Bbb{S}^2$.
The key fact is that the stereographic projection is a homeomorphism, so we can pass the path in the plane to the sphere.
For any two points $p,q in Bbb{S}^2smallsetminus {*} $ you have the corresponding points $sigma(p),sigma(q)in Bbb{R}^2$. Choose a path $gamma : I to Bbb{R}^2$ joining those points, and then compose it with $sigma^{-1}$. So you have path $sigma ^{-1} circ gamma : I to Bbb{S}^2smallsetminus {*}$ joining $p$ and $q$. If you want to be strict, just composing it one more time with inclusion map $ i : Bbb{S}^2smallsetminus {*} hookrightarrow Bbb{S}^2$. Then you are done.
Alternatively (without constructing paths), note that $Bbb{S}^2$ is the image of the continous map $ pi : Bbb{R}^3 smallsetminus {0} to Bbb{R}^3$ defined by $x mapsto frac{x}{||x||}$. Since the image of any path-connected space under a continous map is path-connected, therefore $Bbb{S}^2$ is path-connected.
edited Nov 14 at 6:03
answered Nov 13 at 20:26
Kelvin Lois
3,0722822
3,0722822
Could you tell me how to do stereographic projection? It is not clear to me. I have read wiki on this but does not help.
– Saeed
Nov 13 at 20:33
@Saeed You can read about it on standard topology text, such as Lee’s Topological Manifold page 56. The point is that stereographic projection is a homeomorphism so you can pass your path in $R^2$ to the sphere minus a point.
– Kelvin Lois
Nov 13 at 20:42
My problem is I am not a math student and I have taken real analysis as my graduate course and this question is a homework problem. My professor has said nothing about your answer. So there should be some solution which does not depend on stereographic projection.
– Saeed
Nov 13 at 20:55
add a comment |
Could you tell me how to do stereographic projection? It is not clear to me. I have read wiki on this but does not help.
– Saeed
Nov 13 at 20:33
@Saeed You can read about it on standard topology text, such as Lee’s Topological Manifold page 56. The point is that stereographic projection is a homeomorphism so you can pass your path in $R^2$ to the sphere minus a point.
– Kelvin Lois
Nov 13 at 20:42
My problem is I am not a math student and I have taken real analysis as my graduate course and this question is a homework problem. My professor has said nothing about your answer. So there should be some solution which does not depend on stereographic projection.
– Saeed
Nov 13 at 20:55
Could you tell me how to do stereographic projection? It is not clear to me. I have read wiki on this but does not help.
– Saeed
Nov 13 at 20:33
Could you tell me how to do stereographic projection? It is not clear to me. I have read wiki on this but does not help.
– Saeed
Nov 13 at 20:33
@Saeed You can read about it on standard topology text, such as Lee’s Topological Manifold page 56. The point is that stereographic projection is a homeomorphism so you can pass your path in $R^2$ to the sphere minus a point.
– Kelvin Lois
Nov 13 at 20:42
@Saeed You can read about it on standard topology text, such as Lee’s Topological Manifold page 56. The point is that stereographic projection is a homeomorphism so you can pass your path in $R^2$ to the sphere minus a point.
– Kelvin Lois
Nov 13 at 20:42
My problem is I am not a math student and I have taken real analysis as my graduate course and this question is a homework problem. My professor has said nothing about your answer. So there should be some solution which does not depend on stereographic projection.
– Saeed
Nov 13 at 20:55
My problem is I am not a math student and I have taken real analysis as my graduate course and this question is a homework problem. My professor has said nothing about your answer. So there should be some solution which does not depend on stereographic projection.
– Saeed
Nov 13 at 20:55
add a comment |
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2997278%2fshow-that-the-unit-sphere-in-mathbbr3-is-pathwise-arcwise-connected%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Sphere = surface or also the interior of the ball?
– Math_QED
Nov 13 at 21:43
If it is the latter: show two easy things: (1) sphere is convex (2) convex implies path connected
– Math_QED
Nov 13 at 21:45