Find continuous functions $f,g$ such that $gcirc f $ is closed and continuous but neither $g$ nor $f$ is...
$begingroup$
Find continuous functions $f,g$ such that $gcirc f $ is closed and continuous but neither $g$ nor $f$ is closed map.
Find continuous functions $f,g$ such that $gcirc f $ is open and continuous but neither $g$ nor $f$ is open map.
Consider the spaces to be $Bbb R$
I took $f(x)=$ begin{cases} (x-1) &-1le xle 1\0 & x>1,x<-1end{cases}
and
$g(x)=$ begin{cases} (x-1) &x>1,x<-1\0 & -1le xle 1end{cases}
Though $gcirc f=0$ which is closed and $f$ is not closed since it takes $(-0.5,0.5)$ to $0$ but here $g$ is closed
I want examples where $g,f$ are not closed both. How to make $g$ not closed?
How to answer the second question?
real-analysis general-topology examples-counterexamples open-map closed-map
$endgroup$
add a comment |
$begingroup$
Find continuous functions $f,g$ such that $gcirc f $ is closed and continuous but neither $g$ nor $f$ is closed map.
Find continuous functions $f,g$ such that $gcirc f $ is open and continuous but neither $g$ nor $f$ is open map.
Consider the spaces to be $Bbb R$
I took $f(x)=$ begin{cases} (x-1) &-1le xle 1\0 & x>1,x<-1end{cases}
and
$g(x)=$ begin{cases} (x-1) &x>1,x<-1\0 & -1le xle 1end{cases}
Though $gcirc f=0$ which is closed and $f$ is not closed since it takes $(-0.5,0.5)$ to $0$ but here $g$ is closed
I want examples where $g,f$ are not closed both. How to make $g$ not closed?
How to answer the second question?
real-analysis general-topology examples-counterexamples open-map closed-map
$endgroup$
1
$begingroup$
A little off topic question, but why the measure theory tag?
$endgroup$
– Keen-ameteur
Jan 27 at 7:36
$begingroup$
Does the topology have to be the usual one in $mathbb{R}$ ?
$endgroup$
– Jeffery
Jan 27 at 13:19
2
$begingroup$
Hint: If $g$ is non-closed, and it is constant on some non-closed interval, then the restriction to that interval is closed.
$endgroup$
– user87690
Jan 27 at 14:21
$begingroup$
Each of your functions $f$ and $g$ is discontinuous at $-1$.
$endgroup$
– Alex Ravsky
Feb 2 at 21:21
add a comment |
$begingroup$
Find continuous functions $f,g$ such that $gcirc f $ is closed and continuous but neither $g$ nor $f$ is closed map.
Find continuous functions $f,g$ such that $gcirc f $ is open and continuous but neither $g$ nor $f$ is open map.
Consider the spaces to be $Bbb R$
I took $f(x)=$ begin{cases} (x-1) &-1le xle 1\0 & x>1,x<-1end{cases}
and
$g(x)=$ begin{cases} (x-1) &x>1,x<-1\0 & -1le xle 1end{cases}
Though $gcirc f=0$ which is closed and $f$ is not closed since it takes $(-0.5,0.5)$ to $0$ but here $g$ is closed
I want examples where $g,f$ are not closed both. How to make $g$ not closed?
How to answer the second question?
real-analysis general-topology examples-counterexamples open-map closed-map
$endgroup$
Find continuous functions $f,g$ such that $gcirc f $ is closed and continuous but neither $g$ nor $f$ is closed map.
Find continuous functions $f,g$ such that $gcirc f $ is open and continuous but neither $g$ nor $f$ is open map.
Consider the spaces to be $Bbb R$
I took $f(x)=$ begin{cases} (x-1) &-1le xle 1\0 & x>1,x<-1end{cases}
and
$g(x)=$ begin{cases} (x-1) &x>1,x<-1\0 & -1le xle 1end{cases}
Though $gcirc f=0$ which is closed and $f$ is not closed since it takes $(-0.5,0.5)$ to $0$ but here $g$ is closed
I want examples where $g,f$ are not closed both. How to make $g$ not closed?
How to answer the second question?
real-analysis general-topology examples-counterexamples open-map closed-map
real-analysis general-topology examples-counterexamples open-map closed-map
edited Feb 2 at 21:21


Alex Ravsky
42.7k32383
42.7k32383
asked Jan 27 at 7:25
user596656
1
$begingroup$
A little off topic question, but why the measure theory tag?
$endgroup$
– Keen-ameteur
Jan 27 at 7:36
$begingroup$
Does the topology have to be the usual one in $mathbb{R}$ ?
$endgroup$
– Jeffery
Jan 27 at 13:19
2
$begingroup$
Hint: If $g$ is non-closed, and it is constant on some non-closed interval, then the restriction to that interval is closed.
$endgroup$
– user87690
Jan 27 at 14:21
$begingroup$
Each of your functions $f$ and $g$ is discontinuous at $-1$.
$endgroup$
– Alex Ravsky
Feb 2 at 21:21
add a comment |
1
$begingroup$
A little off topic question, but why the measure theory tag?
$endgroup$
– Keen-ameteur
Jan 27 at 7:36
$begingroup$
Does the topology have to be the usual one in $mathbb{R}$ ?
$endgroup$
– Jeffery
Jan 27 at 13:19
2
$begingroup$
Hint: If $g$ is non-closed, and it is constant on some non-closed interval, then the restriction to that interval is closed.
$endgroup$
– user87690
Jan 27 at 14:21
$begingroup$
Each of your functions $f$ and $g$ is discontinuous at $-1$.
$endgroup$
– Alex Ravsky
Feb 2 at 21:21
1
1
$begingroup$
A little off topic question, but why the measure theory tag?
$endgroup$
– Keen-ameteur
Jan 27 at 7:36
$begingroup$
A little off topic question, but why the measure theory tag?
$endgroup$
– Keen-ameteur
Jan 27 at 7:36
$begingroup$
Does the topology have to be the usual one in $mathbb{R}$ ?
$endgroup$
– Jeffery
Jan 27 at 13:19
$begingroup$
Does the topology have to be the usual one in $mathbb{R}$ ?
$endgroup$
– Jeffery
Jan 27 at 13:19
2
2
$begingroup$
Hint: If $g$ is non-closed, and it is constant on some non-closed interval, then the restriction to that interval is closed.
$endgroup$
– user87690
Jan 27 at 14:21
$begingroup$
Hint: If $g$ is non-closed, and it is constant on some non-closed interval, then the restriction to that interval is closed.
$endgroup$
– user87690
Jan 27 at 14:21
$begingroup$
Each of your functions $f$ and $g$ is discontinuous at $-1$.
$endgroup$
– Alex Ravsky
Feb 2 at 21:21
$begingroup$
Each of your functions $f$ and $g$ is discontinuous at $-1$.
$endgroup$
– Alex Ravsky
Feb 2 at 21:21
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Find continuous functions $f,g$ such that $gcirc f $ is closed and continuous but neither $g$ nor $f$ is closed map.
We shall following a hint by user87690. First we put $f(x)=e^x$. Since $f(Bbb R)=(0,infty)$, the map $f$ is not closed. Now let $g(x)$ equals $1$, if $xge -1$ and $-1/x$, otherwise. Since $g(Bbb R)=(0, 1]$, the map $g$ is not closed. But $gf(x)=1$, so $gf(A)={1}$ for each non-empty closed subset $A$ of $Bbb R$.
Find continuous functions $f,g$ such that $gcirc f $ is open and continuous but neither $g$ nor $f$ is open map.
There are no such functions. Indeed, assume to the contrary that the function $gf:Bbb RtoBbb R$ is open. First we show that the function $gf$ in injective. Suppose to the contrary that there exists $x,x’inBbb R$ such that $x<x’$ and $gf(x)=gf(x’)=y$. Since $gf$ is a continuous map, an image $gf([x,x’])$ of the segment $[x,x’]$ is compact. Therefore there exist numbers $m=min gf([x,x’])$ and $M=max gf([x,x’])$. If $m<y$ then an image $gf((x,x’))$ of an open set $(x,x’)$ equals to $[m,M]$ or to $[m,M)$, but neither of these sets is open, a contradiction. Similarly we obtain a contradiction if $M>y$. If $m=M=y$ then $gf((x,x’))={y}$, a contradiction again. Thus $gf(x)ne gf(x’)$. Thefore the function $f:Bbb RtoBbb R$ in injective too. By invariance of domain, $f$ is an open map.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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%2f3089239%2ffind-continuous-functions-f-g-such-that-g-circ-f-is-closed-and-continuous-b%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Find continuous functions $f,g$ such that $gcirc f $ is closed and continuous but neither $g$ nor $f$ is closed map.
We shall following a hint by user87690. First we put $f(x)=e^x$. Since $f(Bbb R)=(0,infty)$, the map $f$ is not closed. Now let $g(x)$ equals $1$, if $xge -1$ and $-1/x$, otherwise. Since $g(Bbb R)=(0, 1]$, the map $g$ is not closed. But $gf(x)=1$, so $gf(A)={1}$ for each non-empty closed subset $A$ of $Bbb R$.
Find continuous functions $f,g$ such that $gcirc f $ is open and continuous but neither $g$ nor $f$ is open map.
There are no such functions. Indeed, assume to the contrary that the function $gf:Bbb RtoBbb R$ is open. First we show that the function $gf$ in injective. Suppose to the contrary that there exists $x,x’inBbb R$ such that $x<x’$ and $gf(x)=gf(x’)=y$. Since $gf$ is a continuous map, an image $gf([x,x’])$ of the segment $[x,x’]$ is compact. Therefore there exist numbers $m=min gf([x,x’])$ and $M=max gf([x,x’])$. If $m<y$ then an image $gf((x,x’))$ of an open set $(x,x’)$ equals to $[m,M]$ or to $[m,M)$, but neither of these sets is open, a contradiction. Similarly we obtain a contradiction if $M>y$. If $m=M=y$ then $gf((x,x’))={y}$, a contradiction again. Thus $gf(x)ne gf(x’)$. Thefore the function $f:Bbb RtoBbb R$ in injective too. By invariance of domain, $f$ is an open map.
$endgroup$
add a comment |
$begingroup$
Find continuous functions $f,g$ such that $gcirc f $ is closed and continuous but neither $g$ nor $f$ is closed map.
We shall following a hint by user87690. First we put $f(x)=e^x$. Since $f(Bbb R)=(0,infty)$, the map $f$ is not closed. Now let $g(x)$ equals $1$, if $xge -1$ and $-1/x$, otherwise. Since $g(Bbb R)=(0, 1]$, the map $g$ is not closed. But $gf(x)=1$, so $gf(A)={1}$ for each non-empty closed subset $A$ of $Bbb R$.
Find continuous functions $f,g$ such that $gcirc f $ is open and continuous but neither $g$ nor $f$ is open map.
There are no such functions. Indeed, assume to the contrary that the function $gf:Bbb RtoBbb R$ is open. First we show that the function $gf$ in injective. Suppose to the contrary that there exists $x,x’inBbb R$ such that $x<x’$ and $gf(x)=gf(x’)=y$. Since $gf$ is a continuous map, an image $gf([x,x’])$ of the segment $[x,x’]$ is compact. Therefore there exist numbers $m=min gf([x,x’])$ and $M=max gf([x,x’])$. If $m<y$ then an image $gf((x,x’))$ of an open set $(x,x’)$ equals to $[m,M]$ or to $[m,M)$, but neither of these sets is open, a contradiction. Similarly we obtain a contradiction if $M>y$. If $m=M=y$ then $gf((x,x’))={y}$, a contradiction again. Thus $gf(x)ne gf(x’)$. Thefore the function $f:Bbb RtoBbb R$ in injective too. By invariance of domain, $f$ is an open map.
$endgroup$
add a comment |
$begingroup$
Find continuous functions $f,g$ such that $gcirc f $ is closed and continuous but neither $g$ nor $f$ is closed map.
We shall following a hint by user87690. First we put $f(x)=e^x$. Since $f(Bbb R)=(0,infty)$, the map $f$ is not closed. Now let $g(x)$ equals $1$, if $xge -1$ and $-1/x$, otherwise. Since $g(Bbb R)=(0, 1]$, the map $g$ is not closed. But $gf(x)=1$, so $gf(A)={1}$ for each non-empty closed subset $A$ of $Bbb R$.
Find continuous functions $f,g$ such that $gcirc f $ is open and continuous but neither $g$ nor $f$ is open map.
There are no such functions. Indeed, assume to the contrary that the function $gf:Bbb RtoBbb R$ is open. First we show that the function $gf$ in injective. Suppose to the contrary that there exists $x,x’inBbb R$ such that $x<x’$ and $gf(x)=gf(x’)=y$. Since $gf$ is a continuous map, an image $gf([x,x’])$ of the segment $[x,x’]$ is compact. Therefore there exist numbers $m=min gf([x,x’])$ and $M=max gf([x,x’])$. If $m<y$ then an image $gf((x,x’))$ of an open set $(x,x’)$ equals to $[m,M]$ or to $[m,M)$, but neither of these sets is open, a contradiction. Similarly we obtain a contradiction if $M>y$. If $m=M=y$ then $gf((x,x’))={y}$, a contradiction again. Thus $gf(x)ne gf(x’)$. Thefore the function $f:Bbb RtoBbb R$ in injective too. By invariance of domain, $f$ is an open map.
$endgroup$
Find continuous functions $f,g$ such that $gcirc f $ is closed and continuous but neither $g$ nor $f$ is closed map.
We shall following a hint by user87690. First we put $f(x)=e^x$. Since $f(Bbb R)=(0,infty)$, the map $f$ is not closed. Now let $g(x)$ equals $1$, if $xge -1$ and $-1/x$, otherwise. Since $g(Bbb R)=(0, 1]$, the map $g$ is not closed. But $gf(x)=1$, so $gf(A)={1}$ for each non-empty closed subset $A$ of $Bbb R$.
Find continuous functions $f,g$ such that $gcirc f $ is open and continuous but neither $g$ nor $f$ is open map.
There are no such functions. Indeed, assume to the contrary that the function $gf:Bbb RtoBbb R$ is open. First we show that the function $gf$ in injective. Suppose to the contrary that there exists $x,x’inBbb R$ such that $x<x’$ and $gf(x)=gf(x’)=y$. Since $gf$ is a continuous map, an image $gf([x,x’])$ of the segment $[x,x’]$ is compact. Therefore there exist numbers $m=min gf([x,x’])$ and $M=max gf([x,x’])$. If $m<y$ then an image $gf((x,x’))$ of an open set $(x,x’)$ equals to $[m,M]$ or to $[m,M)$, but neither of these sets is open, a contradiction. Similarly we obtain a contradiction if $M>y$. If $m=M=y$ then $gf((x,x’))={y}$, a contradiction again. Thus $gf(x)ne gf(x’)$. Thefore the function $f:Bbb RtoBbb R$ in injective too. By invariance of domain, $f$ is an open map.
answered Feb 2 at 21:20


Alex RavskyAlex Ravsky
42.7k32383
42.7k32383
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
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%2f3089239%2ffind-continuous-functions-f-g-such-that-g-circ-f-is-closed-and-continuous-b%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
1
$begingroup$
A little off topic question, but why the measure theory tag?
$endgroup$
– Keen-ameteur
Jan 27 at 7:36
$begingroup$
Does the topology have to be the usual one in $mathbb{R}$ ?
$endgroup$
– Jeffery
Jan 27 at 13:19
2
$begingroup$
Hint: If $g$ is non-closed, and it is constant on some non-closed interval, then the restriction to that interval is closed.
$endgroup$
– user87690
Jan 27 at 14:21
$begingroup$
Each of your functions $f$ and $g$ is discontinuous at $-1$.
$endgroup$
– Alex Ravsky
Feb 2 at 21:21