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:
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
"signed countably additive extension" means an extension that is a signed measure that is countably additive
– mathworker21
17 hours ago