(Use the Vitali covering lemma) to show that the union of closed intervals of real numbers is measurableConsequence Vitali covering lemmaVariant of the Vitali Covering LemmaVitali CoveringOn why the Vitali Covering Lemma does not apply when the covering collection contains degenerate closed intervalsShow that the union over a collection of compact cubes in $mathbbR^n$ is Lebesgue measurableVersion of the Vitali Covering LemmaShow (using Vitali Covering Lemma) that the union of any collection of closed, bounded non-generate intervals is measurable.$int_bigcup_n=1^inftyE_nf=sum_n=1^inftyint_E_nf$ given $f$ positive and measurableQuestion about Vitali Covering (from a Lemma in Royden and Fitzpatrick's book)Covering of Intervals
Is this draw by repetition?
Car headlights in a world without electricity
Avoiding the "not like other girls" trope?
Unlock My Phone! February 2018
Is it "common practice in Fourier transform spectroscopy to multiply the measured interferogram by an apodizing function"? If so, why?
What are the G forces leaving Earth orbit?
What is a Samsaran Word™?
How to enclose theorems and definition in rectangles?
GFCI outlets - can they be repaired? Are they really needed at the end of a circuit?
In the UK, is it possible to get a referendum by a court decision?
How to find if SQL server backup is encrypted with TDE without restoring the backup
My ex-girlfriend uses my Apple ID to log in to her iPad. Do I have to give her my Apple ID password to reset it?
Is "/bin/[.exe" a legitimate file? [Cygwin, Windows 10]
Can compressed videos be decoded back to their uncompresed original format?
What Exploit Are These User Agents Trying to Use?
Was the Stack Exchange "Happy April Fools" page fitting with the '90's code?
Does Dispel Magic work on Tiny Hut?
How to travel to Japan while expressing milk?
How to remove border from elements in the last row?
How could indestructible materials be used in power generation?
Am I breaking OOP practice with this architecture?
Do creatures with a listed speed of "0 ft., fly 30 ft. (hover)" ever touch the ground?
How to show a landlord what we have in savings?
How dangerous is XSS
(Use the Vitali covering lemma) to show that the union of closed intervals of real numbers is measurable
Consequence Vitali covering lemmaVariant of the Vitali Covering LemmaVitali CoveringOn why the Vitali Covering Lemma does not apply when the covering collection contains degenerate closed intervalsShow that the union over a collection of compact cubes in $mathbbR^n$ is Lebesgue measurableVersion of the Vitali Covering LemmaShow (using Vitali Covering Lemma) that the union of any collection of closed, bounded non-generate intervals is measurable.$int_bigcup_n=1^inftyE_nf=sum_n=1^inftyint_E_nf$ given $f$ positive and measurableQuestion about Vitali Covering (from a Lemma in Royden and Fitzpatrick's book)Covering of Intervals
$begingroup$
I have seen similar questions before but the replies given were less than satisfactory.
Let $mathcalF = F_alpha_alpha in J$ be an arbitrary family of closed intervals of real numbers. Let $E = displaystyle bigcup_alpha in J F_alpha$, and let $E_n = E cap [-n, n]$. Let $V$ be a Vitali covering of $E$; then $V$ is a Vitali covering of $E_n$. By the Vitali Lemma, we can find a finite, pairwise disjoint collection $V_i_i = 1^m$ of $V$ such that $m^ast(E_n smallsetminus displaystyle bigcup_i = 1^m V_i) < varepsilon$. Since each $V_i$ is an interval of real numbers, and intervals are Lebesgue measurable, it follows that $displaystyle bigcup_i = 1^m V_i$ is measurable. Thus
$$bigcup_n = 1^ infty E_n$$
is a countable collection of measurable sets and is therefore measurable. Moreover, the Lebesgue measure of this union is equal to the Lebasgue measure of $E$, which is what we sought to prove.
Does this make any sense?
real-analysis measure-theory proof-verification
$endgroup$
add a comment |
$begingroup$
I have seen similar questions before but the replies given were less than satisfactory.
Let $mathcalF = F_alpha_alpha in J$ be an arbitrary family of closed intervals of real numbers. Let $E = displaystyle bigcup_alpha in J F_alpha$, and let $E_n = E cap [-n, n]$. Let $V$ be a Vitali covering of $E$; then $V$ is a Vitali covering of $E_n$. By the Vitali Lemma, we can find a finite, pairwise disjoint collection $V_i_i = 1^m$ of $V$ such that $m^ast(E_n smallsetminus displaystyle bigcup_i = 1^m V_i) < varepsilon$. Since each $V_i$ is an interval of real numbers, and intervals are Lebesgue measurable, it follows that $displaystyle bigcup_i = 1^m V_i$ is measurable. Thus
$$bigcup_n = 1^ infty E_n$$
is a countable collection of measurable sets and is therefore measurable. Moreover, the Lebesgue measure of this union is equal to the Lebasgue measure of $E$, which is what we sought to prove.
Does this make any sense?
real-analysis measure-theory proof-verification
$endgroup$
$begingroup$
You don't really need Vitali's covering lemma for this: just note that an arbitrary union of (nontrivial) closed intervals has countably many connected components (because they have nonempty disjoint interiors), and every connected subset of reals is an interval, and thus measurable.
$endgroup$
– tomasz
Mar 20 at 18:37
$begingroup$
@tomasz If my collection of closed intervals is uncountable, why are there only countably many connected components in the union? Why must the interiors be disjoint?
$endgroup$
– Junglemath
Mar 20 at 19:12
$begingroup$
Because connected components are disjoint, by definition, so their interiors certainly are, too!
$endgroup$
– tomasz
Mar 20 at 19:34
$begingroup$
I still don't see why it's a countable collection. Plus, what if two intervals overlap? How are their interiors disjoint?
$endgroup$
– Junglemath
Mar 20 at 20:59
$begingroup$
If they overlap, they are in the same connected components. A disjoint family of open subsets of reals cannot be uncountable.
$endgroup$
– tomasz
Mar 21 at 11:17
add a comment |
$begingroup$
I have seen similar questions before but the replies given were less than satisfactory.
Let $mathcalF = F_alpha_alpha in J$ be an arbitrary family of closed intervals of real numbers. Let $E = displaystyle bigcup_alpha in J F_alpha$, and let $E_n = E cap [-n, n]$. Let $V$ be a Vitali covering of $E$; then $V$ is a Vitali covering of $E_n$. By the Vitali Lemma, we can find a finite, pairwise disjoint collection $V_i_i = 1^m$ of $V$ such that $m^ast(E_n smallsetminus displaystyle bigcup_i = 1^m V_i) < varepsilon$. Since each $V_i$ is an interval of real numbers, and intervals are Lebesgue measurable, it follows that $displaystyle bigcup_i = 1^m V_i$ is measurable. Thus
$$bigcup_n = 1^ infty E_n$$
is a countable collection of measurable sets and is therefore measurable. Moreover, the Lebesgue measure of this union is equal to the Lebasgue measure of $E$, which is what we sought to prove.
Does this make any sense?
real-analysis measure-theory proof-verification
$endgroup$
I have seen similar questions before but the replies given were less than satisfactory.
Let $mathcalF = F_alpha_alpha in J$ be an arbitrary family of closed intervals of real numbers. Let $E = displaystyle bigcup_alpha in J F_alpha$, and let $E_n = E cap [-n, n]$. Let $V$ be a Vitali covering of $E$; then $V$ is a Vitali covering of $E_n$. By the Vitali Lemma, we can find a finite, pairwise disjoint collection $V_i_i = 1^m$ of $V$ such that $m^ast(E_n smallsetminus displaystyle bigcup_i = 1^m V_i) < varepsilon$. Since each $V_i$ is an interval of real numbers, and intervals are Lebesgue measurable, it follows that $displaystyle bigcup_i = 1^m V_i$ is measurable. Thus
$$bigcup_n = 1^ infty E_n$$
is a countable collection of measurable sets and is therefore measurable. Moreover, the Lebesgue measure of this union is equal to the Lebasgue measure of $E$, which is what we sought to prove.
Does this make any sense?
real-analysis measure-theory proof-verification
real-analysis measure-theory proof-verification
asked Mar 20 at 18:21
JunglemathJunglemath
184
184
$begingroup$
You don't really need Vitali's covering lemma for this: just note that an arbitrary union of (nontrivial) closed intervals has countably many connected components (because they have nonempty disjoint interiors), and every connected subset of reals is an interval, and thus measurable.
$endgroup$
– tomasz
Mar 20 at 18:37
$begingroup$
@tomasz If my collection of closed intervals is uncountable, why are there only countably many connected components in the union? Why must the interiors be disjoint?
$endgroup$
– Junglemath
Mar 20 at 19:12
$begingroup$
Because connected components are disjoint, by definition, so their interiors certainly are, too!
$endgroup$
– tomasz
Mar 20 at 19:34
$begingroup$
I still don't see why it's a countable collection. Plus, what if two intervals overlap? How are their interiors disjoint?
$endgroup$
– Junglemath
Mar 20 at 20:59
$begingroup$
If they overlap, they are in the same connected components. A disjoint family of open subsets of reals cannot be uncountable.
$endgroup$
– tomasz
Mar 21 at 11:17
add a comment |
$begingroup$
You don't really need Vitali's covering lemma for this: just note that an arbitrary union of (nontrivial) closed intervals has countably many connected components (because they have nonempty disjoint interiors), and every connected subset of reals is an interval, and thus measurable.
$endgroup$
– tomasz
Mar 20 at 18:37
$begingroup$
@tomasz If my collection of closed intervals is uncountable, why are there only countably many connected components in the union? Why must the interiors be disjoint?
$endgroup$
– Junglemath
Mar 20 at 19:12
$begingroup$
Because connected components are disjoint, by definition, so their interiors certainly are, too!
$endgroup$
– tomasz
Mar 20 at 19:34
$begingroup$
I still don't see why it's a countable collection. Plus, what if two intervals overlap? How are their interiors disjoint?
$endgroup$
– Junglemath
Mar 20 at 20:59
$begingroup$
If they overlap, they are in the same connected components. A disjoint family of open subsets of reals cannot be uncountable.
$endgroup$
– tomasz
Mar 21 at 11:17
$begingroup$
You don't really need Vitali's covering lemma for this: just note that an arbitrary union of (nontrivial) closed intervals has countably many connected components (because they have nonempty disjoint interiors), and every connected subset of reals is an interval, and thus measurable.
$endgroup$
– tomasz
Mar 20 at 18:37
$begingroup$
You don't really need Vitali's covering lemma for this: just note that an arbitrary union of (nontrivial) closed intervals has countably many connected components (because they have nonempty disjoint interiors), and every connected subset of reals is an interval, and thus measurable.
$endgroup$
– tomasz
Mar 20 at 18:37
$begingroup$
@tomasz If my collection of closed intervals is uncountable, why are there only countably many connected components in the union? Why must the interiors be disjoint?
$endgroup$
– Junglemath
Mar 20 at 19:12
$begingroup$
@tomasz If my collection of closed intervals is uncountable, why are there only countably many connected components in the union? Why must the interiors be disjoint?
$endgroup$
– Junglemath
Mar 20 at 19:12
$begingroup$
Because connected components are disjoint, by definition, so their interiors certainly are, too!
$endgroup$
– tomasz
Mar 20 at 19:34
$begingroup$
Because connected components are disjoint, by definition, so their interiors certainly are, too!
$endgroup$
– tomasz
Mar 20 at 19:34
$begingroup$
I still don't see why it's a countable collection. Plus, what if two intervals overlap? How are their interiors disjoint?
$endgroup$
– Junglemath
Mar 20 at 20:59
$begingroup$
I still don't see why it's a countable collection. Plus, what if two intervals overlap? How are their interiors disjoint?
$endgroup$
– Junglemath
Mar 20 at 20:59
$begingroup$
If they overlap, they are in the same connected components. A disjoint family of open subsets of reals cannot be uncountable.
$endgroup$
– tomasz
Mar 21 at 11:17
$begingroup$
If they overlap, they are in the same connected components. A disjoint family of open subsets of reals cannot be uncountable.
$endgroup$
– tomasz
Mar 21 at 11:17
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I cannot write a comment because I have no reputation...
Yes, that is correct. $E_n$ is measurable iff $exists mathcalO$ so that $m*(E_n/mathcalO)<epsilon$ for any $epsilon>0$. So your proof is complete.
$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%2f3155827%2fuse-the-vitali-covering-lemma-to-show-that-the-union-of-closed-intervals-of-re%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$
I cannot write a comment because I have no reputation...
Yes, that is correct. $E_n$ is measurable iff $exists mathcalO$ so that $m*(E_n/mathcalO)<epsilon$ for any $epsilon>0$. So your proof is complete.
$endgroup$
add a comment |
$begingroup$
I cannot write a comment because I have no reputation...
Yes, that is correct. $E_n$ is measurable iff $exists mathcalO$ so that $m*(E_n/mathcalO)<epsilon$ for any $epsilon>0$. So your proof is complete.
$endgroup$
add a comment |
$begingroup$
I cannot write a comment because I have no reputation...
Yes, that is correct. $E_n$ is measurable iff $exists mathcalO$ so that $m*(E_n/mathcalO)<epsilon$ for any $epsilon>0$. So your proof is complete.
$endgroup$
I cannot write a comment because I have no reputation...
Yes, that is correct. $E_n$ is measurable iff $exists mathcalO$ so that $m*(E_n/mathcalO)<epsilon$ for any $epsilon>0$. So your proof is complete.
answered Mar 20 at 18:30
Al-Fahad Al-QadhiAl-Fahad Al-Qadhi
213
213
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%2f3155827%2fuse-the-vitali-covering-lemma-to-show-that-the-union-of-closed-intervals-of-re%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$
You don't really need Vitali's covering lemma for this: just note that an arbitrary union of (nontrivial) closed intervals has countably many connected components (because they have nonempty disjoint interiors), and every connected subset of reals is an interval, and thus measurable.
$endgroup$
– tomasz
Mar 20 at 18:37
$begingroup$
@tomasz If my collection of closed intervals is uncountable, why are there only countably many connected components in the union? Why must the interiors be disjoint?
$endgroup$
– Junglemath
Mar 20 at 19:12
$begingroup$
Because connected components are disjoint, by definition, so their interiors certainly are, too!
$endgroup$
– tomasz
Mar 20 at 19:34
$begingroup$
I still don't see why it's a countable collection. Plus, what if two intervals overlap? How are their interiors disjoint?
$endgroup$
– Junglemath
Mar 20 at 20:59
$begingroup$
If they overlap, they are in the same connected components. A disjoint family of open subsets of reals cannot be uncountable.
$endgroup$
– tomasz
Mar 21 at 11:17