Continuous function from connected metric space to disrcete metric space
Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
In the following (Terence 2006, p.38) I have to prove as exercice:
Let $f : X to Y$ be a function from a connected metric space $(X, d)$ to a metric space $(Y, d_disc )$ with the discrete metric. Show that $f$ is continuous if and only if it is constant
I have proven this proposition without using the fact that $X$ is connected, so obviously I did something wrong. I would be very gratefull if you could point out my mistake.
Proof: $impliedby$ Suppose $f$ is constant, i.e.,
$$forall x,x'in X: f(x) = f(x')$$
Choose an arbitrary $varepsilon>0$. Then, no matter what our choice of $delta_varepsilon$ is, due to the definition of the discrete metric we always have
$$ d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))=0<varepsilon$$
$implies$ Now suppose that $f$ is continuous. Then, for any $x_0 in x$ we have
$$forall varepsilon>0 quad exists delta_varepsilon>0 quad forall x in X: quad d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))<varepsilon$$
Now suppose, for the sake of contradiction, that $f$ is not constant, i.e.,
$$exists x_0 in X quad forall x in X/x_0: f(x) neq f(x_0)$$
But then, for such $x_0$ we cannot find a $delta_0.5$ so that $d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))<0.5$ - a contradiction.
real-analysis analysis continuity connectedness
 |Â
show 2 more comments
up vote
1
down vote
favorite
In the following (Terence 2006, p.38) I have to prove as exercice:
Let $f : X to Y$ be a function from a connected metric space $(X, d)$ to a metric space $(Y, d_disc )$ with the discrete metric. Show that $f$ is continuous if and only if it is constant
I have proven this proposition without using the fact that $X$ is connected, so obviously I did something wrong. I would be very gratefull if you could point out my mistake.
Proof: $impliedby$ Suppose $f$ is constant, i.e.,
$$forall x,x'in X: f(x) = f(x')$$
Choose an arbitrary $varepsilon>0$. Then, no matter what our choice of $delta_varepsilon$ is, due to the definition of the discrete metric we always have
$$ d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))=0<varepsilon$$
$implies$ Now suppose that $f$ is continuous. Then, for any $x_0 in x$ we have
$$forall varepsilon>0 quad exists delta_varepsilon>0 quad forall x in X: quad d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))<varepsilon$$
Now suppose, for the sake of contradiction, that $f$ is not constant, i.e.,
$$exists x_0 in X quad forall x in X/x_0: f(x) neq f(x_0)$$
But then, for such $x_0$ we cannot find a $delta_0.5$ so that $d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))<0.5$ - a contradiction.
real-analysis analysis continuity connectedness
1
Your direction is reversed. In your attempt, $impliedby$ first, $implies$ second.
â xbh
Sep 5 at 8:01
Corrected it, thanks for pointing out.
â Cebià  Mellim
Sep 5 at 8:03
1
"$f$ is not constant" does not mean that $f(x) neq f(x_0)$ for all $xneq x_0$.
â xbh
Sep 5 at 8:03
1
Also your proof did not use the assumption that $X$ is connected.
â xbh
Sep 5 at 8:04
1
Yes, if you have learned it.
â xbh
Sep 5 at 8:20
 |Â
show 2 more comments
up vote
1
down vote
favorite
up vote
1
down vote
favorite
In the following (Terence 2006, p.38) I have to prove as exercice:
Let $f : X to Y$ be a function from a connected metric space $(X, d)$ to a metric space $(Y, d_disc )$ with the discrete metric. Show that $f$ is continuous if and only if it is constant
I have proven this proposition without using the fact that $X$ is connected, so obviously I did something wrong. I would be very gratefull if you could point out my mistake.
Proof: $impliedby$ Suppose $f$ is constant, i.e.,
$$forall x,x'in X: f(x) = f(x')$$
Choose an arbitrary $varepsilon>0$. Then, no matter what our choice of $delta_varepsilon$ is, due to the definition of the discrete metric we always have
$$ d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))=0<varepsilon$$
$implies$ Now suppose that $f$ is continuous. Then, for any $x_0 in x$ we have
$$forall varepsilon>0 quad exists delta_varepsilon>0 quad forall x in X: quad d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))<varepsilon$$
Now suppose, for the sake of contradiction, that $f$ is not constant, i.e.,
$$exists x_0 in X quad forall x in X/x_0: f(x) neq f(x_0)$$
But then, for such $x_0$ we cannot find a $delta_0.5$ so that $d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))<0.5$ - a contradiction.
real-analysis analysis continuity connectedness
In the following (Terence 2006, p.38) I have to prove as exercice:
Let $f : X to Y$ be a function from a connected metric space $(X, d)$ to a metric space $(Y, d_disc )$ with the discrete metric. Show that $f$ is continuous if and only if it is constant
I have proven this proposition without using the fact that $X$ is connected, so obviously I did something wrong. I would be very gratefull if you could point out my mistake.
Proof: $impliedby$ Suppose $f$ is constant, i.e.,
$$forall x,x'in X: f(x) = f(x')$$
Choose an arbitrary $varepsilon>0$. Then, no matter what our choice of $delta_varepsilon$ is, due to the definition of the discrete metric we always have
$$ d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))=0<varepsilon$$
$implies$ Now suppose that $f$ is continuous. Then, for any $x_0 in x$ we have
$$forall varepsilon>0 quad exists delta_varepsilon>0 quad forall x in X: quad d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))<varepsilon$$
Now suppose, for the sake of contradiction, that $f$ is not constant, i.e.,
$$exists x_0 in X quad forall x in X/x_0: f(x) neq f(x_0)$$
But then, for such $x_0$ we cannot find a $delta_0.5$ so that $d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))<0.5$ - a contradiction.
real-analysis analysis continuity connectedness
real-analysis analysis continuity connectedness
edited Sep 5 at 8:02
asked Sep 5 at 7:44
Cebià  Mellim
1088
1088
1
Your direction is reversed. In your attempt, $impliedby$ first, $implies$ second.
â xbh
Sep 5 at 8:01
Corrected it, thanks for pointing out.
â Cebià  Mellim
Sep 5 at 8:03
1
"$f$ is not constant" does not mean that $f(x) neq f(x_0)$ for all $xneq x_0$.
â xbh
Sep 5 at 8:03
1
Also your proof did not use the assumption that $X$ is connected.
â xbh
Sep 5 at 8:04
1
Yes, if you have learned it.
â xbh
Sep 5 at 8:20
 |Â
show 2 more comments
1
Your direction is reversed. In your attempt, $impliedby$ first, $implies$ second.
â xbh
Sep 5 at 8:01
Corrected it, thanks for pointing out.
â Cebià  Mellim
Sep 5 at 8:03
1
"$f$ is not constant" does not mean that $f(x) neq f(x_0)$ for all $xneq x_0$.
â xbh
Sep 5 at 8:03
1
Also your proof did not use the assumption that $X$ is connected.
â xbh
Sep 5 at 8:04
1
Yes, if you have learned it.
â xbh
Sep 5 at 8:20
1
1
Your direction is reversed. In your attempt, $impliedby$ first, $implies$ second.
â xbh
Sep 5 at 8:01
Your direction is reversed. In your attempt, $impliedby$ first, $implies$ second.
â xbh
Sep 5 at 8:01
Corrected it, thanks for pointing out.
â Cebià  Mellim
Sep 5 at 8:03
Corrected it, thanks for pointing out.
â Cebià  Mellim
Sep 5 at 8:03
1
1
"$f$ is not constant" does not mean that $f(x) neq f(x_0)$ for all $xneq x_0$.
â xbh
Sep 5 at 8:03
"$f$ is not constant" does not mean that $f(x) neq f(x_0)$ for all $xneq x_0$.
â xbh
Sep 5 at 8:03
1
1
Also your proof did not use the assumption that $X$ is connected.
â xbh
Sep 5 at 8:04
Also your proof did not use the assumption that $X$ is connected.
â xbh
Sep 5 at 8:04
1
1
Yes, if you have learned it.
â xbh
Sep 5 at 8:20
Yes, if you have learned it.
â xbh
Sep 5 at 8:20
 |Â
show 2 more comments
1 Answer
1
active
oldest
votes
up vote
2
down vote
accepted
Let $y_1,y_2 in f(X)$. Write $Y=Y_1 cup Y_2$ where $Y_1 cap Y_2 = emptyset$ and $y_1 in Y_1,y_2 in Y_2$. Since $Y_1$ and $Y_2$ are open sets as its a discrete metric space, $f^-1(Y_i)$ must be open and $X=f^-1(Y_1) cup f^-1(Y_2)$ contradicting the connectedness of the metric space $X$.
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
accepted
Let $y_1,y_2 in f(X)$. Write $Y=Y_1 cup Y_2$ where $Y_1 cap Y_2 = emptyset$ and $y_1 in Y_1,y_2 in Y_2$. Since $Y_1$ and $Y_2$ are open sets as its a discrete metric space, $f^-1(Y_i)$ must be open and $X=f^-1(Y_1) cup f^-1(Y_2)$ contradicting the connectedness of the metric space $X$.
add a comment |Â
up vote
2
down vote
accepted
Let $y_1,y_2 in f(X)$. Write $Y=Y_1 cup Y_2$ where $Y_1 cap Y_2 = emptyset$ and $y_1 in Y_1,y_2 in Y_2$. Since $Y_1$ and $Y_2$ are open sets as its a discrete metric space, $f^-1(Y_i)$ must be open and $X=f^-1(Y_1) cup f^-1(Y_2)$ contradicting the connectedness of the metric space $X$.
add a comment |Â
up vote
2
down vote
accepted
up vote
2
down vote
accepted
Let $y_1,y_2 in f(X)$. Write $Y=Y_1 cup Y_2$ where $Y_1 cap Y_2 = emptyset$ and $y_1 in Y_1,y_2 in Y_2$. Since $Y_1$ and $Y_2$ are open sets as its a discrete metric space, $f^-1(Y_i)$ must be open and $X=f^-1(Y_1) cup f^-1(Y_2)$ contradicting the connectedness of the metric space $X$.
Let $y_1,y_2 in f(X)$. Write $Y=Y_1 cup Y_2$ where $Y_1 cap Y_2 = emptyset$ and $y_1 in Y_1,y_2 in Y_2$. Since $Y_1$ and $Y_2$ are open sets as its a discrete metric space, $f^-1(Y_i)$ must be open and $X=f^-1(Y_1) cup f^-1(Y_2)$ contradicting the connectedness of the metric space $X$.
answered Sep 5 at 8:33
Balaji sb
40325
40325
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2905983%2fcontinuous-function-from-connected-metric-space-to-disrcete-metric-space%23new-answer', 'question_page');
);
Post as a guest
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
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
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
1
Your direction is reversed. In your attempt, $impliedby$ first, $implies$ second.
â xbh
Sep 5 at 8:01
Corrected it, thanks for pointing out.
â Cebià  Mellim
Sep 5 at 8:03
1
"$f$ is not constant" does not mean that $f(x) neq f(x_0)$ for all $xneq x_0$.
â xbh
Sep 5 at 8:03
1
Also your proof did not use the assumption that $X$ is connected.
â xbh
Sep 5 at 8:04
1
Yes, if you have learned it.
â xbh
Sep 5 at 8:20