How can a function(measure) be countably additive on a non sigma-ringLargest $sigma$-algebra on which an outer measure is countably additiveCountably additive map on an algebra.Existence of the Lebesgue measure, proof thereof.Extension of $sigma$-additive measure beyond Lebesgue-measurable sets.right continuous implies countably additiveCountably additive property of Lebesgue measuresigma-ring of sets generated by semiring, semiring closed under countable intersectionsAre measures always sigma-additive?Constructing a $sigma$-finite measure using measures of its subsetsCan Nedoma's pathology and other pathologies of larger measure spaces be avoided by changing the definition of sigma algebra?
Is "cogitate" used appropriately in "I cogitate that success relies on hard work"?
When an outsider describes family relationships, which point of view are they using?
What is Tony Stark injecting into himself in Iron Man 3?
Logistic regression BIC: what's the right N?
Did Amazon pay $0 in taxes last year?
Why does this boat have a landing pad? (SpaceX's GO Searcher) Any plans for propulsive capsule landings?
Is there stress on two letters on the word стоят
What is this tube in a jet engine's air intake?
Is there a logarithm base for which the logarithm becomes an identity function?
Giving a career talk in my old university, how prominently should I tell students my salary?
Do Paladin Auras of Differing Oaths Stack?
The (Easy) Road to Code
Traveling to heavily polluted city, what practical measures can I take to minimize impact?
(Codewars) Linked Lists-Sorted Insert
Locked Away- What am I?
Under what conditions can the right to remain silent be revoked in the USA?
What do you call someone who likes to pick fights?
Use Mercury as quenching liquid for swords?
Why is there an extra space when I type "ls" on the Desktop?
Is divide-by-zero a security vulnerability?
Having the player face themselves after the mid-game
Too soon for a plot twist?
Are small insurances worth it?
Are all players supposed to be able to see each others' character sheets?
How can a function(measure) be countably additive on a non sigma-ring
Largest $sigma$-algebra on which an outer measure is countably additiveCountably additive map on an algebra.Existence of the Lebesgue measure, proof thereof.Extension of $sigma$-additive measure beyond Lebesgue-measurable sets.right continuous implies countably additiveCountably additive property of Lebesgue measuresigma-ring of sets generated by semiring, semiring closed under countable intersectionsAre measures always sigma-additive?Constructing a $sigma$-finite measure using measures of its subsetsCan Nedoma's pathology and other pathologies of larger measure spaces be avoided by changing the definition of sigma algebra?
$begingroup$
I understand the definition of a sigma ring (the infinite unions of elements in ring is still in said ring)
And I believe I also understand the definition of countably additive. For elements in ring with the infinite union of elements also in said ring. Then the function satisfy ..ect. Then the function is countably additive.
What I’m confused about is doesn’t this require measures to only exist on sigma rings? Since rings in general don’t have closure for infinite unions. But I know this isn’t true, the ring (collection of all finite unions of disjoint intervals) is a ring and not a sigma ring but it has a lebesgue measure.
I don’t know what I’m not understanding correctly.
measure-theory lebesgue-measure
New contributor
$endgroup$
add a comment |
$begingroup$
I understand the definition of a sigma ring (the infinite unions of elements in ring is still in said ring)
And I believe I also understand the definition of countably additive. For elements in ring with the infinite union of elements also in said ring. Then the function satisfy ..ect. Then the function is countably additive.
What I’m confused about is doesn’t this require measures to only exist on sigma rings? Since rings in general don’t have closure for infinite unions. But I know this isn’t true, the ring (collection of all finite unions of disjoint intervals) is a ring and not a sigma ring but it has a lebesgue measure.
I don’t know what I’m not understanding correctly.
measure-theory lebesgue-measure
New contributor
$endgroup$
1
$begingroup$
I have suppressed the tag "ring-theory" : it is not this kind of rings that are concerned by ring theory...
$endgroup$
– Jean Marie
yesterday
$begingroup$
Right. This is a set-theoretic ring not an algebraic structure.
$endgroup$
– GReyes
yesterday
$begingroup$
You can define $sigma$-additivity for a function $phi:DtoBbb R$ with arbitrary $Dsubseteq P(X)$, as whenever $bigcup_i A_iin D$ for countably many pairwise disjoint sets $A_iin D$, we have $phi(bigcup_i A_i) =sum_iphi(A_i)$.
$endgroup$
– Berci
yesterday
add a comment |
$begingroup$
I understand the definition of a sigma ring (the infinite unions of elements in ring is still in said ring)
And I believe I also understand the definition of countably additive. For elements in ring with the infinite union of elements also in said ring. Then the function satisfy ..ect. Then the function is countably additive.
What I’m confused about is doesn’t this require measures to only exist on sigma rings? Since rings in general don’t have closure for infinite unions. But I know this isn’t true, the ring (collection of all finite unions of disjoint intervals) is a ring and not a sigma ring but it has a lebesgue measure.
I don’t know what I’m not understanding correctly.
measure-theory lebesgue-measure
New contributor
$endgroup$
I understand the definition of a sigma ring (the infinite unions of elements in ring is still in said ring)
And I believe I also understand the definition of countably additive. For elements in ring with the infinite union of elements also in said ring. Then the function satisfy ..ect. Then the function is countably additive.
What I’m confused about is doesn’t this require measures to only exist on sigma rings? Since rings in general don’t have closure for infinite unions. But I know this isn’t true, the ring (collection of all finite unions of disjoint intervals) is a ring and not a sigma ring but it has a lebesgue measure.
I don’t know what I’m not understanding correctly.
measure-theory lebesgue-measure
measure-theory lebesgue-measure
New contributor
New contributor
edited yesterday
Jean Marie
30.6k42154
30.6k42154
New contributor
asked yesterday
Seth MSeth M
11
11
New contributor
New contributor
1
$begingroup$
I have suppressed the tag "ring-theory" : it is not this kind of rings that are concerned by ring theory...
$endgroup$
– Jean Marie
yesterday
$begingroup$
Right. This is a set-theoretic ring not an algebraic structure.
$endgroup$
– GReyes
yesterday
$begingroup$
You can define $sigma$-additivity for a function $phi:DtoBbb R$ with arbitrary $Dsubseteq P(X)$, as whenever $bigcup_i A_iin D$ for countably many pairwise disjoint sets $A_iin D$, we have $phi(bigcup_i A_i) =sum_iphi(A_i)$.
$endgroup$
– Berci
yesterday
add a comment |
1
$begingroup$
I have suppressed the tag "ring-theory" : it is not this kind of rings that are concerned by ring theory...
$endgroup$
– Jean Marie
yesterday
$begingroup$
Right. This is a set-theoretic ring not an algebraic structure.
$endgroup$
– GReyes
yesterday
$begingroup$
You can define $sigma$-additivity for a function $phi:DtoBbb R$ with arbitrary $Dsubseteq P(X)$, as whenever $bigcup_i A_iin D$ for countably many pairwise disjoint sets $A_iin D$, we have $phi(bigcup_i A_i) =sum_iphi(A_i)$.
$endgroup$
– Berci
yesterday
1
1
$begingroup$
I have suppressed the tag "ring-theory" : it is not this kind of rings that are concerned by ring theory...
$endgroup$
– Jean Marie
yesterday
$begingroup$
I have suppressed the tag "ring-theory" : it is not this kind of rings that are concerned by ring theory...
$endgroup$
– Jean Marie
yesterday
$begingroup$
Right. This is a set-theoretic ring not an algebraic structure.
$endgroup$
– GReyes
yesterday
$begingroup$
Right. This is a set-theoretic ring not an algebraic structure.
$endgroup$
– GReyes
yesterday
$begingroup$
You can define $sigma$-additivity for a function $phi:DtoBbb R$ with arbitrary $Dsubseteq P(X)$, as whenever $bigcup_i A_iin D$ for countably many pairwise disjoint sets $A_iin D$, we have $phi(bigcup_i A_i) =sum_iphi(A_i)$.
$endgroup$
– Berci
yesterday
$begingroup$
You can define $sigma$-additivity for a function $phi:DtoBbb R$ with arbitrary $Dsubseteq P(X)$, as whenever $bigcup_i A_iin D$ for countably many pairwise disjoint sets $A_iin D$, we have $phi(bigcup_i A_i) =sum_iphi(A_i)$.
$endgroup$
– Berci
yesterday
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
You are mixing two things. For a measure to be countable additive you require that IF the countable union of disjoint measurable sets happens to be measurable then the measure of the union is the sum of the measures. For a sigma ring it is always the case that countable unions belong to the ring so you can dispense with the 'if'. But a general measure can be defined and even sigma additive over a more general substrate.
$endgroup$
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
);
);
Seth M is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3140511%2fhow-can-a-functionmeasure-be-countably-additive-on-a-non-sigma-ring%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$
You are mixing two things. For a measure to be countable additive you require that IF the countable union of disjoint measurable sets happens to be measurable then the measure of the union is the sum of the measures. For a sigma ring it is always the case that countable unions belong to the ring so you can dispense with the 'if'. But a general measure can be defined and even sigma additive over a more general substrate.
$endgroup$
add a comment |
$begingroup$
You are mixing two things. For a measure to be countable additive you require that IF the countable union of disjoint measurable sets happens to be measurable then the measure of the union is the sum of the measures. For a sigma ring it is always the case that countable unions belong to the ring so you can dispense with the 'if'. But a general measure can be defined and even sigma additive over a more general substrate.
$endgroup$
add a comment |
$begingroup$
You are mixing two things. For a measure to be countable additive you require that IF the countable union of disjoint measurable sets happens to be measurable then the measure of the union is the sum of the measures. For a sigma ring it is always the case that countable unions belong to the ring so you can dispense with the 'if'. But a general measure can be defined and even sigma additive over a more general substrate.
$endgroup$
You are mixing two things. For a measure to be countable additive you require that IF the countable union of disjoint measurable sets happens to be measurable then the measure of the union is the sum of the measures. For a sigma ring it is always the case that countable unions belong to the ring so you can dispense with the 'if'. But a general measure can be defined and even sigma additive over a more general substrate.
answered yesterday
GReyesGReyes
1,82015
1,82015
add a comment |
add a comment |
Seth M is a new contributor. Be nice, and check out our Code of Conduct.
Seth M is a new contributor. Be nice, and check out our Code of Conduct.
Seth M is a new contributor. Be nice, and check out our Code of Conduct.
Seth M is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3140511%2fhow-can-a-functionmeasure-be-countably-additive-on-a-non-sigma-ring%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
1
$begingroup$
I have suppressed the tag "ring-theory" : it is not this kind of rings that are concerned by ring theory...
$endgroup$
– Jean Marie
yesterday
$begingroup$
Right. This is a set-theoretic ring not an algebraic structure.
$endgroup$
– GReyes
yesterday
$begingroup$
You can define $sigma$-additivity for a function $phi:DtoBbb R$ with arbitrary $Dsubseteq P(X)$, as whenever $bigcup_i A_iin D$ for countably many pairwise disjoint sets $A_iin D$, we have $phi(bigcup_i A_i) =sum_iphi(A_i)$.
$endgroup$
– Berci
yesterday