Sigma-finite measure (countable sequence)
Let $(X,mathcal{A},mu)$ be a measure space, $g:X to mathbb{R}$ a $mu$-integrable map and $A=X$ $g^{-1}(0)$.
How to show that it exists a countable sequence $(A_i)_{i in mathbb{N}}$ of $mathcal{A}$ such that
$A=bigcuplimits_{i=1}^{infty} A_{i}$ and $mu(A_i)<infty, forall n in mathbb{N}$?
I got:
Since $Ainmathcal{A}Rightarrow (X$ $g^{-1}(0))^c in mathcal{A}$
So $X=A dotcup (X$ $g^{-1}(0))^c$
By finite additivity of measures: $mu(X)=mu(A)+mu(X$ $g^{-1}(0))^c$
By non-negativity: $mu(A)<infty$
I'm not sure if this works for $A_i$ and how to show that $(A_i)_{i in mathbb{N}}$ exists with $A=bigcuplimits_{i=1}^{infty} A_{i}$.
measure-theory
add a comment |
Let $(X,mathcal{A},mu)$ be a measure space, $g:X to mathbb{R}$ a $mu$-integrable map and $A=X$ $g^{-1}(0)$.
How to show that it exists a countable sequence $(A_i)_{i in mathbb{N}}$ of $mathcal{A}$ such that
$A=bigcuplimits_{i=1}^{infty} A_{i}$ and $mu(A_i)<infty, forall n in mathbb{N}$?
I got:
Since $Ainmathcal{A}Rightarrow (X$ $g^{-1}(0))^c in mathcal{A}$
So $X=A dotcup (X$ $g^{-1}(0))^c$
By finite additivity of measures: $mu(X)=mu(A)+mu(X$ $g^{-1}(0))^c$
By non-negativity: $mu(A)<infty$
I'm not sure if this works for $A_i$ and how to show that $(A_i)_{i in mathbb{N}}$ exists with $A=bigcuplimits_{i=1}^{infty} A_{i}$.
measure-theory
add a comment |
Let $(X,mathcal{A},mu)$ be a measure space, $g:X to mathbb{R}$ a $mu$-integrable map and $A=X$ $g^{-1}(0)$.
How to show that it exists a countable sequence $(A_i)_{i in mathbb{N}}$ of $mathcal{A}$ such that
$A=bigcuplimits_{i=1}^{infty} A_{i}$ and $mu(A_i)<infty, forall n in mathbb{N}$?
I got:
Since $Ainmathcal{A}Rightarrow (X$ $g^{-1}(0))^c in mathcal{A}$
So $X=A dotcup (X$ $g^{-1}(0))^c$
By finite additivity of measures: $mu(X)=mu(A)+mu(X$ $g^{-1}(0))^c$
By non-negativity: $mu(A)<infty$
I'm not sure if this works for $A_i$ and how to show that $(A_i)_{i in mathbb{N}}$ exists with $A=bigcuplimits_{i=1}^{infty} A_{i}$.
measure-theory
Let $(X,mathcal{A},mu)$ be a measure space, $g:X to mathbb{R}$ a $mu$-integrable map and $A=X$ $g^{-1}(0)$.
How to show that it exists a countable sequence $(A_i)_{i in mathbb{N}}$ of $mathcal{A}$ such that
$A=bigcuplimits_{i=1}^{infty} A_{i}$ and $mu(A_i)<infty, forall n in mathbb{N}$?
I got:
Since $Ainmathcal{A}Rightarrow (X$ $g^{-1}(0))^c in mathcal{A}$
So $X=A dotcup (X$ $g^{-1}(0))^c$
By finite additivity of measures: $mu(X)=mu(A)+mu(X$ $g^{-1}(0))^c$
By non-negativity: $mu(A)<infty$
I'm not sure if this works for $A_i$ and how to show that $(A_i)_{i in mathbb{N}}$ exists with $A=bigcuplimits_{i=1}^{infty} A_{i}$.
measure-theory
measure-theory
asked Nov 24 at 11:53
Tartulop
656
656
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
You can take $A_i={xin Xmid |g(x)|geqfrac1i}$.
Observe that $mu(A_i)=intmathbf1_{A_i};dmuleqint imathbf|g|;dmuleq iintmathbf|g|;dmu<infty$.
Also the $A_i$ are preimages of Borel sets wrt measurable $|g|$ so are elements of $mathcal A$.
It is evident that $bigcup_{i=1}^{infty}A_i={xin Xmid g(x)neq0}=Xsetminus g^{-1}({0})=A$.
Does ${A_i}$ cover $X$? I think $cup_{I=1}^{infty} A_i={x in X mid |g(x)|>0} neq X$.
– sharpe
Nov 24 at 12:11
It is not demanded that they cover $X$, but that their union is $A$.
– drhab
Nov 24 at 12:13
Sorry. I understood.
– sharpe
Nov 24 at 12:14
add a comment |
The function $g$ here doesn't care so much: the space is $sigma$-finite, so there is a countable cover of measurable sets $(X_j)$ of $X$ such that $mu(X_j)<infty$ for each $jinBbb N$.
Then the sequence defined by $X_jcap A$ cover $A$ and necessarily $mu(X_jcap A)lemu(X_j)$ because any measure is increasing, that is, if $Asubset B$ then $mu(A)lemu(B)$.
No. $X$ is just a measure space.
– sharpe
Nov 24 at 12:08
@sharpe it is the same.
– Masacroso
Nov 24 at 12:10
Probably, your argument is mistaken.
– sharpe
Nov 24 at 12:22
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%2f3011466%2fsigma-finite-measure-countable-sequence%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
You can take $A_i={xin Xmid |g(x)|geqfrac1i}$.
Observe that $mu(A_i)=intmathbf1_{A_i};dmuleqint imathbf|g|;dmuleq iintmathbf|g|;dmu<infty$.
Also the $A_i$ are preimages of Borel sets wrt measurable $|g|$ so are elements of $mathcal A$.
It is evident that $bigcup_{i=1}^{infty}A_i={xin Xmid g(x)neq0}=Xsetminus g^{-1}({0})=A$.
Does ${A_i}$ cover $X$? I think $cup_{I=1}^{infty} A_i={x in X mid |g(x)|>0} neq X$.
– sharpe
Nov 24 at 12:11
It is not demanded that they cover $X$, but that their union is $A$.
– drhab
Nov 24 at 12:13
Sorry. I understood.
– sharpe
Nov 24 at 12:14
add a comment |
You can take $A_i={xin Xmid |g(x)|geqfrac1i}$.
Observe that $mu(A_i)=intmathbf1_{A_i};dmuleqint imathbf|g|;dmuleq iintmathbf|g|;dmu<infty$.
Also the $A_i$ are preimages of Borel sets wrt measurable $|g|$ so are elements of $mathcal A$.
It is evident that $bigcup_{i=1}^{infty}A_i={xin Xmid g(x)neq0}=Xsetminus g^{-1}({0})=A$.
Does ${A_i}$ cover $X$? I think $cup_{I=1}^{infty} A_i={x in X mid |g(x)|>0} neq X$.
– sharpe
Nov 24 at 12:11
It is not demanded that they cover $X$, but that their union is $A$.
– drhab
Nov 24 at 12:13
Sorry. I understood.
– sharpe
Nov 24 at 12:14
add a comment |
You can take $A_i={xin Xmid |g(x)|geqfrac1i}$.
Observe that $mu(A_i)=intmathbf1_{A_i};dmuleqint imathbf|g|;dmuleq iintmathbf|g|;dmu<infty$.
Also the $A_i$ are preimages of Borel sets wrt measurable $|g|$ so are elements of $mathcal A$.
It is evident that $bigcup_{i=1}^{infty}A_i={xin Xmid g(x)neq0}=Xsetminus g^{-1}({0})=A$.
You can take $A_i={xin Xmid |g(x)|geqfrac1i}$.
Observe that $mu(A_i)=intmathbf1_{A_i};dmuleqint imathbf|g|;dmuleq iintmathbf|g|;dmu<infty$.
Also the $A_i$ are preimages of Borel sets wrt measurable $|g|$ so are elements of $mathcal A$.
It is evident that $bigcup_{i=1}^{infty}A_i={xin Xmid g(x)neq0}=Xsetminus g^{-1}({0})=A$.
edited Nov 24 at 12:39
answered Nov 24 at 12:08
drhab
96.5k544127
96.5k544127
Does ${A_i}$ cover $X$? I think $cup_{I=1}^{infty} A_i={x in X mid |g(x)|>0} neq X$.
– sharpe
Nov 24 at 12:11
It is not demanded that they cover $X$, but that their union is $A$.
– drhab
Nov 24 at 12:13
Sorry. I understood.
– sharpe
Nov 24 at 12:14
add a comment |
Does ${A_i}$ cover $X$? I think $cup_{I=1}^{infty} A_i={x in X mid |g(x)|>0} neq X$.
– sharpe
Nov 24 at 12:11
It is not demanded that they cover $X$, but that their union is $A$.
– drhab
Nov 24 at 12:13
Sorry. I understood.
– sharpe
Nov 24 at 12:14
Does ${A_i}$ cover $X$? I think $cup_{I=1}^{infty} A_i={x in X mid |g(x)|>0} neq X$.
– sharpe
Nov 24 at 12:11
Does ${A_i}$ cover $X$? I think $cup_{I=1}^{infty} A_i={x in X mid |g(x)|>0} neq X$.
– sharpe
Nov 24 at 12:11
It is not demanded that they cover $X$, but that their union is $A$.
– drhab
Nov 24 at 12:13
It is not demanded that they cover $X$, but that their union is $A$.
– drhab
Nov 24 at 12:13
Sorry. I understood.
– sharpe
Nov 24 at 12:14
Sorry. I understood.
– sharpe
Nov 24 at 12:14
add a comment |
The function $g$ here doesn't care so much: the space is $sigma$-finite, so there is a countable cover of measurable sets $(X_j)$ of $X$ such that $mu(X_j)<infty$ for each $jinBbb N$.
Then the sequence defined by $X_jcap A$ cover $A$ and necessarily $mu(X_jcap A)lemu(X_j)$ because any measure is increasing, that is, if $Asubset B$ then $mu(A)lemu(B)$.
No. $X$ is just a measure space.
– sharpe
Nov 24 at 12:08
@sharpe it is the same.
– Masacroso
Nov 24 at 12:10
Probably, your argument is mistaken.
– sharpe
Nov 24 at 12:22
add a comment |
The function $g$ here doesn't care so much: the space is $sigma$-finite, so there is a countable cover of measurable sets $(X_j)$ of $X$ such that $mu(X_j)<infty$ for each $jinBbb N$.
Then the sequence defined by $X_jcap A$ cover $A$ and necessarily $mu(X_jcap A)lemu(X_j)$ because any measure is increasing, that is, if $Asubset B$ then $mu(A)lemu(B)$.
No. $X$ is just a measure space.
– sharpe
Nov 24 at 12:08
@sharpe it is the same.
– Masacroso
Nov 24 at 12:10
Probably, your argument is mistaken.
– sharpe
Nov 24 at 12:22
add a comment |
The function $g$ here doesn't care so much: the space is $sigma$-finite, so there is a countable cover of measurable sets $(X_j)$ of $X$ such that $mu(X_j)<infty$ for each $jinBbb N$.
Then the sequence defined by $X_jcap A$ cover $A$ and necessarily $mu(X_jcap A)lemu(X_j)$ because any measure is increasing, that is, if $Asubset B$ then $mu(A)lemu(B)$.
The function $g$ here doesn't care so much: the space is $sigma$-finite, so there is a countable cover of measurable sets $(X_j)$ of $X$ such that $mu(X_j)<infty$ for each $jinBbb N$.
Then the sequence defined by $X_jcap A$ cover $A$ and necessarily $mu(X_jcap A)lemu(X_j)$ because any measure is increasing, that is, if $Asubset B$ then $mu(A)lemu(B)$.
edited Nov 24 at 12:08
answered Nov 24 at 12:07
Masacroso
12.8k41746
12.8k41746
No. $X$ is just a measure space.
– sharpe
Nov 24 at 12:08
@sharpe it is the same.
– Masacroso
Nov 24 at 12:10
Probably, your argument is mistaken.
– sharpe
Nov 24 at 12:22
add a comment |
No. $X$ is just a measure space.
– sharpe
Nov 24 at 12:08
@sharpe it is the same.
– Masacroso
Nov 24 at 12:10
Probably, your argument is mistaken.
– sharpe
Nov 24 at 12:22
No. $X$ is just a measure space.
– sharpe
Nov 24 at 12:08
No. $X$ is just a measure space.
– sharpe
Nov 24 at 12:08
@sharpe it is the same.
– Masacroso
Nov 24 at 12:10
@sharpe it is the same.
– Masacroso
Nov 24 at 12:10
Probably, your argument is mistaken.
– sharpe
Nov 24 at 12:22
Probably, your argument is mistaken.
– sharpe
Nov 24 at 12:22
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3011466%2fsigma-finite-measure-countable-sequence%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