Showing that $ U_x=left{a^p:pinmathbb{Q},pxright} $ are contiguous classes for $ a>1 $
$begingroup$
I'm trying to show that $ (U_x,V_x) $ is a pair of contiguous classes.
Proof. Let $ U_x=left{a^p:text{$pinmathbb{Q}$ and $p<x$}right} $ and $ V_x=left{a^q:text{$pinmathbb{Q}$ and $q>x$}right} $; obviously is $ a^pleqq a^q $ (because $ amapsto a^rho $ is increasing for rational $ rho $). Let $ xi<eta $ be two separators for $ U_x $ and $ V_x $: thus we have for all $ a^p $ and $ a^q $ the chain of inequalities $ a^qleqqxi $ and $ etaleqq a^q $. My textbook says that from there we can derive $ a^q/a^pgeqqeta/xi $ and therefore $ a^{q-p}>eta/xi>1 $. [...]
I'm okay with the $ >1 $ part, but I don't get from where the author derived the strict inequality between the first two members.
Secondly, assuming what claimed (that $ a^{1-p}>xi/eta>1 $) is true, the author states something like
Every positive rational number $ rho $ can be expressed as $ rho=q-p $, where $ p<x<q $, for every real number $ x $ (because of $ mathbb{Q} $ is dense in $ mathbb{R} $). We can now note that $ infleft{a^rho:text{$ rhoinmathbb{Q} $ and $ rho>0 $}right} $ equals $ 1 $, and derive a contradiction.
Could someone explain me this apparently tedious passage? How are the density of $ mathbb{Q} $ and the $ inf{E}=infleft{a^rhodotsright}=1 $ statements used?
real-analysis exponential-function proof-explanation
$endgroup$
add a comment |
$begingroup$
I'm trying to show that $ (U_x,V_x) $ is a pair of contiguous classes.
Proof. Let $ U_x=left{a^p:text{$pinmathbb{Q}$ and $p<x$}right} $ and $ V_x=left{a^q:text{$pinmathbb{Q}$ and $q>x$}right} $; obviously is $ a^pleqq a^q $ (because $ amapsto a^rho $ is increasing for rational $ rho $). Let $ xi<eta $ be two separators for $ U_x $ and $ V_x $: thus we have for all $ a^p $ and $ a^q $ the chain of inequalities $ a^qleqqxi $ and $ etaleqq a^q $. My textbook says that from there we can derive $ a^q/a^pgeqqeta/xi $ and therefore $ a^{q-p}>eta/xi>1 $. [...]
I'm okay with the $ >1 $ part, but I don't get from where the author derived the strict inequality between the first two members.
Secondly, assuming what claimed (that $ a^{1-p}>xi/eta>1 $) is true, the author states something like
Every positive rational number $ rho $ can be expressed as $ rho=q-p $, where $ p<x<q $, for every real number $ x $ (because of $ mathbb{Q} $ is dense in $ mathbb{R} $). We can now note that $ infleft{a^rho:text{$ rhoinmathbb{Q} $ and $ rho>0 $}right} $ equals $ 1 $, and derive a contradiction.
Could someone explain me this apparently tedious passage? How are the density of $ mathbb{Q} $ and the $ inf{E}=infleft{a^rhodotsright}=1 $ statements used?
real-analysis exponential-function proof-explanation
$endgroup$
add a comment |
$begingroup$
I'm trying to show that $ (U_x,V_x) $ is a pair of contiguous classes.
Proof. Let $ U_x=left{a^p:text{$pinmathbb{Q}$ and $p<x$}right} $ and $ V_x=left{a^q:text{$pinmathbb{Q}$ and $q>x$}right} $; obviously is $ a^pleqq a^q $ (because $ amapsto a^rho $ is increasing for rational $ rho $). Let $ xi<eta $ be two separators for $ U_x $ and $ V_x $: thus we have for all $ a^p $ and $ a^q $ the chain of inequalities $ a^qleqqxi $ and $ etaleqq a^q $. My textbook says that from there we can derive $ a^q/a^pgeqqeta/xi $ and therefore $ a^{q-p}>eta/xi>1 $. [...]
I'm okay with the $ >1 $ part, but I don't get from where the author derived the strict inequality between the first two members.
Secondly, assuming what claimed (that $ a^{1-p}>xi/eta>1 $) is true, the author states something like
Every positive rational number $ rho $ can be expressed as $ rho=q-p $, where $ p<x<q $, for every real number $ x $ (because of $ mathbb{Q} $ is dense in $ mathbb{R} $). We can now note that $ infleft{a^rho:text{$ rhoinmathbb{Q} $ and $ rho>0 $}right} $ equals $ 1 $, and derive a contradiction.
Could someone explain me this apparently tedious passage? How are the density of $ mathbb{Q} $ and the $ inf{E}=infleft{a^rhodotsright}=1 $ statements used?
real-analysis exponential-function proof-explanation
$endgroup$
I'm trying to show that $ (U_x,V_x) $ is a pair of contiguous classes.
Proof. Let $ U_x=left{a^p:text{$pinmathbb{Q}$ and $p<x$}right} $ and $ V_x=left{a^q:text{$pinmathbb{Q}$ and $q>x$}right} $; obviously is $ a^pleqq a^q $ (because $ amapsto a^rho $ is increasing for rational $ rho $). Let $ xi<eta $ be two separators for $ U_x $ and $ V_x $: thus we have for all $ a^p $ and $ a^q $ the chain of inequalities $ a^qleqqxi $ and $ etaleqq a^q $. My textbook says that from there we can derive $ a^q/a^pgeqqeta/xi $ and therefore $ a^{q-p}>eta/xi>1 $. [...]
I'm okay with the $ >1 $ part, but I don't get from where the author derived the strict inequality between the first two members.
Secondly, assuming what claimed (that $ a^{1-p}>xi/eta>1 $) is true, the author states something like
Every positive rational number $ rho $ can be expressed as $ rho=q-p $, where $ p<x<q $, for every real number $ x $ (because of $ mathbb{Q} $ is dense in $ mathbb{R} $). We can now note that $ infleft{a^rho:text{$ rhoinmathbb{Q} $ and $ rho>0 $}right} $ equals $ 1 $, and derive a contradiction.
Could someone explain me this apparently tedious passage? How are the density of $ mathbb{Q} $ and the $ inf{E}=infleft{a^rhodotsright}=1 $ statements used?
real-analysis exponential-function proof-explanation
real-analysis exponential-function proof-explanation
edited Dec 30 '18 at 17:21
marco21
asked Dec 30 '18 at 14:56
marco21marco21
308211
308211
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
1) Given that $xi<eta$ are two separators for $U_x$ and $V_x$, you can always find two new sepatators $hat{xi}, hat{eta}$ such that $xi < hat{xi} < hat{eta} < eta$. Now, $ a^p leqq xi < hat{xi} < hat{eta} < eta leqq a^q$. Then, $a^{q-p}>hat{eta}/ hat{xi}$ follows.
2) Given a positive rational number $rho$ and $x in mathbb{R}$, consider the open interval $] x, x+ rho [$. Then, you can find a rational number $q in ] x, x+ rho [$ because $mathbb{Q}$ is dense in $mathbb{R}$. Set $p:= q -rho$, then $rho = q-p$.
$endgroup$
$begingroup$
Thank you for the answer, the point 2) is now clear. I'm assuming that there are two separators for $ U_x $ and $ V_x $ to derive a contradiction: then $ a^pleqqxi<etaleqq a^q $, with "non necessarily strict" inequality. From this follows that $ a^{q-p}geqqeta/xi $. I'm looking for how to derive that this inequality is in fact strict.
$endgroup$
– marco21
Dec 30 '18 at 18:21
$begingroup$
Sorry, misunderstood the question at first, I assumed the fact you were trying to prove. Hope my new edit helps.
$endgroup$
– JAskgaard
Dec 30 '18 at 18:33
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%2f3056897%2fshowing-that-u-x-left-app-in-mathbbq-px-right-and-v-x-left-aq%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$
1) Given that $xi<eta$ are two separators for $U_x$ and $V_x$, you can always find two new sepatators $hat{xi}, hat{eta}$ such that $xi < hat{xi} < hat{eta} < eta$. Now, $ a^p leqq xi < hat{xi} < hat{eta} < eta leqq a^q$. Then, $a^{q-p}>hat{eta}/ hat{xi}$ follows.
2) Given a positive rational number $rho$ and $x in mathbb{R}$, consider the open interval $] x, x+ rho [$. Then, you can find a rational number $q in ] x, x+ rho [$ because $mathbb{Q}$ is dense in $mathbb{R}$. Set $p:= q -rho$, then $rho = q-p$.
$endgroup$
$begingroup$
Thank you for the answer, the point 2) is now clear. I'm assuming that there are two separators for $ U_x $ and $ V_x $ to derive a contradiction: then $ a^pleqqxi<etaleqq a^q $, with "non necessarily strict" inequality. From this follows that $ a^{q-p}geqqeta/xi $. I'm looking for how to derive that this inequality is in fact strict.
$endgroup$
– marco21
Dec 30 '18 at 18:21
$begingroup$
Sorry, misunderstood the question at first, I assumed the fact you were trying to prove. Hope my new edit helps.
$endgroup$
– JAskgaard
Dec 30 '18 at 18:33
add a comment |
$begingroup$
1) Given that $xi<eta$ are two separators for $U_x$ and $V_x$, you can always find two new sepatators $hat{xi}, hat{eta}$ such that $xi < hat{xi} < hat{eta} < eta$. Now, $ a^p leqq xi < hat{xi} < hat{eta} < eta leqq a^q$. Then, $a^{q-p}>hat{eta}/ hat{xi}$ follows.
2) Given a positive rational number $rho$ and $x in mathbb{R}$, consider the open interval $] x, x+ rho [$. Then, you can find a rational number $q in ] x, x+ rho [$ because $mathbb{Q}$ is dense in $mathbb{R}$. Set $p:= q -rho$, then $rho = q-p$.
$endgroup$
$begingroup$
Thank you for the answer, the point 2) is now clear. I'm assuming that there are two separators for $ U_x $ and $ V_x $ to derive a contradiction: then $ a^pleqqxi<etaleqq a^q $, with "non necessarily strict" inequality. From this follows that $ a^{q-p}geqqeta/xi $. I'm looking for how to derive that this inequality is in fact strict.
$endgroup$
– marco21
Dec 30 '18 at 18:21
$begingroup$
Sorry, misunderstood the question at first, I assumed the fact you were trying to prove. Hope my new edit helps.
$endgroup$
– JAskgaard
Dec 30 '18 at 18:33
add a comment |
$begingroup$
1) Given that $xi<eta$ are two separators for $U_x$ and $V_x$, you can always find two new sepatators $hat{xi}, hat{eta}$ such that $xi < hat{xi} < hat{eta} < eta$. Now, $ a^p leqq xi < hat{xi} < hat{eta} < eta leqq a^q$. Then, $a^{q-p}>hat{eta}/ hat{xi}$ follows.
2) Given a positive rational number $rho$ and $x in mathbb{R}$, consider the open interval $] x, x+ rho [$. Then, you can find a rational number $q in ] x, x+ rho [$ because $mathbb{Q}$ is dense in $mathbb{R}$. Set $p:= q -rho$, then $rho = q-p$.
$endgroup$
1) Given that $xi<eta$ are two separators for $U_x$ and $V_x$, you can always find two new sepatators $hat{xi}, hat{eta}$ such that $xi < hat{xi} < hat{eta} < eta$. Now, $ a^p leqq xi < hat{xi} < hat{eta} < eta leqq a^q$. Then, $a^{q-p}>hat{eta}/ hat{xi}$ follows.
2) Given a positive rational number $rho$ and $x in mathbb{R}$, consider the open interval $] x, x+ rho [$. Then, you can find a rational number $q in ] x, x+ rho [$ because $mathbb{Q}$ is dense in $mathbb{R}$. Set $p:= q -rho$, then $rho = q-p$.
edited Dec 30 '18 at 18:30
answered Dec 30 '18 at 18:06
JAskgaardJAskgaard
1467
1467
$begingroup$
Thank you for the answer, the point 2) is now clear. I'm assuming that there are two separators for $ U_x $ and $ V_x $ to derive a contradiction: then $ a^pleqqxi<etaleqq a^q $, with "non necessarily strict" inequality. From this follows that $ a^{q-p}geqqeta/xi $. I'm looking for how to derive that this inequality is in fact strict.
$endgroup$
– marco21
Dec 30 '18 at 18:21
$begingroup$
Sorry, misunderstood the question at first, I assumed the fact you were trying to prove. Hope my new edit helps.
$endgroup$
– JAskgaard
Dec 30 '18 at 18:33
add a comment |
$begingroup$
Thank you for the answer, the point 2) is now clear. I'm assuming that there are two separators for $ U_x $ and $ V_x $ to derive a contradiction: then $ a^pleqqxi<etaleqq a^q $, with "non necessarily strict" inequality. From this follows that $ a^{q-p}geqqeta/xi $. I'm looking for how to derive that this inequality is in fact strict.
$endgroup$
– marco21
Dec 30 '18 at 18:21
$begingroup$
Sorry, misunderstood the question at first, I assumed the fact you were trying to prove. Hope my new edit helps.
$endgroup$
– JAskgaard
Dec 30 '18 at 18:33
$begingroup$
Thank you for the answer, the point 2) is now clear. I'm assuming that there are two separators for $ U_x $ and $ V_x $ to derive a contradiction: then $ a^pleqqxi<etaleqq a^q $, with "non necessarily strict" inequality. From this follows that $ a^{q-p}geqqeta/xi $. I'm looking for how to derive that this inequality is in fact strict.
$endgroup$
– marco21
Dec 30 '18 at 18:21
$begingroup$
Thank you for the answer, the point 2) is now clear. I'm assuming that there are two separators for $ U_x $ and $ V_x $ to derive a contradiction: then $ a^pleqqxi<etaleqq a^q $, with "non necessarily strict" inequality. From this follows that $ a^{q-p}geqqeta/xi $. I'm looking for how to derive that this inequality is in fact strict.
$endgroup$
– marco21
Dec 30 '18 at 18:21
$begingroup$
Sorry, misunderstood the question at first, I assumed the fact you were trying to prove. Hope my new edit helps.
$endgroup$
– JAskgaard
Dec 30 '18 at 18:33
$begingroup$
Sorry, misunderstood the question at first, I assumed the fact you were trying to prove. Hope my new edit helps.
$endgroup$
– JAskgaard
Dec 30 '18 at 18:33
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%2f3056897%2fshowing-that-u-x-left-app-in-mathbbq-px-right-and-v-x-left-aq%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