Definition of Shrinks Nicely
The following is the definition of shrinks nicely according to Folland:
a family ${E_r}_{r>0}$ of subsets of $mathbb{R}^n$ shrinks nicely to $x$ if $E_r subset B(x,r)$ for all $r>0$ and $m(E_r) > alpha m(B(x,r))$ for all $r>0$, for some universal constant $alpha$.
I am confused about the indexing of the a family ${E_r}$. Can there be a single E1 and that is the only set in the family? Must the r converge to 0? Must the index be uncountable?
Thank you for the help
real-analysis
add a comment |
The following is the definition of shrinks nicely according to Folland:
a family ${E_r}_{r>0}$ of subsets of $mathbb{R}^n$ shrinks nicely to $x$ if $E_r subset B(x,r)$ for all $r>0$ and $m(E_r) > alpha m(B(x,r))$ for all $r>0$, for some universal constant $alpha$.
I am confused about the indexing of the a family ${E_r}$. Can there be a single E1 and that is the only set in the family? Must the r converge to 0? Must the index be uncountable?
Thank you for the help
real-analysis
1
As stated, the family must be indexed by $(0, infty)$, so there is a set $E_r$ for each $r > 0$. I am not sure what the context is, but I think one can relax this definition by considering families indexed by any set of positive reals $r$ that has zero as a limit point.
– angryavian
Nov 25 at 0:09
(a "just passing by" comment) I wonder why Folland uses the potentially misleading phrase "for some universal constant $alpha$?" When I see this phrase, my thoughts immediately go to something like $pi,$ or $e,$ or $ln (pi - sqrt{5}),$ etc. and only after spending a few moments rereading the definition and thinking of what makes sense do I realize all that is intended is that the existential quantifier "there exists $alpha$" comes before the universal quantifier "for all $r,$ and then I waste time wondering why the author didn't just phrase it that way. (continued)
– Dave L. Renfro
Nov 25 at 8:49
For example, why not just say "there exists $alpha > 0$ such that for each $r>0$ we have $E_r subset B(x,r)$ and $m(E_r) > alpha m(B(x,r))$"? This is shorter and easier to parse mathematically, even with the additional assumption that $alpha$ is positive (which I assume Folland intended, although maybe I'm wrong).
– Dave L. Renfro
Nov 25 at 8:55
add a comment |
The following is the definition of shrinks nicely according to Folland:
a family ${E_r}_{r>0}$ of subsets of $mathbb{R}^n$ shrinks nicely to $x$ if $E_r subset B(x,r)$ for all $r>0$ and $m(E_r) > alpha m(B(x,r))$ for all $r>0$, for some universal constant $alpha$.
I am confused about the indexing of the a family ${E_r}$. Can there be a single E1 and that is the only set in the family? Must the r converge to 0? Must the index be uncountable?
Thank you for the help
real-analysis
The following is the definition of shrinks nicely according to Folland:
a family ${E_r}_{r>0}$ of subsets of $mathbb{R}^n$ shrinks nicely to $x$ if $E_r subset B(x,r)$ for all $r>0$ and $m(E_r) > alpha m(B(x,r))$ for all $r>0$, for some universal constant $alpha$.
I am confused about the indexing of the a family ${E_r}$. Can there be a single E1 and that is the only set in the family? Must the r converge to 0? Must the index be uncountable?
Thank you for the help
real-analysis
real-analysis
asked Nov 25 at 0:04
user56628
578
578
1
As stated, the family must be indexed by $(0, infty)$, so there is a set $E_r$ for each $r > 0$. I am not sure what the context is, but I think one can relax this definition by considering families indexed by any set of positive reals $r$ that has zero as a limit point.
– angryavian
Nov 25 at 0:09
(a "just passing by" comment) I wonder why Folland uses the potentially misleading phrase "for some universal constant $alpha$?" When I see this phrase, my thoughts immediately go to something like $pi,$ or $e,$ or $ln (pi - sqrt{5}),$ etc. and only after spending a few moments rereading the definition and thinking of what makes sense do I realize all that is intended is that the existential quantifier "there exists $alpha$" comes before the universal quantifier "for all $r,$ and then I waste time wondering why the author didn't just phrase it that way. (continued)
– Dave L. Renfro
Nov 25 at 8:49
For example, why not just say "there exists $alpha > 0$ such that for each $r>0$ we have $E_r subset B(x,r)$ and $m(E_r) > alpha m(B(x,r))$"? This is shorter and easier to parse mathematically, even with the additional assumption that $alpha$ is positive (which I assume Folland intended, although maybe I'm wrong).
– Dave L. Renfro
Nov 25 at 8:55
add a comment |
1
As stated, the family must be indexed by $(0, infty)$, so there is a set $E_r$ for each $r > 0$. I am not sure what the context is, but I think one can relax this definition by considering families indexed by any set of positive reals $r$ that has zero as a limit point.
– angryavian
Nov 25 at 0:09
(a "just passing by" comment) I wonder why Folland uses the potentially misleading phrase "for some universal constant $alpha$?" When I see this phrase, my thoughts immediately go to something like $pi,$ or $e,$ or $ln (pi - sqrt{5}),$ etc. and only after spending a few moments rereading the definition and thinking of what makes sense do I realize all that is intended is that the existential quantifier "there exists $alpha$" comes before the universal quantifier "for all $r,$ and then I waste time wondering why the author didn't just phrase it that way. (continued)
– Dave L. Renfro
Nov 25 at 8:49
For example, why not just say "there exists $alpha > 0$ such that for each $r>0$ we have $E_r subset B(x,r)$ and $m(E_r) > alpha m(B(x,r))$"? This is shorter and easier to parse mathematically, even with the additional assumption that $alpha$ is positive (which I assume Folland intended, although maybe I'm wrong).
– Dave L. Renfro
Nov 25 at 8:55
1
1
As stated, the family must be indexed by $(0, infty)$, so there is a set $E_r$ for each $r > 0$. I am not sure what the context is, but I think one can relax this definition by considering families indexed by any set of positive reals $r$ that has zero as a limit point.
– angryavian
Nov 25 at 0:09
As stated, the family must be indexed by $(0, infty)$, so there is a set $E_r$ for each $r > 0$. I am not sure what the context is, but I think one can relax this definition by considering families indexed by any set of positive reals $r$ that has zero as a limit point.
– angryavian
Nov 25 at 0:09
(a "just passing by" comment) I wonder why Folland uses the potentially misleading phrase "for some universal constant $alpha$?" When I see this phrase, my thoughts immediately go to something like $pi,$ or $e,$ or $ln (pi - sqrt{5}),$ etc. and only after spending a few moments rereading the definition and thinking of what makes sense do I realize all that is intended is that the existential quantifier "there exists $alpha$" comes before the universal quantifier "for all $r,$ and then I waste time wondering why the author didn't just phrase it that way. (continued)
– Dave L. Renfro
Nov 25 at 8:49
(a "just passing by" comment) I wonder why Folland uses the potentially misleading phrase "for some universal constant $alpha$?" When I see this phrase, my thoughts immediately go to something like $pi,$ or $e,$ or $ln (pi - sqrt{5}),$ etc. and only after spending a few moments rereading the definition and thinking of what makes sense do I realize all that is intended is that the existential quantifier "there exists $alpha$" comes before the universal quantifier "for all $r,$ and then I waste time wondering why the author didn't just phrase it that way. (continued)
– Dave L. Renfro
Nov 25 at 8:49
For example, why not just say "there exists $alpha > 0$ such that for each $r>0$ we have $E_r subset B(x,r)$ and $m(E_r) > alpha m(B(x,r))$"? This is shorter and easier to parse mathematically, even with the additional assumption that $alpha$ is positive (which I assume Folland intended, although maybe I'm wrong).
– Dave L. Renfro
Nov 25 at 8:55
For example, why not just say "there exists $alpha > 0$ such that for each $r>0$ we have $E_r subset B(x,r)$ and $m(E_r) > alpha m(B(x,r))$"? This is shorter and easier to parse mathematically, even with the additional assumption that $alpha$ is positive (which I assume Folland intended, although maybe I'm wrong).
– Dave L. Renfro
Nov 25 at 8:55
add a comment |
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%2f3012265%2fdefinition-of-shrinks-nicely%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
active
oldest
votes
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.
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%2f3012265%2fdefinition-of-shrinks-nicely%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
As stated, the family must be indexed by $(0, infty)$, so there is a set $E_r$ for each $r > 0$. I am not sure what the context is, but I think one can relax this definition by considering families indexed by any set of positive reals $r$ that has zero as a limit point.
– angryavian
Nov 25 at 0:09
(a "just passing by" comment) I wonder why Folland uses the potentially misleading phrase "for some universal constant $alpha$?" When I see this phrase, my thoughts immediately go to something like $pi,$ or $e,$ or $ln (pi - sqrt{5}),$ etc. and only after spending a few moments rereading the definition and thinking of what makes sense do I realize all that is intended is that the existential quantifier "there exists $alpha$" comes before the universal quantifier "for all $r,$ and then I waste time wondering why the author didn't just phrase it that way. (continued)
– Dave L. Renfro
Nov 25 at 8:49
For example, why not just say "there exists $alpha > 0$ such that for each $r>0$ we have $E_r subset B(x,r)$ and $m(E_r) > alpha m(B(x,r))$"? This is shorter and easier to parse mathematically, even with the additional assumption that $alpha$ is positive (which I assume Folland intended, although maybe I'm wrong).
– Dave L. Renfro
Nov 25 at 8:55