If every absolutely convergent series is convergent then $X$ is Banach
Clash Royale CLAN TAG#URR8PPP
up vote
5
down vote
favorite
Show that
A Normed Linear Space $X$ is a Banach Space iff every absolutely convergent series is convergent.
My try:
Let $X$ is a Banach Space .Let $sum x_n$ be an absolutely convergent series .Consider $s_n=sum_i=1^nx_i$. Now $sum |x_n|<infty implies exists N$ such that $sum_i=N^ infty |x_i|<epsilon$ for any $epsilon>0$
Then $|s_n-s_m|le sum _i=m+1^n |x_i|<epsilon forall n,m>N$
So $s_n$ is Cauchy in $X$ and hence converges $s_nto s$ (say).
Thus $sum x_i$ converges.
Conversely, let $x_n$ be a Cauchy Sequence in $X$. Here I can't proceed how to use the given fact.
Any help will be great.
functional-analysis banach-spaces normed-spaces absolute-convergence
add a comment |Â
up vote
5
down vote
favorite
Show that
A Normed Linear Space $X$ is a Banach Space iff every absolutely convergent series is convergent.
My try:
Let $X$ is a Banach Space .Let $sum x_n$ be an absolutely convergent series .Consider $s_n=sum_i=1^nx_i$. Now $sum |x_n|<infty implies exists N$ such that $sum_i=N^ infty |x_i|<epsilon$ for any $epsilon>0$
Then $|s_n-s_m|le sum _i=m+1^n |x_i|<epsilon forall n,m>N$
So $s_n$ is Cauchy in $X$ and hence converges $s_nto s$ (say).
Thus $sum x_i$ converges.
Conversely, let $x_n$ be a Cauchy Sequence in $X$. Here I can't proceed how to use the given fact.
Any help will be great.
functional-analysis banach-spaces normed-spaces absolute-convergence
How can you deduce that $exists N$ such that $sum_i=N^infty ||x_i||<epsilon$
â Soulostar
Feb 2 at 7:45
add a comment |Â
up vote
5
down vote
favorite
up vote
5
down vote
favorite
Show that
A Normed Linear Space $X$ is a Banach Space iff every absolutely convergent series is convergent.
My try:
Let $X$ is a Banach Space .Let $sum x_n$ be an absolutely convergent series .Consider $s_n=sum_i=1^nx_i$. Now $sum |x_n|<infty implies exists N$ such that $sum_i=N^ infty |x_i|<epsilon$ for any $epsilon>0$
Then $|s_n-s_m|le sum _i=m+1^n |x_i|<epsilon forall n,m>N$
So $s_n$ is Cauchy in $X$ and hence converges $s_nto s$ (say).
Thus $sum x_i$ converges.
Conversely, let $x_n$ be a Cauchy Sequence in $X$. Here I can't proceed how to use the given fact.
Any help will be great.
functional-analysis banach-spaces normed-spaces absolute-convergence
Show that
A Normed Linear Space $X$ is a Banach Space iff every absolutely convergent series is convergent.
My try:
Let $X$ is a Banach Space .Let $sum x_n$ be an absolutely convergent series .Consider $s_n=sum_i=1^nx_i$. Now $sum |x_n|<infty implies exists N$ such that $sum_i=N^ infty |x_i|<epsilon$ for any $epsilon>0$
Then $|s_n-s_m|le sum _i=m+1^n |x_i|<epsilon forall n,m>N$
So $s_n$ is Cauchy in $X$ and hence converges $s_nto s$ (say).
Thus $sum x_i$ converges.
Conversely, let $x_n$ be a Cauchy Sequence in $X$. Here I can't proceed how to use the given fact.
Any help will be great.
functional-analysis banach-spaces normed-spaces absolute-convergence
edited Mar 11 '16 at 9:31
Martin Sleziak
43.5k6113260
43.5k6113260
asked Mar 11 '16 at 7:54
Learnmore
17.2k31681
17.2k31681
How can you deduce that $exists N$ such that $sum_i=N^infty ||x_i||<epsilon$
â Soulostar
Feb 2 at 7:45
add a comment |Â
How can you deduce that $exists N$ such that $sum_i=N^infty ||x_i||<epsilon$
â Soulostar
Feb 2 at 7:45
How can you deduce that $exists N$ such that $sum_i=N^infty ||x_i||<epsilon$
â Soulostar
Feb 2 at 7:45
How can you deduce that $exists N$ such that $sum_i=N^infty ||x_i||<epsilon$
â Soulostar
Feb 2 at 7:45
add a comment |Â
2 Answers
2
active
oldest
votes
up vote
2
down vote
For the converse argument; let $X$ be a normed linear space in which every absolutely convergent series converges, and suppose that $x_n$
is a Cauchy sequence.
For each $k in mathbbN$, choose $n_k$ such that $||(x_m â x_n)|| < 2^âÂÂk$ for $m, n geq n_k$. In particular, $||x_n_k+1âÂÂx_n_k||< 2^-k$. If we define $y_1 = x_n_1$ and $y_k+1 = x_n_k+1 â x_n_k$
for $k geq 1$, it follows that $sum ||y_n|| ⤠||x_n_1 || + 1$
i. e., ($y_n$) is absolutely convergent, and hence convergent.
add a comment |Â
up vote
1
down vote
Hint: show that there is a subsequence $y_n$ such that $|y_n - y_n+1| < 2^-n$.
add a comment |Â
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
For the converse argument; let $X$ be a normed linear space in which every absolutely convergent series converges, and suppose that $x_n$
is a Cauchy sequence.
For each $k in mathbbN$, choose $n_k$ such that $||(x_m â x_n)|| < 2^âÂÂk$ for $m, n geq n_k$. In particular, $||x_n_k+1âÂÂx_n_k||< 2^-k$. If we define $y_1 = x_n_1$ and $y_k+1 = x_n_k+1 â x_n_k$
for $k geq 1$, it follows that $sum ||y_n|| ⤠||x_n_1 || + 1$
i. e., ($y_n$) is absolutely convergent, and hence convergent.
add a comment |Â
up vote
2
down vote
For the converse argument; let $X$ be a normed linear space in which every absolutely convergent series converges, and suppose that $x_n$
is a Cauchy sequence.
For each $k in mathbbN$, choose $n_k$ such that $||(x_m â x_n)|| < 2^âÂÂk$ for $m, n geq n_k$. In particular, $||x_n_k+1âÂÂx_n_k||< 2^-k$. If we define $y_1 = x_n_1$ and $y_k+1 = x_n_k+1 â x_n_k$
for $k geq 1$, it follows that $sum ||y_n|| ⤠||x_n_1 || + 1$
i. e., ($y_n$) is absolutely convergent, and hence convergent.
add a comment |Â
up vote
2
down vote
up vote
2
down vote
For the converse argument; let $X$ be a normed linear space in which every absolutely convergent series converges, and suppose that $x_n$
is a Cauchy sequence.
For each $k in mathbbN$, choose $n_k$ such that $||(x_m â x_n)|| < 2^âÂÂk$ for $m, n geq n_k$. In particular, $||x_n_k+1âÂÂx_n_k||< 2^-k$. If we define $y_1 = x_n_1$ and $y_k+1 = x_n_k+1 â x_n_k$
for $k geq 1$, it follows that $sum ||y_n|| ⤠||x_n_1 || + 1$
i. e., ($y_n$) is absolutely convergent, and hence convergent.
For the converse argument; let $X$ be a normed linear space in which every absolutely convergent series converges, and suppose that $x_n$
is a Cauchy sequence.
For each $k in mathbbN$, choose $n_k$ such that $||(x_m â x_n)|| < 2^âÂÂk$ for $m, n geq n_k$. In particular, $||x_n_k+1âÂÂx_n_k||< 2^-k$. If we define $y_1 = x_n_1$ and $y_k+1 = x_n_k+1 â x_n_k$
for $k geq 1$, it follows that $sum ||y_n|| ⤠||x_n_1 || + 1$
i. e., ($y_n$) is absolutely convergent, and hence convergent.
edited Jan 19 at 21:55
Sahiba Arora
5,74831537
5,74831537
answered Mar 11 '16 at 10:12
Kevin
5,138722
5,138722
add a comment |Â
add a comment |Â
up vote
1
down vote
Hint: show that there is a subsequence $y_n$ such that $|y_n - y_n+1| < 2^-n$.
add a comment |Â
up vote
1
down vote
Hint: show that there is a subsequence $y_n$ such that $|y_n - y_n+1| < 2^-n$.
add a comment |Â
up vote
1
down vote
up vote
1
down vote
Hint: show that there is a subsequence $y_n$ such that $|y_n - y_n+1| < 2^-n$.
Hint: show that there is a subsequence $y_n$ such that $|y_n - y_n+1| < 2^-n$.
answered Mar 11 '16 at 8:07
Robert Israel
306k22201443
306k22201443
add a comment |Â
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1692697%2fif-every-absolutely-convergent-series-is-convergent-then-x-is-banach%23new-answer', 'question_page');
);
Post as a guest
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
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
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
How can you deduce that $exists N$ such that $sum_i=N^infty ||x_i||<epsilon$
â Soulostar
Feb 2 at 7:45