The measure of the union of 2 sets. The 2019 Stack Overflow Developer Survey Results Are In Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Using the concept of $G_delta$ sets, show that the union of two measurable sets is measurable.There is a measure $mu^(2)(A_1times A_2)=mu(A_1cap A_2)$Is the measure space $(mathbbR, B(mathbbR),mu)$ complete where $mu$ is the Lesbesgue measure?A question on atoms in measure theory.Outer measure and trace sigma algebraCompletion of a measure space and Null SetsLet $Esubseteq[a,b]$ be measurable. Prove that $overline mA=overline m(Acap E) + overline m(Acap E^c)$ for any $Asubseteq[a,b]$.Completion of a measure space using null setsComplete Measure spacesσ-algebra and measure of the union of 2 sets. Based on measure theory.
How can I define good in a religion that claims no moral authority?
Simulating Exploding Dice
Road tyres vs "Street" tyres for charity ride on MTB Tandem
How do I add random spotting to the same face in cycles?
How do you keep chess fun when your opponent constantly beats you?
Derivation tree not rendering
Simulation of a banking system with an Account class in C++
Do warforged have souls?
Typeface like Times New Roman but with "tied" percent sign
Did the UK government pay "millions and millions of dollars" to try to snag Julian Assange?
Semisimplicity of the category of coherent sheaves?
Searching for a differential characteristic (differential cryptanalysis)
Can undead you have reanimated wait inside a portable hole?
Can a 1st-level character have an ability score above 18?
Create an outline of font
How did passengers keep warm on sail ships?
Change bounding box of math glyphs in LuaTeX
Am I ethically obligated to go into work on an off day if the reason is sudden?
Windows 10: How to Lock (not sleep) laptop on lid close?
Can withdrawing asylum be illegal?
system() function string length limit
What do you call a plan that's an alternative plan in case your initial plan fails?
Why did all the guest students take carriages to the Yule Ball?
What can I do if neighbor is blocking my solar panels intentionally?
The measure of the union of 2 sets.
The 2019 Stack Overflow Developer Survey Results Are In
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Using the concept of $G_delta$ sets, show that the union of two measurable sets is measurable.There is a measure $mu^(2)(A_1times A_2)=mu(A_1cap A_2)$Is the measure space $(mathbbR, B(mathbbR),mu)$ complete where $mu$ is the Lesbesgue measure?A question on atoms in measure theory.Outer measure and trace sigma algebraCompletion of a measure space and Null SetsLet $Esubseteq[a,b]$ be measurable. Prove that $overline mA=overline m(Acap E) + overline m(Acap E^c)$ for any $Asubseteq[a,b]$.Completion of a measure space using null setsComplete Measure spacesσ-algebra and measure of the union of 2 sets. Based on measure theory.
$begingroup$
A measure space $(mathbb S,mathcal S,μ)$ is not complete. The system of all its null sets is $mathcal O$.
Let
$$ S′=A∪O:A∈ mathcal S,O∈ mathcal O.$$
The formula of the function $μ′:mathcal S′→[0,∞]$ is
$$μ′(A∪O)=μ(A).$$
Question:
(a) Show: $μ′(A_1∪O_1)=μ′(A_2∪O_2),$ if $A_1∪O_1=A_2∪O_2.$
My solution:
I am given some hints. I need to show that $A=A_1∪O_1=A_2∪O_2$ in two ways, with $A_1,A_2∈ mathcal S$ and $O_1,O_2∈ mathcal O$, then $μ(A_1)=μ(A_2)$. Then according to $μ′(A∪O)=μ(A)$ the final fact will follow.
measure-theory functions
$endgroup$
add a comment |
$begingroup$
A measure space $(mathbb S,mathcal S,μ)$ is not complete. The system of all its null sets is $mathcal O$.
Let
$$ S′=A∪O:A∈ mathcal S,O∈ mathcal O.$$
The formula of the function $μ′:mathcal S′→[0,∞]$ is
$$μ′(A∪O)=μ(A).$$
Question:
(a) Show: $μ′(A_1∪O_1)=μ′(A_2∪O_2),$ if $A_1∪O_1=A_2∪O_2.$
My solution:
I am given some hints. I need to show that $A=A_1∪O_1=A_2∪O_2$ in two ways, with $A_1,A_2∈ mathcal S$ and $O_1,O_2∈ mathcal O$, then $μ(A_1)=μ(A_2)$. Then according to $μ′(A∪O)=μ(A)$ the final fact will follow.
measure-theory functions
$endgroup$
add a comment |
$begingroup$
A measure space $(mathbb S,mathcal S,μ)$ is not complete. The system of all its null sets is $mathcal O$.
Let
$$ S′=A∪O:A∈ mathcal S,O∈ mathcal O.$$
The formula of the function $μ′:mathcal S′→[0,∞]$ is
$$μ′(A∪O)=μ(A).$$
Question:
(a) Show: $μ′(A_1∪O_1)=μ′(A_2∪O_2),$ if $A_1∪O_1=A_2∪O_2.$
My solution:
I am given some hints. I need to show that $A=A_1∪O_1=A_2∪O_2$ in two ways, with $A_1,A_2∈ mathcal S$ and $O_1,O_2∈ mathcal O$, then $μ(A_1)=μ(A_2)$. Then according to $μ′(A∪O)=μ(A)$ the final fact will follow.
measure-theory functions
$endgroup$
A measure space $(mathbb S,mathcal S,μ)$ is not complete. The system of all its null sets is $mathcal O$.
Let
$$ S′=A∪O:A∈ mathcal S,O∈ mathcal O.$$
The formula of the function $μ′:mathcal S′→[0,∞]$ is
$$μ′(A∪O)=μ(A).$$
Question:
(a) Show: $μ′(A_1∪O_1)=μ′(A_2∪O_2),$ if $A_1∪O_1=A_2∪O_2.$
My solution:
I am given some hints. I need to show that $A=A_1∪O_1=A_2∪O_2$ in two ways, with $A_1,A_2∈ mathcal S$ and $O_1,O_2∈ mathcal O$, then $μ(A_1)=μ(A_2)$. Then according to $μ′(A∪O)=μ(A)$ the final fact will follow.
measure-theory functions
measure-theory functions
edited Mar 25 at 11:11
Asaf Karagila♦
308k33441775
308k33441775
asked Mar 25 at 8:20
PhilipPhilip
917
917
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
$A_2 setminus A_1 subset O_1 $ so $mu (A_2 setminus A_1)=0$. Similarly, $mu (A_1 setminus A_2)=0$. Now $mu (A_1)leq mu (A_1 setminus A_2)+mu (A_2)=mu(A_2)$ and the reverse inequality is similar.
$endgroup$
add a comment |
Your Answer
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%2f3161510%2fthe-measure-of-the-union-of-2-sets%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$
$A_2 setminus A_1 subset O_1 $ so $mu (A_2 setminus A_1)=0$. Similarly, $mu (A_1 setminus A_2)=0$. Now $mu (A_1)leq mu (A_1 setminus A_2)+mu (A_2)=mu(A_2)$ and the reverse inequality is similar.
$endgroup$
add a comment |
$begingroup$
$A_2 setminus A_1 subset O_1 $ so $mu (A_2 setminus A_1)=0$. Similarly, $mu (A_1 setminus A_2)=0$. Now $mu (A_1)leq mu (A_1 setminus A_2)+mu (A_2)=mu(A_2)$ and the reverse inequality is similar.
$endgroup$
add a comment |
$begingroup$
$A_2 setminus A_1 subset O_1 $ so $mu (A_2 setminus A_1)=0$. Similarly, $mu (A_1 setminus A_2)=0$. Now $mu (A_1)leq mu (A_1 setminus A_2)+mu (A_2)=mu(A_2)$ and the reverse inequality is similar.
$endgroup$
$A_2 setminus A_1 subset O_1 $ so $mu (A_2 setminus A_1)=0$. Similarly, $mu (A_1 setminus A_2)=0$. Now $mu (A_1)leq mu (A_1 setminus A_2)+mu (A_2)=mu(A_2)$ and the reverse inequality is similar.
answered Mar 25 at 8:29
Kavi Rama MurthyKavi Rama Murthy
74.6k53270
74.6k53270
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%2f3161510%2fthe-measure-of-the-union-of-2-sets%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