Convergence in $(L_P(a,b),|.|_p)$ doesn't imply convergence in $(C(a,b),sup)$
$begingroup$
Why is the continuous function $f_n(x)=(1+nx)^{-1}$ pointwise convergent to zero in $(L_P(a,b),|.|_p)$?
It seems to me for the considered function that $|f_n(x)-0|_p leq frac{1}{(1-p)} (frac{(1+n)^{1-p}}{n} - frac{1}{n}) < epsilon$
then for all $n>N$, $f_n(x) to 0$ uniformly in $(L_P(a,b),|.|_p)$ as $N$ depends on $epsilon$ and $p$.
And If I'm wrong and it is pointwise convergent in $(L_P(a,b),|.|_p)$ how did he use this information to deduce that it is not convergent in $(C(a,b),sup)$?
functional-analysis convergence proof-explanation normed-spaces lp-spaces
$endgroup$
add a comment |
$begingroup$
Why is the continuous function $f_n(x)=(1+nx)^{-1}$ pointwise convergent to zero in $(L_P(a,b),|.|_p)$?
It seems to me for the considered function that $|f_n(x)-0|_p leq frac{1}{(1-p)} (frac{(1+n)^{1-p}}{n} - frac{1}{n}) < epsilon$
then for all $n>N$, $f_n(x) to 0$ uniformly in $(L_P(a,b),|.|_p)$ as $N$ depends on $epsilon$ and $p$.
And If I'm wrong and it is pointwise convergent in $(L_P(a,b),|.|_p)$ how did he use this information to deduce that it is not convergent in $(C(a,b),sup)$?
functional-analysis convergence proof-explanation normed-spaces lp-spaces
$endgroup$
add a comment |
$begingroup$
Why is the continuous function $f_n(x)=(1+nx)^{-1}$ pointwise convergent to zero in $(L_P(a,b),|.|_p)$?
It seems to me for the considered function that $|f_n(x)-0|_p leq frac{1}{(1-p)} (frac{(1+n)^{1-p}}{n} - frac{1}{n}) < epsilon$
then for all $n>N$, $f_n(x) to 0$ uniformly in $(L_P(a,b),|.|_p)$ as $N$ depends on $epsilon$ and $p$.
And If I'm wrong and it is pointwise convergent in $(L_P(a,b),|.|_p)$ how did he use this information to deduce that it is not convergent in $(C(a,b),sup)$?
functional-analysis convergence proof-explanation normed-spaces lp-spaces
$endgroup$
Why is the continuous function $f_n(x)=(1+nx)^{-1}$ pointwise convergent to zero in $(L_P(a,b),|.|_p)$?
It seems to me for the considered function that $|f_n(x)-0|_p leq frac{1}{(1-p)} (frac{(1+n)^{1-p}}{n} - frac{1}{n}) < epsilon$
then for all $n>N$, $f_n(x) to 0$ uniformly in $(L_P(a,b),|.|_p)$ as $N$ depends on $epsilon$ and $p$.
And If I'm wrong and it is pointwise convergent in $(L_P(a,b),|.|_p)$ how did he use this information to deduce that it is not convergent in $(C(a,b),sup)$?
functional-analysis convergence proof-explanation normed-spaces lp-spaces
functional-analysis convergence proof-explanation normed-spaces lp-spaces
edited Dec 26 '18 at 16:55
Davide Giraudo
128k17156268
128k17156268
asked Dec 26 '18 at 9:32
Dreamer123Dreamer123
33229
33229
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Since $|f_n|_pto0$, we say that $f_n$ converges to $0$ in $L^p$ (the expression uniform convergence in $L^p$ is not used.)
It is clear the $lim_{ntoinfty}f_n(x)$ is $0$ if $xin(0,1]$ and $1$ if $x=0$. Thus, $f_n$ converges pointwise to the discontinuous function $f(x)=0$ if $xin(0,1]$, $f(0)=1$. Since each $f_n$ is continuous, the convergence cannot be uniform (in $(C([0,1]),sup)$.) You can also see this by noting that $f_n(1/n)=1/2$ and $sup|f_n|ge1/2>0$.
$endgroup$
add a comment |
$begingroup$
First, note that the supremum norm of $C[a,b]$ is the norm of uniform convergence. This means a sequence $f_n to f$ wrt. to $||, ., ||_infty$ if and only if $f_n to f$ uniformly. Make sure that you understand why this is true and that you know the difference between pointwise and uniform convergence.
$f_n to f$ with respect to $||, ., ||_p$ means only that
begin{align}
int_a^b |f_n(t) - f(t)|, dlambda(t) to 0 qquad text{as} qquad n to infty
end{align}
It doesn't say anything about pointwise or uniform convergence from first sight. In fact there are examples, where $f_n to f$ with respect to the $L^p$-norm, but $f_n(x) to f(x)$ at no point $x in (a,b)$. See eg. the answer to this question: Does convergence in $L^{p}$ implies convergence almost everywhere?.
Your counterexample is a little bit difference. You have a sequence of functions that converges in $L^p$ and that converges pointwise (i.e. $forall x in [a,b]:f_n(x) to f(x)$ for some function $f$). But the sequence does not converge uniformly. To see this, just compute the maximum distance between two elements $sup_{tin [a,b]} |f_n(t) - f_m(t)| = ||f_n - f_m||_infty$. So it is an example that convertgence in $L^p[a,b]$ does not imply convergence in $C[a,b]$.
There are other ways to see, that this can not be true. Suppose I have $f_n to f$ in $L^p$. If I change $f$ in point, then it won't do anything to the intgrals, so still $f_n to f'$. But it can definitly change pointwise (and hence also uniform) convergence.
I hope this helps a little bit. "Why is the continuous function $f_n(x)=(1+nx)^{−1}$ pointwise convergent to zero in $(L^p(a,b),∥.∥_p)$?" does not make a lot of sense as a question, since the $L^p$ does not care about any properties on sets of measure zero (which includes single points).
$endgroup$
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%2f3052791%2fconvergence-in-l-pa-b-p-doesnt-imply-convergence-in-ca-b-sup%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
$begingroup$
Since $|f_n|_pto0$, we say that $f_n$ converges to $0$ in $L^p$ (the expression uniform convergence in $L^p$ is not used.)
It is clear the $lim_{ntoinfty}f_n(x)$ is $0$ if $xin(0,1]$ and $1$ if $x=0$. Thus, $f_n$ converges pointwise to the discontinuous function $f(x)=0$ if $xin(0,1]$, $f(0)=1$. Since each $f_n$ is continuous, the convergence cannot be uniform (in $(C([0,1]),sup)$.) You can also see this by noting that $f_n(1/n)=1/2$ and $sup|f_n|ge1/2>0$.
$endgroup$
add a comment |
$begingroup$
Since $|f_n|_pto0$, we say that $f_n$ converges to $0$ in $L^p$ (the expression uniform convergence in $L^p$ is not used.)
It is clear the $lim_{ntoinfty}f_n(x)$ is $0$ if $xin(0,1]$ and $1$ if $x=0$. Thus, $f_n$ converges pointwise to the discontinuous function $f(x)=0$ if $xin(0,1]$, $f(0)=1$. Since each $f_n$ is continuous, the convergence cannot be uniform (in $(C([0,1]),sup)$.) You can also see this by noting that $f_n(1/n)=1/2$ and $sup|f_n|ge1/2>0$.
$endgroup$
add a comment |
$begingroup$
Since $|f_n|_pto0$, we say that $f_n$ converges to $0$ in $L^p$ (the expression uniform convergence in $L^p$ is not used.)
It is clear the $lim_{ntoinfty}f_n(x)$ is $0$ if $xin(0,1]$ and $1$ if $x=0$. Thus, $f_n$ converges pointwise to the discontinuous function $f(x)=0$ if $xin(0,1]$, $f(0)=1$. Since each $f_n$ is continuous, the convergence cannot be uniform (in $(C([0,1]),sup)$.) You can also see this by noting that $f_n(1/n)=1/2$ and $sup|f_n|ge1/2>0$.
$endgroup$
Since $|f_n|_pto0$, we say that $f_n$ converges to $0$ in $L^p$ (the expression uniform convergence in $L^p$ is not used.)
It is clear the $lim_{ntoinfty}f_n(x)$ is $0$ if $xin(0,1]$ and $1$ if $x=0$. Thus, $f_n$ converges pointwise to the discontinuous function $f(x)=0$ if $xin(0,1]$, $f(0)=1$. Since each $f_n$ is continuous, the convergence cannot be uniform (in $(C([0,1]),sup)$.) You can also see this by noting that $f_n(1/n)=1/2$ and $sup|f_n|ge1/2>0$.
answered Dec 26 '18 at 11:24
Julián AguirreJulián Aguirre
69.5k24297
69.5k24297
add a comment |
add a comment |
$begingroup$
First, note that the supremum norm of $C[a,b]$ is the norm of uniform convergence. This means a sequence $f_n to f$ wrt. to $||, ., ||_infty$ if and only if $f_n to f$ uniformly. Make sure that you understand why this is true and that you know the difference between pointwise and uniform convergence.
$f_n to f$ with respect to $||, ., ||_p$ means only that
begin{align}
int_a^b |f_n(t) - f(t)|, dlambda(t) to 0 qquad text{as} qquad n to infty
end{align}
It doesn't say anything about pointwise or uniform convergence from first sight. In fact there are examples, where $f_n to f$ with respect to the $L^p$-norm, but $f_n(x) to f(x)$ at no point $x in (a,b)$. See eg. the answer to this question: Does convergence in $L^{p}$ implies convergence almost everywhere?.
Your counterexample is a little bit difference. You have a sequence of functions that converges in $L^p$ and that converges pointwise (i.e. $forall x in [a,b]:f_n(x) to f(x)$ for some function $f$). But the sequence does not converge uniformly. To see this, just compute the maximum distance between two elements $sup_{tin [a,b]} |f_n(t) - f_m(t)| = ||f_n - f_m||_infty$. So it is an example that convertgence in $L^p[a,b]$ does not imply convergence in $C[a,b]$.
There are other ways to see, that this can not be true. Suppose I have $f_n to f$ in $L^p$. If I change $f$ in point, then it won't do anything to the intgrals, so still $f_n to f'$. But it can definitly change pointwise (and hence also uniform) convergence.
I hope this helps a little bit. "Why is the continuous function $f_n(x)=(1+nx)^{−1}$ pointwise convergent to zero in $(L^p(a,b),∥.∥_p)$?" does not make a lot of sense as a question, since the $L^p$ does not care about any properties on sets of measure zero (which includes single points).
$endgroup$
add a comment |
$begingroup$
First, note that the supremum norm of $C[a,b]$ is the norm of uniform convergence. This means a sequence $f_n to f$ wrt. to $||, ., ||_infty$ if and only if $f_n to f$ uniformly. Make sure that you understand why this is true and that you know the difference between pointwise and uniform convergence.
$f_n to f$ with respect to $||, ., ||_p$ means only that
begin{align}
int_a^b |f_n(t) - f(t)|, dlambda(t) to 0 qquad text{as} qquad n to infty
end{align}
It doesn't say anything about pointwise or uniform convergence from first sight. In fact there are examples, where $f_n to f$ with respect to the $L^p$-norm, but $f_n(x) to f(x)$ at no point $x in (a,b)$. See eg. the answer to this question: Does convergence in $L^{p}$ implies convergence almost everywhere?.
Your counterexample is a little bit difference. You have a sequence of functions that converges in $L^p$ and that converges pointwise (i.e. $forall x in [a,b]:f_n(x) to f(x)$ for some function $f$). But the sequence does not converge uniformly. To see this, just compute the maximum distance between two elements $sup_{tin [a,b]} |f_n(t) - f_m(t)| = ||f_n - f_m||_infty$. So it is an example that convertgence in $L^p[a,b]$ does not imply convergence in $C[a,b]$.
There are other ways to see, that this can not be true. Suppose I have $f_n to f$ in $L^p$. If I change $f$ in point, then it won't do anything to the intgrals, so still $f_n to f'$. But it can definitly change pointwise (and hence also uniform) convergence.
I hope this helps a little bit. "Why is the continuous function $f_n(x)=(1+nx)^{−1}$ pointwise convergent to zero in $(L^p(a,b),∥.∥_p)$?" does not make a lot of sense as a question, since the $L^p$ does not care about any properties on sets of measure zero (which includes single points).
$endgroup$
add a comment |
$begingroup$
First, note that the supremum norm of $C[a,b]$ is the norm of uniform convergence. This means a sequence $f_n to f$ wrt. to $||, ., ||_infty$ if and only if $f_n to f$ uniformly. Make sure that you understand why this is true and that you know the difference between pointwise and uniform convergence.
$f_n to f$ with respect to $||, ., ||_p$ means only that
begin{align}
int_a^b |f_n(t) - f(t)|, dlambda(t) to 0 qquad text{as} qquad n to infty
end{align}
It doesn't say anything about pointwise or uniform convergence from first sight. In fact there are examples, where $f_n to f$ with respect to the $L^p$-norm, but $f_n(x) to f(x)$ at no point $x in (a,b)$. See eg. the answer to this question: Does convergence in $L^{p}$ implies convergence almost everywhere?.
Your counterexample is a little bit difference. You have a sequence of functions that converges in $L^p$ and that converges pointwise (i.e. $forall x in [a,b]:f_n(x) to f(x)$ for some function $f$). But the sequence does not converge uniformly. To see this, just compute the maximum distance between two elements $sup_{tin [a,b]} |f_n(t) - f_m(t)| = ||f_n - f_m||_infty$. So it is an example that convertgence in $L^p[a,b]$ does not imply convergence in $C[a,b]$.
There are other ways to see, that this can not be true. Suppose I have $f_n to f$ in $L^p$. If I change $f$ in point, then it won't do anything to the intgrals, so still $f_n to f'$. But it can definitly change pointwise (and hence also uniform) convergence.
I hope this helps a little bit. "Why is the continuous function $f_n(x)=(1+nx)^{−1}$ pointwise convergent to zero in $(L^p(a,b),∥.∥_p)$?" does not make a lot of sense as a question, since the $L^p$ does not care about any properties on sets of measure zero (which includes single points).
$endgroup$
First, note that the supremum norm of $C[a,b]$ is the norm of uniform convergence. This means a sequence $f_n to f$ wrt. to $||, ., ||_infty$ if and only if $f_n to f$ uniformly. Make sure that you understand why this is true and that you know the difference between pointwise and uniform convergence.
$f_n to f$ with respect to $||, ., ||_p$ means only that
begin{align}
int_a^b |f_n(t) - f(t)|, dlambda(t) to 0 qquad text{as} qquad n to infty
end{align}
It doesn't say anything about pointwise or uniform convergence from first sight. In fact there are examples, where $f_n to f$ with respect to the $L^p$-norm, but $f_n(x) to f(x)$ at no point $x in (a,b)$. See eg. the answer to this question: Does convergence in $L^{p}$ implies convergence almost everywhere?.
Your counterexample is a little bit difference. You have a sequence of functions that converges in $L^p$ and that converges pointwise (i.e. $forall x in [a,b]:f_n(x) to f(x)$ for some function $f$). But the sequence does not converge uniformly. To see this, just compute the maximum distance between two elements $sup_{tin [a,b]} |f_n(t) - f_m(t)| = ||f_n - f_m||_infty$. So it is an example that convertgence in $L^p[a,b]$ does not imply convergence in $C[a,b]$.
There are other ways to see, that this can not be true. Suppose I have $f_n to f$ in $L^p$. If I change $f$ in point, then it won't do anything to the intgrals, so still $f_n to f'$. But it can definitly change pointwise (and hence also uniform) convergence.
I hope this helps a little bit. "Why is the continuous function $f_n(x)=(1+nx)^{−1}$ pointwise convergent to zero in $(L^p(a,b),∥.∥_p)$?" does not make a lot of sense as a question, since the $L^p$ does not care about any properties on sets of measure zero (which includes single points).
edited Dec 26 '18 at 11:32
answered Dec 26 '18 at 11:26
N.BeckN.Beck
1938
1938
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.
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%2f3052791%2fconvergence-in-l-pa-b-p-doesnt-imply-convergence-in-ca-b-sup%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