If A is compact then is f(A) closed?

Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
I have the following question:
Let $f: X rightarrow Y$ be a continuous map between topological spaces and let $A$ be a subset of $X$.
For the following statement, either give a proof or a counterexample.
- If $A$ is compact then $f(A)$ is closed.
I cannot think of a proof that starting from compact set will end up in a closed set so I think the statement is false. I understand the concept of compactness but I cannot think of an counterexample (e.g if I had an open set I would pick something like $(0,1)$ for an open set or similar but I'm a bit confused with what to pick for a compact set).
Any help/suggestions would be appreciated.
Thank you.
general-topology continuity compactness
add a comment |Â
up vote
1
down vote
favorite
I have the following question:
Let $f: X rightarrow Y$ be a continuous map between topological spaces and let $A$ be a subset of $X$.
For the following statement, either give a proof or a counterexample.
- If $A$ is compact then $f(A)$ is closed.
I cannot think of a proof that starting from compact set will end up in a closed set so I think the statement is false. I understand the concept of compactness but I cannot think of an counterexample (e.g if I had an open set I would pick something like $(0,1)$ for an open set or similar but I'm a bit confused with what to pick for a compact set).
Any help/suggestions would be appreciated.
Thank you.
general-topology continuity compactness
1
@ArnaudMortier A compact set is closed in a Hausdorff space, I think, but is a compact set necessarily closed in a general topological space?
â Matt
Aug 9 at 15:09
@ArnaudMortier Correct me if I'm wrong but for $f(A)$ to be closed if its compact then I think it needs to be a subset of Hausdorff space.
â Nick
Aug 9 at 15:12
Right. I should read the questions more carefully. @Matt
â Arnaud Mortier
Aug 9 at 15:13
add a comment |Â
up vote
1
down vote
favorite
up vote
1
down vote
favorite
I have the following question:
Let $f: X rightarrow Y$ be a continuous map between topological spaces and let $A$ be a subset of $X$.
For the following statement, either give a proof or a counterexample.
- If $A$ is compact then $f(A)$ is closed.
I cannot think of a proof that starting from compact set will end up in a closed set so I think the statement is false. I understand the concept of compactness but I cannot think of an counterexample (e.g if I had an open set I would pick something like $(0,1)$ for an open set or similar but I'm a bit confused with what to pick for a compact set).
Any help/suggestions would be appreciated.
Thank you.
general-topology continuity compactness
I have the following question:
Let $f: X rightarrow Y$ be a continuous map between topological spaces and let $A$ be a subset of $X$.
For the following statement, either give a proof or a counterexample.
- If $A$ is compact then $f(A)$ is closed.
I cannot think of a proof that starting from compact set will end up in a closed set so I think the statement is false. I understand the concept of compactness but I cannot think of an counterexample (e.g if I had an open set I would pick something like $(0,1)$ for an open set or similar but I'm a bit confused with what to pick for a compact set).
Any help/suggestions would be appreciated.
Thank you.
general-topology continuity compactness
asked Aug 9 at 15:05
Nick
444
444
1
@ArnaudMortier A compact set is closed in a Hausdorff space, I think, but is a compact set necessarily closed in a general topological space?
â Matt
Aug 9 at 15:09
@ArnaudMortier Correct me if I'm wrong but for $f(A)$ to be closed if its compact then I think it needs to be a subset of Hausdorff space.
â Nick
Aug 9 at 15:12
Right. I should read the questions more carefully. @Matt
â Arnaud Mortier
Aug 9 at 15:13
add a comment |Â
1
@ArnaudMortier A compact set is closed in a Hausdorff space, I think, but is a compact set necessarily closed in a general topological space?
â Matt
Aug 9 at 15:09
@ArnaudMortier Correct me if I'm wrong but for $f(A)$ to be closed if its compact then I think it needs to be a subset of Hausdorff space.
â Nick
Aug 9 at 15:12
Right. I should read the questions more carefully. @Matt
â Arnaud Mortier
Aug 9 at 15:13
1
1
@ArnaudMortier A compact set is closed in a Hausdorff space, I think, but is a compact set necessarily closed in a general topological space?
â Matt
Aug 9 at 15:09
@ArnaudMortier A compact set is closed in a Hausdorff space, I think, but is a compact set necessarily closed in a general topological space?
â Matt
Aug 9 at 15:09
@ArnaudMortier Correct me if I'm wrong but for $f(A)$ to be closed if its compact then I think it needs to be a subset of Hausdorff space.
â Nick
Aug 9 at 15:12
@ArnaudMortier Correct me if I'm wrong but for $f(A)$ to be closed if its compact then I think it needs to be a subset of Hausdorff space.
â Nick
Aug 9 at 15:12
Right. I should read the questions more carefully. @Matt
â Arnaud Mortier
Aug 9 at 15:13
Right. I should read the questions more carefully. @Matt
â Arnaud Mortier
Aug 9 at 15:13
add a comment |Â
2 Answers
2
active
oldest
votes
up vote
3
down vote
accepted
Here is a kind of trivial (i.e. boring) counterexample:
Let $X=mathbb R$ with the standard (metric) topology, $Y=mathbb R$ with the trivial topology (i.e. only $varnothing$ and $mathbb R$ are open) and define $f:Xto Y$ by $f(x)=0$ for all $xin X$. This is continuous, and the image of any compact set is $0$, which is not closed.
As pointed out in the comments, the target space $Y$ needs to fail the Hausdorff condition in order for a counterexample to occur.
add a comment |Â
up vote
2
down vote
Let $X$ be $mathbbR$ together with the usual euclidean topology, and $Y$ be $mathbbR$ together with the trivial topology. Let $A := [0,1]$. This is clearly compact. Let $f:X rightarrow Y$ be such that $f(x) = x$.
This is continuous trivially, and $f(A)$ is not closed in $Y$.
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
accepted
Here is a kind of trivial (i.e. boring) counterexample:
Let $X=mathbb R$ with the standard (metric) topology, $Y=mathbb R$ with the trivial topology (i.e. only $varnothing$ and $mathbb R$ are open) and define $f:Xto Y$ by $f(x)=0$ for all $xin X$. This is continuous, and the image of any compact set is $0$, which is not closed.
As pointed out in the comments, the target space $Y$ needs to fail the Hausdorff condition in order for a counterexample to occur.
add a comment |Â
up vote
3
down vote
accepted
Here is a kind of trivial (i.e. boring) counterexample:
Let $X=mathbb R$ with the standard (metric) topology, $Y=mathbb R$ with the trivial topology (i.e. only $varnothing$ and $mathbb R$ are open) and define $f:Xto Y$ by $f(x)=0$ for all $xin X$. This is continuous, and the image of any compact set is $0$, which is not closed.
As pointed out in the comments, the target space $Y$ needs to fail the Hausdorff condition in order for a counterexample to occur.
add a comment |Â
up vote
3
down vote
accepted
up vote
3
down vote
accepted
Here is a kind of trivial (i.e. boring) counterexample:
Let $X=mathbb R$ with the standard (metric) topology, $Y=mathbb R$ with the trivial topology (i.e. only $varnothing$ and $mathbb R$ are open) and define $f:Xto Y$ by $f(x)=0$ for all $xin X$. This is continuous, and the image of any compact set is $0$, which is not closed.
As pointed out in the comments, the target space $Y$ needs to fail the Hausdorff condition in order for a counterexample to occur.
Here is a kind of trivial (i.e. boring) counterexample:
Let $X=mathbb R$ with the standard (metric) topology, $Y=mathbb R$ with the trivial topology (i.e. only $varnothing$ and $mathbb R$ are open) and define $f:Xto Y$ by $f(x)=0$ for all $xin X$. This is continuous, and the image of any compact set is $0$, which is not closed.
As pointed out in the comments, the target space $Y$ needs to fail the Hausdorff condition in order for a counterexample to occur.
answered Aug 9 at 15:11
Aweygan
11.9k21437
11.9k21437
add a comment |Â
add a comment |Â
up vote
2
down vote
Let $X$ be $mathbbR$ together with the usual euclidean topology, and $Y$ be $mathbbR$ together with the trivial topology. Let $A := [0,1]$. This is clearly compact. Let $f:X rightarrow Y$ be such that $f(x) = x$.
This is continuous trivially, and $f(A)$ is not closed in $Y$.
add a comment |Â
up vote
2
down vote
Let $X$ be $mathbbR$ together with the usual euclidean topology, and $Y$ be $mathbbR$ together with the trivial topology. Let $A := [0,1]$. This is clearly compact. Let $f:X rightarrow Y$ be such that $f(x) = x$.
This is continuous trivially, and $f(A)$ is not closed in $Y$.
add a comment |Â
up vote
2
down vote
up vote
2
down vote
Let $X$ be $mathbbR$ together with the usual euclidean topology, and $Y$ be $mathbbR$ together with the trivial topology. Let $A := [0,1]$. This is clearly compact. Let $f:X rightarrow Y$ be such that $f(x) = x$.
This is continuous trivially, and $f(A)$ is not closed in $Y$.
Let $X$ be $mathbbR$ together with the usual euclidean topology, and $Y$ be $mathbbR$ together with the trivial topology. Let $A := [0,1]$. This is clearly compact. Let $f:X rightarrow Y$ be such that $f(x) = x$.
This is continuous trivially, and $f(A)$ is not closed in $Y$.
answered Aug 9 at 15:12
Matt
1,972617
1,972617
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%2f2877294%2fif-a-is-compact-then-is-fa-closed%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
@ArnaudMortier A compact set is closed in a Hausdorff space, I think, but is a compact set necessarily closed in a general topological space?
â Matt
Aug 9 at 15:09
@ArnaudMortier Correct me if I'm wrong but for $f(A)$ to be closed if its compact then I think it needs to be a subset of Hausdorff space.
â Nick
Aug 9 at 15:12
Right. I should read the questions more carefully. @Matt
â Arnaud Mortier
Aug 9 at 15:13