Uses of characterization of $sigma$-finiteness The 2019 Stack Overflow Developer Survey Results Are InFact about measurable functions defined on $sigma$-finite measure spaces.Non-measurable set in product $sigma$-algebra s.t. every section is measurable.Connection between separable measure spaces and $sigma$-finite measure spacesIncomplete measure space that is not sigma-finiteHow does one determine the $sigma$-algebra of $mu^*$-measurable subsets for the following $mu^*$?Show that the area set is measurableNon sigma-finite measure defined by integral (example)measurability of functions; sub sigma field and completionPullback probability measure : how to pullback the finite uniform probability?How to show that $mathscr F$ is a Sigma Algebra?
Can a flute soloist sit?
What are the motivations for publishing new editions of an existing textbook, beyond new discoveries in a field?
If I score a critical hit on an 18 or higher, what are my chances of getting a critical hit if I roll 3d20?
Output the Arecibo Message
Can you compress metal and what would be the consequences?
Feature engineering suggestion required
Does the shape of a die affect the probability of a number being rolled?
What tool would a Roman-age civilization have for the breaking of silver and other metals into dust?
When should I buy a clipper card after flying to OAK?
A poker game description that does not feel gimmicky
What is the motivation for a law requiring 2 parties to consent for recording a conversation
What could be the right powersource for 15 seconds lifespan disposable giant chainsaw?
What to do when moving next to a bird sanctuary with a loosely-domesticated cat?
Can we generate random numbers using irrational numbers like π and e?
Return to UK after being refused entry years previously
What is the accessibility of a package's `Private` context variables?
What is the meaning of Triage in Cybersec world?
If a Druid sees an animal’s corpse, can they Wild Shape into that animal?
Do these rules for Critical Successes and Critical Failures seem fair?
How to save as into a customized destination on macOS?
Lightning Grid - Columns and Rows?
Why do we hear so much about the Trump administration deciding to impose and then remove tariffs?
Why not take a picture of a closer black hole?
What does ひと匙 mean in this manga and has it been used colloquially?
Uses of characterization of $sigma$-finiteness
The 2019 Stack Overflow Developer Survey Results Are InFact about measurable functions defined on $sigma$-finite measure spaces.Non-measurable set in product $sigma$-algebra s.t. every section is measurable.Connection between separable measure spaces and $sigma$-finite measure spacesIncomplete measure space that is not sigma-finiteHow does one determine the $sigma$-algebra of $mu^*$-measurable subsets for the following $mu^*$?Show that the area set is measurableNon sigma-finite measure defined by integral (example)measurability of functions; sub sigma field and completionPullback probability measure : how to pullback the finite uniform probability?How to show that $mathscr F$ is a Sigma Algebra?
$begingroup$
It's not difficult to prove the following characterization of $sigma$-finite measures: Let $(Omega, mathscr A, mu)$ be a measure space. Then,
$$ Omega text is sigmatext-finite iff textthere exists a measurable f > 0 text with int_Omega f d mu < infty.$$
My question: Is this just a common practice problems for students to get familiar with $sigma$-finite spaces or do you know any situations where this fact came in handy?
measure-theory
$endgroup$
add a comment |
$begingroup$
It's not difficult to prove the following characterization of $sigma$-finite measures: Let $(Omega, mathscr A, mu)$ be a measure space. Then,
$$ Omega text is sigmatext-finite iff textthere exists a measurable f > 0 text with int_Omega f d mu < infty.$$
My question: Is this just a common practice problems for students to get familiar with $sigma$-finite spaces or do you know any situations where this fact came in handy?
measure-theory
$endgroup$
add a comment |
$begingroup$
It's not difficult to prove the following characterization of $sigma$-finite measures: Let $(Omega, mathscr A, mu)$ be a measure space. Then,
$$ Omega text is sigmatext-finite iff textthere exists a measurable f > 0 text with int_Omega f d mu < infty.$$
My question: Is this just a common practice problems for students to get familiar with $sigma$-finite spaces or do you know any situations where this fact came in handy?
measure-theory
$endgroup$
It's not difficult to prove the following characterization of $sigma$-finite measures: Let $(Omega, mathscr A, mu)$ be a measure space. Then,
$$ Omega text is sigmatext-finite iff textthere exists a measurable f > 0 text with int_Omega f d mu < infty.$$
My question: Is this just a common practice problems for students to get familiar with $sigma$-finite spaces or do you know any situations where this fact came in handy?
measure-theory
measure-theory
asked Apr 7 at 18:07
KezerKezer
1,405621
1,405621
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I think it serves as "motivation": we want to study $sigma$-finite measures so at least we have some non-trivial integrals for positive functions. As integrals are functionals for some function spaces, this shows that in those cases we have at least some non-trivial functionals. It justifies why we often have $sigma$-finiteness as an assumption in theorems.
$endgroup$
$begingroup$
Great answer! Motivation is at least as important (or even more important) than simple applications for me!
$endgroup$
– Kezer
Apr 7 at 18:20
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%2f3178575%2fuses-of-characterization-of-sigma-finiteness%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$
I think it serves as "motivation": we want to study $sigma$-finite measures so at least we have some non-trivial integrals for positive functions. As integrals are functionals for some function spaces, this shows that in those cases we have at least some non-trivial functionals. It justifies why we often have $sigma$-finiteness as an assumption in theorems.
$endgroup$
$begingroup$
Great answer! Motivation is at least as important (or even more important) than simple applications for me!
$endgroup$
– Kezer
Apr 7 at 18:20
add a comment |
$begingroup$
I think it serves as "motivation": we want to study $sigma$-finite measures so at least we have some non-trivial integrals for positive functions. As integrals are functionals for some function spaces, this shows that in those cases we have at least some non-trivial functionals. It justifies why we often have $sigma$-finiteness as an assumption in theorems.
$endgroup$
$begingroup$
Great answer! Motivation is at least as important (or even more important) than simple applications for me!
$endgroup$
– Kezer
Apr 7 at 18:20
add a comment |
$begingroup$
I think it serves as "motivation": we want to study $sigma$-finite measures so at least we have some non-trivial integrals for positive functions. As integrals are functionals for some function spaces, this shows that in those cases we have at least some non-trivial functionals. It justifies why we often have $sigma$-finiteness as an assumption in theorems.
$endgroup$
I think it serves as "motivation": we want to study $sigma$-finite measures so at least we have some non-trivial integrals for positive functions. As integrals are functionals for some function spaces, this shows that in those cases we have at least some non-trivial functionals. It justifies why we often have $sigma$-finiteness as an assumption in theorems.
answered Apr 7 at 18:12
Henno BrandsmaHenno Brandsma
116k349127
116k349127
$begingroup$
Great answer! Motivation is at least as important (or even more important) than simple applications for me!
$endgroup$
– Kezer
Apr 7 at 18:20
add a comment |
$begingroup$
Great answer! Motivation is at least as important (or even more important) than simple applications for me!
$endgroup$
– Kezer
Apr 7 at 18:20
$begingroup$
Great answer! Motivation is at least as important (or even more important) than simple applications for me!
$endgroup$
– Kezer
Apr 7 at 18:20
$begingroup$
Great answer! Motivation is at least as important (or even more important) than simple applications for me!
$endgroup$
– Kezer
Apr 7 at 18:20
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.
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%2f3178575%2fuses-of-characterization-of-sigma-finiteness%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