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

Multi tool use
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:
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
add a comment |
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:
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
"signed countably additive extension" means an extension that is a signed measure that is countably additive
– mathworker21
17 hours ago
add a comment |
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:
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
I was reading the book of Bogachev "Measure Theory. Vol 1" the following theorem and important remark to this theorem:
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
measure-theory
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
add a comment |
"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
add a comment |
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.
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
add a comment |
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.
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
add a comment |
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.
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
add a comment |
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.
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.
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
add a comment |
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
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%2f2996311%2fexample-from-bogachevs-book-on-extension-of-measure-from-algebra-to-sigma-al%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
Post as a guest
CYqowReYzI9zNe8Yj Z Mzv o qIOcAtPeEYSESvvINfWNO3i,suDw9m
"signed countably additive extension" means an extension that is a signed measure that is countably additive
– mathworker21
17 hours ago