Monotonicity of tangent
$begingroup$
obviously for $a,b in ]frac{-pi}{2},frac{pi}{2}[$ the ordinary tangent map is strictly monotonic. Hence for $b geq a Rightarrow tan(b) geq tan(a)$. In the proof I try to understand it follows that $tan(]a,b[)=]tan(a),tan(b)[$. I need this since once proven I can conclude that tan maps open sets to open sets. It is clear that this statement is indeed true, but how to prove?
Thanks for your help!
real-analysis monotone-functions
$endgroup$
add a comment |
$begingroup$
obviously for $a,b in ]frac{-pi}{2},frac{pi}{2}[$ the ordinary tangent map is strictly monotonic. Hence for $b geq a Rightarrow tan(b) geq tan(a)$. In the proof I try to understand it follows that $tan(]a,b[)=]tan(a),tan(b)[$. I need this since once proven I can conclude that tan maps open sets to open sets. It is clear that this statement is indeed true, but how to prove?
Thanks for your help!
real-analysis monotone-functions
$endgroup$
1
$begingroup$
Yes, for any continuous function $f:[a,b]rightarrow mathbb{R}$ you have $f([a,b]) = [min{f},max{f}]$ and in particular if $f$ is monotonic you know what the max and min are
$endgroup$
– user25959
Dec 11 '18 at 16:20
1
$begingroup$
It is a consequence of th intermediate value theorem.
$endgroup$
– Bernard
Dec 11 '18 at 16:21
$begingroup$
@user25959 Thanks, your first statement follows from the fact that any interval in $mathbb{R}$ is compact and since f is continous it follows that the image contains the minimum and maximum?
$endgroup$
– Michael Maier
Dec 11 '18 at 16:24
1
$begingroup$
The fact that the image is an interval follows from intermediate value theorem. That fact about maximum and minimum being attained is also true.
$endgroup$
– user25959
Dec 11 '18 at 16:28
add a comment |
$begingroup$
obviously for $a,b in ]frac{-pi}{2},frac{pi}{2}[$ the ordinary tangent map is strictly monotonic. Hence for $b geq a Rightarrow tan(b) geq tan(a)$. In the proof I try to understand it follows that $tan(]a,b[)=]tan(a),tan(b)[$. I need this since once proven I can conclude that tan maps open sets to open sets. It is clear that this statement is indeed true, but how to prove?
Thanks for your help!
real-analysis monotone-functions
$endgroup$
obviously for $a,b in ]frac{-pi}{2},frac{pi}{2}[$ the ordinary tangent map is strictly monotonic. Hence for $b geq a Rightarrow tan(b) geq tan(a)$. In the proof I try to understand it follows that $tan(]a,b[)=]tan(a),tan(b)[$. I need this since once proven I can conclude that tan maps open sets to open sets. It is clear that this statement is indeed true, but how to prove?
Thanks for your help!
real-analysis monotone-functions
real-analysis monotone-functions
edited Dec 11 '18 at 16:20
Bernard
120k740113
120k740113
asked Dec 11 '18 at 16:14
Michael MaierMichael Maier
859
859
1
$begingroup$
Yes, for any continuous function $f:[a,b]rightarrow mathbb{R}$ you have $f([a,b]) = [min{f},max{f}]$ and in particular if $f$ is monotonic you know what the max and min are
$endgroup$
– user25959
Dec 11 '18 at 16:20
1
$begingroup$
It is a consequence of th intermediate value theorem.
$endgroup$
– Bernard
Dec 11 '18 at 16:21
$begingroup$
@user25959 Thanks, your first statement follows from the fact that any interval in $mathbb{R}$ is compact and since f is continous it follows that the image contains the minimum and maximum?
$endgroup$
– Michael Maier
Dec 11 '18 at 16:24
1
$begingroup$
The fact that the image is an interval follows from intermediate value theorem. That fact about maximum and minimum being attained is also true.
$endgroup$
– user25959
Dec 11 '18 at 16:28
add a comment |
1
$begingroup$
Yes, for any continuous function $f:[a,b]rightarrow mathbb{R}$ you have $f([a,b]) = [min{f},max{f}]$ and in particular if $f$ is monotonic you know what the max and min are
$endgroup$
– user25959
Dec 11 '18 at 16:20
1
$begingroup$
It is a consequence of th intermediate value theorem.
$endgroup$
– Bernard
Dec 11 '18 at 16:21
$begingroup$
@user25959 Thanks, your first statement follows from the fact that any interval in $mathbb{R}$ is compact and since f is continous it follows that the image contains the minimum and maximum?
$endgroup$
– Michael Maier
Dec 11 '18 at 16:24
1
$begingroup$
The fact that the image is an interval follows from intermediate value theorem. That fact about maximum and minimum being attained is also true.
$endgroup$
– user25959
Dec 11 '18 at 16:28
1
1
$begingroup$
Yes, for any continuous function $f:[a,b]rightarrow mathbb{R}$ you have $f([a,b]) = [min{f},max{f}]$ and in particular if $f$ is monotonic you know what the max and min are
$endgroup$
– user25959
Dec 11 '18 at 16:20
$begingroup$
Yes, for any continuous function $f:[a,b]rightarrow mathbb{R}$ you have $f([a,b]) = [min{f},max{f}]$ and in particular if $f$ is monotonic you know what the max and min are
$endgroup$
– user25959
Dec 11 '18 at 16:20
1
1
$begingroup$
It is a consequence of th intermediate value theorem.
$endgroup$
– Bernard
Dec 11 '18 at 16:21
$begingroup$
It is a consequence of th intermediate value theorem.
$endgroup$
– Bernard
Dec 11 '18 at 16:21
$begingroup$
@user25959 Thanks, your first statement follows from the fact that any interval in $mathbb{R}$ is compact and since f is continous it follows that the image contains the minimum and maximum?
$endgroup$
– Michael Maier
Dec 11 '18 at 16:24
$begingroup$
@user25959 Thanks, your first statement follows from the fact that any interval in $mathbb{R}$ is compact and since f is continous it follows that the image contains the minimum and maximum?
$endgroup$
– Michael Maier
Dec 11 '18 at 16:24
1
1
$begingroup$
The fact that the image is an interval follows from intermediate value theorem. That fact about maximum and minimum being attained is also true.
$endgroup$
– user25959
Dec 11 '18 at 16:28
$begingroup$
The fact that the image is an interval follows from intermediate value theorem. That fact about maximum and minimum being attained is also true.
$endgroup$
– user25959
Dec 11 '18 at 16:28
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
$$xin (a,b)Longleftrightarrow a<x<b$$
$$Longleftrightarrow a<x and x<b$$
$$Longleftrightarrow tan(a)<tan(x) and tan(x)<tan(b)$$
which follows due to monotonicity of tangent function
$$Longleftrightarrow tan(x)in(tan(a),tan(b))$$
Hope it is helpful
$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%2f3035448%2fmonotonicity-of-tangent%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$
$$xin (a,b)Longleftrightarrow a<x<b$$
$$Longleftrightarrow a<x and x<b$$
$$Longleftrightarrow tan(a)<tan(x) and tan(x)<tan(b)$$
which follows due to monotonicity of tangent function
$$Longleftrightarrow tan(x)in(tan(a),tan(b))$$
Hope it is helpful
$endgroup$
add a comment |
$begingroup$
$$xin (a,b)Longleftrightarrow a<x<b$$
$$Longleftrightarrow a<x and x<b$$
$$Longleftrightarrow tan(a)<tan(x) and tan(x)<tan(b)$$
which follows due to monotonicity of tangent function
$$Longleftrightarrow tan(x)in(tan(a),tan(b))$$
Hope it is helpful
$endgroup$
add a comment |
$begingroup$
$$xin (a,b)Longleftrightarrow a<x<b$$
$$Longleftrightarrow a<x and x<b$$
$$Longleftrightarrow tan(a)<tan(x) and tan(x)<tan(b)$$
which follows due to monotonicity of tangent function
$$Longleftrightarrow tan(x)in(tan(a),tan(b))$$
Hope it is helpful
$endgroup$
$$xin (a,b)Longleftrightarrow a<x<b$$
$$Longleftrightarrow a<x and x<b$$
$$Longleftrightarrow tan(a)<tan(x) and tan(x)<tan(b)$$
which follows due to monotonicity of tangent function
$$Longleftrightarrow tan(x)in(tan(a),tan(b))$$
Hope it is helpful
answered Dec 11 '18 at 16:22
MartundMartund
1,623213
1,623213
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%2f3035448%2fmonotonicity-of-tangent%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$
Yes, for any continuous function $f:[a,b]rightarrow mathbb{R}$ you have $f([a,b]) = [min{f},max{f}]$ and in particular if $f$ is monotonic you know what the max and min are
$endgroup$
– user25959
Dec 11 '18 at 16:20
1
$begingroup$
It is a consequence of th intermediate value theorem.
$endgroup$
– Bernard
Dec 11 '18 at 16:21
$begingroup$
@user25959 Thanks, your first statement follows from the fact that any interval in $mathbb{R}$ is compact and since f is continous it follows that the image contains the minimum and maximum?
$endgroup$
– Michael Maier
Dec 11 '18 at 16:24
1
$begingroup$
The fact that the image is an interval follows from intermediate value theorem. That fact about maximum and minimum being attained is also true.
$endgroup$
– user25959
Dec 11 '18 at 16:28