A bounded, continuous function on $mathbb{R}^d$ is the pointwise limit of a bounded sequence of linear...
Where can I find a proof of the following fact?
Any bounded, continuous real-valued function on $mathbb{R}^d$ is the pointwise limit of a bounded sequence of linear combinations of indicators of Borel sets
calculus real-analysis measure-theory reference-request borel-sets
add a comment |
Where can I find a proof of the following fact?
Any bounded, continuous real-valued function on $mathbb{R}^d$ is the pointwise limit of a bounded sequence of linear combinations of indicators of Borel sets
calculus real-analysis measure-theory reference-request borel-sets
add a comment |
Where can I find a proof of the following fact?
Any bounded, continuous real-valued function on $mathbb{R}^d$ is the pointwise limit of a bounded sequence of linear combinations of indicators of Borel sets
calculus real-analysis measure-theory reference-request borel-sets
Where can I find a proof of the following fact?
Any bounded, continuous real-valued function on $mathbb{R}^d$ is the pointwise limit of a bounded sequence of linear combinations of indicators of Borel sets
calculus real-analysis measure-theory reference-request borel-sets
calculus real-analysis measure-theory reference-request borel-sets
edited Nov 26 at 23:57
T. Bongers
22.8k54661
22.8k54661
asked Nov 26 at 23:37
user3503589
1,2011721
1,2011721
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
A stronger result is true. You can get uniform limit instead of pointwise limit. Just define $f_n(x)=sum_j frac {j-1} n I_{f^{-1}(frac {j-1} n,frac j n)}$. Since $f$ is bounded the sum is actually a finite sum. We have $|f_n(x)-f(x)| leq frac 1 n$ for all $x$. [Since $f$ is continuous the inverse image of any Borel set is a Borel set].
add a comment |
I would suggest looking in Rudin's Real & Complex Analysis or a similar style book (Royden, Folland, etc. come to mind). I know that there are variants of this in Chapter 1 and Chapter 2 of Rudin.
I'm not sure that this is really a named theorem, since it's fairly elementary. One quick way to prove it is to approximate
$$f approx sum_{Q in mathcal{D}} chi_Q f_Q$$
where $mathcal{D}$ is a collection of disjoint sets $Q$ which cover $mathbb{R}^d$. (For example, $mathcal{D}$ is the standard dyadic grid). Then if we consider a sequence of such collections where the maximum diameter goes to zero, it's easy to show that the approximants are bounded and converge to $f$ pointwise.
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%2f3015103%2fa-bounded-continuous-function-on-mathbbrd-is-the-pointwise-limit-of-a-bou%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
A stronger result is true. You can get uniform limit instead of pointwise limit. Just define $f_n(x)=sum_j frac {j-1} n I_{f^{-1}(frac {j-1} n,frac j n)}$. Since $f$ is bounded the sum is actually a finite sum. We have $|f_n(x)-f(x)| leq frac 1 n$ for all $x$. [Since $f$ is continuous the inverse image of any Borel set is a Borel set].
add a comment |
A stronger result is true. You can get uniform limit instead of pointwise limit. Just define $f_n(x)=sum_j frac {j-1} n I_{f^{-1}(frac {j-1} n,frac j n)}$. Since $f$ is bounded the sum is actually a finite sum. We have $|f_n(x)-f(x)| leq frac 1 n$ for all $x$. [Since $f$ is continuous the inverse image of any Borel set is a Borel set].
add a comment |
A stronger result is true. You can get uniform limit instead of pointwise limit. Just define $f_n(x)=sum_j frac {j-1} n I_{f^{-1}(frac {j-1} n,frac j n)}$. Since $f$ is bounded the sum is actually a finite sum. We have $|f_n(x)-f(x)| leq frac 1 n$ for all $x$. [Since $f$ is continuous the inverse image of any Borel set is a Borel set].
A stronger result is true. You can get uniform limit instead of pointwise limit. Just define $f_n(x)=sum_j frac {j-1} n I_{f^{-1}(frac {j-1} n,frac j n)}$. Since $f$ is bounded the sum is actually a finite sum. We have $|f_n(x)-f(x)| leq frac 1 n$ for all $x$. [Since $f$ is continuous the inverse image of any Borel set is a Borel set].
answered Nov 27 at 0:08
Kavi Rama Murthy
49.6k31854
49.6k31854
add a comment |
add a comment |
I would suggest looking in Rudin's Real & Complex Analysis or a similar style book (Royden, Folland, etc. come to mind). I know that there are variants of this in Chapter 1 and Chapter 2 of Rudin.
I'm not sure that this is really a named theorem, since it's fairly elementary. One quick way to prove it is to approximate
$$f approx sum_{Q in mathcal{D}} chi_Q f_Q$$
where $mathcal{D}$ is a collection of disjoint sets $Q$ which cover $mathbb{R}^d$. (For example, $mathcal{D}$ is the standard dyadic grid). Then if we consider a sequence of such collections where the maximum diameter goes to zero, it's easy to show that the approximants are bounded and converge to $f$ pointwise.
add a comment |
I would suggest looking in Rudin's Real & Complex Analysis or a similar style book (Royden, Folland, etc. come to mind). I know that there are variants of this in Chapter 1 and Chapter 2 of Rudin.
I'm not sure that this is really a named theorem, since it's fairly elementary. One quick way to prove it is to approximate
$$f approx sum_{Q in mathcal{D}} chi_Q f_Q$$
where $mathcal{D}$ is a collection of disjoint sets $Q$ which cover $mathbb{R}^d$. (For example, $mathcal{D}$ is the standard dyadic grid). Then if we consider a sequence of such collections where the maximum diameter goes to zero, it's easy to show that the approximants are bounded and converge to $f$ pointwise.
add a comment |
I would suggest looking in Rudin's Real & Complex Analysis or a similar style book (Royden, Folland, etc. come to mind). I know that there are variants of this in Chapter 1 and Chapter 2 of Rudin.
I'm not sure that this is really a named theorem, since it's fairly elementary. One quick way to prove it is to approximate
$$f approx sum_{Q in mathcal{D}} chi_Q f_Q$$
where $mathcal{D}$ is a collection of disjoint sets $Q$ which cover $mathbb{R}^d$. (For example, $mathcal{D}$ is the standard dyadic grid). Then if we consider a sequence of such collections where the maximum diameter goes to zero, it's easy to show that the approximants are bounded and converge to $f$ pointwise.
I would suggest looking in Rudin's Real & Complex Analysis or a similar style book (Royden, Folland, etc. come to mind). I know that there are variants of this in Chapter 1 and Chapter 2 of Rudin.
I'm not sure that this is really a named theorem, since it's fairly elementary. One quick way to prove it is to approximate
$$f approx sum_{Q in mathcal{D}} chi_Q f_Q$$
where $mathcal{D}$ is a collection of disjoint sets $Q$ which cover $mathbb{R}^d$. (For example, $mathcal{D}$ is the standard dyadic grid). Then if we consider a sequence of such collections where the maximum diameter goes to zero, it's easy to show that the approximants are bounded and converge to $f$ pointwise.
answered Nov 26 at 23:45
T. Bongers
22.8k54661
22.8k54661
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%2f3015103%2fa-bounded-continuous-function-on-mathbbrd-is-the-pointwise-limit-of-a-bou%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