Why isn't this a Jordan-Measurable setConstructing a number not in $bigcuplimits_k=1^infty (q_k-fracepsilon2^k,q_k+fracepsilon2^k)$R as a union of a zero measure set and a meager setFinding an irrational not covered in standard proof that $mu(mathbbQ cap [0,1]) = 0$Closure, Interior, and Boundary of Jordan Measurable Sets.A set of small measure in the real line with an interesting propertyMeasurability of a set in Littlewood 3rd principleJordan outer content and Lebesgue measure coincide on compact sets: Folland's proof.Why do we need $beta_1>0$ and $alpha_n<beta_n$ in this proof?Measure of complement of union of nowhere dense set with positive measure$f: mathbb R to mathbb R, fin C^1$ then $f$ perserves measurability
Is the destination of a commercial flight important for the pilot?
Irreducibility of a simple polynomial
Can a monster with multiattack use this ability if they are missing a limb?
Is there any reason not to eat food that's been dropped on the surface of the moon?
Everything Bob says is false. How does he get people to trust him?
What's a natural way to say that someone works somewhere (for a job)?
How to combine multiple text files of different lengths and multiple columns by a column
At which point does a character regain all their Hit Dice?
Valid Badminton Score?
Is it correct to write "is not focus on"?
Bash method for viewing beginning and end of file
Where in the Bible does the greeting ("Dominus Vobiscum") used at Mass come from?
Is exact Kanji stroke length important?
apt-get update is failing in debian
What will be the benefits of Brexit?
Ways to speed up user implemented RK4
There is only s̶i̶x̶t̶y one place he can be
Finding all intervals that match predicate in vector
What would happen if the UK refused to take part in EU Parliamentary elections?
Is HostGator storing my password in plaintext?
How does a character multiclassing into warlock get a focus?
The plural of 'stomach"
Do I need a multiple entry visa for a trip UK -> Sweden -> UK?
Applicability of Single Responsibility Principle
Why isn't this a Jordan-Measurable set
Constructing a number not in $bigcuplimits_k=1^infty (q_k-fracepsilon2^k,q_k+fracepsilon2^k)$R as a union of a zero measure set and a meager setFinding an irrational not covered in standard proof that $mu(mathbbQ cap [0,1]) = 0$Closure, Interior, and Boundary of Jordan Measurable Sets.A set of small measure in the real line with an interesting propertyMeasurability of a set in Littlewood 3rd principleJordan outer content and Lebesgue measure coincide on compact sets: Folland's proof.Why do we need $beta_1>0$ and $alpha_n<beta_n$ in this proof?Measure of complement of union of nowhere dense set with positive measure$f: mathbb R to mathbb R, fin C^1$ then $f$ perserves measurability
$begingroup$
so I have a question. If we consider an enumeration of the rationals in $[0,1]$ $mathbbQ = q_1,q_2,...,q_n$ and we define $U_n,epsilon = ]q_n-epsilon/2^n, q_n + epsilon/2^n[$,
$U_epsilon = bigcuplimits_n=1^infty U_n,epsilon$
And this set won't be Jordan-Measurable at least when $epsilon $ is lower than $1/2$. My question is why it isn't possible to construct a sequence of elementary sets $K_N, U_N$ such that $K_N subseteq U_epsilon subseteq U_N$ and the content of $U_N-K_N$ goes to zero? Why doesn't making $K_N=bigcuplimits_n=1^N U_n,epsilon$ and $U_N = K_N bigcup [q_N,1]$ work? Why doesn't the limit tend to zero?
real-analysis measure-theory
edited Mar 17 at 12:16
Bernard
123k741117
asked Mar 17 at 11:58
Pedro SantosPedro Santos
1609
$endgroup$
add a comment |
$begingroup$
so I have a question. If we consider an enumeration of the rationals in $[0,1]$ $mathbbQ = q_1,q_2,...,q_n$ and we define $U_n,epsilon = ]q_n-epsilon/2^n, q_n + epsilon/2^n[$,
$U_epsilon = bigcuplimits_n=1^infty U_n,epsilon$
And this set won't be Jordan-Measurable at least when $epsilon $ is lower than $1/2$. My question is why it isn't possible to construct a sequence of elementary sets $K_N, U_N$ such that $K_N subseteq U_epsilon subseteq U_N$ and the content of $U_N-K_N$ goes to zero? Why doesn't making $K_N=bigcuplimits_n=1^N U_n,epsilon$ and $U_N = K_N bigcup [q_N,1]$ work? Why doesn't the limit tend to zero?
real-analysis measure-theory
edited Mar 17 at 12:16
Bernard
123k741117
asked Mar 17 at 11:58
Pedro SantosPedro Santos
1609
$endgroup$
add a comment |
$begingroup$
so I have a question. If we consider an enumeration of the rationals in $[0,1]$ $mathbbQ = q_1,q_2,...,q_n$ and we define $U_n,epsilon = ]q_n-epsilon/2^n, q_n + epsilon/2^n[$,
$U_epsilon = bigcuplimits_n=1^infty U_n,epsilon$
And this set won't be Jordan-Measurable at least when $epsilon $ is lower than $1/2$. My question is why it isn't possible to construct a sequence of elementary sets $K_N, U_N$ such that $K_N subseteq U_epsilon subseteq U_N$ and the content of $U_N-K_N$ goes to zero? Why doesn't making $K_N=bigcuplimits_n=1^N U_n,epsilon$ and $U_N = K_N bigcup [q_N,1]$ work? Why doesn't the limit tend to zero?
real-analysis measure-theory
edited Mar 17 at 12:16
Bernard
123k741117
asked Mar 17 at 11:58
Pedro SantosPedro Santos
1609
$endgroup$
so I have a question. If we consider an enumeration of the rationals in $[0,1]$ $mathbbQ = q_1,q_2,...,q_n$ and we define $U_n,epsilon = ]q_n-epsilon/2^n, q_n + epsilon/2^n[$,
$U_epsilon = bigcuplimits_n=1^infty U_n,epsilon$
And this set won't be Jordan-Measurable at least when $epsilon $ is lower than $1/2$. My question is why it isn't possible to construct a sequence of elementary sets $K_N, U_N$ such that $K_N subseteq U_epsilon subseteq U_N$ and the content of $U_N-K_N$ goes to zero? Why doesn't making $K_N=bigcuplimits_n=1^N U_n,epsilon$ and $U_N = K_N bigcup [q_N,1]$ work? Why doesn't the limit tend to zero?
real-analysis measure-theory
real-analysis measure-theory
edited Mar 17 at 12:16
Bernard
123k741117
asked Mar 17 at 11:58
Pedro SantosPedro Santos
1609
edited Mar 17 at 12:16
Bernard
123k741117
asked Mar 17 at 11:58
Pedro SantosPedro Santos
1609
edited Mar 17 at 12:16
Bernard
123k741117
edited Mar 17 at 12:16
Bernard
123k741117
edited Mar 17 at 12:16
Bernard
123k741117
123k741117
asked Mar 17 at 11:58
Pedro SantosPedro Santos
1609
asked Mar 17 at 11:58
Pedro SantosPedro Santos
1609
asked Mar 17 at 11:58
Pedro SantosPedro Santos
1609
1609
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Hint:
If $q_N to 1$, why must we have $U_epsilon subset U_N$?
answered Mar 17 at 12:39
RRLRRL
53k42573
$endgroup$
$begingroup$
Hm i see ur point , that neighborhood can surpass the interval .
$endgroup$
– Pedro Santos
Mar 17 at 12:40
$begingroup$
Also the enumeration cannot be monotonically increasing.
$endgroup$
– RRL
Mar 17 at 12:42
$begingroup$
Do u know if it is going to be Mensurable for $epsilon$ equal to $1/2$?
$endgroup$
– Pedro Santos
Mar 18 at 8:29
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%2f3151454%2fwhy-isnt-this-a-jordan-measurable-set%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$
Hint:
If $q_N to 1$, why must we have $U_epsilon subset U_N$?
answered Mar 17 at 12:39
RRLRRL
53k42573
$endgroup$
$begingroup$
Hm i see ur point , that neighborhood can surpass the interval .
$endgroup$
– Pedro Santos
Mar 17 at 12:40
$begingroup$
Also the enumeration cannot be monotonically increasing.
$endgroup$
– RRL
Mar 17 at 12:42
$begingroup$
Do u know if it is going to be Mensurable for $epsilon$ equal to $1/2$?
$endgroup$
– Pedro Santos
Mar 18 at 8:29
add a comment |
$begingroup$
Hint:
If $q_N to 1$, why must we have $U_epsilon subset U_N$?
answered Mar 17 at 12:39
RRLRRL
53k42573
$endgroup$
$begingroup$
Hm i see ur point , that neighborhood can surpass the interval .
$endgroup$
– Pedro Santos
Mar 17 at 12:40
$begingroup$
Also the enumeration cannot be monotonically increasing.
$endgroup$
– RRL
Mar 17 at 12:42
$begingroup$
Do u know if it is going to be Mensurable for $epsilon$ equal to $1/2$?
$endgroup$
– Pedro Santos
Mar 18 at 8:29
add a comment |
$begingroup$
Hint:
If $q_N to 1$, why must we have $U_epsilon subset U_N$?
answered Mar 17 at 12:39
RRLRRL
53k42573
$endgroup$
Hint:
If $q_N to 1$, why must we have $U_epsilon subset U_N$?
answered Mar 17 at 12:39
RRLRRL
53k42573
answered Mar 17 at 12:39
RRLRRL
53k42573
answered Mar 17 at 12:39
RRLRRL
53k42573
answered Mar 17 at 12:39
RRLRRL
53k42573
53k42573
$begingroup$
Hm i see ur point , that neighborhood can surpass the interval .
$endgroup$
– Pedro Santos
Mar 17 at 12:40
$begingroup$
Also the enumeration cannot be monotonically increasing.
$endgroup$
– RRL
Mar 17 at 12:42
$begingroup$
Do u know if it is going to be Mensurable for $epsilon$ equal to $1/2$?
$endgroup$
– Pedro Santos
Mar 18 at 8:29
add a comment |
$begingroup$
Hm i see ur point , that neighborhood can surpass the interval .
$endgroup$
– Pedro Santos
Mar 17 at 12:40
$begingroup$
Also the enumeration cannot be monotonically increasing.
$endgroup$
– RRL
Mar 17 at 12:42
$begingroup$
Do u know if it is going to be Mensurable for $epsilon$ equal to $1/2$?
$endgroup$
– Pedro Santos
Mar 18 at 8:29
$begingroup$
Hm i see ur point , that neighborhood can surpass the interval .
$endgroup$
– Pedro Santos
Mar 17 at 12:40
$begingroup$
Hm i see ur point , that neighborhood can surpass the interval .
$endgroup$
– Pedro Santos
Mar 17 at 12:40
$begingroup$
Also the enumeration cannot be monotonically increasing.
$endgroup$
– RRL
Mar 17 at 12:42
$begingroup$
Also the enumeration cannot be monotonically increasing.
$endgroup$
– RRL
Mar 17 at 12:42
$begingroup$
Do u know if it is going to be Mensurable for $epsilon$ equal to $1/2$?
$endgroup$
– Pedro Santos
Mar 18 at 8:29
$begingroup$
Do u know if it is going to be Mensurable for $epsilon$ equal to $1/2$?
$endgroup$
– Pedro Santos
Mar 18 at 8:29
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%2f3151454%2fwhy-isnt-this-a-jordan-measurable-set%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
