Question on strictly positive measure of a level set
$begingroup$
Let $f in W^{2,p}(U)$ for $1 le p lt infty$ where $U$ is a compact subset of $mathbb R^2$ and $g in L^{infty}(U)$ with $g(f)=f$ almost everywhere on $U$. I have trouble understanding why the following holds:
Assume that the set ${f=0}$ is non empty and moreover that $g lt 1$ in ${f=0}$. Then it has a strictly
positive lebesgue measure.
I know that ${f=0}$ is a (relatively) closed set but that is not enough for the strict inequality. What do I miss? Is it because it contains an open set?
Any help/hints are much appreciated! Thanks in advance!
real-analysis analysis measure-theory lebesgue-measure
$endgroup$
add a comment |
$begingroup$
Let $f in W^{2,p}(U)$ for $1 le p lt infty$ where $U$ is a compact subset of $mathbb R^2$ and $g in L^{infty}(U)$ with $g(f)=f$ almost everywhere on $U$. I have trouble understanding why the following holds:
Assume that the set ${f=0}$ is non empty and moreover that $g lt 1$ in ${f=0}$. Then it has a strictly
positive lebesgue measure.
I know that ${f=0}$ is a (relatively) closed set but that is not enough for the strict inequality. What do I miss? Is it because it contains an open set?
Any help/hints are much appreciated! Thanks in advance!
real-analysis analysis measure-theory lebesgue-measure
$endgroup$
$begingroup$
Do you not have any additional assumptions? Unless I'm missing something, $f(x) = x_1^2+x_2^2$ is an easy counterexample.
$endgroup$
– ktoi
Nov 28 '18 at 21:26
$begingroup$
@ktoi I just edited my question...
$endgroup$
– kaithkolesidou
Dec 3 '18 at 11:16
1
$begingroup$
What is the connection between $f$ and $g$. The example given by ktoi is still valid with $g=0$.
$endgroup$
– Kavi Rama Murthy
Dec 3 '18 at 12:01
$begingroup$
@KaviRamaMurthy I'm sorry I didn't mention it from the beginning. I edited
$endgroup$
– kaithkolesidou
Dec 3 '18 at 12:16
$begingroup$
@kaithkolesidou What do you mean by $g(f)$? If it's functional composition, then the assumption $g<1$ on ${f = 0}$ doesn't really tell you anything and taking $g(x) = x$ my example still remains valid. Also it seems like you need more regularity assumptions on $g$; if ${ f = 0 }$ is a null set then the condition $g < 1$ on ${f = 0}$ gives hardly any restriction on $g.$
$endgroup$
– ktoi
Dec 4 '18 at 19:07
add a comment |
$begingroup$
Let $f in W^{2,p}(U)$ for $1 le p lt infty$ where $U$ is a compact subset of $mathbb R^2$ and $g in L^{infty}(U)$ with $g(f)=f$ almost everywhere on $U$. I have trouble understanding why the following holds:
Assume that the set ${f=0}$ is non empty and moreover that $g lt 1$ in ${f=0}$. Then it has a strictly
positive lebesgue measure.
I know that ${f=0}$ is a (relatively) closed set but that is not enough for the strict inequality. What do I miss? Is it because it contains an open set?
Any help/hints are much appreciated! Thanks in advance!
real-analysis analysis measure-theory lebesgue-measure
$endgroup$
Let $f in W^{2,p}(U)$ for $1 le p lt infty$ where $U$ is a compact subset of $mathbb R^2$ and $g in L^{infty}(U)$ with $g(f)=f$ almost everywhere on $U$. I have trouble understanding why the following holds:
Assume that the set ${f=0}$ is non empty and moreover that $g lt 1$ in ${f=0}$. Then it has a strictly
positive lebesgue measure.
I know that ${f=0}$ is a (relatively) closed set but that is not enough for the strict inequality. What do I miss? Is it because it contains an open set?
Any help/hints are much appreciated! Thanks in advance!
real-analysis analysis measure-theory lebesgue-measure
real-analysis analysis measure-theory lebesgue-measure
edited Dec 3 '18 at 12:15
kaithkolesidou
asked Nov 28 '18 at 12:55
kaithkolesidoukaithkolesidou
959511
959511
$begingroup$
Do you not have any additional assumptions? Unless I'm missing something, $f(x) = x_1^2+x_2^2$ is an easy counterexample.
$endgroup$
– ktoi
Nov 28 '18 at 21:26
$begingroup$
@ktoi I just edited my question...
$endgroup$
– kaithkolesidou
Dec 3 '18 at 11:16
1
$begingroup$
What is the connection between $f$ and $g$. The example given by ktoi is still valid with $g=0$.
$endgroup$
– Kavi Rama Murthy
Dec 3 '18 at 12:01
$begingroup$
@KaviRamaMurthy I'm sorry I didn't mention it from the beginning. I edited
$endgroup$
– kaithkolesidou
Dec 3 '18 at 12:16
$begingroup$
@kaithkolesidou What do you mean by $g(f)$? If it's functional composition, then the assumption $g<1$ on ${f = 0}$ doesn't really tell you anything and taking $g(x) = x$ my example still remains valid. Also it seems like you need more regularity assumptions on $g$; if ${ f = 0 }$ is a null set then the condition $g < 1$ on ${f = 0}$ gives hardly any restriction on $g.$
$endgroup$
– ktoi
Dec 4 '18 at 19:07
add a comment |
$begingroup$
Do you not have any additional assumptions? Unless I'm missing something, $f(x) = x_1^2+x_2^2$ is an easy counterexample.
$endgroup$
– ktoi
Nov 28 '18 at 21:26
$begingroup$
@ktoi I just edited my question...
$endgroup$
– kaithkolesidou
Dec 3 '18 at 11:16
1
$begingroup$
What is the connection between $f$ and $g$. The example given by ktoi is still valid with $g=0$.
$endgroup$
– Kavi Rama Murthy
Dec 3 '18 at 12:01
$begingroup$
@KaviRamaMurthy I'm sorry I didn't mention it from the beginning. I edited
$endgroup$
– kaithkolesidou
Dec 3 '18 at 12:16
$begingroup$
@kaithkolesidou What do you mean by $g(f)$? If it's functional composition, then the assumption $g<1$ on ${f = 0}$ doesn't really tell you anything and taking $g(x) = x$ my example still remains valid. Also it seems like you need more regularity assumptions on $g$; if ${ f = 0 }$ is a null set then the condition $g < 1$ on ${f = 0}$ gives hardly any restriction on $g.$
$endgroup$
– ktoi
Dec 4 '18 at 19:07
$begingroup$
Do you not have any additional assumptions? Unless I'm missing something, $f(x) = x_1^2+x_2^2$ is an easy counterexample.
$endgroup$
– ktoi
Nov 28 '18 at 21:26
$begingroup$
Do you not have any additional assumptions? Unless I'm missing something, $f(x) = x_1^2+x_2^2$ is an easy counterexample.
$endgroup$
– ktoi
Nov 28 '18 at 21:26
$begingroup$
@ktoi I just edited my question...
$endgroup$
– kaithkolesidou
Dec 3 '18 at 11:16
$begingroup$
@ktoi I just edited my question...
$endgroup$
– kaithkolesidou
Dec 3 '18 at 11:16
1
1
$begingroup$
What is the connection between $f$ and $g$. The example given by ktoi is still valid with $g=0$.
$endgroup$
– Kavi Rama Murthy
Dec 3 '18 at 12:01
$begingroup$
What is the connection between $f$ and $g$. The example given by ktoi is still valid with $g=0$.
$endgroup$
– Kavi Rama Murthy
Dec 3 '18 at 12:01
$begingroup$
@KaviRamaMurthy I'm sorry I didn't mention it from the beginning. I edited
$endgroup$
– kaithkolesidou
Dec 3 '18 at 12:16
$begingroup$
@KaviRamaMurthy I'm sorry I didn't mention it from the beginning. I edited
$endgroup$
– kaithkolesidou
Dec 3 '18 at 12:16
$begingroup$
@kaithkolesidou What do you mean by $g(f)$? If it's functional composition, then the assumption $g<1$ on ${f = 0}$ doesn't really tell you anything and taking $g(x) = x$ my example still remains valid. Also it seems like you need more regularity assumptions on $g$; if ${ f = 0 }$ is a null set then the condition $g < 1$ on ${f = 0}$ gives hardly any restriction on $g.$
$endgroup$
– ktoi
Dec 4 '18 at 19:07
$begingroup$
@kaithkolesidou What do you mean by $g(f)$? If it's functional composition, then the assumption $g<1$ on ${f = 0}$ doesn't really tell you anything and taking $g(x) = x$ my example still remains valid. Also it seems like you need more regularity assumptions on $g$; if ${ f = 0 }$ is a null set then the condition $g < 1$ on ${f = 0}$ gives hardly any restriction on $g.$
$endgroup$
– ktoi
Dec 4 '18 at 19:07
add a comment |
0
active
oldest
votes
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%2f3017107%2fquestion-on-strictly-positive-measure-of-a-level-set%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3017107%2fquestion-on-strictly-positive-measure-of-a-level-set%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
$begingroup$
Do you not have any additional assumptions? Unless I'm missing something, $f(x) = x_1^2+x_2^2$ is an easy counterexample.
$endgroup$
– ktoi
Nov 28 '18 at 21:26
$begingroup$
@ktoi I just edited my question...
$endgroup$
– kaithkolesidou
Dec 3 '18 at 11:16
1
$begingroup$
What is the connection between $f$ and $g$. The example given by ktoi is still valid with $g=0$.
$endgroup$
– Kavi Rama Murthy
Dec 3 '18 at 12:01
$begingroup$
@KaviRamaMurthy I'm sorry I didn't mention it from the beginning. I edited
$endgroup$
– kaithkolesidou
Dec 3 '18 at 12:16
$begingroup$
@kaithkolesidou What do you mean by $g(f)$? If it's functional composition, then the assumption $g<1$ on ${f = 0}$ doesn't really tell you anything and taking $g(x) = x$ my example still remains valid. Also it seems like you need more regularity assumptions on $g$; if ${ f = 0 }$ is a null set then the condition $g < 1$ on ${f = 0}$ gives hardly any restriction on $g.$
$endgroup$
– ktoi
Dec 4 '18 at 19:07