Is $f(x)=x+sin x$ a homeomorphic function?
up vote
0
down vote
favorite
I want to determine $f(x) = x+sin x$ is homeomorphic or not on $mathbb{R}$?
A bijective continuous function is homeomorphic if its inverse is also continuous.
I know that $f$ is bijective. Also $f$ is continuous being the sum of two continuous functions.
How to look for the continuity of $f^{-1}$.
general-topology continuity inverse-function
add a comment |
up vote
0
down vote
favorite
I want to determine $f(x) = x+sin x$ is homeomorphic or not on $mathbb{R}$?
A bijective continuous function is homeomorphic if its inverse is also continuous.
I know that $f$ is bijective. Also $f$ is continuous being the sum of two continuous functions.
How to look for the continuity of $f^{-1}$.
general-topology continuity inverse-function
Which properties?
– José Carlos Santos
Nov 22 at 18:32
continuity of both sides.
– Mittal G
Nov 22 at 18:34
1
The statement follows from the inverse function theorem.
– freakish
Nov 22 at 18:38
@ José Carlos Santos see the edited part.
– Mittal G
Nov 22 at 18:38
1
@freakish Not quite: the derivative vanishes at $x=(2k+1)pi$, $kinmathbb Z$.
– Federico
Nov 22 at 18:42
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
I want to determine $f(x) = x+sin x$ is homeomorphic or not on $mathbb{R}$?
A bijective continuous function is homeomorphic if its inverse is also continuous.
I know that $f$ is bijective. Also $f$ is continuous being the sum of two continuous functions.
How to look for the continuity of $f^{-1}$.
general-topology continuity inverse-function
I want to determine $f(x) = x+sin x$ is homeomorphic or not on $mathbb{R}$?
A bijective continuous function is homeomorphic if its inverse is also continuous.
I know that $f$ is bijective. Also $f$ is continuous being the sum of two continuous functions.
How to look for the continuity of $f^{-1}$.
general-topology continuity inverse-function
general-topology continuity inverse-function
edited Nov 22 at 18:44
egreg
176k1384198
176k1384198
asked Nov 22 at 18:26
Mittal G
1,182515
1,182515
Which properties?
– José Carlos Santos
Nov 22 at 18:32
continuity of both sides.
– Mittal G
Nov 22 at 18:34
1
The statement follows from the inverse function theorem.
– freakish
Nov 22 at 18:38
@ José Carlos Santos see the edited part.
– Mittal G
Nov 22 at 18:38
1
@freakish Not quite: the derivative vanishes at $x=(2k+1)pi$, $kinmathbb Z$.
– Federico
Nov 22 at 18:42
add a comment |
Which properties?
– José Carlos Santos
Nov 22 at 18:32
continuity of both sides.
– Mittal G
Nov 22 at 18:34
1
The statement follows from the inverse function theorem.
– freakish
Nov 22 at 18:38
@ José Carlos Santos see the edited part.
– Mittal G
Nov 22 at 18:38
1
@freakish Not quite: the derivative vanishes at $x=(2k+1)pi$, $kinmathbb Z$.
– Federico
Nov 22 at 18:42
Which properties?
– José Carlos Santos
Nov 22 at 18:32
Which properties?
– José Carlos Santos
Nov 22 at 18:32
continuity of both sides.
– Mittal G
Nov 22 at 18:34
continuity of both sides.
– Mittal G
Nov 22 at 18:34
1
1
The statement follows from the inverse function theorem.
– freakish
Nov 22 at 18:38
The statement follows from the inverse function theorem.
– freakish
Nov 22 at 18:38
@ José Carlos Santos see the edited part.
– Mittal G
Nov 22 at 18:38
@ José Carlos Santos see the edited part.
– Mittal G
Nov 22 at 18:38
1
1
@freakish Not quite: the derivative vanishes at $x=(2k+1)pi$, $kinmathbb Z$.
– Federico
Nov 22 at 18:42
@freakish Not quite: the derivative vanishes at $x=(2k+1)pi$, $kinmathbb Z$.
– Federico
Nov 22 at 18:42
add a comment |
2 Answers
2
active
oldest
votes
up vote
1
down vote
accepted
The function $f$ is continuous and strictly increasing, because its derivative is $ge0$ and is positive on the intervals $(pi+2kpi,pi+2(k+1)pi)$.
This its inverse function exists and is strictly increasing as well and defined over $mathbb{R}$ because $f$ is neither upper nor lower bounded. In particular $f^{-1}$ has left and right limit at every point, because
$$
lim_{xto c^-}f^{-1}(x)=sup{f(x):x<c}
qquad
lim_{xto c^+}f^{-1}(x)=inf{f(x):x>c}
$$
Suppose that at some point $c$ the two limits are different, say
$$
lim_{xto c^-}f^{-1}(x)=sup{f(x):x<c}=a
qquad
lim_{xto c^+}f^{-1}(x)=inf{f(x):x>c}=b
$$
with $a<b$. Then $(a+b)/2$ doesn't belong to the codomain of $f^{-1}$, which is the domain of $f$. Contradiction.
add a comment |
up vote
1
down vote
Once you know that $f$ is strictly increasing, just use this.
If you want to know some regularity of $f^{-1}$, continue reading.
Let $N={(2k+1)pi:kinmathbb Z}$.
In $mathbb Rsetminus N$ you have $f'neq 0$, so $f$ is actually a diffeomorphism.
Now we have to investigate what happens near $N$. By translation, it is sufficient to examine what happens around $pi$. By Taylor expansion, we have that for $epsilon>0$ small enough
$$
|f(x)-f(pi)| = |x+sin(x)-pi| geq left|frac{(x-pi)^3}{12}right|
qquad forall xin(pi-epsilon,pi+epsilon)
$$
so the inverse $f^{-1}$ is $tfrac13$-Holder near $pi$.
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',
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%2f3009477%2fis-fx-x-sin-x-a-homeomorphic-function%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
accepted
The function $f$ is continuous and strictly increasing, because its derivative is $ge0$ and is positive on the intervals $(pi+2kpi,pi+2(k+1)pi)$.
This its inverse function exists and is strictly increasing as well and defined over $mathbb{R}$ because $f$ is neither upper nor lower bounded. In particular $f^{-1}$ has left and right limit at every point, because
$$
lim_{xto c^-}f^{-1}(x)=sup{f(x):x<c}
qquad
lim_{xto c^+}f^{-1}(x)=inf{f(x):x>c}
$$
Suppose that at some point $c$ the two limits are different, say
$$
lim_{xto c^-}f^{-1}(x)=sup{f(x):x<c}=a
qquad
lim_{xto c^+}f^{-1}(x)=inf{f(x):x>c}=b
$$
with $a<b$. Then $(a+b)/2$ doesn't belong to the codomain of $f^{-1}$, which is the domain of $f$. Contradiction.
add a comment |
up vote
1
down vote
accepted
The function $f$ is continuous and strictly increasing, because its derivative is $ge0$ and is positive on the intervals $(pi+2kpi,pi+2(k+1)pi)$.
This its inverse function exists and is strictly increasing as well and defined over $mathbb{R}$ because $f$ is neither upper nor lower bounded. In particular $f^{-1}$ has left and right limit at every point, because
$$
lim_{xto c^-}f^{-1}(x)=sup{f(x):x<c}
qquad
lim_{xto c^+}f^{-1}(x)=inf{f(x):x>c}
$$
Suppose that at some point $c$ the two limits are different, say
$$
lim_{xto c^-}f^{-1}(x)=sup{f(x):x<c}=a
qquad
lim_{xto c^+}f^{-1}(x)=inf{f(x):x>c}=b
$$
with $a<b$. Then $(a+b)/2$ doesn't belong to the codomain of $f^{-1}$, which is the domain of $f$. Contradiction.
add a comment |
up vote
1
down vote
accepted
up vote
1
down vote
accepted
The function $f$ is continuous and strictly increasing, because its derivative is $ge0$ and is positive on the intervals $(pi+2kpi,pi+2(k+1)pi)$.
This its inverse function exists and is strictly increasing as well and defined over $mathbb{R}$ because $f$ is neither upper nor lower bounded. In particular $f^{-1}$ has left and right limit at every point, because
$$
lim_{xto c^-}f^{-1}(x)=sup{f(x):x<c}
qquad
lim_{xto c^+}f^{-1}(x)=inf{f(x):x>c}
$$
Suppose that at some point $c$ the two limits are different, say
$$
lim_{xto c^-}f^{-1}(x)=sup{f(x):x<c}=a
qquad
lim_{xto c^+}f^{-1}(x)=inf{f(x):x>c}=b
$$
with $a<b$. Then $(a+b)/2$ doesn't belong to the codomain of $f^{-1}$, which is the domain of $f$. Contradiction.
The function $f$ is continuous and strictly increasing, because its derivative is $ge0$ and is positive on the intervals $(pi+2kpi,pi+2(k+1)pi)$.
This its inverse function exists and is strictly increasing as well and defined over $mathbb{R}$ because $f$ is neither upper nor lower bounded. In particular $f^{-1}$ has left and right limit at every point, because
$$
lim_{xto c^-}f^{-1}(x)=sup{f(x):x<c}
qquad
lim_{xto c^+}f^{-1}(x)=inf{f(x):x>c}
$$
Suppose that at some point $c$ the two limits are different, say
$$
lim_{xto c^-}f^{-1}(x)=sup{f(x):x<c}=a
qquad
lim_{xto c^+}f^{-1}(x)=inf{f(x):x>c}=b
$$
with $a<b$. Then $(a+b)/2$ doesn't belong to the codomain of $f^{-1}$, which is the domain of $f$. Contradiction.
answered Nov 22 at 18:50
egreg
176k1384198
176k1384198
add a comment |
add a comment |
up vote
1
down vote
Once you know that $f$ is strictly increasing, just use this.
If you want to know some regularity of $f^{-1}$, continue reading.
Let $N={(2k+1)pi:kinmathbb Z}$.
In $mathbb Rsetminus N$ you have $f'neq 0$, so $f$ is actually a diffeomorphism.
Now we have to investigate what happens near $N$. By translation, it is sufficient to examine what happens around $pi$. By Taylor expansion, we have that for $epsilon>0$ small enough
$$
|f(x)-f(pi)| = |x+sin(x)-pi| geq left|frac{(x-pi)^3}{12}right|
qquad forall xin(pi-epsilon,pi+epsilon)
$$
so the inverse $f^{-1}$ is $tfrac13$-Holder near $pi$.
add a comment |
up vote
1
down vote
Once you know that $f$ is strictly increasing, just use this.
If you want to know some regularity of $f^{-1}$, continue reading.
Let $N={(2k+1)pi:kinmathbb Z}$.
In $mathbb Rsetminus N$ you have $f'neq 0$, so $f$ is actually a diffeomorphism.
Now we have to investigate what happens near $N$. By translation, it is sufficient to examine what happens around $pi$. By Taylor expansion, we have that for $epsilon>0$ small enough
$$
|f(x)-f(pi)| = |x+sin(x)-pi| geq left|frac{(x-pi)^3}{12}right|
qquad forall xin(pi-epsilon,pi+epsilon)
$$
so the inverse $f^{-1}$ is $tfrac13$-Holder near $pi$.
add a comment |
up vote
1
down vote
up vote
1
down vote
Once you know that $f$ is strictly increasing, just use this.
If you want to know some regularity of $f^{-1}$, continue reading.
Let $N={(2k+1)pi:kinmathbb Z}$.
In $mathbb Rsetminus N$ you have $f'neq 0$, so $f$ is actually a diffeomorphism.
Now we have to investigate what happens near $N$. By translation, it is sufficient to examine what happens around $pi$. By Taylor expansion, we have that for $epsilon>0$ small enough
$$
|f(x)-f(pi)| = |x+sin(x)-pi| geq left|frac{(x-pi)^3}{12}right|
qquad forall xin(pi-epsilon,pi+epsilon)
$$
so the inverse $f^{-1}$ is $tfrac13$-Holder near $pi$.
Once you know that $f$ is strictly increasing, just use this.
If you want to know some regularity of $f^{-1}$, continue reading.
Let $N={(2k+1)pi:kinmathbb Z}$.
In $mathbb Rsetminus N$ you have $f'neq 0$, so $f$ is actually a diffeomorphism.
Now we have to investigate what happens near $N$. By translation, it is sufficient to examine what happens around $pi$. By Taylor expansion, we have that for $epsilon>0$ small enough
$$
|f(x)-f(pi)| = |x+sin(x)-pi| geq left|frac{(x-pi)^3}{12}right|
qquad forall xin(pi-epsilon,pi+epsilon)
$$
so the inverse $f^{-1}$ is $tfrac13$-Holder near $pi$.
answered Nov 22 at 18:53
Federico
4,203512
4,203512
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3009477%2fis-fx-x-sin-x-a-homeomorphic-function%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
Which properties?
– José Carlos Santos
Nov 22 at 18:32
continuity of both sides.
– Mittal G
Nov 22 at 18:34
1
The statement follows from the inverse function theorem.
– freakish
Nov 22 at 18:38
@ José Carlos Santos see the edited part.
– Mittal G
Nov 22 at 18:38
1
@freakish Not quite: the derivative vanishes at $x=(2k+1)pi$, $kinmathbb Z$.
– Federico
Nov 22 at 18:42