Example from Bogachev's book on Extension of measure from algebra to $sigma$-algebra











up vote
2
down vote

favorite












I was reading the book of Bogachev "Measure Theory. Vol 1" the following theorem and important remark to this theorem:enter image description here



enter image description here



I understood the proof of this theorem completely but I am not able to understand the meaning of this example.



1) What does mean the term "has no signed countably.."?



2) Can anyone explain why it has no signed extension to $sigma(mathcal{A})$ and how it follows from (iii)?



3) What is the essence of this example?



Would be very grateful for detailed explanation!










share|cite|improve this question
























  • "signed countably additive extension" means an extension that is a signed measure that is countably additive
    – mathworker21
    17 hours ago















up vote
2
down vote

favorite












I was reading the book of Bogachev "Measure Theory. Vol 1" the following theorem and important remark to this theorem:enter image description here



enter image description here



I understood the proof of this theorem completely but I am not able to understand the meaning of this example.



1) What does mean the term "has no signed countably.."?



2) Can anyone explain why it has no signed extension to $sigma(mathcal{A})$ and how it follows from (iii)?



3) What is the essence of this example?



Would be very grateful for detailed explanation!










share|cite|improve this question
























  • "signed countably additive extension" means an extension that is a signed measure that is countably additive
    – mathworker21
    17 hours ago













up vote
2
down vote

favorite









up vote
2
down vote

favorite











I was reading the book of Bogachev "Measure Theory. Vol 1" the following theorem and important remark to this theorem:enter image description here



enter image description here



I understood the proof of this theorem completely but I am not able to understand the meaning of this example.



1) What does mean the term "has no signed countably.."?



2) Can anyone explain why it has no signed extension to $sigma(mathcal{A})$ and how it follows from (iii)?



3) What is the essence of this example?



Would be very grateful for detailed explanation!










share|cite|improve this question















I was reading the book of Bogachev "Measure Theory. Vol 1" the following theorem and important remark to this theorem:enter image description here



enter image description here



I understood the proof of this theorem completely but I am not able to understand the meaning of this example.



1) What does mean the term "has no signed countably.."?



2) Can anyone explain why it has no signed extension to $sigma(mathcal{A})$ and how it follows from (iii)?



3) What is the essence of this example?



Would be very grateful for detailed explanation!







measure-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 17 hours ago

























asked 17 hours ago









RFZ

4,85931337




4,85931337












  • "signed countably additive extension" means an extension that is a signed measure that is countably additive
    – mathworker21
    17 hours ago


















  • "signed countably additive extension" means an extension that is a signed measure that is countably additive
    – mathworker21
    17 hours ago
















"signed countably additive extension" means an extension that is a signed measure that is countably additive
– mathworker21
17 hours ago




"signed countably additive extension" means an extension that is a signed measure that is countably additive
– mathworker21
17 hours ago










1 Answer
1






active

oldest

votes

















up vote
1
down vote













Suppose that there exists such a signed measure $nu$. Then $nu$ is nonnegative on $mathcal{A}$, i.e. $nu^{+}genu^{-}$ on $mathcal{A}$ and, therefore, $nu^{+}genu^{-}$ on $sigma(mathcal{A})$ (e.g. by Theorem 1.9.3, where you take $mathcal{E}={Ainsigma(mathcal{A}):nu^{+}(A)ge nu^{-}(A)}$). This implies that $nu$ is nonnegative on $sigma(mathcal{A})$ and must coincide with $mu^{*}$ by uniqueness.



On the other hand, the example with $X={0,1}$ and $mathcal{A}={emptyset,X}$ shows that signed extensions to $mathcal{A}_{mu}$ do exist.






share|cite|improve this answer























  • Let me ask you the question: sorry but what is $nu^+$ and $nu^-$?
    – RFZ
    9 hours ago










  • The positive and negative parts of the Jordan decomposition of $nu$ from Chapter 3 ($3.1).
    – d.k.o.
    6 hours ago












  • Unfortunately, I dont know the Jordan dexomposition yet. Will return to this question when will be ready. Anyway thanks! I am sure that we will discuss it in the near future.
    – RFZ
    5 hours ago










  • @RFZ Then, you possibly need to cover section 1.9 (monotone and $sigma$-additive classes)...
    – d.k.o.
    5 hours ago













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',
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
});


}
});














 

draft saved


draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2996311%2fexample-from-bogachevs-book-on-extension-of-measure-from-algebra-to-sigma-al%23new-answer', 'question_page');
}
);

Post as a guest
































1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
1
down vote













Suppose that there exists such a signed measure $nu$. Then $nu$ is nonnegative on $mathcal{A}$, i.e. $nu^{+}genu^{-}$ on $mathcal{A}$ and, therefore, $nu^{+}genu^{-}$ on $sigma(mathcal{A})$ (e.g. by Theorem 1.9.3, where you take $mathcal{E}={Ainsigma(mathcal{A}):nu^{+}(A)ge nu^{-}(A)}$). This implies that $nu$ is nonnegative on $sigma(mathcal{A})$ and must coincide with $mu^{*}$ by uniqueness.



On the other hand, the example with $X={0,1}$ and $mathcal{A}={emptyset,X}$ shows that signed extensions to $mathcal{A}_{mu}$ do exist.






share|cite|improve this answer























  • Let me ask you the question: sorry but what is $nu^+$ and $nu^-$?
    – RFZ
    9 hours ago










  • The positive and negative parts of the Jordan decomposition of $nu$ from Chapter 3 ($3.1).
    – d.k.o.
    6 hours ago












  • Unfortunately, I dont know the Jordan dexomposition yet. Will return to this question when will be ready. Anyway thanks! I am sure that we will discuss it in the near future.
    – RFZ
    5 hours ago










  • @RFZ Then, you possibly need to cover section 1.9 (monotone and $sigma$-additive classes)...
    – d.k.o.
    5 hours ago

















up vote
1
down vote













Suppose that there exists such a signed measure $nu$. Then $nu$ is nonnegative on $mathcal{A}$, i.e. $nu^{+}genu^{-}$ on $mathcal{A}$ and, therefore, $nu^{+}genu^{-}$ on $sigma(mathcal{A})$ (e.g. by Theorem 1.9.3, where you take $mathcal{E}={Ainsigma(mathcal{A}):nu^{+}(A)ge nu^{-}(A)}$). This implies that $nu$ is nonnegative on $sigma(mathcal{A})$ and must coincide with $mu^{*}$ by uniqueness.



On the other hand, the example with $X={0,1}$ and $mathcal{A}={emptyset,X}$ shows that signed extensions to $mathcal{A}_{mu}$ do exist.






share|cite|improve this answer























  • Let me ask you the question: sorry but what is $nu^+$ and $nu^-$?
    – RFZ
    9 hours ago










  • The positive and negative parts of the Jordan decomposition of $nu$ from Chapter 3 ($3.1).
    – d.k.o.
    6 hours ago












  • Unfortunately, I dont know the Jordan dexomposition yet. Will return to this question when will be ready. Anyway thanks! I am sure that we will discuss it in the near future.
    – RFZ
    5 hours ago










  • @RFZ Then, you possibly need to cover section 1.9 (monotone and $sigma$-additive classes)...
    – d.k.o.
    5 hours ago















up vote
1
down vote










up vote
1
down vote









Suppose that there exists such a signed measure $nu$. Then $nu$ is nonnegative on $mathcal{A}$, i.e. $nu^{+}genu^{-}$ on $mathcal{A}$ and, therefore, $nu^{+}genu^{-}$ on $sigma(mathcal{A})$ (e.g. by Theorem 1.9.3, where you take $mathcal{E}={Ainsigma(mathcal{A}):nu^{+}(A)ge nu^{-}(A)}$). This implies that $nu$ is nonnegative on $sigma(mathcal{A})$ and must coincide with $mu^{*}$ by uniqueness.



On the other hand, the example with $X={0,1}$ and $mathcal{A}={emptyset,X}$ shows that signed extensions to $mathcal{A}_{mu}$ do exist.






share|cite|improve this answer














Suppose that there exists such a signed measure $nu$. Then $nu$ is nonnegative on $mathcal{A}$, i.e. $nu^{+}genu^{-}$ on $mathcal{A}$ and, therefore, $nu^{+}genu^{-}$ on $sigma(mathcal{A})$ (e.g. by Theorem 1.9.3, where you take $mathcal{E}={Ainsigma(mathcal{A}):nu^{+}(A)ge nu^{-}(A)}$). This implies that $nu$ is nonnegative on $sigma(mathcal{A})$ and must coincide with $mu^{*}$ by uniqueness.



On the other hand, the example with $X={0,1}$ and $mathcal{A}={emptyset,X}$ shows that signed extensions to $mathcal{A}_{mu}$ do exist.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited 13 hours ago

























answered 14 hours ago









d.k.o.

7,954527




7,954527












  • Let me ask you the question: sorry but what is $nu^+$ and $nu^-$?
    – RFZ
    9 hours ago










  • The positive and negative parts of the Jordan decomposition of $nu$ from Chapter 3 ($3.1).
    – d.k.o.
    6 hours ago












  • Unfortunately, I dont know the Jordan dexomposition yet. Will return to this question when will be ready. Anyway thanks! I am sure that we will discuss it in the near future.
    – RFZ
    5 hours ago










  • @RFZ Then, you possibly need to cover section 1.9 (monotone and $sigma$-additive classes)...
    – d.k.o.
    5 hours ago




















  • Let me ask you the question: sorry but what is $nu^+$ and $nu^-$?
    – RFZ
    9 hours ago










  • The positive and negative parts of the Jordan decomposition of $nu$ from Chapter 3 ($3.1).
    – d.k.o.
    6 hours ago












  • Unfortunately, I dont know the Jordan dexomposition yet. Will return to this question when will be ready. Anyway thanks! I am sure that we will discuss it in the near future.
    – RFZ
    5 hours ago










  • @RFZ Then, you possibly need to cover section 1.9 (monotone and $sigma$-additive classes)...
    – d.k.o.
    5 hours ago


















Let me ask you the question: sorry but what is $nu^+$ and $nu^-$?
– RFZ
9 hours ago




Let me ask you the question: sorry but what is $nu^+$ and $nu^-$?
– RFZ
9 hours ago












The positive and negative parts of the Jordan decomposition of $nu$ from Chapter 3 ($3.1).
– d.k.o.
6 hours ago






The positive and negative parts of the Jordan decomposition of $nu$ from Chapter 3 ($3.1).
– d.k.o.
6 hours ago














Unfortunately, I dont know the Jordan dexomposition yet. Will return to this question when will be ready. Anyway thanks! I am sure that we will discuss it in the near future.
– RFZ
5 hours ago




Unfortunately, I dont know the Jordan dexomposition yet. Will return to this question when will be ready. Anyway thanks! I am sure that we will discuss it in the near future.
– RFZ
5 hours ago












@RFZ Then, you possibly need to cover section 1.9 (monotone and $sigma$-additive classes)...
– d.k.o.
5 hours ago






@RFZ Then, you possibly need to cover section 1.9 (monotone and $sigma$-additive classes)...
– d.k.o.
5 hours ago




















 

draft saved


draft discarded



















































 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2996311%2fexample-from-bogachevs-book-on-extension-of-measure-from-algebra-to-sigma-al%23new-answer', 'question_page');
}
);

Post as a guest




















































































Popular posts from this blog

Probability when a professor distributes a quiz and homework assignment to a class of n students.

Aardman Animations

Are they similar matrix