A little question on rationals and open sets in $mathbbR$.
Clash Royale CLAN TAG#URR8PPP
up vote
-1
down vote
favorite
Let $A$ be an open set of real numbers, and $D$ be the set of rationals in $A$. For every $din D$, let $J(d)$ be an (arbitrary) open interval such that $d in J(d) subseteq A$. Is it true that $bigcup J (d) = A$ ?
general-topology real-numbers rational-numbers
add a comment |Â
up vote
-1
down vote
favorite
Let $A$ be an open set of real numbers, and $D$ be the set of rationals in $A$. For every $din D$, let $J(d)$ be an (arbitrary) open interval such that $d in J(d) subseteq A$. Is it true that $bigcup J (d) = A$ ?
general-topology real-numbers rational-numbers
add a comment |Â
up vote
-1
down vote
favorite
up vote
-1
down vote
favorite
Let $A$ be an open set of real numbers, and $D$ be the set of rationals in $A$. For every $din D$, let $J(d)$ be an (arbitrary) open interval such that $d in J(d) subseteq A$. Is it true that $bigcup J (d) = A$ ?
general-topology real-numbers rational-numbers
Let $A$ be an open set of real numbers, and $D$ be the set of rationals in $A$. For every $din D$, let $J(d)$ be an (arbitrary) open interval such that $d in J(d) subseteq A$. Is it true that $bigcup J (d) = A$ ?
general-topology real-numbers rational-numbers
general-topology real-numbers rational-numbers
edited Sep 1 at 3:44
Cornman
2,78421228
2,78421228
asked Sep 1 at 3:04
Alex123
184
184
add a comment |Â
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
4
down vote
accepted
No, it isn't true.
Consider $A=(0,1)$ and $J(d)$ being whichever one of $(0,frac1pi)$ or $(frac1pi,1)$ which contains $d$.
And if we were to impose J(d) = (d-1/n,d+1/n) for some n = 1,2,... ?
â Alex123
Sep 1 at 3:22
@Alex still no. List the rationals in $(0,1)$ as $d_1,d_2,ldots$, and let $J(d_k)=(d_k-frac12^k+2,d_k+frac12^k+2)$. Then the combined width of all the $J(d_k)$'s is $frac12$, so even with no overlap, (and no "overspill", as in $J(d_k)notsubseteq (0,1)$), half of $A$ (as measured by, well, measure) is still uncovered. In fact, this still works for $A=Bbb R$, meaning by far most of the number line is uncovered. We can also adjust the exponent to make the sum of the widths as small as we want.
â Arthur
Sep 1 at 3:40
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
4
down vote
accepted
No, it isn't true.
Consider $A=(0,1)$ and $J(d)$ being whichever one of $(0,frac1pi)$ or $(frac1pi,1)$ which contains $d$.
And if we were to impose J(d) = (d-1/n,d+1/n) for some n = 1,2,... ?
â Alex123
Sep 1 at 3:22
@Alex still no. List the rationals in $(0,1)$ as $d_1,d_2,ldots$, and let $J(d_k)=(d_k-frac12^k+2,d_k+frac12^k+2)$. Then the combined width of all the $J(d_k)$'s is $frac12$, so even with no overlap, (and no "overspill", as in $J(d_k)notsubseteq (0,1)$), half of $A$ (as measured by, well, measure) is still uncovered. In fact, this still works for $A=Bbb R$, meaning by far most of the number line is uncovered. We can also adjust the exponent to make the sum of the widths as small as we want.
â Arthur
Sep 1 at 3:40
add a comment |Â
up vote
4
down vote
accepted
No, it isn't true.
Consider $A=(0,1)$ and $J(d)$ being whichever one of $(0,frac1pi)$ or $(frac1pi,1)$ which contains $d$.
And if we were to impose J(d) = (d-1/n,d+1/n) for some n = 1,2,... ?
â Alex123
Sep 1 at 3:22
@Alex still no. List the rationals in $(0,1)$ as $d_1,d_2,ldots$, and let $J(d_k)=(d_k-frac12^k+2,d_k+frac12^k+2)$. Then the combined width of all the $J(d_k)$'s is $frac12$, so even with no overlap, (and no "overspill", as in $J(d_k)notsubseteq (0,1)$), half of $A$ (as measured by, well, measure) is still uncovered. In fact, this still works for $A=Bbb R$, meaning by far most of the number line is uncovered. We can also adjust the exponent to make the sum of the widths as small as we want.
â Arthur
Sep 1 at 3:40
add a comment |Â
up vote
4
down vote
accepted
up vote
4
down vote
accepted
No, it isn't true.
Consider $A=(0,1)$ and $J(d)$ being whichever one of $(0,frac1pi)$ or $(frac1pi,1)$ which contains $d$.
No, it isn't true.
Consider $A=(0,1)$ and $J(d)$ being whichever one of $(0,frac1pi)$ or $(frac1pi,1)$ which contains $d$.
answered Sep 1 at 3:07
Arthur
102k795176
102k795176
And if we were to impose J(d) = (d-1/n,d+1/n) for some n = 1,2,... ?
â Alex123
Sep 1 at 3:22
@Alex still no. List the rationals in $(0,1)$ as $d_1,d_2,ldots$, and let $J(d_k)=(d_k-frac12^k+2,d_k+frac12^k+2)$. Then the combined width of all the $J(d_k)$'s is $frac12$, so even with no overlap, (and no "overspill", as in $J(d_k)notsubseteq (0,1)$), half of $A$ (as measured by, well, measure) is still uncovered. In fact, this still works for $A=Bbb R$, meaning by far most of the number line is uncovered. We can also adjust the exponent to make the sum of the widths as small as we want.
â Arthur
Sep 1 at 3:40
add a comment |Â
And if we were to impose J(d) = (d-1/n,d+1/n) for some n = 1,2,... ?
â Alex123
Sep 1 at 3:22
@Alex still no. List the rationals in $(0,1)$ as $d_1,d_2,ldots$, and let $J(d_k)=(d_k-frac12^k+2,d_k+frac12^k+2)$. Then the combined width of all the $J(d_k)$'s is $frac12$, so even with no overlap, (and no "overspill", as in $J(d_k)notsubseteq (0,1)$), half of $A$ (as measured by, well, measure) is still uncovered. In fact, this still works for $A=Bbb R$, meaning by far most of the number line is uncovered. We can also adjust the exponent to make the sum of the widths as small as we want.
â Arthur
Sep 1 at 3:40
And if we were to impose J(d) = (d-1/n,d+1/n) for some n = 1,2,... ?
â Alex123
Sep 1 at 3:22
And if we were to impose J(d) = (d-1/n,d+1/n) for some n = 1,2,... ?
â Alex123
Sep 1 at 3:22
@Alex still no. List the rationals in $(0,1)$ as $d_1,d_2,ldots$, and let $J(d_k)=(d_k-frac12^k+2,d_k+frac12^k+2)$. Then the combined width of all the $J(d_k)$'s is $frac12$, so even with no overlap, (and no "overspill", as in $J(d_k)notsubseteq (0,1)$), half of $A$ (as measured by, well, measure) is still uncovered. In fact, this still works for $A=Bbb R$, meaning by far most of the number line is uncovered. We can also adjust the exponent to make the sum of the widths as small as we want.
â Arthur
Sep 1 at 3:40
@Alex still no. List the rationals in $(0,1)$ as $d_1,d_2,ldots$, and let $J(d_k)=(d_k-frac12^k+2,d_k+frac12^k+2)$. Then the combined width of all the $J(d_k)$'s is $frac12$, so even with no overlap, (and no "overspill", as in $J(d_k)notsubseteq (0,1)$), half of $A$ (as measured by, well, measure) is still uncovered. In fact, this still works for $A=Bbb R$, meaning by far most of the number line is uncovered. We can also adjust the exponent to make the sum of the widths as small as we want.
â Arthur
Sep 1 at 3:40
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2901315%2fa-little-question-on-rationals-and-open-sets-in-mathbbr%23new-answer', 'question_page');
);
Post as a guest
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
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
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