Find the Lebesgue set w.r.t. to the functions
I'm working on a problem in measure theory:
Find the Lebesgue set $L_f={x:lim_{rto 0} frac{1}{m(B(r,x))} int_{B(r,x)}lvert f(y)-f(x)rvert dy=0}$ if:
$f:mathbb R^n to mathbb C$ is continuous
$f=chi_{E}$, where $Einmathbb R^n$ is Lebesgue null; $m(E)=0$. $chi$ denotes the indicator function.
$f(x)=lfloor xrfloor$ on $mathbb R$
I'm having a bit of a tough time wrapping my head around what the Lebesgue sets really are, and consequently is struggling to characterize the Lebesgue sets w.r.t to these functions. I could really use some help on these!
real-analysis measure-theory
add a comment |
I'm working on a problem in measure theory:
Find the Lebesgue set $L_f={x:lim_{rto 0} frac{1}{m(B(r,x))} int_{B(r,x)}lvert f(y)-f(x)rvert dy=0}$ if:
$f:mathbb R^n to mathbb C$ is continuous
$f=chi_{E}$, where $Einmathbb R^n$ is Lebesgue null; $m(E)=0$. $chi$ denotes the indicator function.
$f(x)=lfloor xrfloor$ on $mathbb R$
I'm having a bit of a tough time wrapping my head around what the Lebesgue sets really are, and consequently is struggling to characterize the Lebesgue sets w.r.t to these functions. I could really use some help on these!
real-analysis measure-theory
For 1) all points are Lebesgue points. For 2) $x$ is a Lebesgue point iff $xin E$. For 3) Lebesgue points are all points except integers. All these follow easily from definition.
– Kavi Rama Murthy
Nov 30 at 0:37
@KaviRamaMurthy maybe I have an ill understanding of the definition... could you elaborate a bit more?
– Sank
Nov 30 at 0:52
What do you have as the definition?
– Robert Israel
Nov 30 at 1:15
@RobertIsrael I edited the post with the definition in the question.
– Sank
Nov 30 at 1:22
add a comment |
I'm working on a problem in measure theory:
Find the Lebesgue set $L_f={x:lim_{rto 0} frac{1}{m(B(r,x))} int_{B(r,x)}lvert f(y)-f(x)rvert dy=0}$ if:
$f:mathbb R^n to mathbb C$ is continuous
$f=chi_{E}$, where $Einmathbb R^n$ is Lebesgue null; $m(E)=0$. $chi$ denotes the indicator function.
$f(x)=lfloor xrfloor$ on $mathbb R$
I'm having a bit of a tough time wrapping my head around what the Lebesgue sets really are, and consequently is struggling to characterize the Lebesgue sets w.r.t to these functions. I could really use some help on these!
real-analysis measure-theory
I'm working on a problem in measure theory:
Find the Lebesgue set $L_f={x:lim_{rto 0} frac{1}{m(B(r,x))} int_{B(r,x)}lvert f(y)-f(x)rvert dy=0}$ if:
$f:mathbb R^n to mathbb C$ is continuous
$f=chi_{E}$, where $Einmathbb R^n$ is Lebesgue null; $m(E)=0$. $chi$ denotes the indicator function.
$f(x)=lfloor xrfloor$ on $mathbb R$
I'm having a bit of a tough time wrapping my head around what the Lebesgue sets really are, and consequently is struggling to characterize the Lebesgue sets w.r.t to these functions. I could really use some help on these!
real-analysis measure-theory
real-analysis measure-theory
edited Nov 30 at 1:21
asked Nov 30 at 0:21
Sank
16511
16511
For 1) all points are Lebesgue points. For 2) $x$ is a Lebesgue point iff $xin E$. For 3) Lebesgue points are all points except integers. All these follow easily from definition.
– Kavi Rama Murthy
Nov 30 at 0:37
@KaviRamaMurthy maybe I have an ill understanding of the definition... could you elaborate a bit more?
– Sank
Nov 30 at 0:52
What do you have as the definition?
– Robert Israel
Nov 30 at 1:15
@RobertIsrael I edited the post with the definition in the question.
– Sank
Nov 30 at 1:22
add a comment |
For 1) all points are Lebesgue points. For 2) $x$ is a Lebesgue point iff $xin E$. For 3) Lebesgue points are all points except integers. All these follow easily from definition.
– Kavi Rama Murthy
Nov 30 at 0:37
@KaviRamaMurthy maybe I have an ill understanding of the definition... could you elaborate a bit more?
– Sank
Nov 30 at 0:52
What do you have as the definition?
– Robert Israel
Nov 30 at 1:15
@RobertIsrael I edited the post with the definition in the question.
– Sank
Nov 30 at 1:22
For 1) all points are Lebesgue points. For 2) $x$ is a Lebesgue point iff $xin E$. For 3) Lebesgue points are all points except integers. All these follow easily from definition.
– Kavi Rama Murthy
Nov 30 at 0:37
For 1) all points are Lebesgue points. For 2) $x$ is a Lebesgue point iff $xin E$. For 3) Lebesgue points are all points except integers. All these follow easily from definition.
– Kavi Rama Murthy
Nov 30 at 0:37
@KaviRamaMurthy maybe I have an ill understanding of the definition... could you elaborate a bit more?
– Sank
Nov 30 at 0:52
@KaviRamaMurthy maybe I have an ill understanding of the definition... could you elaborate a bit more?
– Sank
Nov 30 at 0:52
What do you have as the definition?
– Robert Israel
Nov 30 at 1:15
What do you have as the definition?
– Robert Israel
Nov 30 at 1:15
@RobertIsrael I edited the post with the definition in the question.
– Sank
Nov 30 at 1:22
@RobertIsrael I edited the post with the definition in the question.
– Sank
Nov 30 at 1:22
add a comment |
1 Answer
1
active
oldest
votes
If $f$ is continuous at $x$ then $|f(y)-f(x)| <epsilon$ foe all $y in B(x,r)$ provided $r$ is small enough. Hence $x$ is a Lebesgue point. In 2) $f=0$ a.e. so you can simply repalce $f(y)$ by $0$ in the definition without changing the integral. Hence $x$ is a Lebesgue point iff $f(x)=0$ which means $x in E^{c}$. (There was mistake in my comment. I meant $x in E^{c}$ not $x in E$). In 3) all points except integers are points of continuity and hence they are Lebesgue points. At integer points it is easy to see that the limit in the definition equals $frac 1 2$, not $0$.
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%2f3019442%2ffind-the-lebesgue-set-w-r-t-to-the-functions%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
If $f$ is continuous at $x$ then $|f(y)-f(x)| <epsilon$ foe all $y in B(x,r)$ provided $r$ is small enough. Hence $x$ is a Lebesgue point. In 2) $f=0$ a.e. so you can simply repalce $f(y)$ by $0$ in the definition without changing the integral. Hence $x$ is a Lebesgue point iff $f(x)=0$ which means $x in E^{c}$. (There was mistake in my comment. I meant $x in E^{c}$ not $x in E$). In 3) all points except integers are points of continuity and hence they are Lebesgue points. At integer points it is easy to see that the limit in the definition equals $frac 1 2$, not $0$.
add a comment |
If $f$ is continuous at $x$ then $|f(y)-f(x)| <epsilon$ foe all $y in B(x,r)$ provided $r$ is small enough. Hence $x$ is a Lebesgue point. In 2) $f=0$ a.e. so you can simply repalce $f(y)$ by $0$ in the definition without changing the integral. Hence $x$ is a Lebesgue point iff $f(x)=0$ which means $x in E^{c}$. (There was mistake in my comment. I meant $x in E^{c}$ not $x in E$). In 3) all points except integers are points of continuity and hence they are Lebesgue points. At integer points it is easy to see that the limit in the definition equals $frac 1 2$, not $0$.
add a comment |
If $f$ is continuous at $x$ then $|f(y)-f(x)| <epsilon$ foe all $y in B(x,r)$ provided $r$ is small enough. Hence $x$ is a Lebesgue point. In 2) $f=0$ a.e. so you can simply repalce $f(y)$ by $0$ in the definition without changing the integral. Hence $x$ is a Lebesgue point iff $f(x)=0$ which means $x in E^{c}$. (There was mistake in my comment. I meant $x in E^{c}$ not $x in E$). In 3) all points except integers are points of continuity and hence they are Lebesgue points. At integer points it is easy to see that the limit in the definition equals $frac 1 2$, not $0$.
If $f$ is continuous at $x$ then $|f(y)-f(x)| <epsilon$ foe all $y in B(x,r)$ provided $r$ is small enough. Hence $x$ is a Lebesgue point. In 2) $f=0$ a.e. so you can simply repalce $f(y)$ by $0$ in the definition without changing the integral. Hence $x$ is a Lebesgue point iff $f(x)=0$ which means $x in E^{c}$. (There was mistake in my comment. I meant $x in E^{c}$ not $x in E$). In 3) all points except integers are points of continuity and hence they are Lebesgue points. At integer points it is easy to see that the limit in the definition equals $frac 1 2$, not $0$.
answered Nov 30 at 5:03
Kavi Rama Murthy
49.4k31854
49.4k31854
add a comment |
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%2f3019442%2ffind-the-lebesgue-set-w-r-t-to-the-functions%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
For 1) all points are Lebesgue points. For 2) $x$ is a Lebesgue point iff $xin E$. For 3) Lebesgue points are all points except integers. All these follow easily from definition.
– Kavi Rama Murthy
Nov 30 at 0:37
@KaviRamaMurthy maybe I have an ill understanding of the definition... could you elaborate a bit more?
– Sank
Nov 30 at 0:52
What do you have as the definition?
– Robert Israel
Nov 30 at 1:15
@RobertIsrael I edited the post with the definition in the question.
– Sank
Nov 30 at 1:22