Prove that $(X,Vert {cdot}Vert_2)$ is not complete where $Vert fVert_2=left(int_{-2}^{2}|f(t)|^2...
This question already has an answer here:
Show that $(C([a,b]),|{cdot}|_2)$ is not a complete normed vector space
1 answer
Prove that $(X,Vert {cdot}Vert_2)$ is not complete where $X=C[-2,2]$ and
begin{align}Vert fVert_2=left(int_{-2}^{2}|f(t)|^2 dtright)^{1/2}.end{align}
MY TRIAL
It suffices to produce a Cauchy sequence in $C[-2,2]$ that does not converge to a point in $C[-2,2]$.
Consider the function defined by
begin{align} f_n(t)=begin{cases}0,& text{if};-2leq tleq 0,\nt,& text{if};0leq tleq frac{1}{n},\1 &text{if};frac{1}{n}leq tleq 2.end{cases} end{align}
Clearly, the above function is continuous by Pasting Lemma. Next, we show that the function is Cauchy.
Let $m,nin Bbb{N}$ such that $mgeq n.$ Then, we show that
begin{align} Vert f_n-f_mVert_2=left(int_{-2}^{2}|f_m(t)-f_n(t)|^2 dtright)^{1/2} to 0,; text{as};nto infty.end{align}
Now, begin{align} Vert f_n-f_mVert_2leqleft(int_{-2}^{2}|f_m(t)||f_m(t)-f_n(t)| +|f_n(t)||f_m(t)-f_n(t)| dtright)^{1/2} end{align}
We know that begin{align} int_{-2}^{2}|f(t)| dtleqsqrt{4}left(int_{-2}^{2}|f(t)|^2 dtright)^{1/2}end{align}
So,
begin{align} Vert f_n-f_mVert_2leqleft(int_{-2}^{2}|f_m(t)||f_m(t)-f_n(t)|dt +int_{-2}^{2}|f_n(t)||f_m(t)-f_n(t)| dtright)^{1/2} end{align}
I'm stuck here and don't know how to proceed. Any help please?
functional-analysis analysis normed-spaces cauchy-sequences
marked as duplicate by Masacroso, Michael Hoppe, Leila, jgon, DRF Dec 4 '18 at 14:40
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
add a comment |
This question already has an answer here:
Show that $(C([a,b]),|{cdot}|_2)$ is not a complete normed vector space
1 answer
Prove that $(X,Vert {cdot}Vert_2)$ is not complete where $X=C[-2,2]$ and
begin{align}Vert fVert_2=left(int_{-2}^{2}|f(t)|^2 dtright)^{1/2}.end{align}
MY TRIAL
It suffices to produce a Cauchy sequence in $C[-2,2]$ that does not converge to a point in $C[-2,2]$.
Consider the function defined by
begin{align} f_n(t)=begin{cases}0,& text{if};-2leq tleq 0,\nt,& text{if};0leq tleq frac{1}{n},\1 &text{if};frac{1}{n}leq tleq 2.end{cases} end{align}
Clearly, the above function is continuous by Pasting Lemma. Next, we show that the function is Cauchy.
Let $m,nin Bbb{N}$ such that $mgeq n.$ Then, we show that
begin{align} Vert f_n-f_mVert_2=left(int_{-2}^{2}|f_m(t)-f_n(t)|^2 dtright)^{1/2} to 0,; text{as};nto infty.end{align}
Now, begin{align} Vert f_n-f_mVert_2leqleft(int_{-2}^{2}|f_m(t)||f_m(t)-f_n(t)| +|f_n(t)||f_m(t)-f_n(t)| dtright)^{1/2} end{align}
We know that begin{align} int_{-2}^{2}|f(t)| dtleqsqrt{4}left(int_{-2}^{2}|f(t)|^2 dtright)^{1/2}end{align}
So,
begin{align} Vert f_n-f_mVert_2leqleft(int_{-2}^{2}|f_m(t)||f_m(t)-f_n(t)|dt +int_{-2}^{2}|f_n(t)||f_m(t)-f_n(t)| dtright)^{1/2} end{align}
I'm stuck here and don't know how to proceed. Any help please?
functional-analysis analysis normed-spaces cauchy-sequences
marked as duplicate by Masacroso, Michael Hoppe, Leila, jgon, DRF Dec 4 '18 at 14:40
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
alternatively you can see that the sequence $f_n(x):=left(frac{x+2}4right)^n$ converges to $f(x):=delta_{2,x}$, what is square-integrable and discontinuous
– Masacroso
Dec 4 '18 at 9:57
add a comment |
This question already has an answer here:
Show that $(C([a,b]),|{cdot}|_2)$ is not a complete normed vector space
1 answer
Prove that $(X,Vert {cdot}Vert_2)$ is not complete where $X=C[-2,2]$ and
begin{align}Vert fVert_2=left(int_{-2}^{2}|f(t)|^2 dtright)^{1/2}.end{align}
MY TRIAL
It suffices to produce a Cauchy sequence in $C[-2,2]$ that does not converge to a point in $C[-2,2]$.
Consider the function defined by
begin{align} f_n(t)=begin{cases}0,& text{if};-2leq tleq 0,\nt,& text{if};0leq tleq frac{1}{n},\1 &text{if};frac{1}{n}leq tleq 2.end{cases} end{align}
Clearly, the above function is continuous by Pasting Lemma. Next, we show that the function is Cauchy.
Let $m,nin Bbb{N}$ such that $mgeq n.$ Then, we show that
begin{align} Vert f_n-f_mVert_2=left(int_{-2}^{2}|f_m(t)-f_n(t)|^2 dtright)^{1/2} to 0,; text{as};nto infty.end{align}
Now, begin{align} Vert f_n-f_mVert_2leqleft(int_{-2}^{2}|f_m(t)||f_m(t)-f_n(t)| +|f_n(t)||f_m(t)-f_n(t)| dtright)^{1/2} end{align}
We know that begin{align} int_{-2}^{2}|f(t)| dtleqsqrt{4}left(int_{-2}^{2}|f(t)|^2 dtright)^{1/2}end{align}
So,
begin{align} Vert f_n-f_mVert_2leqleft(int_{-2}^{2}|f_m(t)||f_m(t)-f_n(t)|dt +int_{-2}^{2}|f_n(t)||f_m(t)-f_n(t)| dtright)^{1/2} end{align}
I'm stuck here and don't know how to proceed. Any help please?
functional-analysis analysis normed-spaces cauchy-sequences
This question already has an answer here:
Show that $(C([a,b]),|{cdot}|_2)$ is not a complete normed vector space
1 answer
Prove that $(X,Vert {cdot}Vert_2)$ is not complete where $X=C[-2,2]$ and
begin{align}Vert fVert_2=left(int_{-2}^{2}|f(t)|^2 dtright)^{1/2}.end{align}
MY TRIAL
It suffices to produce a Cauchy sequence in $C[-2,2]$ that does not converge to a point in $C[-2,2]$.
Consider the function defined by
begin{align} f_n(t)=begin{cases}0,& text{if};-2leq tleq 0,\nt,& text{if};0leq tleq frac{1}{n},\1 &text{if};frac{1}{n}leq tleq 2.end{cases} end{align}
Clearly, the above function is continuous by Pasting Lemma. Next, we show that the function is Cauchy.
Let $m,nin Bbb{N}$ such that $mgeq n.$ Then, we show that
begin{align} Vert f_n-f_mVert_2=left(int_{-2}^{2}|f_m(t)-f_n(t)|^2 dtright)^{1/2} to 0,; text{as};nto infty.end{align}
Now, begin{align} Vert f_n-f_mVert_2leqleft(int_{-2}^{2}|f_m(t)||f_m(t)-f_n(t)| +|f_n(t)||f_m(t)-f_n(t)| dtright)^{1/2} end{align}
We know that begin{align} int_{-2}^{2}|f(t)| dtleqsqrt{4}left(int_{-2}^{2}|f(t)|^2 dtright)^{1/2}end{align}
So,
begin{align} Vert f_n-f_mVert_2leqleft(int_{-2}^{2}|f_m(t)||f_m(t)-f_n(t)|dt +int_{-2}^{2}|f_n(t)||f_m(t)-f_n(t)| dtright)^{1/2} end{align}
I'm stuck here and don't know how to proceed. Any help please?
This question already has an answer here:
Show that $(C([a,b]),|{cdot}|_2)$ is not a complete normed vector space
1 answer
functional-analysis analysis normed-spaces cauchy-sequences
functional-analysis analysis normed-spaces cauchy-sequences
edited Dec 4 '18 at 10:00
Masacroso
13k41746
13k41746
asked Dec 4 '18 at 9:48
Omojola MichealOmojola Micheal
1,692324
1,692324
marked as duplicate by Masacroso, Michael Hoppe, Leila, jgon, DRF Dec 4 '18 at 14:40
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
marked as duplicate by Masacroso, Michael Hoppe, Leila, jgon, DRF Dec 4 '18 at 14:40
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
alternatively you can see that the sequence $f_n(x):=left(frac{x+2}4right)^n$ converges to $f(x):=delta_{2,x}$, what is square-integrable and discontinuous
– Masacroso
Dec 4 '18 at 9:57
add a comment |
alternatively you can see that the sequence $f_n(x):=left(frac{x+2}4right)^n$ converges to $f(x):=delta_{2,x}$, what is square-integrable and discontinuous
– Masacroso
Dec 4 '18 at 9:57
alternatively you can see that the sequence $f_n(x):=left(frac{x+2}4right)^n$ converges to $f(x):=delta_{2,x}$, what is square-integrable and discontinuous
– Masacroso
Dec 4 '18 at 9:57
alternatively you can see that the sequence $f_n(x):=left(frac{x+2}4right)^n$ converges to $f(x):=delta_{2,x}$, what is square-integrable and discontinuous
– Masacroso
Dec 4 '18 at 9:57
add a comment |
2 Answers
2
active
oldest
votes
You need to use that $f_n(t)-f_m(t)=0$ if $tle 0$ or $tge frac1n$. In $[0,frac1n]$, you have $|f_n(t)-f_m(t)|le 1$. So
$$
int_{-2}^2 |f_n(t)-f_m(t)|^2 , dt le frac1nlongrightarrow 0.
$$
add a comment |
Hint: Use $(int_{-2}^{2} |f_n(t)-f_m(t)|^{2})^{1/2} leq (int_{0}^{2} |f_n(t)-1|^{2})^{1/2}+(int_{0}^{2} |f_m(t)-1)|^{2})^{1/2}$. It is a lot easier to prove that each of the two terms tend to $0$.
This does not work, because $(int_{-2}^{2} |f_n(t)-1|^{2})^{1/2}$ is always $geq sqrt{2}$.
– supinf
Dec 4 '18 at 9:55
@supinf There was typo and I have fixed it. It surely works now. You can compute the integrals explicitly by expanding $(1-nt)^{2}$
– Kavi Rama Murthy
Dec 4 '18 at 9:57
add a comment |
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
You need to use that $f_n(t)-f_m(t)=0$ if $tle 0$ or $tge frac1n$. In $[0,frac1n]$, you have $|f_n(t)-f_m(t)|le 1$. So
$$
int_{-2}^2 |f_n(t)-f_m(t)|^2 , dt le frac1nlongrightarrow 0.
$$
add a comment |
You need to use that $f_n(t)-f_m(t)=0$ if $tle 0$ or $tge frac1n$. In $[0,frac1n]$, you have $|f_n(t)-f_m(t)|le 1$. So
$$
int_{-2}^2 |f_n(t)-f_m(t)|^2 , dt le frac1nlongrightarrow 0.
$$
add a comment |
You need to use that $f_n(t)-f_m(t)=0$ if $tle 0$ or $tge frac1n$. In $[0,frac1n]$, you have $|f_n(t)-f_m(t)|le 1$. So
$$
int_{-2}^2 |f_n(t)-f_m(t)|^2 , dt le frac1nlongrightarrow 0.
$$
You need to use that $f_n(t)-f_m(t)=0$ if $tle 0$ or $tge frac1n$. In $[0,frac1n]$, you have $|f_n(t)-f_m(t)|le 1$. So
$$
int_{-2}^2 |f_n(t)-f_m(t)|^2 , dt le frac1nlongrightarrow 0.
$$
answered Dec 4 '18 at 9:52
KusmaKusma
3,7031319
3,7031319
add a comment |
add a comment |
Hint: Use $(int_{-2}^{2} |f_n(t)-f_m(t)|^{2})^{1/2} leq (int_{0}^{2} |f_n(t)-1|^{2})^{1/2}+(int_{0}^{2} |f_m(t)-1)|^{2})^{1/2}$. It is a lot easier to prove that each of the two terms tend to $0$.
This does not work, because $(int_{-2}^{2} |f_n(t)-1|^{2})^{1/2}$ is always $geq sqrt{2}$.
– supinf
Dec 4 '18 at 9:55
@supinf There was typo and I have fixed it. It surely works now. You can compute the integrals explicitly by expanding $(1-nt)^{2}$
– Kavi Rama Murthy
Dec 4 '18 at 9:57
add a comment |
Hint: Use $(int_{-2}^{2} |f_n(t)-f_m(t)|^{2})^{1/2} leq (int_{0}^{2} |f_n(t)-1|^{2})^{1/2}+(int_{0}^{2} |f_m(t)-1)|^{2})^{1/2}$. It is a lot easier to prove that each of the two terms tend to $0$.
This does not work, because $(int_{-2}^{2} |f_n(t)-1|^{2})^{1/2}$ is always $geq sqrt{2}$.
– supinf
Dec 4 '18 at 9:55
@supinf There was typo and I have fixed it. It surely works now. You can compute the integrals explicitly by expanding $(1-nt)^{2}$
– Kavi Rama Murthy
Dec 4 '18 at 9:57
add a comment |
Hint: Use $(int_{-2}^{2} |f_n(t)-f_m(t)|^{2})^{1/2} leq (int_{0}^{2} |f_n(t)-1|^{2})^{1/2}+(int_{0}^{2} |f_m(t)-1)|^{2})^{1/2}$. It is a lot easier to prove that each of the two terms tend to $0$.
Hint: Use $(int_{-2}^{2} |f_n(t)-f_m(t)|^{2})^{1/2} leq (int_{0}^{2} |f_n(t)-1|^{2})^{1/2}+(int_{0}^{2} |f_m(t)-1)|^{2})^{1/2}$. It is a lot easier to prove that each of the two terms tend to $0$.
edited Dec 4 '18 at 9:56
answered Dec 4 '18 at 9:52
Kavi Rama MurthyKavi Rama Murthy
52.4k32055
52.4k32055
This does not work, because $(int_{-2}^{2} |f_n(t)-1|^{2})^{1/2}$ is always $geq sqrt{2}$.
– supinf
Dec 4 '18 at 9:55
@supinf There was typo and I have fixed it. It surely works now. You can compute the integrals explicitly by expanding $(1-nt)^{2}$
– Kavi Rama Murthy
Dec 4 '18 at 9:57
add a comment |
This does not work, because $(int_{-2}^{2} |f_n(t)-1|^{2})^{1/2}$ is always $geq sqrt{2}$.
– supinf
Dec 4 '18 at 9:55
@supinf There was typo and I have fixed it. It surely works now. You can compute the integrals explicitly by expanding $(1-nt)^{2}$
– Kavi Rama Murthy
Dec 4 '18 at 9:57
This does not work, because $(int_{-2}^{2} |f_n(t)-1|^{2})^{1/2}$ is always $geq sqrt{2}$.
– supinf
Dec 4 '18 at 9:55
This does not work, because $(int_{-2}^{2} |f_n(t)-1|^{2})^{1/2}$ is always $geq sqrt{2}$.
– supinf
Dec 4 '18 at 9:55
@supinf There was typo and I have fixed it. It surely works now. You can compute the integrals explicitly by expanding $(1-nt)^{2}$
– Kavi Rama Murthy
Dec 4 '18 at 9:57
@supinf There was typo and I have fixed it. It surely works now. You can compute the integrals explicitly by expanding $(1-nt)^{2}$
– Kavi Rama Murthy
Dec 4 '18 at 9:57
add a comment |
alternatively you can see that the sequence $f_n(x):=left(frac{x+2}4right)^n$ converges to $f(x):=delta_{2,x}$, what is square-integrable and discontinuous
– Masacroso
Dec 4 '18 at 9:57