${ x : x,c in mathbb{R} land c>0 land forall j,k in mathbb{Z} ( k ge 0 Rightarrow |x-j2^{-k}| ge c2^{-k}...
$begingroup$
We define the subset $Asubset mathbb{R}$ as follows: $xin A$ if and only if there exists $c>0$ so that
$$ |x-j2^{-k}|geq c2^{-k} $$
holds for all $jin mathbb{Z}$ and integers $kgeq 0$. Prove that $A$ is dense
So I tried showing that for any interval $(a,b)in mathbb{R}, (a,b)cap A neq emptyset$. But I am having quite a bit of trouble. Does anyone have a hint on how to proceed?
real-analysis general-topology
$endgroup$
add a comment |
$begingroup$
We define the subset $Asubset mathbb{R}$ as follows: $xin A$ if and only if there exists $c>0$ so that
$$ |x-j2^{-k}|geq c2^{-k} $$
holds for all $jin mathbb{Z}$ and integers $kgeq 0$. Prove that $A$ is dense
So I tried showing that for any interval $(a,b)in mathbb{R}, (a,b)cap A neq emptyset$. But I am having quite a bit of trouble. Does anyone have a hint on how to proceed?
real-analysis general-topology
$endgroup$
$begingroup$
Dense in $Bbb R$?
$endgroup$
– Mostafa Ayaz
Dec 3 '18 at 9:21
add a comment |
$begingroup$
We define the subset $Asubset mathbb{R}$ as follows: $xin A$ if and only if there exists $c>0$ so that
$$ |x-j2^{-k}|geq c2^{-k} $$
holds for all $jin mathbb{Z}$ and integers $kgeq 0$. Prove that $A$ is dense
So I tried showing that for any interval $(a,b)in mathbb{R}, (a,b)cap A neq emptyset$. But I am having quite a bit of trouble. Does anyone have a hint on how to proceed?
real-analysis general-topology
$endgroup$
We define the subset $Asubset mathbb{R}$ as follows: $xin A$ if and only if there exists $c>0$ so that
$$ |x-j2^{-k}|geq c2^{-k} $$
holds for all $jin mathbb{Z}$ and integers $kgeq 0$. Prove that $A$ is dense
So I tried showing that for any interval $(a,b)in mathbb{R}, (a,b)cap A neq emptyset$. But I am having quite a bit of trouble. Does anyone have a hint on how to proceed?
real-analysis general-topology
real-analysis general-topology
edited Dec 3 '18 at 10:24
user21820
38.8k543153
38.8k543153
asked Dec 3 '18 at 9:08
Joe Man AnalysisJoe Man Analysis
33419
33419
$begingroup$
Dense in $Bbb R$?
$endgroup$
– Mostafa Ayaz
Dec 3 '18 at 9:21
add a comment |
$begingroup$
Dense in $Bbb R$?
$endgroup$
– Mostafa Ayaz
Dec 3 '18 at 9:21
$begingroup$
Dense in $Bbb R$?
$endgroup$
– Mostafa Ayaz
Dec 3 '18 at 9:21
$begingroup$
Dense in $Bbb R$?
$endgroup$
– Mostafa Ayaz
Dec 3 '18 at 9:21
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
If $x $ is a rational number wchich can be represent as $frac{s}{l} $ with $GCD(s,l)=1 $ and such that $2 $ not divide $l$ then $xin A.$ This is because that $$|2^k x -j|geqfrac{1}{|l|}$$ for all $jin mathbb{Z}.$ But set of such $x$ is dense in $mathbb{R}.$
$endgroup$
$begingroup$
what's NWD?....
$endgroup$
– mathworker21
Dec 3 '18 at 9:22
$begingroup$
sorry I mean GCD
$endgroup$
– MotylaNogaTomkaMazura
Dec 3 '18 at 9:23
$begingroup$
greatest common divisor
$endgroup$
– MotylaNogaTomkaMazura
Dec 3 '18 at 9:24
2
$begingroup$
Why is this set dense in $mathbb{R}$?
$endgroup$
– elrond
Dec 3 '18 at 10:30
1
$begingroup$
@elrond for a fixed prime $p>2$ the set ${k/p^m}$ is dense (it actually is true even if $p$ is not prime). This is because for any $xinmathbb{R}$ and any $m$ there's one of those rationals between $x$ and $x+1/p^m$.
$endgroup$
– freakish
Dec 3 '18 at 10:53
add a comment |
$begingroup$
$x in A Longleftrightarrow$
there exists $c > 0$ with $forall j in Z$, integer $n geq 0$, $c leq |2^nx - j|.$
$x notin A Longleftrightarrow$
$forall c > 0$, there exists $j in Z$, integer $n geq 0$ with $|2^nx - j| < c$
$Longleftrightarrow$
exists $j in Z$, integer $n geq 0$ with $x = j/2^n$
$Longleftrightarrow x$ is a dyadic rational.
Since $R - Q subset R - { x : x text{ dyadic rational } } = A$
and $R - Q$ is dense, $A$ is dense.
$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%2f3023815%2fx-x-c-in-mathbbr-land-c0-land-forall-j-k-in-mathbbz-k-ge%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
$begingroup$
If $x $ is a rational number wchich can be represent as $frac{s}{l} $ with $GCD(s,l)=1 $ and such that $2 $ not divide $l$ then $xin A.$ This is because that $$|2^k x -j|geqfrac{1}{|l|}$$ for all $jin mathbb{Z}.$ But set of such $x$ is dense in $mathbb{R}.$
$endgroup$
$begingroup$
what's NWD?....
$endgroup$
– mathworker21
Dec 3 '18 at 9:22
$begingroup$
sorry I mean GCD
$endgroup$
– MotylaNogaTomkaMazura
Dec 3 '18 at 9:23
$begingroup$
greatest common divisor
$endgroup$
– MotylaNogaTomkaMazura
Dec 3 '18 at 9:24
2
$begingroup$
Why is this set dense in $mathbb{R}$?
$endgroup$
– elrond
Dec 3 '18 at 10:30
1
$begingroup$
@elrond for a fixed prime $p>2$ the set ${k/p^m}$ is dense (it actually is true even if $p$ is not prime). This is because for any $xinmathbb{R}$ and any $m$ there's one of those rationals between $x$ and $x+1/p^m$.
$endgroup$
– freakish
Dec 3 '18 at 10:53
add a comment |
$begingroup$
If $x $ is a rational number wchich can be represent as $frac{s}{l} $ with $GCD(s,l)=1 $ and such that $2 $ not divide $l$ then $xin A.$ This is because that $$|2^k x -j|geqfrac{1}{|l|}$$ for all $jin mathbb{Z}.$ But set of such $x$ is dense in $mathbb{R}.$
$endgroup$
$begingroup$
what's NWD?....
$endgroup$
– mathworker21
Dec 3 '18 at 9:22
$begingroup$
sorry I mean GCD
$endgroup$
– MotylaNogaTomkaMazura
Dec 3 '18 at 9:23
$begingroup$
greatest common divisor
$endgroup$
– MotylaNogaTomkaMazura
Dec 3 '18 at 9:24
2
$begingroup$
Why is this set dense in $mathbb{R}$?
$endgroup$
– elrond
Dec 3 '18 at 10:30
1
$begingroup$
@elrond for a fixed prime $p>2$ the set ${k/p^m}$ is dense (it actually is true even if $p$ is not prime). This is because for any $xinmathbb{R}$ and any $m$ there's one of those rationals between $x$ and $x+1/p^m$.
$endgroup$
– freakish
Dec 3 '18 at 10:53
add a comment |
$begingroup$
If $x $ is a rational number wchich can be represent as $frac{s}{l} $ with $GCD(s,l)=1 $ and such that $2 $ not divide $l$ then $xin A.$ This is because that $$|2^k x -j|geqfrac{1}{|l|}$$ for all $jin mathbb{Z}.$ But set of such $x$ is dense in $mathbb{R}.$
$endgroup$
If $x $ is a rational number wchich can be represent as $frac{s}{l} $ with $GCD(s,l)=1 $ and such that $2 $ not divide $l$ then $xin A.$ This is because that $$|2^k x -j|geqfrac{1}{|l|}$$ for all $jin mathbb{Z}.$ But set of such $x$ is dense in $mathbb{R}.$
edited Dec 3 '18 at 9:22
answered Dec 3 '18 at 9:21
MotylaNogaTomkaMazuraMotylaNogaTomkaMazura
6,552917
6,552917
$begingroup$
what's NWD?....
$endgroup$
– mathworker21
Dec 3 '18 at 9:22
$begingroup$
sorry I mean GCD
$endgroup$
– MotylaNogaTomkaMazura
Dec 3 '18 at 9:23
$begingroup$
greatest common divisor
$endgroup$
– MotylaNogaTomkaMazura
Dec 3 '18 at 9:24
2
$begingroup$
Why is this set dense in $mathbb{R}$?
$endgroup$
– elrond
Dec 3 '18 at 10:30
1
$begingroup$
@elrond for a fixed prime $p>2$ the set ${k/p^m}$ is dense (it actually is true even if $p$ is not prime). This is because for any $xinmathbb{R}$ and any $m$ there's one of those rationals between $x$ and $x+1/p^m$.
$endgroup$
– freakish
Dec 3 '18 at 10:53
add a comment |
$begingroup$
what's NWD?....
$endgroup$
– mathworker21
Dec 3 '18 at 9:22
$begingroup$
sorry I mean GCD
$endgroup$
– MotylaNogaTomkaMazura
Dec 3 '18 at 9:23
$begingroup$
greatest common divisor
$endgroup$
– MotylaNogaTomkaMazura
Dec 3 '18 at 9:24
2
$begingroup$
Why is this set dense in $mathbb{R}$?
$endgroup$
– elrond
Dec 3 '18 at 10:30
1
$begingroup$
@elrond for a fixed prime $p>2$ the set ${k/p^m}$ is dense (it actually is true even if $p$ is not prime). This is because for any $xinmathbb{R}$ and any $m$ there's one of those rationals between $x$ and $x+1/p^m$.
$endgroup$
– freakish
Dec 3 '18 at 10:53
$begingroup$
what's NWD?....
$endgroup$
– mathworker21
Dec 3 '18 at 9:22
$begingroup$
what's NWD?....
$endgroup$
– mathworker21
Dec 3 '18 at 9:22
$begingroup$
sorry I mean GCD
$endgroup$
– MotylaNogaTomkaMazura
Dec 3 '18 at 9:23
$begingroup$
sorry I mean GCD
$endgroup$
– MotylaNogaTomkaMazura
Dec 3 '18 at 9:23
$begingroup$
greatest common divisor
$endgroup$
– MotylaNogaTomkaMazura
Dec 3 '18 at 9:24
$begingroup$
greatest common divisor
$endgroup$
– MotylaNogaTomkaMazura
Dec 3 '18 at 9:24
2
2
$begingroup$
Why is this set dense in $mathbb{R}$?
$endgroup$
– elrond
Dec 3 '18 at 10:30
$begingroup$
Why is this set dense in $mathbb{R}$?
$endgroup$
– elrond
Dec 3 '18 at 10:30
1
1
$begingroup$
@elrond for a fixed prime $p>2$ the set ${k/p^m}$ is dense (it actually is true even if $p$ is not prime). This is because for any $xinmathbb{R}$ and any $m$ there's one of those rationals between $x$ and $x+1/p^m$.
$endgroup$
– freakish
Dec 3 '18 at 10:53
$begingroup$
@elrond for a fixed prime $p>2$ the set ${k/p^m}$ is dense (it actually is true even if $p$ is not prime). This is because for any $xinmathbb{R}$ and any $m$ there's one of those rationals between $x$ and $x+1/p^m$.
$endgroup$
– freakish
Dec 3 '18 at 10:53
add a comment |
$begingroup$
$x in A Longleftrightarrow$
there exists $c > 0$ with $forall j in Z$, integer $n geq 0$, $c leq |2^nx - j|.$
$x notin A Longleftrightarrow$
$forall c > 0$, there exists $j in Z$, integer $n geq 0$ with $|2^nx - j| < c$
$Longleftrightarrow$
exists $j in Z$, integer $n geq 0$ with $x = j/2^n$
$Longleftrightarrow x$ is a dyadic rational.
Since $R - Q subset R - { x : x text{ dyadic rational } } = A$
and $R - Q$ is dense, $A$ is dense.
$endgroup$
add a comment |
$begingroup$
$x in A Longleftrightarrow$
there exists $c > 0$ with $forall j in Z$, integer $n geq 0$, $c leq |2^nx - j|.$
$x notin A Longleftrightarrow$
$forall c > 0$, there exists $j in Z$, integer $n geq 0$ with $|2^nx - j| < c$
$Longleftrightarrow$
exists $j in Z$, integer $n geq 0$ with $x = j/2^n$
$Longleftrightarrow x$ is a dyadic rational.
Since $R - Q subset R - { x : x text{ dyadic rational } } = A$
and $R - Q$ is dense, $A$ is dense.
$endgroup$
add a comment |
$begingroup$
$x in A Longleftrightarrow$
there exists $c > 0$ with $forall j in Z$, integer $n geq 0$, $c leq |2^nx - j|.$
$x notin A Longleftrightarrow$
$forall c > 0$, there exists $j in Z$, integer $n geq 0$ with $|2^nx - j| < c$
$Longleftrightarrow$
exists $j in Z$, integer $n geq 0$ with $x = j/2^n$
$Longleftrightarrow x$ is a dyadic rational.
Since $R - Q subset R - { x : x text{ dyadic rational } } = A$
and $R - Q$ is dense, $A$ is dense.
$endgroup$
$x in A Longleftrightarrow$
there exists $c > 0$ with $forall j in Z$, integer $n geq 0$, $c leq |2^nx - j|.$
$x notin A Longleftrightarrow$
$forall c > 0$, there exists $j in Z$, integer $n geq 0$ with $|2^nx - j| < c$
$Longleftrightarrow$
exists $j in Z$, integer $n geq 0$ with $x = j/2^n$
$Longleftrightarrow x$ is a dyadic rational.
Since $R - Q subset R - { x : x text{ dyadic rational } } = A$
and $R - Q$ is dense, $A$ is dense.
edited Dec 3 '18 at 10:29
Joe Man Analysis
33419
33419
answered Dec 3 '18 at 10:04
William ElliotWilliam Elliot
7,5472720
7,5472720
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%2f3023815%2fx-x-c-in-mathbbr-land-c0-land-forall-j-k-in-mathbbz-k-ge%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
$begingroup$
Dense in $Bbb R$?
$endgroup$
– Mostafa Ayaz
Dec 3 '18 at 9:21